The joy of building a bytecode VM from scratch
vivekn.dev·3d·
Discuss: Hacker News, Hacker News
⚙️systems programming
BUILD: Solving the Software Complexity Puzzle
computing.llnl.gov·11h·
Discuss: Hacker News
⚙️systems programming
Assemblers in w64devkit, and other updates
nullprogram.com·10h·
Discuss: Hacker News
⚙️systems programming
Microsoft POML – Prompt Orchestration Markup Language
github.com·19h·
Discuss: Hacker News
✅formal methods
Programming languages and dimensions of units of measure
cl.cam.ac.uk·5h·
Discuss: Hacker News
✅formal methods
Reverse-Engineering cuBLAS (2024)
accu.org·16h·
Discuss: Hacker News
⚙️systems programming
Condition Systems in an Exceptional Language by Chris Houser
gist.github.com·2h·
Discuss: Hacker News
⚙️systems programming
Establishing verifiable security: Reproducible builds and AWS Nitro Enclaves
aws.amazon.com·4h·
Discuss: Hacker News
✅formal methods
Simple Programming Languages
ryanbrewer.dev·2d·
Discuss: Hacker News
⚙️systems programming
Vector types and debug performance
blog.s-schoener.com·2d·
Discuss: Hacker News, r/cpp
⚙️systems programming
Toit: A modern high-level language designed specifically for microcontrollers
toitlang.org·1d·
Discuss: Hacker News
⚙️systems programming
Show HN: I analyzed why my post got 0 votes and built this
hn-gems.sensem.de·6h·
Discuss: Hacker News
⚙️systems programming
Oops Safari, I Think You Spilled Something
blog.exodusintel.com·2d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Roo Code Workflow: An Advanced LLM-Powered Development Setup
gist.github.com·1d·
Discuss: Hacker News
✅formal methods
Mishearings: Hacking a tiny ASR model to write Dadaist poetry
evanking.io·9h·
Discuss: Hacker News
✅formal methods
How we're shipping faster with Claude Code and Git Worktrees
incident.io·8h·
Discuss: Hacker News
⚙️systems programming
All you need to know about Tokenization in LLMs
medium.com·15h·
Discuss: Hacker News
✅formal methods
Hunting Bugs in Perf_event2
roci.co.za·11h·
Discuss: Hacker News
⚙️systems programming
Writing a brand-new OS is almost impossible by now
blog.wellosoft.net·9h·
Discuss: Hacker News
⚙️systems programming
GNU/Hurd Now An Official Platform For SDL Cross-Platform Gaming Library
phoronix.com·1d·
Discuss: Hacker News
⚙️systems programming