News

Showing news from: https://news.ycombinator.com/rss

Extracting verified C++ from the Rocq theorem prover at Bloomberg
2026-01-24 05:50 - https://news.ycombinator.com/rss
 
I Like GitLab
2026-01-24 12:51 - https://news.ycombinator.com/rss
 
80386 Multiplication and Division
2026-01-24 08:51 - https://news.ycombinator.com/rss
 
C++26 Reflection loves QRangeModel
2026-01-24 18:52 - https://news.ycombinator.com/rss
 
Show HN: Coi – A language that compiles to WASM, beats React/Vue
2026-01-24 10:51 - https://news.ycombinator.com/rss
 
"People are going to stop and ask you, 'How can I help?' Let them."
2026-01-24 08:51 - https://news.ycombinator.com/rss
 
How I Became a Quant [pdf]
2026-01-24 17:52 - https://news.ycombinator.com/rss
 
Proof of Corn
2026-01-23 18:48 - https://news.ycombinator.com/rss
 
When employees feel slighted, they work less
2026-01-24 13:51 - https://news.ycombinator.com/rss
 
Internet Archive's Storage
2026-01-24 04:50 - https://news.ycombinator.com/rss
 
Many Small Queries Are Efficient in SQLite
2026-01-24 13:51 - https://news.ycombinator.com/rss
 
US Vaccine Panel Chair Says Polio and Other Shots Should Be Optional
2026-01-24 18:52 - https://news.ycombinator.com/rss
 
Banned C++ Features in Chromium
2026-01-23 21:49 - https://news.ycombinator.com/rss
 
Traintrackr – Live LED Maps
2026-01-24 07:51 - https://news.ycombinator.com/rss
 
Gmail Spam Detection Down
2026-01-24 17:52 - https://news.ycombinator.com/rss
 
Ask HN: What's the current best local/open speech-to-speech setup?
2026-01-23 23:49 - https://news.ycombinator.com/rss
 
Modetc: Move your dotfiles from kernel space
2026-01-24 10:51 - https://news.ycombinator.com/rss
 
After two years of vibecoding, I'm back to writing by hand [video]
2026-01-24 16:51 - https://news.ycombinator.com/rss
 
Management Time: Who's Got the Monkey? [pdf]
2026-01-24 12:51 - https://news.ycombinator.com/rss
 
Booting a PC from a Vinyl Record
2026-01-23 12:47 - https://news.ycombinator.com/rss
 
Filter
Clear Filter