Decoding Secrets: How military medals exposed Russia's SIGINT network
checkfirst.network·1d·
Discuss: Hacker News
🛡️seL4
Belkin Wemo Discontinuation of Service
consumerrights.wiki·1d·
Discuss: Hacker News
🏠HomeLab
Every part on a bicycle is safety critical
escapecollective.com·2h·
Discuss: Hacker News
👁️System Observability
A Technical Look at Iran's Internet Shutdowns
zola.ink·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Billions of Edges per Second with Postgres
onesparse.com·3d·
Discuss: Hacker News
➡️Category Theory
A Sloth could do complex tasks in NixOS
lemosjose.github.io·2d·
Discuss: Hacker News
❄️Nix
Life Update – On Health
jiha-kim.github.io·1d·
Discuss: Hacker News
➡️Category Theory
Notes from a product design vibe coding hackathon
intercom.com·3d·
Discuss: Hacker News
🍎Apple
Show HN: KisanAI – WhatsApp Agricultural Assistant
github.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
My reality: Decades of experience, seeking one team that believes in it
news.ycombinator.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Chassis and Cabinet recommendations (UK)
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Build an AI Agent Web App with String and Lovable
pipedream.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Queueing for Civility: User Perspectives on Regulating Emotions in Online Conversations
arxiv.org·3d
🌐NetworkProtocols
MCP: A Practical Security Blueprint for Developers
thenewstack.io·3d
🛡️seL4
Metaflow: Build, Manage and Deploy AI/ML Systems
github.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Home servers in a rack with zero noise ?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
COLI: A Hierarchical Efficient Compressor for Large Images
arxiv.org·3d
🐫OCaml
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·5d
🔍Formal Verification
InSight: AI Mobile Screening Tool for Multiple Eye Disease Detection using Multimodal Fusion
arxiv.org·1d
🐫Embedded OCaml
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·3d
🎮Verification Games