Stories by k-Whale

Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean

N8n-rustful-operator – a Kubernetes operator in Rust that runs n8n from CRDs

Substack Gateway – A REST and MCP Server for Substack

Learning from experience instead of curated datasets

Best Simple System for Now (2025)

Real-time monitoring of chatbots and agents for AI compliance and governance

Show HN: Sheaft – simulate service failures before deploying

Top AI CEOs Call for Law Protecting Against Biological Weapons

Zinc – zero-copy shared memory for polyglot stacks

Show HN:An LED display app that lights up concerts, events, and fan moments

I'm looking for people who can help us become a 3rd level civilization

Nyx Wave: an AI agent that extracted expert knowledge via email

Show HN: How to analyze your LLM output – A behavioural health monitor for LLMs

We built a runtime activation layer for autonomous AI agents

Hindu Perspectives on Free Will

Claude-cast – stream twitch, YouTube, and kick inside your Claude Code session

Ask HN: Is it time for "organic" coding?

Home-Made Shock Diamond

Anthropic AI used in Khamenei elimination

AI used to plan elimination of Khamenei

1 2 3 4 5 6 7 8 9 10