Velvet Curiosity

What it does

Describe your product or what you do in the chat window and my app will search for suitable businesses to sell to. It almost works. this is my personal contact info for any bugs/feature request (im also looking for a job) +420602706403 [email protected]

Coding agents write code that looks right. Velvet checks it actually does what it

Coding agents produce code that looks right. Velvet checks that it actually does what it’s supposed to do — not by running tests, but by mathematical proof, for every possible input. It’s one API call inside your agent’s coding loop: the agent writes code, Velvet checks it, the agent ships it or fixes it. When an agent writes code, it usually also writes the tests that approve it. A test checks a handful of inputs out of billions. Everything in between is hope. Velvet reads the actual compiled program and decides mathematically whether it does what you asked — for every input, not just the ones somebody thought to try. Agents generate plausible code at a speed…from velvetcuriosity.com

• 
  Reply: Live Tasks2017 · reply.io · ▲143

  Convert prospects into customers with Live Tasks suggestions

• 
  The Startup Chat 174: Self-Service vs Human-Touch in SaaS2017 · thestartupchat.com · ▲71

  Can bots really sell?

• 
  SaaSNerd2015 · saasnerd.com · ▲97

  The job site for the SaaS industry

• 
  Salable2022 · salable.app · ▲76

  Sell your app, manage your SaaS business

• 
  Stitch2014 · sugarcrm.com · ▲67

  Mobile email for salespeople

• 
  ProductPush2014 · ▲79

  iOS Promo Codes In Exchange For Retweets (SaaS)

• 
  Spira Maxima▲578

  Video model that turns script into viral social media videos

  AI · 19d ago · spira.ai

• 
  Rill Browser▲540

  The browser where Claude Code and Codex work beside you

  AI · 19d ago · rill.love

• 
  Germany's new sovereign AI model Kolibri▲424

  Kolibri is Aleph Alpha

  AI · 21d ago · tej.as

• 
  Giving Opus 5.5 a simulated paint canvas▲392

  Paintings by AI models: programs run through a simulation of oil paint.

  AI · 22d ago · stillwet.art

• 
  Beam.win▲379

  Run AI agents on one Mac and use its windows on another

  AI · 5d ago · beam.win

• 
  FastRouter.ai▲364

  Route requests to the right LLM for cost, latency & quality

  AI · 23d ago · fastrouter.ai

• 
  I made an open-source laptop from scratch▲3,237

  Hello! I'm Byran. I spent the past ~6 months engineering a laptop from scratch. It's fully open-source on GH at: https://github.com/Hello9999901/laptop

  Dev tools · 2025 · byran.ee

• TI
  Tetris in a PDF▲1,289

  I realized that the PDF engines of modern desktop browsers (PDFium and PDF.js) support JavaScript with enough I/O primitives to make a basic game like Tetris. It was a bit tricky to find a union of features that work in both engines, but in the end it turns out that showing/hiding annotation "fields" works well to make monochrome pixels, and keyboard input can be achieved by typing in a text input box. All in all it's quite janky but a nice reminder of how general purpose PDF scripting can be. The linked PDF is all ASCII so you can just open it in a text editor, or have a look at…

  Life & fun · 2025 · th0mas.nl

• 
  21st.dev▲1,211

  I originally built this app to organize and reuse interesting React + Tailwind components I came across on Twitter, inspired by the shadcn/ui approach. Later, a friend started contributing their own components, and it got me thinking—this could grow into something bigger, like an NPM for design engineers to share and use components. Would love to hear your thoughts!

  Dev tools · 2025 · 21st.dev

• 
  JoggAI 2.0: AI Avatar Generator▲967

  Create lifelike, personalized AI avatars from text prompts

  AI · 2025 · jogg.ai

• 
  Lovable + Builder.io▲873

  Turn Figma designs into full stack apps with AI

  Dev tools · 2025 · figma.com

• 
  Cs16.css – CSS library based on Counter Strike 1.6 UI▲819

  CSS library based on Counter Strike 1.6 UI.

  Life & fun · 2025 · cs16.samke.me