Stop SSL certificate outages with automated monitoring – Enterprise Ready
sslguardian.io·21h·
Discuss: Hacker News
🛡️seL4
The AGI Final Frontier: The CLJ-AGI Benchmark
raspasov.posthaven.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Playtron's Linux-Based GameOS Hits the Road with 1.0
boilingsteam.com·7h·
Discuss: Hacker News
📦Unikernel Systems
Git vulnerable to arbitrary file write on non-Windows systems
securitylabs.datadoghq.com·2d·
Discuss: Hacker News
❄️Nixified Development
How I get people talking about my personal blog posts
developerwithacat.com·16h·
Discuss: Hacker News
🛡️seL4
Show HN: I missed a $2M deal due to bad notes, so I built this
apps.apple.com·22h·
Discuss: Hacker News
🍎Apple
Cyber security of Mega Events: A Case Study of Securing the Digital Infrastructure for MahaKumbh 2025 -- A 45 days Mega Event of 600 Million Footfalls
arxiv.org·4d
📡Network Protocol Design
How I write docs quickly
passo.uno·4d·
Discuss: Hacker News
🔄Reproducible Builds
PRIDE -- Parameter-Efficient Reduction of Identity Discrimination for Equality in LLMs
arxiv.org·5d
🐫OCaml
Show HN: WTMF Beta – Your AI bestie that understand
news.ycombinator.com·21m·
Discuss: Hacker News
🍎Apple
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·4d
🎮Verification Games
System boot loops when vt-d or virtualisation is enabled
reddit.com·16h·
Discuss: r/homelab
📦Unikernel Systems
Automated Design of Structured Variational Quantum Circuits with Reinforcement Learning
arxiv.org·3d
🏹Effect Systems
looking for a specific type of application
reddit.com·4d·
Discuss: r/homelab
👁️System Observability
Planning a Major Server Migration: i7-4790K to i9-9900K
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Fractional Spike Differential Equations Neural Network with Efficient Adjoint Parameters Training
arxiv.org·2d
🐫OCaml
Multi-modal Multi-task Pre-training for Improved Point Cloud Understanding
arxiv.org·2d
🎮Verification Games
Thinking About Building a Homelab & Smart Home Setup — Need Advice
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Exploring the Frontiers of kNN Noisy Feature Detection and Recovery for Self-Driving Labs
arxiv.org·2d
📦Unikernel Systems
Benchmarking of Deep Learning Methods for Generic MRI Multi-OrganAbdominal Segmentation
arxiv.org·1d
➡️Category Theory