Inside the Summit Where China Pitched Its AI Agenda to the World
wired.com·3h·
Discuss: r/China
🇨🇳Chinese Computing
Debunking API Security Myths
lab.wallarm.com·8h
⚡gRPC
Consumers Are Footing the Bill for AI’s Insatiable Appetite for Energy
nakedcapitalism.com·8h
🖥️Modern Terminals
Show HN: AI code reviewer with Python agent called from Rust, streaming works
medium.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
Our $100M Series B
oxide.computer·1d·
Discuss: Lobsters, Hacker News
🖥️Terminal Renaissance
Reliable, neat and user-friendly, the Anthbot Genie lawn mower is a wish come true
techradar.com·14h
🧮Z3 Solver
Implementing Merkle Trees in Go
vaktibabat.github.io·6d
🌳Archive Merkle Trees
Encode any data into a mnemonic, with custom dictionary.
github.com·2d·
Discuss: r/golang
📦Deflate
OpenAI's "Study Mode" and the risks of flattery
resobscura.substack.com·5h·
Discuss: Substack
🏛Digital humanities
We solved the "AI agent black box" problem with typed tasks
augmentcode.com·3d·
Discuss: Hacker News
⚡Proof Automation
Implement AI Typesetting in Word
medium.com·3d·
Discuss: Hacker News
📋Document Grammar
CLVR Ordering of Transactions on AMMs
arxiv.org·2d
🤝Consensus Algorithms
How to Split a Python String into Characters
dev.to·23h·
Discuss: DEV
🔤Character Classification
On Arbitrary Predictions from Equally Valid Models
arxiv.org·3d
🧠Machine Learning
Bubbleformer: Forecasting Boiling with Transformers
arxiv.org·1d
🧠Machine Learning
GLM-4.5 Now Available on SiliconFlow: Open-Source SOTA Model for Reasoning, Code, and Agentic Applications
dev.to·1d·
Discuss: DEV
⚙️TLA+
Mezzano, an operating system written in Common Lisp
github.com·1d·
Discuss: Hacker News
🕸️WASM Archives
"Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool Use
arxiv.org·1d
⚙️TLA+
The Bug That Drove Me So Crazy, I Got Hired Just to Fix It
dev.to·11h·
Discuss: DEV
❄️Nix Flakes
Enhancing efficiency in paediatric brain tumour segmentation using a pathologically diverse single-center clinical dataset
arxiv.org·15h
🌀Riemannian Computing