sudo-rs Headed to Ubuntu
letsencrypt.org·1d·
Discuss: Hacker News
❄️Nixified Development
Hookmark 6.10 released and upcoming iPhone version of Hookmark
hookproductivity.com·2d·
Discuss: Hacker News
🍎Apple
Billions of Edges per Second with Postgres
onesparse.com·1d·
Discuss: Hacker News
➡️Category Theory
TryJoinads (IV.) - Concurrency using join calculus
tomasp.net·16h·
Discuss: r/programming
🔄Finite State Machines
Show HN: AI Test User – simulate your customer experience
aitestuser.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Connecting legibility to theory building in programming
ashwinsundar.com·1d·
Discuss: Hacker News
🔬Static Analysis
Show HN: Sapient – Agentic Game Development in Unreal Engine (C++, BPs, BTs)
sapientstudio.com·1d·
Discuss: Hacker News
🎮Verification Games
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·3d·
Discuss: Substack
🤖Program Synthesis
Stop Pretending You're the Last Developer
robbyonrails.com·12h·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
AI for Explosive Ordnance Detection in Clearance Operations: The State of Research
arxiv.org·3h
✓Automated Theorem Proving
A code quality battle between 6 AI agents
sourcery.ai·1d·
Discuss: Hacker News
👁️System Observability
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·1d
🐫OCaml
Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++
github.com·4d·
Discuss: Hacker News
📦Unikernel Systems
M5 iPad Pro could finally deliver something we’ve all been asking for
9to5mac.com·2d
🍎Apple
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·18h·
Discuss: Hacker News
🧪Property-Based Testing
Changing network structure /adding vlans - need help /ideas
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
My 1st HakoForge build
reddit.com·3d·
Discuss: r/homelab
🔄Reproducible Builds
Inversion-DPO: Precise and Efficient Post-Training for Diffusion Models
arxiv.org·3h
🐫OCaml
From gaming to homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
EsProc SPL：Equivalent to the Python Enhanced DuckDB
github.com·22h·
Discuss: Hacker News
👁️System Observability