Software

A proof checker meant for education

Hacker News - Fri, 2025-03-21 12:47
Comments
Categories: Software

Imagine telling 2010 devs that in 2025, collapsing a div would require $8/ month

Hacker News - Fri, 2025-03-21 12:42
Comments
Categories: Software

All Placebos are not created equal

Hacker News - Fri, 2025-03-21 12:28
Comments
Categories: Software

Show HN: My Attempt to Organize the World of AI Dev Tools

Hacker News - Fri, 2025-03-21 12:22
Comments
Categories: Software

LangManus: An Open-Source Manus Agent with LangChain + LangGraph

Hacker News - Fri, 2025-03-21 12:01
Comments
Categories: Software

Notetime: Minimalistic notes where everything is timestamped

Hacker News - Fri, 2025-03-21 11:58
Comments
Categories: Software

Career Development: What It Means to Be a Manager, Director, or VP

Hacker News - Fri, 2025-03-21 11:49
Comments
Categories: Software

Boston Dynamics shows off another major leap in humanoid mobility

Hacker News - Fri, 2025-03-21 11:43
Comments
Categories: Software

Autology: A Lisp with access to its own interpreter

Hacker News - Fri, 2025-03-21 11:37
Comments
Categories: Software

The FBI Seized This Woman's Life Savings–Without Telling Her Why

Hacker News - Fri, 2025-03-21 10:50
Comments
Categories: Software

Numbering should start at zero: E.W. Dijkstra

Hacker News - Fri, 2025-03-21 10:35
Comments
Categories: Software

Teardown, Optimization: Comsol 8Gb USB Flash Stick (2015)

Hacker News - Fri, 2025-03-21 09:44
Comments
Categories: Software

Germany tightens travel advice to US after three citizens detained

Hacker News - Fri, 2025-03-21 09:23
Comments
Categories: Software

The earliest versions of the first C compiler known to exist

Hacker News - Fri, 2025-03-21 09:17
Comments
Categories: Software

Calibre 8.0 Release

Hacker News - Fri, 2025-03-21 08:56
Comments
Categories: Software

Harvard study: open-source has an economic value of 8.8T dollars

Hacker News - Fri, 2025-03-21 08:21
Comments
Categories: Software

Chimera Linux NOT dropping RISC-V support after all

Hacker News - Fri, 2025-03-21 07:44
Comments
Categories: Software

'The Celts: A Modern History' by Ian Stewart Review

Hacker News - Fri, 2025-03-21 07:08
Comments
Categories: Software

Matched and Deleted

Hacker News - Fri, 2025-03-21 06:42
Comments
Categories: Software

Western Ignorance: Failure to See China Beyond the Party

Hacker News - Fri, 2025-03-21 06:40
Comments
Categories: Software

Pages