Hacker News Top Posts
New Foundations is consistent – a difficult mathematical proof proved using Lean
(leanprover-community.github.io)
4h ago
69
10
Carl Sagan, nuking the moon, and not nuking the moon
(eukaryotewritesblog.com)
11h ago
25
10
Phi-3 Technical Report
(arxiv.org)
13h ago
346
107
The Beautiful Islands of San Serriffe (2016)
(realdougwilson.com)
1d ago
58
10
1build (YC W20) Is Hiring a Marketing Lead
(www.ycombinator.com)
4h ago
1
0
Krazam OS
(www.krazam.tv)
16h ago
743
157
EURISKO Lives
(blog.funcall.org)
12h ago
86
30
Bloom Filter Indexes in PostgreSQL
(www.postgresql.org)
1h ago
6
1
The problem with invariants is that they change over time
(surfingcomplexity.blog)
1d ago
96
56
Meta Horizon OS
(www.meta.com)
24h ago
743
599
Petoi Bittle – a programmable robot dog
(www.petoi.com)
1d ago
46
33
Equinox.space
(equinox.space)
1d ago
1469
310
The Resurrection of Rajasthan's Royal Liquors
(www.atlasobscura.com)
1d ago
45
12
Young people benefit from Swiss apprenticeships
(www.nature.com)
2h ago
10
5
The Copier Wars: Fair Use's Rude Awakening
(newart.press)
2d ago
68
26
No one buys books
(www.elysian.press)
19h ago
528
502
Inside the Super Nintendo cartridges
(fabiensanglard.net)
1d ago
509
148
And There Was Digitron
(www.retrobit-izlozba-digitrona.com)
1d ago
32
14
Electron 30.0.0
(www.electronjs.org)
14h ago
61
3
Espressif Acquires Majority Stake in M5Stack
(www.espressif.com)
1d ago
132
33
Microsoft launches Phi-3, its smallest AI model yet
(www.theverge.com)
7h ago
16
0
Linus Torvalds, the famous embroidery file converter developer
(torvalds-family.blogspot.com)
12h ago
59
5
An Exploration of SBCL Internals (2020)
(simonsafar.com)
1d ago
123
98
Helios-NG: massively-parallel OS for manycore CPUs
(www.geekdot.com)
18h ago
22
0
Working with Antithesis at MongoDB
(antithesis.com)
2h ago
22
1
Web Game Engines and Libraries
(www.webgamedev.com)
9h ago
82
31
The Seattle Public Library is reducing maximum digital holds
(shelftalkblog.wordpress.com)
14h ago
116
128
When will computer hardware match the human brain? (1998)
(www.jetpress.org)
23h ago
93
112
Programming Is Mostly Thinking (2014)
(agileotter.blogspot.com)
2d ago
858
318
The Castration of Sima Qian (2022)
(ijtihad.substack.com)
1d ago
41
19
The last days of my type checker for JavaScript
(jsmonk.github.io)
5h ago
70
57