🛠 Language Design

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

Feeds to Scour
SubscribedAll
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·4d
λLambda Formalization
Preview
Report Post
Training a Tokenizer for Llama Model
machinelearningmastery.com·4d
📋Document Grammar
Preview
Report Post
🎯 Domain-Specific LLMs: Specialized AI for Healthcare, Finance, Legal, and Beyond
dev.to·2d·
Discuss: DEV
🗣️Domain-Specific Languages
Preview
Report Post
DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems
arxiv.org·1d
⚙️TLA+
Preview
Report Post
Teaching an LLM to Write Assembly: GBNF-Constrained Generation for a Custom CPU
jamesdrandall.com·5d·
Discuss: Hacker News
🌳Context free grammars
Preview
Report Post
Shed Skin restricted-Python-to-C++ compiler v0.9.11
shed-skin.blogspot.com·5d·
Discuss: www.blogger.com
🔩Systems Programming
Preview
Report Post
ContextualSHAP : Enhancing SHAP Explanations Through Contextual Language Generation
arxiv.org·1d
🌳Context free grammars
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·5d
🎯Performance Proofs
Preview
Report Post
Program Comprehension as a Central Skill in CS Education in the Era of Generative AI
cacm.acm.org·6d
💻Programming languages
Preview
Report Post
I Can't Write Code. I Built This Anyway.
dev.to·2d·
Discuss: DEV
🔩Systems Programming
Preview
Report Post
LIME: Making LLM Data More Efficient with Linguistic Metadata Embeddings
arxiv.org·1d
🌀Brotli Internals
Preview
Report Post
Weekly Bookmarks
inkdroid.org·3d
🌀Brotli Internals
Preview
Report Post
The significance of Brooker's autocodes in taking the early Manchester machines
curation.cs.manchester.ac.uk·2d·
Discuss: Hacker News
🇬🇧British Computing
Preview
Report Post
KidSpeak: A General Multi-purpose LLM for Kids' Speech Recognition and Screening
arxiv.org·1d
🎙️Whisper
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·3d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Efficient ASR for Low-Resource Languages: Leveraging Cross-Lingual Unlabeled Data
arxiv.org·1d
🎙️Whisper
Preview
Report Post
My Working Thoughts
bramadams.dev·3d·
Discuss: Hacker News
🧠Personal Knowledge Base
Preview
Report Post
Featurized-Decomposition Join: Low-Cost Semantic Joins with Guarantees
arxiv.org·2d
🧠Query Planners
Preview
Report Post
What I’ve Been Up To (20251205)
embeddedartistry.com·4d
💾Persistence Strategies
Preview
Report Post
Universality of asymptotic graph homomorphism
arxiv.org·2d
🔗Graph Isomorphism
Preview
Report Post