28141.
28142.
28143.
28144.
Xr0 verifier, guarantee the safety of C programs at compile time
(news.ycombinator.com)
28145.
28146.
28147.
28148.
28149.
28150.
RIP to All the Tech We've Lost in 2025
(cnet.com)
28151.
28152.
The C3 Programming Language
(news.ycombinator.com)
28153.
28154.
28156.
Show HN: Offline tiles and routing and geocoding in one Docker Compose stack
(news.ycombinator.com)
28157.
Show HN: I built a "Do not disturb" Device for my home office
(news.ycombinator.com)
28158.
Someone made a ton of money betting on Maduro’s capture
(theverge.com)
28159.
28160.
Hackers claim to hack Resecurity, firm says it was a honeypot
(bleepingcomputer.com)
28161.
28162.
28163.
28164.
JavaScript's For-Of Loops Are Fast
(news.ycombinator.com)
28165.
Zeit v1
(news.ycombinator.com)
28166.
Rust is beyond object-oriented, part 3: Inheritance (2023)
(news.ycombinator.com)
28167.
Venezuela attack: Trump says U.S. has captured leader Nicolás Maduro
(feeds.feedburner.com)
28168.
Now's Your Chance to Get a Quality Refurbished MacBook Air for $200
(feeds.feedburner.com)
28169.
ParadeDB (YC S23) Is Hiring Database Engineers
(news.ycombinator.com)
Today's top topics:
terminal