< prev 2 / 2more >

• 8Show HN: TLA+ Process Studio (tlaplus-process-studio.com)
  by uptodatenews10 hours ago | 0 comments
• 103Show HN: Talos – Open-source WASM interpreter for Lean (github.com)
  by mfornet2 days ago | 13 comments
• 9Show HN: Domphy – plain-object UI for tool apps, AI-correctable output
  by khanhhuunguyen2 days ago | 3 comments
• 144Show HN: Metiq: a real time 3D globe for 100 public datasets (metiq.space)
  by rakeda4 days ago | 28 comments
• 8Show HN: Onsight: pay a local to photograph any spot in San Francisco, on demand (onsight.photo)
  by pro_methe510 hours ago | 2 comments
• 232Show HN: Gerrymandle - Daily puzzle game where you redraw electoral districts (gerrymandle.cc)
  by realmofthemad2 days ago | 28 comments
• 2Show HN: Rocannon – Any Ansible module to MCP Tool, record sessions as playbooks (github.com)
  by msradam8 hours ago | 0 comments
• 26Show HN: Lean bulk, cut, body recomp. Calculate maintenance calories (macrocodex.app)
  by faangguyindia7 hours ago | 4 comments
• 4Show HN: Codeflowmap – map a codebase's read/write/auth data flows (github.com)
  by brian-m8 hours ago | 0 comments
• 3Show HN: FERNme – agent memory that updates with ~zero LLM calls (github.com)
  by mirkofr9 hours ago | 1 comments

< prev 2 / 2more >