🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.com·1d
⚡Zig
The tradeoff between human and AI context
softwaredoug.com·3d·
Discuss: Hacker News
🚀JIT Compilation
The case for having roommates (even when you can afford to live alone)
supernuclear.substack.com·21h·
Discuss: Substack
🧮Functional Programming
Rao Reading Algorithm
raohacker.com·4d·
Discuss: Hacker News
🧮Functional Programming
A DIY Fermenter for Flavorful Brews
hackaday.com·3h
🧩WebAssembly
Benchmarks in CI: Escaping the Cloud Chaos
codspeed.io·3d·
Discuss: Hacker News, Hacker News, r/programming
🔍eBPF
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
dougmacdowell.com·1d·
Discuss: Hacker News
⚙️Systems Programming
Introduction to XEphem (Motif)
spiff.rit.edu·2d·
Discuss: Hacker News
💻programming
Show HN: Pontoon – open-source customer data syncs
github.com·1d·
Discuss: Hacker News
🔗P2P Networks
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·3d·
Discuss: Hacker News
🤖ai
Emacs: The macOS Bug
xlii.space·3d·
Discuss: Lobsters, Hacker News
⚡Zig
Build an AI Voice Agent for Calls with Open Source
github.com·3d·
Discuss: Hacker News
🤖ai
Long live the nub: ThinkPad designer David Hill spills secrets, designs that never made it
theregister.com·23h·
Discuss: Hacker News
⚙️Systems Programming
HTML-in-Canvas
github.com·13h·
Discuss: Hacker News
🧩WebAssembly
You might not need tmux
bower.sh·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/neovim
⚡Zero-Copy
Show HN: KubeForge – A GUI for Kubernetes YAMLs
github.com·2d·
Discuss: Hacker News
❄️Nix
TraceRoot: Find the Root Cause in Your Code's Trace
github.com·2d·
Discuss: Hacker News, Hacker News
🚀JIT Compilation
Two Birds with One Tone: I/Q Signals and Fourier Transform
wirelesspi.com·4d·
Discuss: Hacker News
🔍eBPF
Corsair HX1200i 2025 Power Supply Monitoring Now Works Under Linux
phoronix.com·51m
🔍eBPF
2025 One Hertz Challenge: Learn Morse Code One Second at a Time
hackaday.com·15h
🔨Compilers
Loading...Loading more...
AboutBlogChangelogRoadmap