The Chip That Spoke Lisp
jxself.org·2h
🔗Lisp
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·10h
⚡Proof Automation
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·14h·
Discuss: Hacker News
🧠Intelligence Compression
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·3h·
Discuss: DEV
⚡Performance Mythology
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·13h·
Discuss: Substack
🔩Systems Programming
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·10h
💻Programming languages
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·1h
📐Mathematical Art
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·1d
🌀Brotli Internals
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·22h·
Discuss: Hacker News
💻Local LLMs
Delimited Continuations in Lone Lisp
matheusmoreira.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
The IBM 5100 – By Bradford Morgan White
abortretry.fail·4h·
Discuss: Hacker News
🏢IBM Mainframes
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·3h·
Discuss: Hacker News
🔲Cellular Automata
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·9h·
Discuss: Hacker News
🛠Language Design
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·10h
⚙️TLA+
Deterministic AI: Why Reliability, Not Creativity, Is the Future of LLMs
davletd.medium.com·18h·
Discuss: Hacker News
⚙️TLA+
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·10h
🌀Brotli Internals
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·10h
🎯Performance Proofs
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·10h
📼Tape Combinators