91.
92.
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(news.ycombinator.com)
93.
94.
Bungie’s Marathon shooter launches on March 5th
(theverge.com)
95.
Chipotle’s burrito wrappers are about to get a whole lot glitzier
(feeds.feedburner.com)
96.
97.
98.
99.
100.
Computational complexity of schema-guided document extraction
(news.ycombinator.com)
101.
Critical 'MongoBleed' Bug Under Attack, Patch Now
(darkreading.com)
102.
Critical 'MongoBleed' Bug Under Active Attack, Patch Now
(darkreading.com)
103.
104.
Show HN: OfferGridAI – side-by-side comparison of real estate offers from PDFs
(news.ycombinator.com)
105.
OfferGridAI – side-by-side comparison of real estate offers from PDFs
(news.ycombinator.com)
106.
Heap Overflow in FFmpeg EXIF
(news.ycombinator.com)
107.
LLVM AI tool policy: human in the loop
(news.ycombinator.com)
108.
We don't need more contributors who aren't programmers to contribute code
(news.ycombinator.com)
109.
Launch HN: Pulse (YC S24) – Production-grade unstructured document extraction
(news.ycombinator.com)
110.
111.
GraphQL: The enterprise honeymoon is over
(news.ycombinator.com)
112.
114.
115.
116.
117.
118.
119.
NASA really wants you to know that 3I/ATLAS is an interstellar comet
(arstechnica.com)
120.
Three years in, Patagonia says its radical ownership model is paying off for the planet
(feeds.feedburner.com)
Today's top topics:
google
pixel 11
tensor g6
trump administration
pixel watch 5
apple tv
kospi
chatgpt
gemini
promo codes