Login
故事
< prev
page 2
more >
Loading...
110
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(bloomberg.github.io)
by
clarus
4 days ago |
20 comments
86
80386 Multiplication and Division
(nand2mario.github.io)
by
nand2mario
14 hours ago |
30 comments
381
Gas Town's agent patterns, design bottlenecks, and vibecoding at scale
(maggieappleton.com)
by
pavel_lishin
a day ago |
399 comments
206
Some C habits I employ for the modern day
(unix.dog)
by
signa11
5 days ago |
135 comments
221
Banned C++ features in Chromium
(chromium.googlesource.com)
by
szmarczak
a day ago |
226 comments
96
Traintrackr – Live LED Maps
(traintrackr.co.uk)
by
recursion
6 days ago |
29 comments
228
Ask HN: What's the current best local/open speech-to-speech setup?
by
dsrtslnd23
a day ago |
56 comments
ask
43
Modetc: Move your dotfiles from kernel space
(maxwell.eurofusion.eu)
by
todsacerdoti
12 hours ago |
34 comments
342
Booting from a vinyl record (2020)
(boginjr.com)
by
yesturi
a day ago |
114 comments
988
Microsoft gave FBI set of BitLocker encryption keys to unlock suspects' laptops
(techcrunch.com)
by
bookofjoe
a day ago |
610 comments
286
New YC homepage
(ycombinator.com)
by
sarreph
a day ago |
155 comments
537
Proton spam and the AI consent problem
(dbushell.com)
by
dbushell
2 days ago |
409 comments
119
Mental Models (2018)
(fs.blog)
by
hahahacorn
a day ago |
20 comments
253
KORG phase8 – Acoustic Synthesizer
(korg.com)
by
bpierre
a day ago |
111 comments
329
Comma openpilot – Open source driver-assistance
(comma.ai)
by
JumpCrisscross
19 hours ago |
185 comments
16
Objective-S
(objective.st)
by
tosh
9 hours ago |
1 comments
4
How WhatsApp Scaled to Billions of Users
(singhajit.com)
by
arter45
an hour ago |
1 comments
225
The tech monoculture is finally breaking
(jasonwillems.com)
by
at1as
a day ago |
317 comments
160
Route leak incident on January 22, 2026
(blog.cloudflare.com)
by
nomaxx117
a day ago |
60 comments
264
Show HN: Whosthere: A LAN discovery tool with a modern TUI, written in Go
(github.com)
by
rvermeulen98
a day ago |
87 comments
43
Management Time: Who's Got the Monkey? [pdf]
(med.unc.edu)
by
rintrah
5 days ago |
8 comments
5
The Possessed Machines: Dostoevsky's Demons and the Coming AGI Catastrophe
(possessedmachines.com)
by
Luc
6 hours ago |
discuss
55
Air traffic control: the IBM 9020
(computer.rip)
by
pinewurst
6 days ago |
6 comments
24
The strange case of the underestimated Merge Join node
(blog.dalibo.com)
by
daamien
5 days ago |
discuss
13
The GNU C Library version 2.43 released
(sourceware.org)
by
edelsohn
5 hours ago |
1 comments
78
Gold fever, cold, and the true adventures of Jack London in the wild
(smithsonianmag.com)
by
janandonly
6 days ago |
31 comments
56
Kotlin's rich errors: Native, typed errors without exceptions
(cekrem.github.io)
by
todsacerdoti
6 days ago |
74 comments
133
Anthropic Economic Index report: economic primitives
(anthropic.com)
by
malshe
2 days ago |
73 comments
95
Nobody likes lag: How to make low-latency dev sandboxes
(compyle.ai)
by
mnazzaro
a day ago |
42 comments
21
The fix for a segfault that never shipped
(recall.ai)
by
davidgu
4 days ago |
4 comments