🔨 Compilers - tiferrei · Scour

A Ruby program that generates a Rust program that generates a Scala program... 🧮Lean4

github.com·4d·Hacker News

Circuit Transformations, Loop Fusion, and Inductive Proof 🏹Effect Systems

natetyoung.github.io·1d·Hacker News

Show HN: Spectre: A systems design-by-contract language, self hosted compiler 💎Refinement Types

spectrelang.org·59m·Hacker News

Embed You a ponyc for Great Good 📦Module Systems

ponylang.io·11h·Lobsters

A Perfectable Programming Language 🧮Lean4

alok.github.io·2d·Hacker News

What Comes After Vibe Coding 🔄Reproducible Builds

blog.bijup.com·18h·Hacker News

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation 🤖Program Synthesis

arxiv.org·6d

How We Use Claude Code and Build with Agents at Fiberplane 🛡️seL4

fiberplane.com·4h·Hacker News

Jail-Breaking Parser Technology (A Slight Return) 🔤Language Design

programmingsimplicity.substack.com·1d·Substack

Your LLM is a compiler, not a runtime 📦Module Systems

getpocketbot.com·1d·Hacker News

A brief history of C/C++ programming languages ⚙️Compiler Design

lemire.me·5d·Hacker News, r/cpp, r/rust

Steam market intelligence reports via Claude (30 pages, 2 min) 👁️System Observability

gameagent.co·10h·Hacker News

Recent lld/ELF performance improvements 🔀OCaml Multicore

maskray.me·2d·Hacker News, r/cpp

But what about K? 🔀Brzozowski Derivatives

tony-zorman.com·5d·Lobsters, Hacker News

Everything Should Be Typed: Scalar Types Are Not Enough 🎯GADT

sot.dev·2d·Lobsters, Hacker News, r/programming, r/rust

Beyond Karpathy's LLM-Wiki: The Necessity of Cognitive Governance 🧠Automated Reasoning

jonadas.com·1d·Hacker News

A language where you describe the system and the compiler verifies it 🔍Formal Verification

spine-lang.org·4d·Hacker News

Combining Rate and Instructions to Create Beautiful Madness 🔧ppx

biggieblog.com·1d·Hacker News

How I Pick My Stack for Vibe Coding 🧮Lean4

tildehacker.com·4d·Hacker News

Don't Call Yourself a Programmer, and Other Career Advice (2011) 🔧DevOps

kalzumeus.com·1d·Hacker News

Loading more...