Scammed out of $130K via fake Google call, spoofed Google email and auth sync
bewildered.substack.com·3d·
Discuss: Substack
🛡️seL4
Trump’s Golden Dome Projected to Cost Exponentially More Than the Manhattan Project
gizmodo.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rowboat – A fast tool for understanding large datasets
rowboat.xyz·1d·
Discuss: Hacker News
⎈Kubernetes
Show HN: Pictures Are For Babies – Deliberate practice for mastering literacy
picturesareforbabies.com·1d·
Discuss: Hacker News
📚Automata Learning
Canonical announces it will support and distribute Nvidia CUDA in Ubuntu
canonical.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Didit – Identity Verification Platform (Unlimited Free KYC)
didit.me·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
New security stuff in the Linux 6.17
armosec.io·3d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Cuprum2929 Provides a Better Learning Experience Than AI
vaslabs.io·3d·
Discuss: Hacker News
🎮Verification Games
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·4d·
Discuss: Hacker News
🧮Lambda Calculus
When Values Eat Their Young: How Ideal-Driven Groups Drift into Their Own Shadow
kennethreitz.org·4d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Should AI Be Listed as a Co-Author in Your Git Commits?
dariuszparys.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Radio Apocalypse: Clearing the Air with SCATANA
hackaday.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Trump to add new $100k fee for H-1B visas in latest crackdown
finance.yahoo.com·17h·
Discuss: Hacker News
📝Term Rewriting
Internet scale routing with NixOS (nixcon2025)
cdn.media.ccc.de·1d
📡Network Protocol Design
Tesla is looking to redesign its door handles following trapped-passenger report
cnn.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Compress.lol – WebAssembly-Powered Video Compression
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
InPhyRe Discovers: Large Multimodal Models Struggle in Inductive Physical Reasoning
arxiv.org·3d
🧩Separation Logic
IsoSched: Preemptive Tile Cascaded Scheduling of Multi-DNN via Subgraph Isomorphism
arxiv.org·3d
🧩Separation Logic
[$] Typst: a possible LaTeX replacement
lwn.net·2d·
Discuss: Hacker News
💎Refinement Types
Walmart's lax vetting helped Marketplace boom, but came with fakes and frauds
cnbc.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure