PythonBPF – Writing eBPF Programs in Pure Python
xeon.me·1d·
Discuss: Hacker News
🐫Embedded OCaml
New bill would give Marco Rubio 'thought police' power to revoke US passports
theintercept.com·9h·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: ScamBare Text Checker
scambare.com·2d·
Discuss: Hacker News
🎮Verification Games
Monitoring Claude Code with OpenTelemetry
signoz.io·3d·
Discuss: Hacker News
👁️System Observability
Glycol, Far UVC, and CFM Measurement at BIDA
jefftk.com·5d·
Discuss: Hacker News
📊Runtime Verification
The Ancient Behaviours We Think Are Modern
gilescrouch.substack.com·3d·
Discuss: Substack
🎮Verification Games
Tested on real silicon: Automating RISC-V Hardware-in-the-Loop
collabora.com·5d·
Discuss: Hacker News
🔧Unikernel Development
NPM in a box: Containerizing package managers for security. (2022)
supergeekery.com·3d·
Discuss: Hacker News
🐳Containerization
Remembering David Baltimore, a titan who transformed biology and spoke bluntly
science.org·4d·
Discuss: Hacker News
🍏Darwin
The Scam Called "You Don't Have to Remember Anything"
zettelkasten.de·3d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Charlie Kirk Didn’t Shy Away From Who He Was. We Shouldn’t Either.
nytimes.com·19h·
Discuss: Hacker News
🧮Lambda Calculus
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·4d·
Discuss: Hacker News
⚙️PL Implementation
The State of AI Gross Margins in 2025
tanayj.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Indie App Spotlight: ‘SUMRY’ turns your Apple Watch activity into workout stories
9to5mac.com·15h
🍎Apple
Malicious NPM Versions (chalk, debug, strip-ANSI) Found in September 2025 Attack
blog.firstpoint.com.tr·3d·
Discuss: Hacker News
🔄Reproducible Builds
crates.io phishing campaign
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🌐NetworkProtocols
Bring back your old Mac: 5 ways to refresh the OS on elderly Apples
theregister.com·23h·
Discuss: Hacker News
📺Vintage Apple
Quantifying Accuracy of an Event-Based Star Tracker via Earth's Rotation
arxiv.org·3d
🏹Effect Systems
Billion-Line Days Demand Billion-Test Nights
momentic.ai·4d·
Discuss: Hacker News
🤖Program Synthesis
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·5d
🔠Type-Level Programming