1. ClickHaskell 1.0.0 is out  github.com
   2025-12-14 08:40:41   #release #haskell #code #new
2. Lean Theorem Prover Mathlib  github.com
   2025-12-14 01:49:11   #code #new
3. First all-optical XPU processing system  www.akhetonics.com
   2025-12-13 22:44:55   #new
4. Awesome-Jj: Jujutsu Things  github.com
   2025-12-14 01:10:11   #code #new
5. llamafile: Distribute and Run LLMs with a Single File  github.com
   2025-12-13 19:22:13   #code #new
6. icl: Interactive Common Lisp: an enhanced REPL  github.com
   2025-12-14 00:34:07   #lisp #code #new
7. RemoveWindowsAI  github.com
   2025-12-13 23:04:26   #code #new
8. Myna v2.0: contextual variants, more weights (and even supports APL)  github.com
   2025-12-13 20:55:32   #programming #apl #code #new #release
9. Purrtran – ᓚᘏᗢ – A Programming Language for Cat People  github.com
   2025-12-13 18:02:46   #code #new
10. Show HN: Trello Clone with Source Code  kanban.demo.codegres.com
    2025-12-06 12:30:36   #new
11. Show HN: I audited 500 K8s pods. Java wastes ~48% RAM, Go ~18%  github.com
    2025-12-13 15:23:34   #code #new
12. Show HN: Kinkora – A creative playground for experimenting with video models  kinkora.fun
    2025-12-13 16:24:34   #new
13. Show HN: LinkedQL – Live Queries over Postgres, MySQL, MariaDB  github.com
    2025-12-08 14:23:36   #code #new
14. Java FFM zero-copy transport using io_uring  www.mvp.express
    2025-12-07 15:19:25   #new
15. Bookmark for CAD/2d/3D Useful links  github.com
    2025-12-13 11:16:45   #code #new
16. The Typeframe PX-88 Portable Computing System  www.typeframe.net
    2025-12-14 17:43:39   #new
17. Slax: Live Pocket Linux  www.slax.org
    2025-12-08 12:24:29   #new
18. Show HN: Claude Code Recipes for Knowledge Workers (Open Source)  github.com
    2025-12-13 03:57:58   #code #new
19. Cycle-accurate YM2149 PSG emulator  github.com
    2025-12-13 03:15:36   #rust #retrocomputing #code #new
20. Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig  github.com
    2025-12-12 22:02:14   #code #new
21. Rats Play Doom  ratsplaydoom.com
    2025-12-13 14:55:09   #games #new
22. Security issues with electronic invoices  invoice.secvuln.info
    2025-12-12 20:28:41   #new #security
23. Show HN: tomcp.org – Turn any URL into an MCP server  github.com
    2025-12-12 17:10:16   #code #new
24. Fedora: Open-source repository for long-term digital preservation  fedorarepository.org
    2025-12-12 13:23:31   #new
25. Show HN: Tripwire: A new anti evil maid defense  github.com
    2025-12-11 09:46:56   #code #new

< 2 / 741 >