🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Congestion control at IETF 123
blog.apnic.net·3d
📡Network Protocol Design
LUKS In-Place Conversion Tool
johannes-bauer.com·2d
🏺ZIP Archaeology
How Cursor AI Cut Legacy Code Coverage Time by 85%
engineering.salesforce.com·5d
🔍Concolic Testing
original ↗
crookedtimber.org·2d
⚖️Emulation Ethics
A Complete Guide to Tagging for Personal Knowledge Management
fortelabs.com·1d·
Discuss: Hacker News
🌱Personal Wikis
Scamlexity
guard.io·3h·
Discuss: Hacker News
🎫Kerberos Attacks
Building a Blog from Scratch in 90 Minutes with 233 LOC
elliotbonneville.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
FinOps as Code – Unlocking Cloud Cost Optimization
devops.com·1d
🌊Stream Processing
Launch HN: Parachute (YC S25) – Guardrails for Clinical AI
news.ycombinator.com·1d·
Discuss: Hacker News
🌊Stream Processing
Sanity Check: Is my network traffic properly encrypted with this setup?
reddit.com·2d·
Discuss: r/homelab
🌐DNS over QUIC
A Neural Column-and-Constraint Generation Method for Solving Two-Stage Stochastic Unit Commitment
arxiv.org·3d
🧠Machine Learning
[R] How do you make text labeling less painful?
reddit.com·17h·
Discuss: r/MachineLearning
🏛Digital humanities
Show HN: Eden – An AI with Temporal Memory and Self-Reflection (+Journal Entry)
news.ycombinator.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Landmark-Assisted Monte Carlo Planning
arxiv.org·3d
📼Tape Combinators
From Grep to ast-grep: Building XRAY MCP for Code-Aware AI
dev.to·4d·
Discuss: DEV
🌳Incremental Parsing
Enhanced Sweetener Design via Hybrid Molecular Dynamics & Bayesian Optimization
dev.to·1d·
Discuss: DEV
☕Coffee Chemistry
Automated Open Data Integrity Verification via Multi-Modal Anomaly Detection and Recursive Scoring
dev.to·4d·
Discuss: DEV
🌲B-tree Forensics
Ask r/kubernetes: What are you working on this week?
reddit.com·2d·
Discuss: r/kubernetes
🔩Systems Programming
From pitcher plants to printing presses, study shows how sticky films can be tamed
phys.org·11h
📜Document Physics
Automated Hyperparameter Optimization for Maritime Autonomous Surface Ship (MASS) Trajectory Planning
dev.to·3d·
Discuss: DEV
🧩WASM Components