Show HN: ScamBare Text Checker
scambare.com·2d·
Discuss: Hacker News
🎮Verification Games
Dandelions control the dispersal of their seeds through asymmetrical attachment, finds study
phys.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Patterns of Peril
consumerfed.org·3d·
Discuss: Hacker News
📚Automata Learning
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
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·2d·
⚙️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
The State of AI Gross Margins in 2025
tanayj.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
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·1d·
🌐NetworkProtocols
PersonaFuse: A Personality Activation-Driven Framework for Enhancing Human-LLM Interactions
arxiv.org·3d
🐫OCaml
Show HN: Open source, AI-enhanced Mailchimp alternative
github.com·20h·
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·1d
🧩Parser Combinators
Quantifying Accuracy of an Event-Based Star Tracker via Earth's Rotation
arxiv.org·2d
🏹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·4d
🔠Type-Level Programming