🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

I spent almost $30,000 upgrading our garage to a dreamy laundry room. Now, doing laundry for my family of 7 feels peaceful.
businessinsider.com·1d
🏠Homelab Preservation
Fitness Landscape
baku89.com·15h·
Discuss: Hacker News
🔲Cellular Automata
Algorithmic Collusion of Pricing and Advertising on E-Commerce Platforms
papers.ssrn.com·2d·
Discuss: Hacker News
🔍BitFunnel
The US Court Records System Has Been Hacked
wired.com·1d
🔓Hacking
Show HN: We built an AI-powered pathology billing system for EHR platforms
curemd.com·2d·
Discuss: Hacker News
🚨Incident Response
My brother and I own multiple companies together. We swear by these 3 rules to keep the peace.
businessinsider.com·3h
🏠Personal Archives
Blueberry Hill
kieranhealy.org·2d·
Discuss: Hacker News, Hacker News, r/programming
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Emacs meets Claude: AI-supported software development with the editor veteran
heise.de·2d
🌳Incremental Parsing
Tap to Morse Key, an App that Makes It Easier for People With Disabilities to Communicate
hackernoon.com·2d
🎙️Whisper
Layoffs, TCS, and the bigger picture
dev.to·19h·
Discuss: DEV
🚚Data Migration
Can a Client–Server Cache Tango Accelerate Disaggregated Storage?
muratbuffalo.blogspot.com·3d·
Discuss: www.blogger.com
⚡Cache Coherence
Hand gesture recognition using low-resolution thermal images
hackster.io·2d
🎮Switch Archaeology
Announcing Ropey 2.0 Beta
reddit.com·21h·
Discuss: r/rust
🦀Rust Borrowing
Turning My Notes Into Audio with AWS (Serverless + Terraform)
dev.to·17h·
Discuss: DEV
🎧FLAC Encoding
Why enterprises can’t afford to ignore cloud optimization in 2025
techradar.com·2d
🖥️Self-hosted Infrastructure
Bench-2-CoP: Can We Trust Benchmarking for EU AI Compliance?
arxiv.org·2d
⚡Proof Automation
I Let AI Write My Code. It Led to a Two-Day Nightmare.
dev.to·4d·
Discuss: DEV
📏Code Metrics
Negative Binomial Variational Autoencoders for Overdispersed Latent Modeling
arxiv.org·2d
📊Quantization
My AI Co-Pilot Has No Common Sense
dev.to·2d·
Discuss: DEV
🏠Homelab Pentesting
Began assembly and test of the core memory replacement for the 1130
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology