Stress testing Biome's noFloatingPromises lint rule
vercel.com·1d·
Discuss: Hacker News
💎Refinement Types
Faroe is a modular auth server distributed as a Go package
faroe.dev·15h·
Discuss: Hacker News
🐳Containerization
Libdex 1.0
blogs.gnome.org·4d·
Discuss: Hacker News
📦Unikernel Systems
Taming The Three-Headed Dog -Kerberos Deep Dive Series
blog.compass-security.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Powering AI with Reliable Grids and Networks
blog.theleapjournal.org·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I Was Wrong: Start Simple, Then Move to More Complex
charles-frenzel.medium.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Reverse engineering of Apple's iOS 0-click CVE-2025-43300: 2 bytes that make size matter
blog.quarkslab.com·2d·
Discuss: Hacker News
📺Vintage Apple
Mistral: Configuring a Custom Connector
help.mistral.ai·1d·
Discuss: Hacker News
🐳Containerization
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
NSF Starts Ramping Up the National Quantum Virtual Laboratory
hpcwire.com·17h·
Discuss: Hacker News
📦Unikernel Systems
Building a $5K ARR Side Project While Managing 9 Engineers
newsletter.manager.dev·1d·
Discuss: Hacker News
👁️System Observability
Routing home-lab VMs/Containers traffic
reddit.com·16h·
Discuss: r/homelab
🏠HomeLab
Should you use AsyncLocalStorage? (2023)
eytanmanor.medium.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
How Inditex is adopting Microfront ends for future-proof platform development
medium.com·4d·
Discuss: Hacker News
⚙️Operating System Design
And so it begins again.....
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·16h·
Discuss: Hacker News
🐫Embedded OCaml
Tuning Block Size for Workload Optimization in Consortium Blockchain Networks
arxiv.org·2d
⚙️Operating System Design
Data Recovery from read-only volume (Synology)
preview.redd.it·1d·
Discuss: r/homelab
🐳Containerization
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·2d
✓Automated Theorem Proving
The Babysitter Problem
chrisbeckman.dev·7h·
Discuss: Hacker News
🛡️seL4