Show HN: ScamBare Text Checker
scambare.com·2d·
Discuss: Hacker News
🎮Verification Games
Patterns of Peril
consumerfed.org·3d·
Discuss: Hacker News
📚Automata Learning
Monitoring Claude Code with OpenTelemetry
signoz.io·3d·
Discuss: Hacker News
👁️System Observability
Prediction of evolutionarily conserved RNA secondary structures from sequences
academic.oup.com·1d·
Discuss: Hacker News
📚Automata Learning
Account for Externalities
ma.tt·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Glycol, Far UVC, and CFM Measurement at BIDA
jefftk.com·5d·
Discuss: Hacker News
📊Runtime Verification
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·3d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
NPM in a box: Containerizing package managers for security. (2022)
supergeekery.com·3d·
Discuss: Hacker News
🐳Containerization
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·4d·
Discuss: Hacker News
⚙️PL Implementation
Malicious NPM Versions (chalk, debug, strip-ANSI) Found in September 2025 Attack
blog.firstpoint.com.tr·3d·
Discuss: Hacker News
🔄Reproducible Builds
Hyundai is now delaying its EV battery plant that was raided by ICE
electrek.co·2d·
Discuss: Hacker News
🍎Apple
crates.io phishing campaign
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🌐NetworkProtocols
Show HN: Open source, AI-enhanced Mailchimp alternative
github.com·1d·
Discuss: Hacker News
🖥Self-Hosting
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
ALL-PET: A Low-resource and Low-shot PET Foundation Model in the Projection Domain
arxiv.org·2d
🧩Parser Combinators
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·4d
🧠Automated Reasoning
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
Short-term cognitive fatigue of spatial selective attention after face-to-face conversations in virtual noisy environments
arxiv.org·2d
🏹Effect Systems