📝 Compiler Design

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

cAST: Enhancing Code Retrieval-Augmented Generation with Structural Chunking via Abstract Syntax Tree
arxiv.org·1d
🔨Compilers
Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C
errorcodezero.dev·3h·
Discuss: Hacker News
🔩Systems Programming
Designing your own node-based visual programming language
dev.to·11h·
Discuss: DEV
💻Programming languages
I Wrote a Compiler
blog.singleton.io·4d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Advanced Rust Programming Techniques • Florian Gilcher • GOTO 2024
youtube.com·1d
🦀Rust Borrowing
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
The Less Humble Programmer (2023)
digitalhumanities.org·11h·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
New AI technique makes LLMs write code more like real programmers
fedecarg.medium.com·12h·
Discuss: Hacker News
💻Programming languages
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
And the other Big Red Logic Books?
logicmatters.net·14h
🔀Category Theory
Improved Iterative Refinement for Chart-to-Code Generation via Structured Instruction
arxiv.org·1d
🔨Compilers
The Power of Slice Patterns in Rust
dev.to·8h·
Discuss: DEV
🦀Rust Macros
Revisiting Knuth’s “Premature Optimization” Paper
probablydance.com·7h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
C++ in Jupyter — Interpreting C++ in the Web
blog.jupyter.org·15h·
Discuss: Hacker News
🔩Systems Programming
OpenProcessing
openprocessing.org·1h
📐Mathematical Art
Rust Eats Python’s, Java’s Lunch in Data Engineering
thenewstack.io·11h
🔩Systems Programming
Two Pointer Algorithms
mmhaskell.com·3d
🦀Rust Macros
From Object-Oriented to Functional Programming. A Fractal Metamorphisis.
dev.to·18h·
Discuss: DEV
🧬Functional Programming
graven-image: Portability library for CL image in REPL
github.com·12h·
Discuss: Lobsters
🦀Rust Macros
My first experience with Formal Methods | ZipCPU
zipcpu.com·20h
🔧Hardware Verification