1. An introduction to temporal logic and how it can be used to analyze concurrency  github.com
    2024-01-22 20:21:48   #code #new
  2. Show HN: Open-source Rule-based PDF parser for RAG  github.com
    2024-01-24 05:31:11   #code #new
  3. Fix: Hong Kong is not in China  github.com
    2024-01-24 01:50:19   #code #new
  4. Hardware-Accelerated Similarity Metrics and Distance Functions (200x Faster)  github.com
    2024-01-23 22:53:11   #code #new
  5. F3d v2.3.0 Released – Fast and minimalist 3D viewer  github.com
    2024-01-23 02:07:29   #code #new #release
  6. Show HN: Built a self hosted clean status page and batteries  github.com
    2024-01-23 05:36:07   #code #new
  7. Show HN: Sendenv, a CLI tool to share environment variables  github.com
    2024-01-23 01:17:29   #code #new
  8. ML Engineering Online Book  github.com
    2024-01-23 00:14:26   #code #new
  9. Depth Anything: Unleashing the Power of Large-Scale Unlabeled Data  github.com
    2024-01-22 17:08:37   #code #new
  10. Cognitive Load is what matters  github.com
    2025-08-30 12:58:48   #code #new
  11. Dumping Firmware for fun and learning [pdf]  github.com
    2024-01-20 11:55:19   #code #new #pdf
  12. Gem adds support for creating state machines for attributes on any Ruby class  github.com
    2024-01-21 22:29:17   #code #new
  13. Show HN: Pfuzz, a web fuzzer following the Unix philosophy  github.com
    2024-01-21 11:31:07   #code #new
  14. Programming with Spaces  github.com
    2024-01-21 07:44:33   #go #java #programming #code #new
  15. TampaDevs – Tampa Bay's Developer Community  github.com
    2024-01-20 11:52:41   #code #new
  16. Brig: A user interface toolkit for Node.js, which is based on Qt for rendering  github.com
    2024-01-20 22:59:14   #code #new
  17. Like Streamlit but with a backend  github.com
    2024-01-20 16:15:44   #python #code #new
  18. Lamport's Bakery Algorithm, Demonstrated in Python  github.com
    2024-01-19 15:57:53   #code #new
  19. Open source Spotify client that doesn't require Premium nor uses Electron  github.com
    2024-01-20 10:16:02   #code #new
  20. Voxos.ai – An Open-Source Desktop Voice Assistant  gitlab.com
    2024-01-19 16:04:13   #code #new
  21. Show HN: Go – Some of the best Go packages  github.com
    2024-01-19 06:34:47   #code #new
  22. David Mills' Fuzzball  github.com
    2024-01-19 06:04:44   #code #new
  23. Scalable Pre-Training of Large Autoregressive Image Models (Aim by Apple)  github.com
    2024-01-18 17:30:44   #code #new
  24. Show HN: Muse, a CLI background music player  github.com
    2024-01-18 02:14:48   #code #new
  25. Autopack - Auto build and run a React app within a Docker container without a Dockerfile  github.com
    2024-01-18 07:03:51   #web #rust #code #new

< 317 / 498 >