🛠 Language Design

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

Back from Display Next Hackfest 2025
bootlin.com·2d
🖥️Terminal Renaissance
How to help someone use a computer
pages.gseis.ucla.edu·10h·
Discuss: Lobsters
🔌Operating system internals
Study mode and spaced repetition. Feature requests, Monetization ideas?
app.polymax.ai·1d·
Discuss: Hacker News, Hacker News
🤖Grammar Induction
Phoenix LiveView 1.1 Released
phoenixframework.org·1d·
Discuss: Hacker News
🔌Interface Evolution
At 17, Hannah Cairo Solved a Major Math Mystery
quantamagazine.org·1d·
Discuss: Hacker News
📐Mathematical Art
Defining 'Toast' Messages (2020)
adrianroselli.com·8h·
Discuss: Hacker News
📟Terminal Typography
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·3d·
Discuss: Hacker News
🛡️Error Boundaries
Global Warming Alarmists Promote Xkcd Time Series Cartoon, Ignore Its Mistakes
stream.org·3h·
Discuss: Hacker News
📰RSS Archaeology
Our approach to building the Agent Interaction SDK
linear.app·1d·
Discuss: Hacker News
🔒WASM Capabilities
Cogito V2 Preview
deepcogito.com·2d·
Discuss: Hacker News
🧮Z3 Solver
Emacs: The macOS Bug
xlii.space·3d·
Discuss: Lobsters, Hacker News
🖥️Vintage Macintosh
How to Run Open-Source LLMs Offline in 2025
dev.to·6h·
Discuss: DEV
💻Local LLMs
Exploring the Economics of AI Software Development
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Can everyone post the four best pictures they've ever generated
dev.to·2h·
Discuss: DEV
📐Mathematical Art
Memorization in Fine-Tuned Large Language Models
arxiv.org·4d
💻Local LLMs
UloRL:An Ultra-Long Output Reinforcement Learning Approach for Advancing Large Language Models' Reasoning Abilities
arxiv.org·4d
💻Local LLMs
Automated Testing: A Software Engineering Concept Data Scientists Must Know To Succeed
towardsdatascience.com·3d
⚡Proof Automation
Mezzano, an operating system written in Common Lisp
github.com·3d·
Discuss: Hacker News
🕸️WASM Archives
Python Fundamentals: complex numbers
dev.to·3d·
Discuss: DEV
💧Liquid Types
🚀 The Best Programming Languages to Learn in 2026
dev.to·2d·
Discuss: DEV
🔄Language Evolution