Recapping our inaugural Axe-con Mini event
deque.com·59m
⚙️Proof Engineering
Flag this post
OpenAI can't stop cutting deals for compute power. But when is enough enough?
businessinsider.com·4h
🏠Homelab Archaeology
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·4d
🔓Decompilation
Flag this post
CRA – The First Horizontal Regulation of the Software Industry [video]
🔓Open Source Software
Flag this post
Show HN: I was tired of wasting engineer time on screening calls so I built Niju
🌊Stream Processing
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔐Capability Systems
Flag this post
From Classical Models to AI: Forecasting Humidity for Energy and Water Efficiency in Data Centers
towardsdatascience.com·2d
📈Time Series
Flag this post
Accelerated Dielectric Barrier Coating Optimization via Multi-Modal Data Fusion & Bayesian Hyperparameter Tuning
🧠Machine Learning
Flag this post
Devuan 6 “Excalibur” Released with Debian 13 “Trixie” Base
linuxiac.com·1d
❄️Nix Adoption
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
📏Code Metrics
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·12h
🌀Brotli Internals
Flag this post
The Infrastructure of Modern Ranking Systems, Part 1: The Serving Layer - Real-time Ranking at Scale
shaped.ai·1d
🌊Streaming Systems
Flag this post
Best Linux Distros for Development
thenewstack.io·2d
🔌Operating system internals
Flag this post
LibreSSL 4.1.2 and 4.2.1 released with reliability and portability fixes
discoverbsd.com·4d
🔌Operating system internals
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·12h
🦀Rust Verification
Flag this post
OpenBSD smtpd errata patches released for versions 7.7 and 7.8
discoverbsd.com·4d
🔌Operating system internals
Flag this post
Loading...Loading more...