Show HN: TinyCity – A tiny city SIM for MicroPython (Thumby micro console)
(github.com)
79 points
12
Show HN: Keypost – Policy enforcement for MCP pipelines
(keypost.ai)
3 points
1
Show HN: I'm building an open-source AI agent runtime using Firecracker microVMs
(github.com)
2 points
0
Show HN: Voice Composer – Browser-based pitch detection to MIDI/strudel/tidal
(dioptre.github.io)
27 points
6
Show HN: Sparrow-1 – Audio-native model for human-level turn-taking without ASR
(www.tavus.io)
106 points
35
Show HN: WebTiles – create a tiny 250x250 website with neighbors around you
(webtiles.kicya.net)
216 points
35
Show HN: Webctl – Browser automation for agents based on CLI instead of MCP
(github.com)
113 points
34
Show HN: I spent 10k hours building the perfect language learning app
(phrasing.app)
2 points
0
Show HN: Stash: End-to-end encrypted file sharing with zero friction
(stash-app.xyz)
3 points
0
Show HN: HyTags – HTML as a Programming Language
(hytags.org)
66 points
32
Load More Posts
Broken Proofs and Broken Provers
OP
by
ibobev
today at 3:01 PM
2 points
lawrencecpaulson.github.io
Comments
Loading comments...