Yearly Favorites
34801.
Building a Rust Inference Engine That Matches Llama.cpp
(fratepietro.com)
34802.
Rumor: Anthropic is going to buy Atlassian?
(old.reddit.com)
34803.
Coq theorem prover is now called Rocq
(rocq-prover.org)
34804.
34805.
I need AI that scans every PR and issue and de-dupes
(twitter.com)
34807.
34808.
Kimi K3 is not cheap
(alexinch.com)
34809.
A glitch in February of the year 0
(28times.com)
34811.
Show HN: Terminal-Style Portfolio on the Internet
(kuber.studio)
34813.
Ex-FTC chair Lina Khan joins Mamdani's transition team
(businessinsider.com)
34814.
The Muscular Compassion of "Paper Girl"
(newyorker.com)
34816.
Decide Now; We Won't Know More Later Re UFOs
(overcomingbias.com)
34817.
Should We Make Daylight Saving Time Permanent?
(nytimes.com)
34819.
34820.
Microsoft execs worry AI will eat entry level coding jobs
(theregister.com)
34821.
34822.
DNS Firewalling with MISP and Technitium DNS Server
(zaferbalkan.com)
34823.
How did Tether profit $13B in 2024 from USDT?
(antongolub.substack.com)
34824.
Al is killing programming and the Python community
(reddit.com)
34825.
34827.
34828.
34829.
No, local models will not win
(seangoedecke.com)
34830.
We Demand Perfect Machines yet Tolerate Human Carnage
(noemamag.com)