"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·1d·
Discuss: Hacker News
✅formal methods
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.com·2d·
Discuss: Hacker News
⚙️systems programming
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·2d·
Discuss: Hacker News
⚙️systems programming
K0rdent v1.0: Manage Distributed Infrastructure at Scale with Kubernetes
cncf.io·23h·
Discuss: Hacker News
⚙️systems programming
Tune self-correct SQL agent with RL: AgentLightning+verl+vLLM+AgentOps+LangGraph
medium.com·1d·
Discuss: Hacker News
⚙️systems programming
The current state of LLM-driven development
blog.tolki.dev·2d·
Discuss: Hacker News
✅formal methods
ISPC: Implicit SPMD Program Compiler
github.com·1d·
Discuss: Hacker News
⚙️systems programming
Not So Direct I/O
jmcph4.dev·5h·
Discuss: Hacker News
⚙️systems programming
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·3d·
Discuss: Hacker News
🗄️databases
My take on Send and Sync
blog.cuongle.dev·4d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Auditing AI
wryco.com·11h·
Discuss: Hacker News
⚙️systems programming
Ancient viral DNA may play a key role in early human development
cnn.com·18h·
Discuss: Hacker News
🗄️databases
The Strategic Implications of GPT-5 for OpenAI
chrishayduk.com·16h·
Discuss: Hacker News
⚙️systems programming
Myths About Floating-Point Numbers (2021)
asawicki.info·2d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Seeing Like an LLM
blog.continua.ai·1d·
Discuss: Hacker News
🗄️databases
Line at Infinity
en.wikipedia.org·2d·
Discuss: Hacker News
✅formal methods
AWS-LC is a general-purpose cryptographic library
github.com·4d·
Discuss: Hacker News
✅formal methods
From trixie, armel is no longer supported as a regular architecture
debian.org·2d·
Discuss: Hacker News
⚙️systems programming
Adventures with mtree (2022)
jashankj.space·21h·
Discuss: Hacker News
⚙️systems programming
Different isn't always better, better is always different
cory.news·13h·
Discuss: Hacker News
⚙️systems programming