❓
page 18 of top
light mode
c unifying programming and verification in c 2025
C*: Unifying Programming and Verification in C (2025)
(arxiv.org)
Ⓒ
·
82 points
·
59 comments
·
4 days ago 
by rramadass
is mathematics about to enter the conservatory
Is mathematics about to enter the conservatory?
(mbmccoy.dev)
134 points
·
141 comments
·
5½ days ago 
by _alternator_
⏱️ 3 minutes
jellyfin 120
Jellyfin 12.0
(jellyfin.org)
620 points
·
354 comments
·
4½ days ago 
by 0xC0ncord
⏱️ 12 minutes
NetBSD 9.5 released and EOL for NetBSD-​9
(netbsd.org)
Ⓒ
·
151 points
·
16 comments
·
6 days ago 
by jaypatelani
The Iron Heel by Jack London
(gutenberg.org)
Ⓑ
·
16 points
·
2 comments
·
1½ days ago 
by floweronthehill
⏱️ 146 minutes
The Dataflow Model Revisited
(vldb.org)
Ⓒ
·
114 points
·
22 comments
·
6 days ago 
by scott_s
⏱️ 1 minute
How My Students Think About AI
(lesswrong.com)
Ⓑ
·
48 points
·
10 comments
·
1½ days ago 
by paulpauper
can humans learn to hibernate video
Can humans learn to hibernate? [video]
(youtube.com)
9 points
·
0 comments
·
1 day ago 
by gmays
harnessing the universal geometry of embeddings
Harnessing the Universal Geometry of Embeddings
(arxiv.org)
121 points
·
46 comments
·
5½ days ago 
by ur-whale
Getting phpBB 1.4.4 working in Docker
(thran.uk)
Ⓒ
·
54 points
·
38 comments
·
5 days ago 
by HeckFeck
⏱️ 1 minute
The two Christian saints who are the Buddha
(signoregalilei.com)
Ⓒ
·
249 points
·
204 comments
·
4 days ago 
by surprisetalk
tala is opensource
TALA Is Open-​Source
(d2lang.com)
Ⓒ
·
316 points
·
24 comments
·
4½ days ago 
by alixanderwang
⏱️ 1 minute
arm mali g2ultra nx gpu desktopclass mobile gameplay with ainative graphics
Arm Mali G2-​Ultra NX GPU: desktop-​class mobile gameplay with AI-​native graphics
(arm.com)
84 points
·
74 comments
·
4½ days ago 
by Re-Tails
⏱️ 3 minutes
Mining Qwen 3.8 reasoning trace for prompt/​skill evaluation
(olegivye.com)
4 points
·
0 comments
·
1½ days ago 
by olekrk
an alien mind
An Alien Mind
(openai.com)
Ⓒ
·
490 points
·
469 comments
·
6 days ago 
by tosh
⏱️ 1 minute
Reverse Engineering an ASIC
(kjartanvandriel​.github.io)
Ⓒ
·
64 points
·
9 comments
·
5 days ago 
by burekqueen
⏱️ 3 minutes
Tell HN: OpenAI keeps re-​enabling the 'allow training' setting
Ⓒ
·
481 points
·
184 comments
·
2 days ago 
by jacquesm
ai made 16 new viruses
AI made 16 new viruses
(morningbrew.com)
Ⓑ
Ⓒ
·
13 points
·
3 comments
·
1 day ago 
by mooreds
disappointed optimists
Disappointed Optimists
(cwodtke.com)
72 points
·
9 comments
·
4 days ago 
by adrianhoward
⏱️ 9 minutes
Serverless DTLS
(proxylity.com)
12 points
·
22 comments
·
2 days ago 
by mlhpdx
⏱️ 2 minutes
page 19
new best active classic
This page was generated in 729 milliseconds at 2026-09-12T18:14:58Z.