Topics /

AI & Machine Learning

The most popular blog posts about ai & machine learning on Hacker News. 763 posts.

2026
722

The Warp Agent CLI

The Warp Agent is now available as a standalone CLI that you can use anywhere – Ghostty, iTerm 2, VS Code, built-in Windows and Mac Terminals – and provides a superior experience for developers who do heavy terminal workflows.

740

TorchLean: Formalizing Neural Networks in Lean

Neural networks are increasingly deployed through software stacks whose behavior is defined by tensor layouts, preprocessing choices, compiler boundaries, floating-point arithmetic, GPU kernels, and external model exporters. TorchLean is a Lean 4 codebase for neural network specification, execution, and verification…

749

Laguna XS.2 and M.1

We've released the first two models in the Laguna family, Laguna M.1 and Laguna XS.2, alongside the runtime we use to train and operate agents, available through two product experiences in research preview.