Launch Intel
TA

TAUT2 – Mathematical logic exercises in the browser

Hacker News

TAUT2 – Mathematical logic exercises in the browser

Hi HN, This is something I originally built for my students when I was teaching logic at the University of Buenos Aires (I have now moved to philosophy of science). I had planned to add some commercial features like paid courses — and even developed a good part of it — but I got caught up in other projects (plus, it didn’t seem particularly profitable), so it’s been sitting idle for a few years. I figured I'd finally share it to see what reaction I get, if any, and whether there's any interest in me adding that kind of functionality. PS. TAUT is based on my open-source logics library ( https://github.com/ariroffe/logics ), which runs in the browser via Pyodide. The site is currently hosted on a $5 VPS, so hopefully it won’t get hugged to death.

Visit productView on Hacker NewsOct 31, 2025
Share card

Actual performance

2points
Did not reach leaderboard

Launch Intel predictions

Analyze your own launch →
Indie HackersFits the IH revenue-focused audience · Missing: supports, reddit linkedin, podcasting
67%67% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.
Hacker NewsStrong engagement from HN community · Strong signals: ide, io · Missing: https docs, excited, just released
67%67% predicted probability of success on Hacker News, based on ML models trained on real launch data.
nativeThis product was originally launched on this platform.
Product HuntOn track for Day 1 leaderboard · Strong signals: open · Missing: mac, agents, macos
60%60% predicted probability of success on Product Hunt, based on ML models trained on real launch data.
AppSumoStrong fit for a featured deal · Strong signals: plus, host · Missing: platform, intuitive, reviews
52%52% predicted probability of success on AppSumo, based on ML models trained on real launch data.
TrustMRRLess likely to generate early MRR · Strong signals: profitable · Missing: mobile apps, ios, personal
41%41% predicted probability of success on TrustMRR, based on ML models trained on real launch data.
Acquire.comPre-revenue stage for this audience · Strong signals: profit, profitable · Missing: arr, mrr, revenue
22%22% predicted probability of success on Acquire.com, based on ML models trained on real launch data.
BetaListMay not resonate with beta-testers · Strong signals: paid · Missing: web3, chat, crypto
2%2% predicted probability of success on BetaList, based on ML models trained on real launch data.

Incorrect prediction on native model

Similar products

TextWorkouts
TextWorkouts40%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Snackable Exercises, Texted

Indie Hackers1health-fitness
Go
Go-rabbitmq, reconnection logic and sane defaults46%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Go-rabbitmq, reconnection logic and sane defaults

Hacker News2
I
I made an Ethernet transceiver from logic gates46%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

I made an Ethernet transceiver from logic gates

Hacker News460
Fa
FarProbe – Access Logic Analyzers from the Browser68%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

FarProbe – Access Logic Analyzers from the Browser

Hacker News4
py
pyretry - separate retry logic from business logic40%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

pyretry - separate retry logic from business logic

Hacker News7
Go
Gophercises – Coding Exercises for Budding Gophers46%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Gophercises – Coding Exercises for Budding Gophers

Hacker News328
de
derecha.de, play logic games in the browser40%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

derecha.de, play logic games in the browser

Hacker News3
In
Interactive exercises for GNU grep, sed and awk65%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Interactive exercises for GNU grep, sed and awk

Hacker News4
In
Interactive maths exercises54%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Interactive maths exercises

Hacker News1
An
An unofficial sequel to Theseus and the Minotaur (the logic game)39%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

An unofficial sequel to Theseus and the Minotaur (the logic game)

Hacker News2
Browse all productsAnalyze your launch