1. P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems  github.com
   2025-12-17 07:42:09   #code #new
2. kris: Cross-compile Janet projects with Zig  github.com
   2025-12-17 08:45:33   #lisp #code #new
3. qjp - turn any json file into a quick TUI menu  github.com
   2025-12-17 07:28:16   #linux #unix #code #new
4. WikiFlix shows us what Netflix would have been like 100 years ago  wikiflix.toolforge.org
   2025-12-17 00:20:13   #new
5. Show HN: Deterministic PCIe Diagnostics for GPUs on Linux  github.com
   2025-12-16 21:03:25   #code #new
6. Show HN: Sqlit – A lazygit-style TUI for SQL databases  github.com
   2025-12-15 15:47:14   #code #new
7. IP.THC.ORG - Reverse-DNS, Subdomain and CNAME Lookups  ip.thc.org
   2025-12-16 18:10:40   #security #networking #new
8. Show HN: My Tizen multiplayer drawing game flopped, but then hit 100M drawings  www.drawize.com
   2025-12-16 16:02:39   #new
9. Show HN: Solving the ~95% legislative coverage gap using LLM's  lustra.news
   2025-12-16 14:39:59   #new
10. FVWM-95  fvwm95.sourceforge.net
    2025-12-16 17:13:07   #new
11. Track Surveillance (Flock Cameras) Tech in Local Government Meetings  alpr.watch
    2025-12-16 16:54:19   #new
12. AIsbom – open-source CLI to detect "Pickle Bombs" in PyTorch models  github.com
    2025-12-16 15:55:45   #code #new
13. Gh-actions-lockfile: generate and verify lockfiles for GitHub Actions  gh-actions-lockfile.net
    2025-12-16 15:44:33   #new
14. Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries  github.com
    2025-12-16 15:39:23   #code #new
15. Show HN: Search the lyrics of 500 HÖR Berlin techno sets  hor.greg.technology
    2025-12-12 02:10:09   #new
16. normals_revisited: revisiting a known normal transformation in computer graphics (2019)  github.com
    2025-12-16 11:51:47   #math #graphics #code #new
17. State of HTML 2025 results  2025.stateofhtml.com
    2025-12-16 11:20:43   #web #new
18. ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing  github.com
    2025-12-16 09:51:31   #code #new
19. A2UI: A Protocol for Agent-Driven Interfaces  a2ui.org
    2025-12-16 09:16:31   #new
20. 15,000 Free Pixel Art Icons  piixes.com
    2025-12-16 08:58:59   #new
21. global known_hosts for ssh services  knownhosts.net
    2025-12-16 08:36:11   #devops #cryptography #new
22. Bonsai: A Voxel Engine, from scratch  github.com
    2025-12-16 06:06:43   #code #new
23. O'saasy License Agreement  osaasy.dev
    2025-12-16 06:29:02   #new
24. Quill OS – an open-source, fully-functional standalone OS for Kobo eReaders  quill-os.org
    2025-12-16 00:22:41   #new
25. Liquid-rust: Liquid templating for Rust  github.com
    2025-12-10 00:01:17   #code #new

< 212 / 953 >