< prev1 / 2 more >

• 44Show HN: Talos – Open-source WASM interpreter for Lean (github.com)
  by mfornet18 hours ago | 4 comments
• 319Show HN: Are You in the Weights? (intheweights.com)
  by turtlesoup10 hours ago | 94 comments
• 167Show HN: Gerrymandle - Daily puzzle game where you redraw electoral districts (gerrymandle.cc)
  by realmofthemad17 hours ago | 27 comments
• 12Show HN: Crawlie – Free open-source SEO audit tool for humans and agents (github.com)
  by seandotexe8 hours ago | 1 comments
• 2Show HN: Building Cursor for Traders (runhalcyon.com)
  by chips20114 hours ago | 2 comments
• 247Show HN: An 8-bit live gamecast for baseball (ribbie.tv)
  by brownrout1 day ago | 55 comments
• 101Show HN: We built an 8-bit CPU as 2nd year EE students (github.com)
  by CorRupT93 days ago | 22 comments
• 2Show HN: BeamWeaver – LangChain/DeepAgents-style agents and workflows for Elixir (github.com)
  by caudena5 hours ago | 0 comments
• 198Show HN: High-Res Neural Cellular Automata (cells2pixels.github.io)
  by esychology1 day ago | 15 comments
• 149Show HN: Capacitor Alarm Clock (github.com)
  by arcaege4 days ago | 24 comments

< prev1 / 2 more >