-
Show HN: Ordewell – turn one goal into an ordered plan of coding-agent tasks
-
What we have learned at OpenShell applying formal methods to control AI agents
-
Trying to Make a Loop Auto-Vectorize
-
Show HN: Pelican-bicycle alternatives
-
How much oil-market buffer is left?
-
The case against JPEG XL
-
Adversarial Fashion Makes a Statement on AI Panopticon
-
Show HN: Nari Qwen3-TTS and Qwen3-ASR – High accuracy, low latency and cost
-
LG says we're fake news [video]
-
AWS Says It Can't Restore Some Data from Mideast Facilities Struck by Iran
-
AI models in 'surreal' dialect mixing poetic language and tech bro jargon
-
Show HN: Loss. a tiny satire about AI progress
-
Show HN: Warp – Run DeepSeek v4.1 Flash with 5 GB of RAM at 3.77 tok/s
-
AI is breaking our proxies for expertise
-
An atlas of periodic solutions to the three-body problem
-
Principles for Fast Tokio Applications
-
The bitter lesson of browser agents
-
Israeli Minister Threatens Filmmakers' Citizenship over Gaza Documentary
-
Sub-Agents Are Just Wrong
-
I Wanted to Stay in Canada So I Learned French
-
Meta-analysis of the association between childhood maltreatment and depression
-
Mark Zuckerberg: Labs should self-regulate
-
Compressing a flag to 11 bits
-
Registration without a phone number on Signal will use zero-knowledge proofs
-
Show HN: SCIP MIP solver bindings for Go, ported from russcip
-
Amazon vs. Perplexity – U.S. Court of Appeals for the Ninth Circuit
-
Pythoncall.jl – Python and Julia in Harmony
-
Micron Shows Off 512GB DDR5 Rdimm: 12TB per Dual-Socket Server at 9,200 MT/S
-
Coreutils – Rejected Feature Requests
-
Truncated SVD (2023)
More