Stories by michael-lehn

W3C: In-Browser Email Verification API

Show HN: ABC v0.1 – A teaching language grows up a little

The sorry state of SKILL distribution

Show HN: A self-hosting compiler from an undergraduate mathematics course

TIL: HTTP/3 Is Not Always Faster Than HTTP/2

Show HN: Thunderbird addon for displaying message excerpt next to subject line

Free Raycast Alternative? Introducing Tinycast

Reverse Engineered the Plank Scale, Found an XOR

Show HN: A self-correcting algebraic agent swarm

The Unpaid Invoices of 20th-Century Physics (and the Wolfram Overlap)

Open Source: How to Popularize Your Project

Open-Source Alternative to Buffer, Typefully, Hootsuite

Agent-Rigor: AI Coding Discipline and Testing Framework

Offline Mac Voice Assistant – Control Your Computer with Zero Data Leaving

LLM from pre-1930 derives quantum mechanics and relativity

Show HN: Anitag2vec – Tag set embedding for ranking recommendations

Show HN: Anitag2vec – tag embeddings for recommendations

Building an Autonomous AI Sysadmin with LangGraph, Ansible, and SQLite

A read-only Linux MCP server for safe LLM troubleshooting

Open-source GDPR cookie banner for Shadcn/UI with GCM v2

1