Show HN: Mysti โ€“ Claude, Codex, and Gemini debate your code, then synthesize L:
GitHub
GitHub - DeepMyst/Mysti: AI coding dream team of agents for VS Code. Claude Code + openai Codex collaborate in brainstorm mode, debate solutions, and synthesize the best approach for your code.
AI coding dream team of agents for VS Code. Claude Code + openai Codex collaborate in brainstorm mode, debate solutions, and synthesize the best ap...
 C:
Show HN: Mysti โ€“ Claude, Codex, and Gemini debate your code, then synthesize | Hacker News
 posted on 2025.12.23 at 08:18:32 (c=0, p=4)
Cursed Bundler: Using go get to install Ruby Gems L:
Andrew Nesbitt
Cursed Bundler: Using go get to install Ruby Gems
Goโ€™s module system accidentally created a universal, content-addressed, transparency-logged package CDN. You could abuse this for any language.
 C: https://news.ycombinator.com/item?id=46400927 posted on 2025.12.27 at 06:05:46 (c=0, p=3)
Intertapes โ€“ collection of found cassette tapes from different locations L:
Intertapes
Intertapes โ€” Main
Obscure tape finds and their stories
 C: https://news.ycombinator.com/item?id=46345528 posted on 2025.12.21 at 10:29:59 (c=0, p=3)
How to Annotate Everything (2019) L:
How to annotate literally everything | beepb00p
Comprehensive overview of existing tools, strategies and thoughts on interacting with your data
 C: https://news.ycombinator.com/item?id=46400492 posted on 2025.12.27 at 04:33:29 (c=0, p=3)
Some Junk Theorems in Lean L:
GitHub
GitHub - James-Hanson/junk-theorems-in-lean: A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
A small collection of formally verified junk theorems provable in Lean4 + Mathlib. - James-Hanson/junk-theorems-in-lean
 C:
Some Junk Theorems in Lean | Hacker News
 posted on 2025.12.23 at 06:53:19 (c=0, p=5)
Cloudflare Is Ruining the Internet L:
Slashgeek
CloudFlare is ruining the internet (for me) < Slashgeek
Follow up: Cloudflare: Making the internet a little bit faster โ€“ for a select group of people CloudFlare is a very helpful service if you are a w...
 C:
CloudFlare is ruining the internet (for me) (2016) | Hacker News
 posted on 2025.12.27 at 04:33:14 (c=0, p=3)
Ask HN: How are you sandboxing coding agents? C: https://news.ycombinator.com/item?id=46400129 posted on 2025.12.27 at 03:13:09 (c=1, p=5)
Show HN: Vibe code from phone template repo L:
GitHub
GitHub - AdmTal/vibe-code-from-phone-starter: Repo to quick start vibe coded
Repo to quick start vibe coded. Contribute to AdmTal/vibe-code-from-phone-starter development by creating an account on GitHub.
 C: https://news.ycombinator.com/item?id=46354175 posted on 2025.12.22 at 09:02:06 (c=0, p=3)
I don't do GitHub pull requests โ€“ Linus Torvalds L:
GitHub
Add support for AR5BBU22 [0489:e03c] by reejk ยท Pull Request #17 ยท torvalds/linux
 C: https://news.ycombinator.com/item?id=46400304 posted on 2025.12.27 at 03:56:31 (c=1, p=3)
Show HN: Ez FFmpeg โ€“ Video editing in plain English L: http://npmjs.com/package/ezff C:
Show HN: Ez FFmpeg โ€“ Video editing in plain English | Hacker News
 posted on 2025.12.27 at 03:45:46 (c=0, p=4)