⚙️ Compiler Design - tiferrei · Scour

Automating Database-Native Function Code Synthesis with LLMs 🤖Program Synthesis

arxiv.org·5d

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

natetyoung.github.io·1d·Hacker News

MLanguage/mlang: Compiler for the M language, used to compute the income tax of French taxpayers 🔧ppx

github.com·13h·Hacker News

Embed You a ponyc for Great Good 📦Module Systems

ponylang.io·8h·Lobsters

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

getpocketbot.com·1d·Hacker News

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

fiberplane.com·1h·Hacker News

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

spine-lang.org·4d·Hacker News

Recent lld/ELF performance improvements 🔀OCaml Multicore

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

What Comes After Vibe Coding 🔄Reproducible Builds

blog.bijup.com·15h·Hacker News

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

jonadas.com·1d·Hacker News

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

gameagent.co·7h·Hacker News

Tracking down a 25% Regression on LLVM RISC-V 🐫Embedded OCaml

blog.kaving.me·5d·Lobsters, Hacker News

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

programmingsimplicity.substack.com·1d·Substack

DDD Bounded Contexts: Clear Domain Boundaries for LLM Code Generation 🔤DSLs

understandingdata.com·5d·Hacker News

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

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

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

kalzumeus.com·1d·Hacker News

How we made the Angular Compiler faster using AI 🔀OCaml Multicore

voidzero.dev·4d·Hacker News, r/javascript

Combining Rate and Instructions to Create Beautiful Madness 🔧ppx

biggieblog.com·1d·Hacker News

When the compiler lies: breaking memory safety in safe Go 🏃Escape Analysis

ciolek.dev·6d·Lobsters, Hacker News

Welcome to Triton’s documentation! 📦Unikernel Systems

triton-lang.org·1d·Hacker News

Loading more...