A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️systems programming
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Flag this post
Satisfying Bazel'€™s relative paths requirement in C++ toolchains
pigweed.dev·3h·
Discuss: Hacker News, r/cpp
🐫ocaml
Flag this post
Prog8
github.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
✅formal methods
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·6d·
Discuss: Hacker News
✅formal methods
Flag this post
Embedding TypeScript
andrews.substack.com·12h·
Discuss: Substack, r/programming
⚙️systems programming
Flag this post
Fil-C
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News, r/rust
⚙️systems programming
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·7h·
Discuss: Hacker News
✅formal methods
Flag this post
Precompiled headers and why Squid won't be using them (2023)
squidproxy.wordpress.com·2d·
Discuss: Hacker News
🐫ocaml
Flag this post
Reforging the ReScript Build System
rescript-lang.org·2d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🐫ocaml
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🐫ocaml
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·2d·
Discuss: Hacker News, r/programming
⚙️systems programming
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
✅formal methods
Flag this post
CodeWeavers Launches CrossOver Preview for Linux ARM64
codeweavers.com·6h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·4d·
Discuss: Hacker News
✅formal methods
Flag this post