1. Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region  github.com
    2026-04-15 15:35:47   #swift #plt #code #new
  2. Daily Claude outage is upon us. Waiting for Claude Status to update  claudestatus.com
    2026-04-15 14:44:00   #new
  3. Pretty Fish: A better mermaid diagram editor  pretty.fish
    2026-04-09 19:32:20   #new
  4. Peter Steinberger – WhatsApp CLI: sync, search, send  github.com
    2026-04-15 07:04:45   #code #new
  5. Stop Flock  stopflock.com
    2026-04-14 21:56:05   #new
  6. Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory  github.com
    2026-04-14 23:12:51   #haskell #plt #code #new
  7. Free, fast diagnostic tools for DNS, email authentication, and network security  mrdns.com
    2026-04-14 20:42:21   #new #security
  8. ClawRun – Deploy and manage AI agents in seconds  github.com
    2026-04-14 19:12:09   #code #new
  9. Show HN: Plain – The full-stack Python framework designed for humans and agents  github.com
    2026-04-14 17:43:17   #code #new
  10. Release OpenSSL 4.0.0  github.com
    2026-04-14 19:46:52   #release #cryptography #code #new
  11. guide.world: A compendium of travel guides  guide.world
    2026-04-09 18:17:32   #new
  12. Show HN: A memory database that forgets, consolidates, and detects contradiction  github.com
    2026-04-14 15:41:01   #code #new
  13. jemalloc 5.3.1 released  github.com
    2026-04-14 16:20:21   #release #code #new
  14. KeePassχ - a KeePassXC fork  codeberg.org
    2026-04-14 16:40:28   #security #code #new
  15. Show HN: LangAlpha – what if Claude Code was built for Wall Street?  github.com
    2026-04-14 14:48:46   #code #new
  16. Show HN: Kelet – Root Cause Analysis agent for your LLM apps  kelet.ai
    2026-04-14 16:16:51   #new
  17. Ark VCS - Version Control For Games  ark-vcs.com
    2026-04-14 15:10:25   #release #vcs #new
  18. Show HN: Kontext CLI – Credential broker for AI coding agents in Go  github.com
    2026-04-14 13:26:53   #code #new
  19. A collection of small, low stakes and low effort tools  tools.rmv.fyi
    2026-04-14 13:32:20   #design #new
  20. Show HN: Run GUIs as Scripts  github.com
    2026-04-10 07:28:29   #code #new
  21. sem: Semantic version control CLI  github.com
    2026-04-14 08:54:44   #vcs #code #new
  22. Introspective Diffusion Language Models  introspective-diffusion.github.io
    2026-04-14 07:57:33   #new
  23. Lumina – a statically typed web-native language for JavaScript and WASM  github.com
    2026-04-09 16:02:11   #code #new
  24. MOS tech 6502 8-bit microprocessor in pure SQL powered by Postgres  github.com
    2026-04-14 05:46:49   #code #new
  25. Distributed DuckDB Instance  github.com
    2026-04-14 06:31:44   #code #new

< 127 / 951 >