The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
⚙️systems programming
The Amaranth hardware description language
amaranth-lang.org·1d·
Discuss: Hacker News
⚙️systems programming
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·16h·
Discuss: Hacker News
✅formal methods
Claude Code IDE Integration for Emacs
github.com·19h·
Discuss: Hacker News
⚙️systems programming
Dynamically Update C++ syntax using Next Edit Suggestions
devblogs.microsoft.com·2d·
Discuss: Hacker News
⚙️systems programming
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·15h·
Discuss: Hacker News
🐫ocaml
Open SWE: An Open-Source Asynchronous Coding Agent
blog.langchain.com·9h·
Discuss: Hacker News
⚙️systems programming
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Eval-maxing an AI FFmpeg command generator
getkiln.ai·12h·
Discuss: Hacker News
✅formal methods
Towards a Modern Web Stack
docs.google.com·16h·
Discuss: Hacker News
⚙️systems programming
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·1d·
Discuss: Hacker News
⚙️systems programming
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
✅formal methods
A Gentle Introduction To Fortran
hackaday.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🐫ocaml
Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
⚙️systems programming
Show HN: Sylvio AI – Your Smartest Quiet Teammate
sylvioai.xyz·12h·
Discuss: Hacker News
⚙️systems programming
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·1d·
Discuss: Hacker News
🐫ocaml
Where's that shared library
narang99.github.io·18h·
Discuss: Hacker News, r/programming
⚙️systems programming
The Generativity Pattern in Rust
arhan.sh·2d·
Discuss: Lobsters, Hacker News, r/programming
✅formal methods
We shouldn’t have needed lockfiles
tonsky.me·1d·
Discuss: Lobsters, Hacker News
⚙️systems programming
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·2d·
Discuss: Hacker News
⚙️systems programming