Guide to PDF security
unicornforms.com·3d·
Discuss: Hacker News
🛡️seL4
Scalable and Modular Architecture for CSS
smacss.com·4d·
Discuss: Hacker News
➡️Category Theory
Things TV always gets wrong about tech
newslttrs.com·2d·
Discuss: Hacker News
🍎Apple
Swift and C++ Interoperability in Practice
arturgruchala.com·5d·
Discuss: Hacker News
🐫OCaml
A Chapter on Usenet and FidoNet from The Backbone: A History of the Internet
technicshistory.com·4d·
Discuss: Hacker News
💾Retro Computing
Metasurfaces could be the next quantum information processors
phys.org·6h·
Discuss: Hacker News
🏹Effect Systems
Vibe Testing: Smarter AI Software Testing
thinksys.com·5d·
Discuss: r/programming
👁️System Observability
Gemini 2.5 - Reasoning Abilities Improving every day
microfox.app·5d·
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
Machine Learning. Literally.
trivialorwrong.com·5d·
Discuss: Hacker News
⚙️Operating System Design
How I keep up with AI research
thijsverreck.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
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
When to use model distillation in production
inference.net·2d·
Discuss: Hacker News
🧪Property-Based Testing
Thinking About Building a Homelab & Smart Home Setup — Need Advice
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.security·6d·
Discuss: Hacker News
🛡️seL4
qman – a more modern manual page viewer for our terminals
github.com·6d·
Discuss: Hacker News
📦Unikernel Systems
BIDWESH: A Bangla Regional Based Hate Speech Detection Dataset
arxiv.org·4d
➡️Category Theory
What kind of work I want
seangoedecke.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
To MCP or not to MCP?
blog.pamelafox.org·5d·
Discuss: www.blogger.com, Hacker News
🛡️seL4