40621.
40622.
40623.
Xr0 verifier, guarantee the safety of C programs at compile time
(news.ycombinator.com)
40624.
Surprise, surprise: Silksong wins Steam’s Game of the Year
(theverge.com)
40625.
40626.
40627.
40628.
40629.
40630.
RIP to All the Tech We've Lost in 2025
(cnet.com)
40631.
40632.
The C3 Programming Language
(news.ycombinator.com)
40633.
40634.
40635.
The Most Popular Blogs of Hacker News in 2025
(news.ycombinator.com)
40637.
40638.
Show HN: Offline tiles and routing and geocoding in one Docker Compose stack
(news.ycombinator.com)
40639.
Show HN: I built a "Do not disturb" Device for my home office
(news.ycombinator.com)
40640.
Someone made a ton of money betting on Maduro’s capture
(theverge.com)
40641.
40642.
Hackers claim to hack Resecurity, firm says it was a honeypot
(bleepingcomputer.com)
40643.
40644.
40645.
40646.
JavaScript's For-Of Loops Are Fast
(news.ycombinator.com)
40647.
Zeit v1
(news.ycombinator.com)
40648.
40649.
Rust is beyond object-oriented, part 3: Inheritance (2023)
(news.ycombinator.com)
40650.
Venezuela attack: Trump says U.S. has captured leader Nicolás Maduro
(feeds.feedburner.com)