Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.orgยท1d
๐Ÿ“Shell Parsing
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท2d
๐Ÿ“žSession Types
Linux SBCs for development + RE
zetier.comยท2d
๐ŸŽฏEmulator Accuracy
A New Algorithm Makes It Faster to Find the Shortest Paths
wired.comยท4hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธNetwork Topology
Quantum dynamics on your laptop? New technique moves us closer
buffalo.eduยท6hยท
Discuss: Hacker News
โš›๏ธInformation Physics
AZPixel-Team/Java2Bedrock
github.comยท14h
๐ŸŽฎGame Decompilation
Performant 2D Renderer: A Tour of Cute Framework's Renderer
randygaul.github.ioยท20hยท
Discuss: Hacker News
๐ŸŽฏEmulator Accuracy
No Bullshit Guide to Statistics prerelease
minireference.comยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
Experimenting with ACL2 and Claude Code
mikedodds.orgยท2dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Sharp Bilinear Filters: Big Clean Pixels for Pixel Art
bumbershootsoft.wordpress.comยท20hยท
๐ŸŒˆColor Archaeology
The Foundation of Digital Trust โ€“ Why Trust Stores Matter
blog.axonshield.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Secure Boot
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
Run n8n for Free in Production - Full Guide
dev.toยท4hยท
Discuss: DEV
โš™๏ธBatch Processing
CubicLog โ€“ A single-binary logging server with zero-config smart analytics
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“Log Parsing
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.comยท1dยท
Discuss: r/golang
๐ŸชŸAwesome windows command-line
English - the hottest programming language of the future
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Language Evolution
How to Build Modular AI Personalities with LuminoraCore v1.0
dev.toยท6hยท
Discuss: DEV
๐ŸŽฏGradual Typing
Onedev: Git Server with CI/CD, Kanban, and Packages. Seamless Integration
github.comยท5hยท
Discuss: Hacker News
๐Ÿ“ฆGit LFS