Why I don't think AGI is imminent
(dlants.me)
All
Programming (General) 3775
Systems / Low-Level / OS 2951
Programming Languages / CS Theory 2127
Data / Databases / Infrastructure 1761
AI / Machine Learning 1525
Web Development 1308
Security / Privacy 1009
Culture / Philosophy / History / Reading 962
Productivity / Career / Business 732
Gaming / Retro Computing 538
Maker / DIY / Hardware 516
Design / UX / Visualization 491
Science / Math / Physics 428
Apple / macOS / iOS 355
Internet / Digital Culture 162
Health / Fitness / Lifestyle 14
Crypto / Blockchain 4
AI / Machine Learning
Side-Channel Attacks Against LLMs
(schneier.com)
Teaching Claude to Write Pony
(ponylang.io)
15+ years later, Microsoft morged my diagram
(nvie.com)
The case for gatekeeping, or: why medieval guilds had it figured out
(joanwestenberg.com)
claimcheck: Narrowing the Gap between Proof and Intent
(midspiral.com)
Are We Becoming Architects or Butlers to LLMs?
(muratbuffalo.blogspot.com)
--dangerously-skip-reading-code
(olano.dev)
building sqlite with a small swarm
(kiankyars.github.io)
LCM: Lossless Context Management
(papers.voltropy.com)
The Long Tail of LLM-Assisted Decompilation
(blog.chrislewis.au)
A Broken Heart
(allenpike.com)
An AI Called Winter: Neurosymbolic Computation or Illusion?
(dustycloud.org)
Level of Detail
(phinze.com)
R.I.P. Rest In Prompt
(hugodaniel.com)
Browse code by meaning
(haskellforall.com)
GGML GGUF File Format Vulnerabilities (2024)
(databricks.com)
Quamina + Claude, Case 1
(tbray.org)
Deep Blue
(simonwillison.net)
Imandra CodeLogician: LLMs + Formal Methods
(arxiv.org)
Token-Oriented Object Notation (TOON)
(github.com)
Editor’s Note: Retraction of article containing fabricated quotations
(arstechnica.com)