Stories by cat-dev-null

Ask HN: Hiring engineers through GitHub contributions – show me your workflow

The competing values framework [pdf]

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny

Lie Group Theory for Robotics

Show HN: Lyraa – Live lyrics for any music app using Windows Media Session API

Up and Down the Ladder of Abstraction

MCP guide – something I came across months ago

Show HN: Production-ready Zig template for Flipper Zero apps

Show HN: Formcn: modern shadcn form builder

The future of Python web services looks GIL-free

Show HN: Test JSDoc examples with any test runner, no more outdated doc

Show HN: dotfiles for your AI prompts

Show HN: Burst – Your Social Media Coach

Show HN: A Standalone Android AI Automation Agent

Show HN: Summarise voice notes and YouTube links inside WhatsApp and Telegram

Show HN: Real or fake content – make it easy to tell

1
2
3
4
5
6
7
8
9
10