The Chip That Spoke Lisp
jxself.org·7h
🔗Lisp
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·15h
⚡Proof Automation
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·19h·
Discuss: Hacker News
🧠Intelligence Compression
The Neuron That Wanted to Be God
thealgorithmicbridge.com·3h
🔲Cellular Automata
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·8h·
Discuss: DEV
⚡Performance Mythology
Show HN: CodexLocal – Offline, Privacy-First AI Coding Tutor (WebLLM and RAG)
codexlocal.com·1h·
Discuss: Hacker News
🌀Brotli Dictionary
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·18h·
Discuss: Substack
🔩Systems Programming
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·15h
💻Programming languages
Efficiently Updatable Neural Network (NNUE)
beuke.org·21h
📊Quantization
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·6h
📐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·1d·
Discuss: Hacker News
💻Local LLMs
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·2h·
Discuss: Hacker News
🌳Incremental Parsing
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·9h·
Discuss: Hacker News
🏢IBM Mainframes
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·8h·
Discuss: Hacker News
🔲Cellular Automata
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·14h·
Discuss: Hacker News
🛠Language Design
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·15h
⚙️TLA+