GoKawiil
1.
2.
The Case Against Formal Verification, 50 Years Later
(news.ycombinator.com)
3.
Large-scale DDoS attacks disrupted Threema secure messaging service
(bleepingcomputer.com)
4.
Modeling and Verification of Keeta's Consensus [pdf]
(news.ycombinator.com)
5.
Plastic mechanical computer from 1963: The Digi-Comp 1 [video]
(news.ycombinator.com)
6.
How to tell if your AI platforms’ accounts have been hacked
(techcrunch.com)
7.
Simplifying and Refactoring Introductory Calculus (2018)
(news.ycombinator.com)
8.
Simplifying and Refactoring Introductory Calculus
(news.ycombinator.com)
9.
10.
11.
Show HN: Mole – Deep research agent for your terminal
(news.ycombinator.com)
12.
14.
France blocks social media ban because it would require adults to prove age
(news.ycombinator.com)
15.
Seven books I keep close because I love them
(news.ycombinator.com)
16.
Cloning could be used to save species—or make human “organ sacks”
(technologyreview.com)
17.
RingCentral data breach exposed info of 1.6 million accounts
(bleepingcomputer.com)
18.
19.
20.
Apple sends new ‘Threat Notification’ alerts over mercenary spyware attacks
(bleepingcomputer.com)
21.
Some Google Maps users just lost a key feature for avoiding crowds
(androidauthority.com)
22.
Google’s new Pixel 11 chip might not be 2nm, after all
(androidauthority.com)
23.
24.
This modder shrunk a Steam Deck down to Game Boy size
(techspot.com)
25.
26.
27.
Android malware combo takes out loans and relays victims' credit cards
(bleepingcomputer.com)
28.
Reflex (YC W23) Is hiring Growth and GTM Roles
(news.ycombinator.com)
29.
Reflex (YC W23) Is Growth and GTM Roles
(news.ycombinator.com)
30.
Hackers exploit critical Adobe Commerce flaw to hijack customer accounts
(bleepingcomputer.com)