Floor796
(floor796.com)
895 points
110
Calendar
(neatnik.net)
764 points
95
How we lost communication to entertainment
(ploum.net)
591 points
333
Replacing JavaScript with Just HTML
(www.htmhell.dev)
576 points
215
FFmpeg has issued a DMCA takedown on GitHub
(twitter.com)
543 points
182
Say No to Palantir in the NHS
(notopalantir.goodlawproject.org)
522 points
184
Nvidia's $20B antitrust loophole
(ossa-ma.github.io)
516 points
165
My insulin pump controller uses the Linux kernel. It also violates the GPL
(old.reddit.com)
488 points
251
Growing up in “404 Not Found”: China's nuclear city in the Gobi Desert
(substack.com)
464 points
181
Toys with the highest play-time and lowest clean-up-time
(joannabregan.substack.com)
462 points
270
Load More Posts
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
OP
by
PaulHoule
today at 3:02 PM
18 points
2 comments
arxiv.org
Comments
Loading comments...