1. Dafny: Verification-Aware Programming Language  dafny.org
    2025-12-16 22:50:59   #new
  2. Promises Training: Practical Exercises on Promises in JavaScript  github.com
    2023-11-23 12:35:05   #code #new
  3. Vtracer: Next-Gen Raster-to-Vector Conversion  github.com
    2023-11-22 10:10:49   #code #new
  4. Herbie detects inaccurate expressions and finds more accurate replacements  herbie.uwplse.org
    2025-08-03 15:54:30   #new
  5. Don't Kill My App  dontkillmyapp.com
    2023-11-23 05:20:15   #new
  6. Oculi Mundi collection of rare and ancient maps  oculi-mundi.com
    2023-11-21 13:35:26   #new
  7. I made a website that tells you which human foods are toxic for dogs  www.isittoxicformydog.com
    2023-11-23 01:08:07   #new
  8. How to (and how not to) design REST APIs  github.com
    2023-11-23 04:22:21   #web #programming #code #new #blog
  9. How hard could charging money be?  github.com
    2023-11-21 13:28:09   #code #new
  10. Show HN: Sonic Garbage  sonicgarbage.greg.technology
    2023-11-22 06:06:10   #new
  11. Launched Playtoob, a simple YouTube companion, because my 5yo daughter loves it  playtoob.com
    2023-11-22 12:53:17   #new
  12. For RoR, see in production every method call, parameter and return value  callstacking.com
    2023-11-22 19:07:49   #new
  13. Reflecting on 18 Years at Google  ln.hixie.ch
    2023-11-22 16:44:15   #new
  14. Rocket – Simple, Fast, Type-Safe Web Framework for Rust  rocket.rs
    2023-11-22 12:49:51   #new
  15. ZFS 2.2.1: Block Cloning disabled due to data corruption  github.com
    2023-11-22 15:07:49   #code #new #release
  16. LM Studio – Discover, download, and run local LLMs  lmstudio.ai
    2023-11-22 09:38:46   #new
  17. TigerLab – Adversarial Testing for LLMs and Chatbots  www.tigerlab.ai
    2023-11-22 06:52:56   #new
  18. Show HN: Deepmark AI- LLM assessment tool for task-specific metrics on your data  github.com
    2023-11-22 08:58:22   #code #new
  19. Fluent Search  www.fluentsearch.net
    2023-11-21 06:52:32   #new
  20. Red Programming Language  www.red-lang.org
    2023-11-21 19:59:18   #plt #new
  21. Show HN: Neum AI – Open-source large-scale RAG framework  github.com
    2023-11-21 19:20:29   #code #new
  22. The blender.org servers are experiencing a DDoS attack since last weekend  www.blender.org
    2023-11-21 18:40:51   #new
  23. Video-LLaVA  github.com
    2023-11-21 17:31:11   #code #new
  24. Make Pixels Dance: High-Dynamic Video Generation  makepixelsdance.github.io
    2023-11-21 11:32:18   #new
  25. Show HN: Pickcode – Free online code editor for kids  pickcode.io
    2024-06-29 16:56:51   #new

< 626 / 959 >