News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
14
A Dumb Introduction to Z3 (2025)
(ar-ms.me)
by
y1n0
4 days ago
|
4 comments
383
All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018)
(esa.int)
by
cybermango
20 hours ago
|
31 comments
148
Towards trust in Emacs
(eshelyaron.com)
by
eshelyaron
3 days ago
|
11 comments
249
I’m spending months coding the old way
(miguelconner.substack.com)
by
evakhoury
22 hours ago
|
40 comments
71
The simple geometry behind any road
(sandboxspirit.com)
by
azhenley
2 days ago
|
7 comments
103
Brunost: The Nynorsk Programming Language
(lindbakk.com)
by
atomfinger
4 days ago
|
17 comments
248
Are the costs of AI agents also rising exponentially? (2025)
(tobyord.com)
by
louiereederson
3 days ago
|
32 comments
189
A simplified model of Fil-C
(corsix.org)
by
aw1621107
16 hours ago
|
5 comments
375
Show HN: Smol machines – subsecond coldstart, portable virtual machines
(github.com)
by
binsquare
21 hours ago
|
39 comments
238
Hyperscalers have already outspent most famous US megaprojects
(twitter.com)
by
nowflux
22 hours ago
|
26 comments
< prev
1 / 10
more >