TorchLean: Formalizing Neural Networks in Lean
(news.ycombinator.com)
12571.
12572.
Microgpt
(news.ycombinator.com)
12573.
Running a One Trillion-Parameter LLM Locally on AMD Ryzen AI Max+ Cluster
(news.ycombinator.com)
12574.
Raspberry Pi Pico as AM Radio Transmitter
(news.ycombinator.com)
12575.
The trap Anthropic built for itself
(techcrunch.com)
12576.
Show HN: Explain Curl Commands
(news.ycombinator.com)
12577.
Poll: Code with AI or Not?
(news.ycombinator.com)
12578.
You can use newline characters in URLs
(news.ycombinator.com)
12579.
Claude is the Number 2 Free App in Apple’s App Store Now
(gizmodo.com)
12580.
The war against PDFs is heating up
(news.ycombinator.com)
12581.
Programmable Cryptography (2024)
(news.ycombinator.com)
12582.
Simple screw counter
(news.ycombinator.com)
12583.
Simple Screw Counter
(news.ycombinator.com)
12584.
12586.
12587.
12588.
12589.
12590.
12591.
What to know about the landmark Warner Bros. Discovery sale
(techcrunch.com)
12592.
12593.
We do not think Anthropic should be designated as a supply chain risk
(news.ycombinator.com)
12594.
MinIO Is Dead, Long Live MinIO
(news.ycombinator.com)
12595.
12596.
12597.
12598.
12599.
Our Agreement with the Department of War
(news.ycombinator.com)
12600.