❓
page 9 of top
light mode
Z3 Internals (Draft)
(z3prover.github.io)
5 points
·
0 comments
·
17½ hours ago 
by vismit2000
⏱️ 61 minutes
Generative Optogenetics
(darpa.mil)
Ⓑ
·
54 points
·
18 comments
·
1½ days ago 
by birriel
lean theorem prover mathlib
⬤
 Lean
 99.7%
⬤
 Other
 0.3%
Lean theorem prover mathlib
(github.com)
83 points
·
4 comments
·
2½ days ago 
by downboots
⏱️ 2 minutes
shaihulud compromised a dev machine and raided github org access a postmortem
Shai-​Hulud compromised a dev machine and raided GitHub org access: a post-​mortem
(trigger.dev)
Ⓒ
·
261 points
·
176 comments
·
2½ days ago 
by nkko
⏱️ 7 minutes
gpt52
GPT-​5.2
(openai.com)
Ⓒ
·
1190 points
·
1076 comments
·
4½ days ago 
by atgctg
I fed 24 years of my blog posts to a Markov model
(susam.net)
Ⓒ
·
303 points
·
122 comments
·
2½ days ago 
by zdw
⏱️ 5 minutes
Nasdaq to submit paperwork with SEC for round-​the-​clock trading
(reuters.com)
Ⓑ
Ⓐ
·
31 points
·
6 comments
·
20¼ hours ago 
by m-hodges
uk to quotencouragequot apple and google to put nudityblocking systems on phones
UK to "encourage" Apple and Google to put nudity-​blocking systems on phones
(arstechnica.com)
Ⓑ
Ⓐ
·
45 points
·
15 comments
·
19¾ hours ago 
by GlumWoodpecker
⏱️ 1 minute
Closures as Win32 Window Procedures
(nullprogram.com)
Ⓒ
·
98 points
·
25 comments
·
2½ days ago 
by ibobev
⏱️ 4 minutes
Freeing a Xiaomi humidifier from the cloud
(0l.de)
Ⓒ
·
156 points
·
85 comments
·
4½ days ago 
by stv0g
⏱️ 2 minutes
Illuminating the processor core with LLVM-​mca
(abseil.io)
Ⓒ
·
66 points
·
5 comments
·
2 days ago 
by ckennelly
⏱️ 7 minutes
Kimi K2 1T model runs on 2 512GB M3 Ultras
(twitter.com)
Ⓒ
·
233 points
·
117 comments
·
2 days ago 
by jeudesprits
why companies should still hire junior developers in the ai era
Why companies should still hire junior developers in the AI era
(aroussi.com)
5 points
·
0 comments
·
1 day ago 
by aroussi
⏱️ 6 minutes
ensuring a national policy framework for artificial intelligence
Ensuring a National Policy Framework for Artificial Intelligence
(whitehouse.gov)
Ⓒ
·
187 points
·
265 comments
·
4½ days ago 
by andsoitis
⏱️ 5 minutes
macos 262 enables fast ai clusters with rdma over thunderbolt
macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt
(apple.com)
Ⓒ
·
537 points
·
290 comments
·
3½ days ago 
by guiand
Nvidia Nemotron 3 Family of Models
(nvidia.com)
Ⓑ
Ⓐ
Ⓒ
·
55 points
·
8 comments
·
1 day ago 
by ewt-nv
⏱️ 1 minute
what is the nicest thing a stranger has ever done for you
What is the nicest thing a stranger has ever done for you?
(louplummer.lol)
Ⓒ
·
436 points
·
331 comments
·
4½ days ago 
by speckx
⏱️ 3 minutes
i tried gleam for advent of code
I tried Gleam for Advent of Code
(tymscar.com)
Ⓒ
·
346 points
·
203 comments
·
3 days ago 
by tymscar
⏱️ 5 minutes
ox27saasy license agreement
O'saasy License Agreement
(osaasy.dev)
Ⓑ
Ⓐ
Ⓒ
·
45 points
·
55 comments
·
11½ hours ago 
by d3w1tt
Show HN: I Ching simulator with accurate Yarrow Stalk probabilities
(castiching.com)
Ⓒ
·
61 points
·
56 comments
·
2½ days ago 
by jackzhuo
⏱️ 1 minute
page 10
new best active classic
This page was generated in 160 milliseconds at 2025-12-16T17:56:29Z.