Tea, a women only app, suffers massive data breach
dexerto.com·1d·
Discuss: Hacker News
🍎Apple
Guide to PDF security
unicornforms.com·3d·
Discuss: Hacker News
🛡️seL4
Swift and C++ Interoperability in Practice
arturgruchala.com·6d·
Discuss: Hacker News
🐫OCaml
P Verified
b-hilprecht.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming
🛡️seL4
Gemini 2.5 - Reasoning Abilities Improving every day
microfox.app·6d·
Discuss: r/programming
✓Automated Theorem Proving
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
The General Theory of Enshittification
paulkrugman.substack.com·3d·
Discuss: Substack
🔬Unikernels
Testing Your Knowledge of JavaScript’s Date Class
hackaday.com·5d
🧪Property-Based Testing
Debian 13.0 Ready To Introduce Formal RISC-V Support But Still Bound By Slow Hardware
phoronix.com·6d·
Discuss: Hacker News
🔬Unikernels
EarthCrafter: Scalable 3D Earth Generation via Dual-Sparse Latent Diffusion
arxiv.org·4d
🔄Reproducible Builds
Can You Build Agent2Agent Communication on MCP? Yes
devblogs.microsoft.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Thinking About Building a Homelab & Smart Home Setup — Need Advice
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.security·6d·
Discuss: Hacker News
🛡️seL4
Remix 3 and the End of React-Centric Architectures
thenewstack.io·3d
🧱Immutable Infrastructure
BIDWESH: A Bangla Regional Based Hate Speech Detection Dataset
arxiv.org·4d
➡️Category Theory
To MCP or not to MCP?
blog.pamelafox.org·5d·
Discuss: www.blogger.com, Hacker News
🛡️seL4
My 3D-printed mini-rack HomeLab
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
When to use model distillation in production
inference.net·2d·
Discuss: Hacker News
🧪Property-Based Testing
qman – a more modern manual page viewer for our terminals
github.com·6d·
Discuss: Hacker News
📦Unikernel Systems
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
arxiv.org·5d
🛡️seL4