Stories by -1

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

Nextcloud cries foul over Google Play Store app rejection

LPython: Novel, Fast, Retargetable Python Compiler (2023)

Nano LinkedIn MCP Server for LLM Agents and Cursor

Why agency and cognition are fundamentally not computational

LithOS: An Operating System for Efficient Machine Learning on GPUs

Tool for Effective Database Subsetting

GNU Screen v5.0.1 is released

Show HN: ClickAgent: Multilingual RAG System with Batteries Included

Kosmos 482 crashes back to Earth, disappearing into Indian Ocean after 53 years

Airlines Prepare for Nuclear War

Compiler construction textbook by Niklaus Wirth

Ask HN: How are you acquiring your first hundred users?

What Comes After 100?

E2E LLM evals, with less focus on metrics and more focus on binary assertions

Odin: A programming language made for me

I'm moving my projects off GitHub (2022)