Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.org·22h
📝Shell Parsing
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·2d
📞Session Types
Quantum dynamics on your laptop? New technique moves us closer
buffalo.edu·1h·
Discuss: Hacker News
⚛️Information Physics
AZPixel-Team/Java2Bedrock
github.com·9h
🎮Game Decompilation
Performant 2D Renderer: A Tour of Cute Framework's Renderer
randygaul.github.io·15h·
Discuss: Hacker News
🎯Emulator Accuracy
No Bullshit Guide to Statistics prerelease
minireference.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
We built AI that auto-checks building plans
planchecksolver.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·4d·
Discuss: Hacker News
🌳Incremental Parsing
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
Sharp Bilinear Filters: Big Clean Pixels for Pixel Art
bumbershootsoft.wordpress.com·15h·
Discuss: Lobsters, Hacker News
🌈Color Archaeology
Closer to production quality Python notebooks with `marimo check`
marimo.io·4d·
Discuss: Hacker News
✅Archive Validation
GoMem is a high-performance memory allocator library for Go
github.com·2d
🧠Memory Allocators
Open Lineage
usenix.org·2d
🔌Interface Evolution
The B2B Sales Funnel as a State Machine: An Engineer's Guide to Revenue Growth
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·2d
🧮Theorem Proving
Deep Learning-Driven Spatial Tau Oligomer Profiling for Early Alzheimer's Diagnosis
dev.to·19h·
Discuss: DEV
🔍Vector Forensics
Patch management for diverse labs?
reddit.com·2h·
Discuss: r/homelab
❄️Nix Flakes
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
💻Programming languages
How to Reject a Pull Request
github.com·15h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing