The Goose Programming Language(aardappel.github.io)
155 points by andsoitis | 54 comments
Homepage for Goose, a memory-safe systems programming language with no heap, garbage collector, or lifetime annotations that compiles to C.
#compilers on Hacker News
86 stories tagged compilers, newest first.
Crystal 1.22(crystal-lang.org)
156 points by ksec | 102 comments
Release announcement for Crystal 1.22.0, covering SIGPIPE emulation, DWARF parsing improvements, native event loops on all targets, LLVM 23/24 support, and aarch64-linux Tier 1.
Show HN: Turn regular JavaScript into a neural net(chenglou.me)
30 points by chenglou | 11 comments
Project page for Handwired, a tool that compiles ordinary JavaScript code into exact, differentiable neural networks runnable in the browser, with demos like a mini OS.
2026 is an exciting year for the Rust compiler (and me)(yoyo-code.com)
166 points by panstromek | 117 comments
Blog post by Matyáš Racek on Rust compiler initiatives maturing in 2026, starting with the next-generation trait solver.
Tsrs: A Port of TypeScript to Rust(blog.cloudflare.com)
409 points by hnisjafx40 | 213 comments
Cloudflare blog post announcing tsrs, a port of the TypeScript compiler to Rust, covering performance gains, motivation, and maintenance plans.
Free Pascal compiler now supports dynamic packages(getlazarus.org)
188 points by sysrpl | 45 comments
Announcement on getlazarus.org of full dynamic package support for the Free Pascal Compiler and Lazarus IDE, with downloadable installers.
Trials and Tribulations of Native Lua Compilation(samyeyo.github.io)
17 points by _samt_ | 4 comments
A blog post by the author of LuaRT describing clx, a compiler that translates Lua 5.5 source into C++ to produce native executables without a Lua VM.
A new way to think about borrow checking (in reverse)(verdagon.dev)
104 points by verdagon | 10 comments
Blog post by Evan Ovadia explaining a borrow checker for the Vale language that analyzes functions by walking them backwards to check memory safety.
Tsc-ts: TypeScript written in TypeScript(github.com)
36 points by tosh | 34 comments
GitHub repository from Vercel Labs for tsc-ts, a TypeScript compiler implementation written in TypeScript.
Superoptimizing an FPU Emulator(purplesyringa.moe)
39 points by dverlaeckt80 | 6 comments
Blog post on using superoptimization to find an optimal instruction sequence for a floating-point emulator function returning a float's lowest set bit.
Turn your regular JavaScript code into a neural net(chenglou.me)
4 points by vismit2000 | 1 comments
Landing page for Handwired, a tool that compiles regular JavaScript code into an exact, differentiable neural network runnable in a browser without training or GPU.
Fun Extending the C Preprocessor(davidpriver.com)
44 points by david2ndaccount | 13 comments
David Priver's blog post describing fun extensions he added to the C preprocessor in his own C2Y compiler/interpreter, such as __print() and __where() debugging macros.
![Screenshot of cr.yp.to: The cryptoint library (2025) [pdf]](https://hn.urlbox.com/shots/renders/2026/10/17/d7252175-f03a-4bd6-9d9e-1f6d618c09c4.jpg)
The cryptoint library (2025) [pdf](cr.yp.to)
21 points by akkartik | 0 comments
Daniel J. Bernstein's paper describing cryptoint, a C/C++ library of constant-time integer functions designed to resist compiler optimizations that introduce timing leaks.
Compiler bootstrapping depends on more than you might think(utcc.utoronto.ca)
6 points by gavinhoward | 1 comments
A blog post by Chris Siebenmann discussing how compiler bootstrapping can be affected by operating system changes and other dependencies.
0/1 Knapsack Problem in PyTorch(jedrzej.maczan.pl)
41 points by yu3zhou4 | 6 comments
Blog post introducing dp_knapsack_sliding_hirschberg, a PyTorch activation memory budget solver that cuts peak RAM during memory planning by about 20x.
Your C is not standard C(sebsite.pw)
111 points by dverlaeckt80 | 79 comments
Blog post listing incompatibilities between ISO standard C and C as actually used with gcc/clang and glibc/musl.
Rat's Register Allocator(hexrat.cc)
53 points by mpweiher | 3 comments
Blog post describing how the rat compiler backend replaced its linear scan register allocator with a simpler priority bin-packing allocator for x86-64.
Compiling Rust to readable C with Eurydice(lwn.net)
127 points by peter_d_sherman | 37 comments
LWN article describing Eurydice, a project that compiles Rust code into readable C for use with verification tools and platforms lacking a Rust compiler.
April: APL as a DSL in Common Lisp(github.com)
3 points by so-cal-schemer | 3 comments
GitHub repository for April, a compiler for a subset of the APL programming language that compiles to Common Lisp.
Communication Between the Compiler, the Build System, and Beyond(shrub.industries)
17 points by shrub900 | 3 comments
A personal essay arguing that compilers, build systems, and package managers in POSIX-like operating systems fail to share dependency and resource information, missing optimization opportunities.
Gleam doesn't compile to Erlang source anymore(gleam.run)
300 points by ingve | 127 comments
Gleam v1.19.0 release announcement explaining that the Gleam compiler no longer generates Erlang source code as an intermediate step.
Borland Turbo Basic(dosdays.co.uk)
92 points by sssilver | 50 comments
DOS Days page on the history of Borland's Turbo BASIC, a BASIC compiler for MS-DOS that started as BASIC/Z by Bob Zale and later became PowerBASIC.
Zig v0.17.0(ziglang.org)
209 points by ErenayDev | 132 comments
Official release notes for Zig 0.17.0, covering five months of work from 206 contributors including a reworked build system, Build Server Protocol, and ELF linker improvements.
C++ Insights – See your source code with the eyes of a Compiler(github.com)
157 points by rramadass | 31 comments
GitHub repository for C++ Insights, a Clang-based tool that shows C++ source code as the compiler sees it, revealing implicit conversions and generated code.
Turbo Haskell(comonad.com)
188 points by pjmlp | 48 comments
Edward Kmett blog post on The Comonad.Reader titled Turbo Haskell, covering a Haskell compiler for the JVM: borrowing libraries, evaluation and concurrency, SIMD, and tail calls.
Beating the compiler (2024)(mattkeeter.com)
57 points by andsoitis | 38 comments
Matt Keeter's blog post on writing an interpreter for the Uxn stack-based CPU in hand-written assembly to outperform compiler-generated code.
Show HN: Yantra – an LALR(1) parser generator for C++(github.com)
23 points by renjipanicker | 15 comments
GitHub repository for Yantra, an MIT-licensed LALR(1) parser generator for C++ that generates a lexer, parser, AST, and top-down AST walkers from one grammar.
Fixed Points and Strike Mandates (2012)(pvk.ca)
12 points by luu | 1 comments
A 2012 blog post by Paul Khuong on computing fixed points in compilation and program analysis, framed through an analogy to strike mandates.
EDG C++ Compiler is open source(github.com)
25 points by zx2c4 | 1 comments
GitHub repository for the Edison Design Group (EDG) C++ compiler front end, newly released as open source.
I wrote a ray tracer in Brainfuck(epestr.com)
77 points by epestr | 19 comments
A blog post describing how the author wrote a ray tracer in Brainfuck, inspired by a CMake tutorial remark about ray tracers written in CMake.
Remembering Johannes Doerfert(blog.llvm.org)
99 points by sdko | 3 comments
An LLVM Project Blog post by Tanya Lattner remembering LLVM contributor Johannes Doerfert.
Making portable my unportable transputer C compiler(nanochess.org)
58 points by nanochess | 8 comments
Oscar Toledo G. describes recovering his late-1990s transputer C compiler from a floppy disk and making its code portable to modern compilers.
GCC steering committee announces AI policy(lwn.net)
335 points by arto | 384 comments
LWN brief reporting that the GCC steering committee adopted a policy declining legally significant contributions containing or derived from LLM-generated content.
How Our Rust-to-Zig Rewrite Is Going(rtfeldman.com)
488 points by jorangreef | 257 comments
Richard Feldman's blog post reporting on the Roc compiler team's rewrite of 300,000 lines of Rust into Zig, which recently reached feature parity.
TypeScript 7(devblogs.microsoft.com)
670 points by DanRosenwasser | 266 comments
Microsoft Dev Blogs post announcing the release of TypeScript 7.0, a native port of the TypeScript compiler described as 10x faster.
Road to Elm 1.0(elm-lang.org)
318 points by wolfadex | 163 comments
Elm news post by Evan Czaplicki announcing Elm 0.19.2 with faster compiler builds as the first step on the road to Elm 1.0.
crustc: entirety of `rustc`, translated to C(github.com)
371 points by Philpax | 82 comments
GitHub repository crustc, containing the entire Rust compiler rustc translated into C source code.
CS 6120: Advanced Compilers: The Self-Guided Online Course (2020)(cs.cornell.edu)
422 points by ibobev | 59 comments
Landing page for the self-guided online version of Cornell's CS 6120 PhD-level Advanced Compilers course by Adrian Sampson, with lessons, videos, papers, and implementation tasks.
Zig: Build System Reworked(ziglang.org)
353 points by tosh | 230 comments
Zig devlog entry by Andrew Kelley describing a reworked build system that splits zig build into a debug-compiled configurer process and a cached release-mode maker process.
CUDA-oxide: Nvidia's official Rust to CUDA compiler(nvlabs.github.io)
390 points by adamnemecek | 110 comments
Documentation book for cuda-oxide, an experimental NVIDIA Labs Rust-to-CUDA compiler for writing SIMT GPU kernels in Rust.
Mojo 1.0 Beta(mojolang.org)
354 points by sbt567 | 221 comments
Homepage of the Mojo programming language, a Python-like language for fast CPU and GPU code, announcing the 1.0.0b1 stable beta release.
Async Rust never left the MVP state(tweedegolf.nl)
415 points by pjmlp | 224 comments
Tweede Golf blog post by embedded engineer Dion arguing async Rust remains at MVP state, discussing async bloat and a proposed compiler-level Project Goal fix.
Want to write a compiler? Just read these two papers (2008)(prog21.dadgum.com)
462 points by downbad_ | 139 comments
A 2008 blog post by James Hague arguing that compiler books are too broad and recommending two papers as a practical starting point for writing a compiler.
Zig – Type Resolution Redesign and Language Changes(ziglang.org)
376 points by Retro_Dev | 210 comments
Zig devlog entry by Matthew Lugg describing a merged 30,000-line PR redesigning the Zig compiler's type resolution, with related language changes.
SectorC: A C Compiler in 512 bytes (2023)(xorvoid.com)
347 points by valyala | 72 comments
Blog post describing SectorC, a C compiler written in x86-16 assembly that fits in a 512-byte boot sector and supports a usable subset of C.
Zig Libc(ziglang.org)
317 points by ingve | 131 comments
Zig devlog entry by Andrew Kelley on the zig libc subproject, which replaces vendored C libc code with Zig standard library wrapper implementations.
LLVM: The bad parts(npopov.com)
366 points by vitaut | 75 comments
Blog post by LLVM lead maintainer Nikita Popov listing design and project issues in LLVM that represent opportunities for improvement.
The C3 Programming Language(c3-lang.org)
348 points by y1n0 | 212 comments
Homepage of the C3 programming language, a C-like systems language, with links to docs, examples, downloads, and current version 0.7.8.
I'm just having fun(jyn.dev)
457 points by lemper | 209 comments
A blog post by jyn, a compiler engineer, arguing that programming isn't a competition and that they write about technical topics simply for fun.
Why xor eax, eax?(xania.org)
518 points by hasheddan | 189 comments
Matt Godbolt's blog post explaining why compilers emit xor eax, eax to zero a register on x86 and why it is among the most executed instructions.
Why is Zig so cool?(nilostolte.github.io)
529 points by vitalnodo | 467 comments
An article by Nilo Stolte presenting the Zig programming language's appealing features, such as its compiler that compiles C and cross-compiles.
Notes by djb on using Fil-C(cr.yp.to)
340 points by transpute | 219 comments
Daniel J. Bernstein's notes on using the memory-safe C/C++ compiler Fil-C, including install scripts, timings, and compatibility observations on Debian 13.
GHC now runs in the browser(discourse.haskell.org)
339 points by kaycebasques | 118 comments
Haskell Discourse Show and Tell post announcing that the GHC compiler now runs fully client-side in the browser via its WebAssembly backend, with a playground demo.
Who needs Graphviz when you can build it yourself?(spidermonkey.dev)
463 points by pdubroy | 95 comments
SpiderMonkey blog post describing a custom interactive tool for visualizing how the Ion optimizing compiler processes JavaScript and WebAssembly functions.
Elixir 1.19(elixir-lang.org)
354 points by theanirudh | 113 comments
Official Elixir blog post announcing the v1.19 release, with enhanced type checking, broader type inference, and up to 4x faster compilation for large projects.
Zig builds are getting faster(mitchellh.com)
409 points by emschwartz | 191 comments
Mitchell Hashimoto's blog post describing how Zig 0.15.1 has improved build times, using the Ghostty project's upgrade as an example.
WASM 3.0 Completed(webassembly.org)
1017 points by todsacerdoti | 450 comments
WebAssembly.org announcement by Andreas Rossberg that Wasm 3.0 is completed and released as the new live standard, succeeding version 2.0.
Fil's Unbelievable Garbage Collector(fil-c.org)
556 points by pizlonator | 255 comments
Documentation page describing FUGC, Fil-C's parallel concurrent on-the-fly non-moving Dijkstra garbage collector for memory-safe C/C++.
Lisp from Nothing, Second Edition(t3x.org)
354 points by nils-m-holm | 98 comments
Book page for Nils M Holm's "Lisp from Nothing", covering minimal self-interpreting Lisp implementations from a metacircular evaluator to a compiler emitting C.
Writing that changed how I think about programming languages(bernsteinbear.com)
388 points by r4um | 48 comments
A blog post listing papers, posts, and videos on programming languages and compilers that changed the author's thinking, with short commentary on each.
The earliest versions of the first C compiler known to exist(github.com)
351 points by diginova | 161 comments
GitHub repository containing source code of the earliest known versions of Dennis Ritchie's first C compiler (last1120c and prestruct).
Performance of the Python 3.14 tail-call interpreter(blog.nelhage.com)
557 points by signa11 | 160 comments
Blog post by Nelson Elhage examining the performance gains of CPython 3.14's new tail-call bytecode interpreter and reassessing its reported 10-15% speedup.
How do modern compilers choose which variables to put in registers?(langdev.stackexchange.com)
361 points by azeemba | 59 comments
A Stack Exchange question on Programming Language Design and Implementation asking how modern compilers decide which variables to place in registers.
Roc rewrites the compiler in Zig(gist.github.com)
322 points by todsacerdoti | 237 comments
A GitHub Gist by Richard Feldman explaining why the Roc programming language's compiler is being rewritten from Rust in Zig.
Tilde, My LLVM Alternative(yasserarg.com)
329 points by davikr | 130 comments
Blog post by Yasser introducing Tilde (TB), a compiler backend library intended as a faster, smaller alternative to LLVM, tested with a C compiler.
You can use C-Reduce for any language(bernsteinbear.com)
462 points by Tomte | 102 comments
A blog post explaining how the C-Reduce test-case minimizer can be used to shrink bug reproducers in languages other than C, using a RustPython bug as an example.
Borgo Programming Language(borgo-lang.github.io)
334 points by MrBuddyCasino | 159 comments
Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.
Dear sir, you have built a compiler (2022)(rachit.pl)
364 points by azhenley | 201 comments
A satirical 2022 essay in letter form telling developers that their ad-hoc string-mangling and AST-hacking prototypes have become an unplanned compiler.
Whence '\n'?(rodarmor.com)
318 points by lukastyrychtr | 112 comments
Casey Rodarmor blog post tracing where the 0x0A byte for '\n' comes from in the just command runner's Rust parser, down through the compiler chain.
Writing a Rust compiler in C(notgull.net)
361 points by todsacerdoti | 186 comments
Blog post by John Nunley announcing Dozer, a Rust compiler written in C, and explaining why he is building it to bootstrap Rust.
Porffor: A from-scratch experimental ahead-of-time JS engine(porffor.dev)
458 points by bpierre | 128 comments
Homepage of Porffor, an experimental from-scratch JavaScript engine that compiles JS ahead-of-time to WebAssembly or native code.
Run CUDA, unmodified, on AMD GPUs(docs.scale-lang.com)
1251 points by Straw | 382 comments
Documentation for SCALE by Spectral Compute, a GPGPU toolkit that compiles unmodified CUDA applications natively for AMD GPUs.
Crafting Interpreters(craftinginterpreters.com)
531 points by metadat | 164 comments
Homepage of Crafting Interpreters, Robert Nystrom's book on implementing a full-featured scripting language with a tree-walk interpreter and bytecode VM.
Amber: Programming language compiled to Bash(amber-lang.com)
394 points by weaksauce | 287 comments
Homepage of Amber, a type-safe programming language that compiles to Bash scripts, with install instructions and a code example.
Hello World(thecoder08.github.io)
386 points by fbrusch | 65 comments
A blog post taking a deep dive into the layers of abstraction behind a modern Hello World program written in C.
Improvements to static analysis in GCC 14(developers.redhat.com)
360 points by dmalcolm | 125 comments
Red Hat Developer article by David Malcolm describing improvements to the static analyzer (-fanalyzer) in the GCC 14 compiler.
Cranelift code generation comes to Rust(lwn.net)
398 points by ridruejo | 99 comments
LWN article on Cranelift, the Wasmtime code-generation backend now available as an optional faster debug-build backend for the Rust compiler.
The return of the frame pointers(brendangregg.com)
630 points by mfiguiere | 230 comments
Brendan Gregg blog post on frame pointers returning as a compiler default in Linux distributions, and how this fixes broken stack traces in profilers and flame graphs.
CS 6120: Advanced Compilers: The Self-Guided Online Course(cs.cornell.edu)
367 points by swatson741 | 78 comments
Self-guided online version of Cornell's PhD-level CS 6120 Advanced Compilers course by Adrian Sampson, with lessons, videos, papers, and LLVM-based implementation tasks.
Progress toward a GCC-based Rust compiler(lwn.net)
330 points by askl | 222 comments
LWN article reporting on progress of gccrs, a Rust compiler front end for GCC, and the alternative rustc_codegen_gcc approach.
Clang now makes binaries an original Pi B+ can't run(rachelbythebay.com)
318 points by FPGAhacker | 113 comments
Blog post describing how clang on Raspberry Pi OS bookworm produces C++ binaries that crash with illegal instruction on original Pi B+ and Pi Zero ARMv6 hardware.
Bringing garbage collected programming languages efficiently to WebAssembly(v8.dev)
401 points by kiyanwang | 238 comments
V8 blog post detailing how garbage-collected languages like Java, Kotlin, and Dart can be ported to WebAssembly, comparing traditional WasmMVP porting with WasmGC.
Svelte 5: Runes(svelte.dev)
350 points by benmccann | 249 comments
Svelte team blog post from September 2023 introducing runes, a new reactivity system for Svelte 5.
Writing a C compiler in 500 lines of Python(vgel.me)
454 points by vgel | 142 comments
Blog post by vgel describing the design and architecture of a small C compiler written in about 500 lines of Python.
Rewriting the Ruby parser(railsatscale.com)
480 points by kddeisz | 144 comments
Shopify's Rails at Scale blog post by Kevin Newton describing YARP, a new Ruby parser being merged into CRuby, and its motivations and development.
SectorC: A C Compiler in 512 bytes(xorvoid.com)
389 points by xorvoid | 66 comments
Blog post introducing SectorC, a C compiler written in x86-16 assembly that fits within a 512-byte boot sector and supports a usable subset of C.