NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·1d·
Discuss: Hacker News
🍎XNU Internals
Debugging a Dropped Async Task
slugcat.systems·6d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·2d·
Discuss: Hacker News
🏹Effect Systems
Introduction to Linear Types
austral-lang.org·6d·
Discuss: Hacker News
🧩Separation Logic
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·3d·
Discuss: Hacker News
⚙️PL Implementation
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·23h·
Discuss: Hacker News
💾Retro Computing
We engineered RAG to be 50% faster
elevenlabs.io·1d·
Discuss: Hacker News
🧩Parser Combinators
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·4d
🧮Lambda Calculus
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·1d·
Discuss: Hacker News
👁️System Observability
Beyond Markdown (2018)
johnmacfarlane.net·5d·
Discuss: Lobsters, Hacker News
🧩Parser Combinators
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·4d
🌐NetworkProtocols
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·2d
🔄Reproducible Builds
Dicio: Open-Source Voice Assistant for Android
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
FreeCAD Foray: Good Practices
hackaday.com·1d
🔬Unikernels
The subjective experience of coding in different programming languages
interconnected.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
OTESGN:Optimal Transport Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
arxiv.org·2d
🧩Parser Combinators
In the Works
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab