GoKawiil
You Don't Know Jack About Formal Verification
(news.ycombinator.com)
31.
32.
How Many Elementary Particles Are There, Really?
(news.ycombinator.com)
33.
A History of Menus Is a Menu of History
(news.ycombinator.com)
34.
The real reason people hate AI data centers so much
(feeds.feedburner.com)
35.
This is a post DRAFT
(gizmodo.com)
36.
A breath test could diagnose pneumonia in minutes
(technologyreview.com)
37.
Show HN: Neural Particle Automata
(news.ycombinator.com)
38.
Opinion | Live Free and Prosper
(feeds.content.dowjones.io)
39.
François Englert (1932 – 2026)
(news.ycombinator.com)
40.
Optical fibre gripper for high-performance 3D micromanipulation
(feeds.nature.com)
41.
Your ePub Is fine
(news.ycombinator.com)
42.
Deodorant Strictly Forbidden at Intel’s AI Chip Facility
(futurism.com)
43.
44.
Show HN: Gitdot – A better GitHub. Open-source, written in Rust
(news.ycombinator.com)
45.
46.
47.
48.
11 ways to make your time feel less rushed during a busy week
(feeds.feedburner.com)
49.
Meta made its own AI-generated clickbait news feed
(theverge.com)
50.
50 Years of The Institute
(spectrum.ieee.org)
51.
Symbolica 2.0: Programmable Symbols for Python and Rust
(news.ycombinator.com)
52.
Entanglement Builds Space-Time. Now "Magic" Gives It Gravity
(news.ycombinator.com)
53.
54.
55.
What is the most commonly used password?
(techspot.com)
57.
two strangers. one call. no names
(news.ycombinator.com)
58.
I hated writing–until I learned there's a science to it(2024)
(news.ycombinator.com)
59.
Name That Toon Contest
(darkreading.com)
60.