🛠 Language Design

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

LSM trees in postgres
notes.billmill.org·1d
🌲B-tree Variants
Hardest Question From China’s University Entrance Exam
mindyourdecisions.com·6h
🧮SMT Solvers
How AI can deepen inequities for non-native English speakers in science
nature.com·1d
🏛Digital humanities
Evolution of HTTP
developer.mozilla.org·13h·
Discuss: Hacker News
🌐Web Standards
Transformer Explainer: LLM Transformer Model Visually Explained
poloclub.github.io·1d·
Discuss: Lobsters
🤖Grammar Induction
Canadian Cross
en.wikipedia.org·4d·
Discuss: Hacker News
🏗️Compiler Archaeology
Tell HN: GPT a and B Chatted 32 Rounds via Our Mediation Layer – No Crashes
news.ycombinator.com·20h·
Discuss: Hacker News
📝ABNF Extensions
The AI tool no one talks about is secretly winning
dev.to·10h·
Discuss: DEV
📏Code Metrics
On the Role of AI in Managing Satellite Constellations: Insights from the ConstellAI Project
arxiv.org·1d
🔲Cellular Automata
AlphaAlign: Incentivizing Safety Alignment with Extremely Simplified Reinforcement Learning
arxiv.org·1d
⚔️Lean Tactics
Dependency Injection in Go: The Simple Way to More Testable Code
dev.to·13h·
Discuss: DEV
🔌Interface Evolution
We maintain HarfBuzz, the text shaping engine used in Linux desktop and more — Ask us anything (or tell us what confused you)
github.com·21h·
Discuss: Hacker News, r/linux
🔠Terminal Fonts
Revolutionizing Agent Data Management: The Know Your Agent Initiative by Saketh Reddy Cheruku
hackernoon.com·16h
🚚Data Migration
Purchase and Production Optimization in a Meat Processing Plant
arxiv.org·4h
📈Linear programming
Closing the complexity gap of the double distance problem
arxiv.org·4h
🧮Kolmogorov Complexity
MEKiT: Multi-source Heterogeneous Knowledge Injection Method via Instruction Tuning for Emotion-Cause Pair Extraction
arxiv.org·1d
🧠Intelligence Compression
Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media
arxiv.org·1d
🌀Brotli Internals
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·1d
🔍Type Inference
How a Legal Advocate Built an AI-Powered Case Intake & Memo Generator — Without Writing Code
dev.to·23h·
Discuss: DEV
⚡Proof Automation
Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
arxiv.org·4h
🧠Intelligence Compression