🔨 Compilers

Parser Design, Code Generation, Optimization, Language Design

Feeds to Scour
SubscribedAll
Scoured 11765 posts in 2.56 s
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
REMODEL-LLM: Transforming C code to Java using LLMs
arxiv.org·15h
⬆️Lambda Lifting
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·20h
🧠Lisp Dialects
Preview
Report Post
Aliasing
xania.org·7h·
Discuss: Hacker News
🚀Compiler Optimizations
Preview
Report Post
What 30 Years of Python Reveal About Programming Language Design?
dev.to·6h·
Discuss: DEV
💻Programming languages
Preview
Report Post
Advent of Swift
leahneukirchen.org·1d
🔗Lisp
Preview
Report Post
How Transformers Think: The Information Flow That Makes Language Models Work
kdnuggets.com·5h
🌲Parse Trees
Preview
Report Post
A shift towards engineering-native RL for coding agents
docs.getpochi.com·7h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·5h
⚖️Hoare Logic
Preview
Report Post
The evolution of an extension language: a history of Lua
lua.org·1d
🔄Language Evolution
Preview
Report Post
Fast and Accurate Causal Parallel Decoding using Jacobi Forcing
hao-ai-lab.github.io·1d
📊Quantization
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·3d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·15h
λLambda Encodings
Preview
Report Post
CI/CD Evolution: From Pipelines to AI-Powered DevOps • Olaf Molenveld & Julian Wood • GOTO 2025
youtube.com·7h
🔄Reproducible Builds
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·1d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Mining Legal Arguments to Study Judicial Formalism
arxiv.org·15h
🧮Theorem Proving
Preview
Report Post
DeepSeek-V3.2 + DocLing + Agentic RAG: Parse Any Document with Ease
dev.to·14h·
Discuss: DEV
🤖Archive Automation
Preview
Report Post
Free Go Course: 10 Modules, 30 Lessons, + Online Compiler
reddit.com·1d·
Discuss: r/golang
🦀Rust Macros
Preview
Report Post
qa-FLoRA: Data-free query-adaptive Fusion of LoRAs for LLMs
arxiv.org·15h
💻Local LLMs
Preview
Report Post