NASA's Guardian Tsunami Detection Tech Catches Wave in Real Time
jpl.nasa.gov·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Unbound 1.23.1 and the RFC 8767 performance regression
nox.sh·3d·
Discuss: Hacker News
👁️System Observability
Defold makes a big step towards first-class Teal support
defold.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Paul's Online Math Notes
tutorial.math.lamar.edu·1d·
Discuss: Hacker News
⚡Process Calculi
Prompts are Operating Systems
helloscribe.medium.com·5d·
Discuss: r/programming
⚙️Operating System Design
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·4d·
Discuss: Hacker News
❄️Nixified Development
Here’s the tech powering ICE’s deportation crackdown
techcrunch.com·12h·
Discuss: Hacker News
🧗Climbing Tech
Design Scanimations In a Snap With The Right Math
hackaday.com·19h
🎮Verification Games
Show HN: FSP2 Tested on excerpt "Romeo and Juliet" impressive compresion results
news.ycombinator.com·2d·
Discuss: Hacker News
🧮Lambda Calculus
Tokenizing Loops of Antibodies
arxiv.org·2d
🧮Lambda Calculus
Is user onboarding better now that we have AI?
medium.com·15h·
Discuss: Hacker News
🍎Apple
Validity Verification of the New TOEFL Writing Task Based on Classical Test Theory
arxiv.org·4d
✓Automated Theorem Proving
Pydantic AI Gateway
github.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Will this build run 24/7 reliably (trading bot)
reddit.com·2d·
Discuss: r/homelab
🔄Reproducible Builds
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·4d
📚Automata Learning
HybridPetya: More proof that Secure Boot bypasses are not just an urban legend
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
How did you deploy redundant storage across multiple servers? (k8s, CEPH, JBOD)
reddit.com·16h·
Discuss: r/homelab
⎈Kubernetes
Postgres internals deep dive: Process Architecture
enterprisedb.com·3d·
Discuss: Hacker News
📡Network Protocol Design
A Comprehensive Review of Reinforcement Learning for Autonomous Driving in the CARLA Simulator
arxiv.org·2d
🔄Finite State Machines