❓
page 1 of top
dark mode
The Case Against Formal Verification, 50 Years Later
(ivan-gavran​.github.io)
Ⓝ
Ⓑ
·
45 points
·
30 comments
·
1½ hours ago 
by ghuntley
⏱️ 5 minutes
A 3rd World Embedded Engineer Responds to "RISC-​V They Should Have Known Better"
(rvembedded.com)
Ⓝ
Ⓑ
·
233 points
·
125 comments
·
5¼ hours ago 
by Narishma
⏱️ 11 minutes
claude system prompts
Claude: System Prompts
(claude.com)
Ⓝ
Ⓑ
Ⓐ
·
454 points
·
196 comments
·
9¼ hours ago 
by tosh
protobuf has lsp support youx27re welcome
Protobuf has LSP support. You're welcome
(buf.build)
Ⓝ
Ⓑ
·
58 points
·
25 comments
·
3¼ hours ago 
by theanonymousone
⏱️ 2 minutes
simd in the 90s programming intelx27s pentium mmx
SIMD in the 90s: Programming Intel's Pentium MMX
(pikuma.com)
36 points
·
10 comments
·
3½ days ago 
by ibobev
⏱️ 9 minutes
Models Are Getting Dumber on Purpose
(w4g1.dev)
Ⓝ
Ⓑ
·
184 points
·
116 comments
·
3 hours ago 
by hruvhwe
⏱️ 4 minutes
Low-​Tech Ceramic Water Filter
(lowtechlab.org)
36 points
·
11 comments
·
5½ days ago 
by Bluestein
The AI Credit Resale Economy
(vectoral.com)
Ⓝ
Ⓑ
·
189 points
·
69 comments
·
7½ hours ago 
by mlenhard
⏱️ 2 minutes
Claude Seems Down
Ⓝ
Ⓑ
·
17 points
·
5 comments
·
17 minutes ago 
by zhan_eg
Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter
(bloomberg.com)
Ⓝ
Ⓑ
·
61 points
·
44 comments
·
1¾ hours ago 
by zacharyozer
MathCode, Mathematical Coding Agent
(math-ai-org​.github.io)
Ⓝ
Ⓑ
·
33 points
·
9 comments
·
3¾ hours ago 
by homarp
anton chekhov played at love most of his life
Anton Chekhov played at love most of his life
(wustl.edu)
Ⓑ
·
52 points
·
8 comments
·
1½ days ago 
by lermontov
⏱️ 14 minutes
Clamiga: Common Lisp for the Amiga
(nnamgreb.de)
65 points
·
5 comments
·
3½ days ago 
by emptybits
⏱️ 1 minute
st lucie nuclear reactor unit 1 manually shutdown 3 control rods drop into core
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core
(wptv.com)
Ⓝ
Ⓑ
·
136 points
·
97 comments
·
6¾ hours ago 
by toomuchtodo
plastic mechanical computer from 1963 the digicomp 1 video
Plastic mechanical computer from 1963: The Digi-​Comp 1 [video]
(youtube.com)
Ⓑ
·
34 points
·
8 comments
·
1 day ago 
by tobr
Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee
(reuters.com)
Ⓝ
Ⓑ
·
3 points
·
0 comments
·
1 hour ago 
by root-parent
Firefox for iOS now has a native adblocker
(mozilla.org)
Ⓝ
Ⓑ
Ⓐ
·
463 points
·
198 comments
·
9¼ hours ago 
by pentagrama
Tell HN: Cloudflare silently injects its analytics when you switch nameservers
Ⓝ
Ⓑ
·
197 points
·
53 comments
·
4¼ hours ago 
by stagas
Anthropic IPO valuation hinges on $190-​200B 2028 revenue forecast
(reuters.com)
Ⓝ
Ⓑ
·
6 points
·
0 comments
·
1¼ hours ago 
by root-parent
NIH is ending a key grant for budding clinical researchers
(science.org)
Ⓝ
Ⓑ
·
116 points
·
58 comments
·
5¾ hours ago 
by brandonb
page 2
new best active classic
This page was generated in 1.012 seconds at 2026-08-16T22:09:20Z.