< prev1 / 2 more >

• 17Show HN: A Project Oberon System version running on RISC-V instead of RISC-5 (github.com)
  by Rochus1 hour ago | 1 comments
• 13Show HN: Airy – Free, fast, and simple voice content creation (airy.so)
  by login5884 hours ago | 6 comments
• 3Show HN: FAIth – a syntax-free JVM language, compiled by an LLM front-end (github.com)
  by krossovochkin1 hour ago | 0 comments
• 6Show HN: My WHOOP has no screen. My Kindle had no job. So I put them together (github.com)
  by kaibuidsai2 hours ago | 1 comments
• 26Show HN: DeepSeek-V4 Latent Reasoning – moving "thinking" into latent space (n.ichol.ai)
  by nmitchko2 hours ago | 12 comments
• 3Show HN: Open-source binaural-beats engine (github.com)
  by txus5 hours ago | 0 comments
• 13Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com)
  by modinfo20 hours ago | 1 comments
• 196Show HN: textlog – A quiet, text-only microblogging platform, open-source, no JS (textlog.cc)
  by stagas2 days ago | 29 comments
• 9Show HN: Tura – Build agent that uses 80% less token and delivers better results (github.com)
  by turaainet14 hours ago | 0 comments
• 216Show HN: Wyzer Programming Language (github.com)
  by v0id_isgood2 days ago | 56 comments

< prev1 / 2 more >