The end of the winters - of AI
cfenollosa.com·1d
🇸🇪Nordic Algorithms
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·2d
🔗Functional Compilers
This Oasis Photo Collection Captures Raw Behind-the-Scenes Moments From the Band’s ’90s Heyday
variety.com·1d
🏺Compression Museums
Maxwell’s, Hoboken’s Legendary Rock Venue That Helped Spawn Nirvana, the Replacements and More, Is Getting a Documentary — Submissions Welcome
variety.com·1d
📼Cassette Culture
Millions Affected in Massive Telecom Data Breach
zimperium.com·2d
🔤EBCDIC Privacy
Why Upgrades Are Delayed: The Real, Human, Practical Reasons
chkk.io·1d·
Discuss: Hacker News
🔄Language Evolution
How I went from New-Grad to Staff in 5 years in FAANG
thomaskaratzas.substack.com·1d·
Discuss: Substack
🦋Format Metamorphosis
Photo news: Kodak's back and forth and McCartney's Beatles photos
heise.de·2d
🗃archives
SpotTest 1.0 will help you diagnose Spotlight problems
eclecticlight.co·2d
🍎Apple Archive
Let's Talk About AI Workflows
rkayg.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
AI Is Not a Dev
news.ycombinator.com·1d·
Discuss: Hacker News
⚖️Hoare Logic
ModuBandXR: The DIY Universal XR Neckband
hackster.io·2d
⚙️DIY Electronics
Researchers glimpse the inner workings of protein language models
phys.org·1d
🔢Denotational Semantics
War in Ukraine: An essential but largely unproductive meeting in Washington
lemonde.fr·1d
📝ABNF Parsing
Apple preps native Claude integration on Xcode
9to5mac.com·1d·
Discuss: Hacker News
🍎XNU Internals
Optimizing Peer Grading: A Systematic Literature Review of Reviewer Assignment Strategies and Quantity of Reviewers
arxiv.org·1d
🗺️Competency Maps
Synthetic Data is Sufficient for Zero-Shot Visual Generalization from Offline Data
arxiv.org·1d
📊Learned Metrics
Token Trading Agent with Recall
dev.to·2d·
Discuss: DEV
📐Proof Assistants
I Gave My LLM a Promotion: Now It Delegates Its Own Work
dev.to·4d·
Discuss: DEV
🧮Theorem Proving
Active inference for action-unaware agents
arxiv.org·1d
🔲Cellular Automata