Lightstep is shutting down March 1, 2026
docs.lightstep.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
AI Consciousness, Qualia, and Personhood
blog.dileeplearning.com·6h·
Discuss: Hacker News
✅formal methods
Flag this post
PlusAI, International and NVIDIA move closer to autonomous truck commercialization
freightwaves.com·1d·
Discuss: Hacker News
🔄compilers
Flag this post
CodeWeavers Launches CrossOver Preview for Linux ARM64
codeweavers.com·2d·
Discuss: Hacker News
🔄compilers
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·3d·
Discuss: Hacker News
✅formal methods
Flag this post
How to Evolve Software for Minimum Disruptions: The Architect's Two Hats
medium.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·5d·
Discuss: Hacker News, r/devops
✅formal methods
Flag this post
Show HN: React Prompt Kit
github.com·1d·
Discuss: Hacker News
🔄compilers
Flag this post
New Shopify App Connects Local Couriers with Merchants
onro.io·3h·
Discuss: Hacker News
🌐network programming
Flag this post
Don't Blindly Use useTransition Everywhere
charpeni.com·2d·
Discuss: Hacker News, r/reactjs
⚡query optimization
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·4d·
Discuss: Hacker News
✅formal methods
Flag this post
How to handle secrets on the command line
smallstep.com·18h·
Discuss: Hacker News
✅formal methods
Flag this post
The Foundation You Can't Outsource
blog.namar0x0309.com·2h·
Discuss: Hacker News
✅formal methods
Flag this post
Using CRDTs and Sync as a Database
jackson.dev·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Once upon a time this blog was powered by make
refp.se·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Kosmos: Next-generation AI Scientist
edisonscientific.com·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·3d·
Discuss: Hacker News
⚡query optimization
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·2d·
Discuss: Hacker News
🌐network programming
Flag this post
Neuromorphic Intelligence Promises a New Era of Brain-Like Sustainable AI
dailyneuron.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Stop trying to promote my best engineers
idiallo.com·19h·
Discuss: Hacker News
🌐network programming
Flag this post