A Manifesto for the Programming Desperado
github.comยท7hยท
Discuss: Hacker News
๐Ÿช„Prompt Engineering
Experimenting with ACL2 and Claude Code
mikedodds.orgยท11hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Let's Write a Macro in Rust
hackeryarn.comยท7hยท
Discuss: Hacker News
๐ŸŽญRust Macros
Size doesn't matter: Just a small number of malicious files can corrupt LLMs of any size
techxplore.comยท8h
๐Ÿ•ณLLM Vulnerabilities
Building the Reasoning Engine at Axiom
axiommath.aiยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
LLM-Based AI Agent That Automates The Transistor Sizing Process (Univ. of Edinburgh)
semiengineering.comยท2h
๐Ÿ†•New AI
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท10hยท
Discuss: r/programming
๐ŸŒฟLeptos
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.comยท12hยท
Discuss: Hacker News
๐ŸงตConcurrency
2025-10-10 # LLMs Are Transpilers
alloc.devยท23hยท
Discuss: Hacker News
๐Ÿ†LLM Benchmarking
Open Lineage
usenix.orgยท19h
๐Ÿ“˜Typescript
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท9hยท
Discuss: Hacker News
๐Ÿฆ€Rust Web Services
From Text to Token: How Tokenization Pipelines Work
paradedb.comยท23h
๐Ÿ”คTokenization
YouTube gets ~5% CTR lift on Shorts by replacing embedding tables with Semantic IDs
shaped.aiยท23h
๐Ÿ“ŠFeed Optimization
MECE โ€” The AI Principle Youโ€™ll Never Stop Using After Reading This
pub.towardsai.netยท12h
๐Ÿ”AI Interpretability
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท9hยท
Discuss: Hacker News
๐Ÿ†LLM Benchmarking
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.ioยท1hยท
Discuss: Hacker News
๐ŸŒDistributed systems
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท21hยท
๐Ÿ“‘Inverted Indexes
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.orgยท19h
๐Ÿง LLM Inference