📝 Compiler Design

Parser Generators, AST Construction, Symbol Tables, Code Generation, Abstract Syntax Trees, Type Checking, Code Generation, Optimization

Brute-forcing Langley’s geometry problem with field extensions
chiark.greenend.org.uk·1d·
Discuss: Lobsters, Hacker News
📊Computational Geometry
Do You Really Know How `or` And `and` Work in Python?
thepythoncodingstack.com·17h
🔗Lisp
Topology Meets Machine Learning
ams.org·17h·
Discuss: Hacker News
🧠Machine Learning
We Do Not Break Userspace
lore.kernel.org·5h·
Discuss: Hacker News
🐧FOSS
Agent DB
agentdb.dev·1d·
Discuss: Hacker News
🗄️Database Internals
Ralph Wiggins as a "Software Engineer"
ghuntley.com·5d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
It Would Be Good if the AI Bubble Burst
stephendiehl.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·2d·
Discuss: Hacker News
💾Persistence Strategies
The Best C++ Library
mcyoung.xyz·4d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·1d
📐Linear Algebra
Understanding Derivatives: The Slope of Change
dev.to·3h·
Discuss: DEV
🌀Differential Geometry
Building CodeFlow AI - My Journey with Bolt.new in the World's Largest Hackathon
dev.to·2d·
Discuss: DEV
📏Code Metrics
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·1d·
Discuss: DEV
🔄Lens Laws
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·1d
🎧Learned Audio
"high level" languages are easier to optimize
jyn.dev·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔨Compilers
Machine Learning Fundamentals: dropout example
dev.to·15h·
Discuss: DEV
🌊Streaming Systems
EME-TTS: Unlocking the Emphasis and Emotion Link in Speech Synthesis
arxiv.org·2d
⚙️Compression Benchmarking
Easy Agents: Build autonomous agents with just natural language
github.com·8h·
Discuss: Hacker News
⚡Proof Automation
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·1d
✓Automated Theorem Proving
Ask HN: Thoughts on combining static analysis and AI for system understanding?
news.ycombinator.com·15h·
Discuss: Hacker News
⚙️Build Archaeology