1. Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize  github.com
   2025-12-23 13:18:32   #code #new
2. Some Junk Theorems in Lean  github.com
   2025-12-23 11:53:19   #code #new
3. Mruby: Ruby for Embedded Systems  github.com
   2025-12-22 05:00:14   #code #new
4. Langjam-Gamejam Devlog: Making a language, compiler, VM and 5 games in 52 hours  github.com
   2025-12-21 20:44:35   #code #new
5. nix-prompt: a clean and modular bash prompt with just the right amount of customization options  github.com
   2025-12-27 00:01:55   #nix #code #new
6. llm-grep: Match lines using both classic and semantic regular expressions  github.com
   2025-12-26 22:18:19   #unix #ai #code #new
7. MongoBleed  github.com
   2025-12-26 18:17:00   #code #new
8. Gaussian Splatting 3 Ways  github.com
   2025-12-26 19:23:28   #code #new
9. Show HN: Witr – Explain why a process is running on your Linux system  github.com
   2025-12-26 15:20:36   #code #new
10. Show: Twine - A tool to dynamically trace calls in production Elixir systems  github.com
    2025-12-26 18:44:10   #show #elixir #code #new
11. Sandbox: Run untrusted AI code safely, fast  github.com
    2025-12-19 14:34:20   #code #new
12. xcc700: mini C compiler for esp32  github.com
    2026-01-01 22:46:25   #c #compilers #code #new
13. How to Reproduce This Book with LaTeX  github.com
    2025-12-19 14:48:26   #code #new
14. Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms  github.com
    2025-12-22 04:00:19   #code #new
15. TurboDiffusion: 100–200× Acceleration for Video Diffusion Models  github.com
    2025-12-26 03:19:49   #code #new
16. Ultimate-Linux: Userspace for Linux in Pure JavaScript  github.com
    2025-12-26 02:32:29   #code #new
17. WiFi DensePose: WiFi-based dense human pose estimation system through walls  github.com
    2025-12-26 03:18:47   #code #new
18. CUDA Tile Open Sourced  github.com
    2025-12-19 20:49:54   #code #new
19. Redis vs. BoltCache  github.com
    2025-12-21 20:16:33   #code #new
20. Asterisk AI Voice Agent  github.com
    2025-12-24 23:25:37   #code #new
21. Advent of Code 2025: The AI LLM Edition  github.com
    2025-12-24 23:59:09   #python #vibecoding #code #new
22. Comptime – C# meta-programming with compile-time code generation and evaluation  github.com
    2025-12-20 20:49:52   #code #new
23. cjanet  github.com
    2025-12-24 19:05:16   #lisp #c #code #new
24. Show HN: Vibium – Browser automation for AI and humans, by Selenium's creator  github.com
    2025-12-24 17:49:02   #code #new
25. ZipPop: a space conserving unzipping script  github.com
    2025-12-24 18:03:34   #python #linux #unix #reversing #release #performance #code #new

< 21 / 411 >