Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1d·
Discuss: Hacker News
🔄compilers
Flag this post
I Use Typst Now
christopherbiscardi.com·6h·
Discuss: Lobsters, Hacker News
🔄compilers
Flag this post
Where You See a Fancy Fish, Engineers See Alan Turing’s Math
nytimes.com·21h·
Discuss: Hacker News
✅formal methods
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·7h·
Discuss: Hacker News
🔄compilers
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Even Numbers Are Tautologies
risingentropy.com·9h·
Discuss: Hacker News
✅formal methods
Flag this post
Coding on Paper
thepalindrome.org·16h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·18h·
Discuss: Hacker News
✅formal methods
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·1d·
Discuss: Hacker News
⚡query optimization
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·8h·
Discuss: Hacker News
✅formal methods
Flag this post
Show HN: OpenHealth – AI health platform with RAG over 38M medical papers
news.ycombinator.com·12h·
Discuss: Hacker News
🗄️databases
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·3d·
Discuss: Hacker News
🔄compilers
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Origin and Evolution of the Globstar
mergify.com·14h·
Discuss: Hacker News
🔄compilers
Flag this post
OpenLoRa: Validating LoRa Implementations Through an Open-Sourced Framework
usenix.org·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Spectral rendering, part 1: Spectra
momentsingraphics.de·8h·
Discuss: Hacker News
✅formal methods
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
✅formal methods
Flag this post
Scala vs. F#
alexn.org·4d·
Discuss: Hacker News
🔄compilers
Flag this post
Weighted Quantile Weirdness and Bugs
practicalsignificance.com·7h·
Discuss: Hacker News
⚡query optimization
Flag this post