🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

The Rise of Minimalist Luxury: Designing with Intention in 2025
ridgewayomar.substack.com·8h·
Discuss: Substack
⬜Minimalism
What Does Consulting Do?
nber.org·11h·
Discuss: Hacker News
⚡Effectful Programming
How to draw lambda diagrams (2020)
risingentropy.com·3d·
Discuss: Hacker News
λLambda Formalization
Math Is Erotic
firstthings.com·1d·
Discuss: Hacker News
📐Mathematical Art
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·3d·
Discuss: Hacker News, r/programming
🤖Lisp Machines
Philosopher–Builder Summer Reads
blog.cosmos-institute.org·2d·
Discuss: Hacker News
🔲Cellular Automata
Should You Migrate Your Documentation System – and Is It AI-Ready?
nikhilajain.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Plato's Cave of AI Agent Evals
vivekhaldar.com·14h·
Discuss: Hacker News
🔍Concolic Testing
Law of Triviality
en.wikipedia.org·2d·
Discuss: Hacker News
✨Algebraic Effects
MapleStory Universe Expands Infinite IP Playground Vision With Developer Tools & Legacy IP Expansion
hackernoon.com·13h
🔓Open Source Software
TWAaCA (Tailwind as a Custom Attribute)
github.com·1d·
Discuss: Hacker News
📟Terminal Typography
Fluid: How we built serverless servers
vercel.com·16h·
Discuss: Hacker News
🌊Stream Processing
Tactile-Guided Robotic Ultrasound: Mapping Preplanned Scan Paths for Intercostal Imaging
arxiv.org·1h
📄Document Digitization
Analysing FIT data with Perl: interactive data analysis
perl.com·1d
📰SGML
Claude Code sub-agent that accesses past sessions
github.com·2d·
Discuss: Hacker News
👑Isabelle
Linux 6.16 Released
lore.kernel.org·1d·
Discuss: Hacker News, r/linux
🔌Operating system internals
Advancing Vision-based Human Action Recognition: Exploring Vision-Language CLIP Model for Generalisation in Domain-Independent Tasks
arxiv.org·1d
📊Learned Metrics
Offline AI on Mobile: Tackling Whisper, LLMs, and Size Roadblocks
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Multi-Stage Verification-Centric Framework for Mitigating Hallucination in Multi-Modal RAG
arxiv.org·1h
📊Multi-vector RAG
Simulating Human Behavior with the Psychological-mechanism Agent: Integrating Feeling, Thought, and Action
arxiv.org·1h
🔲Cellular Automata