🛠 Language Design

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

Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org·2d
🔗Monadic Parsing
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Every Line of Code Is a Philosophy in Disguise
dev.to·1d·
Discuss: DEV
⚖️Emulation Ethics
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·3d
📝Concrete Syntax
The Linus Method: How we simiplifed RFC reviews
devashish.me·1d·
Discuss: Hacker News
⚙️Proof Engineering
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org·1d
💻Local LLMs
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·1d
📜Digital Philology
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Complexity
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·2d
💻Local LLMs
The Programmer Identity Crisis
hojberg.xyz·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·1d
✨Effect Handlers
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Building on vibes: Lessons from three years with LLMs
world.hey.com·2d·
Discuss: Hacker News
🌀Brotli Internals
The Project That Made Me Choose C Again
hackernoon.com·2d
🔩Systems Programming
Building A Real-Time Communication System Using Go and WebSocket
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·1d
🗺️Competency Maps
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·1d·
Discuss: Hacker News
✨Effect Handlers