Timepods

Dictato: Private voice-to-text for Mac

Your voice is 3x faster than your fingers. I built Dictato because every dictation app I tried had a problem. Cloud-bas…

Show HN: Our space game has a built-in RISC-V emulator that runs Linux

We're a tiny indie studio, all with a background in the demoscene and for about 3 years now we're developing a space pl…

Show HN: Rouler – Steer Windows traffic per app or IP across multiple interfaces

Hi HN,<p>Rouler is "rules for your routes". It allows you to steer network traffic across multiple network interfaces o…

Show HN: Petal, open-source CoScreen/ScreenHero finally free

Hi HN!<p>I’m Jason Thomas, one of the founders of CoScreen.<p>As some of you may know, Datadog sunset the CoScreen serv…

Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"

On October 26, OpenAI announced a claimed "bare existence" proof in Balaban's RG programme on pure R^4—but notably stop…