A Sudoku solver in TypeScript's type system

Hacker News

GitHub: https://github.com/RuyiLi/cursed-typescript/blob/master/rand... Hi HN! I wrote a small file that solves sudoku puzzles at the type level - that is, entirely within TypeScript's type system, with no runtime code. To play with it, scroll down to the bottom (below where it says "BEGIN TESTING") and check out the examples. You can "run" the solver by hovering over the name of the type (e.g. SudokuEasySolved). Also, if you haven't seen it already, I did the same thing with Conway's Game of Life: https://news.ycombinator.com/item?id=37438028 :)

Visit product View on Hacker NewsFeb 11, 2024

Share card

Actual performance

3points

1comments

Did not reach leaderboard

Launch Intel predictions

Analyze your own launch →

TrustMRRFits verified-revenue profile · Strong signals: way · Missing: mobile apps, ios, personal

51%51% predicted probability of success on TrustMRR, based on ML models trained on real launch data.

best fitHighest predicted score across all platforms for this description.

Indie HackersIH features products with proven revenue · Missing: supports, reddit linkedin, podcasting

47%47% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.

Hacker NewsMay not resonate with HN audience · Missing: https docs, excited, just released

46%46% predicted probability of success on Hacker News, based on ML models trained on real launch data.

nativeThis product was originally launched on this platform.

AppSumoMay struggle as an AppSumo deal · Missing: plus, platform, intuitive

25%25% predicted probability of success on AppSumo, based on ML models trained on real launch data.

Acquire.comPre-revenue stage for this audience · Missing: arr, mrr, revenue

21%21% predicted probability of success on Acquire.com, based on ML models trained on real launch data.

Product HuntUnlikely to reach the leaderboard · Strong signals: new, code · Missing: mac, agents, macos

18%18% predicted probability of success on Product Hunt, based on ML models trained on real launch data.

BetaListMay not resonate with beta-testers · Missing: web3, chat, crypto

10%10% predicted probability of success on BetaList, based on ML models trained on real launch data.

Correct prediction on native model

Similar products

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

Bookmarklet to Open Sudoku solver

Hacker News1

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

A Quick Sudoku Solver

Hacker News5

Visual Sudoku solver in the browser61%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Visual Sudoku solver in the browser

Hacker News63

A sudoku solver in pure Nix27%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

A sudoku solver in pure Nix

Hacker News3

Fastify-zod, type-once, run everywhere (TypeScript/OpenAPI)55%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Fastify-zod, type-once, run everywhere (TypeScript/OpenAPI)

Hacker News7

A recursive Sudoku solver in JavaScript33%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

A recursive Sudoku solver in JavaScript

Hacker News1

type-kanren – type-level microKanren in TypeScript45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

type-kanren – type-level microKanren in TypeScript

Hacker News5

I built an image-based logical Sudoku Solver38%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

I built an image-based logical Sudoku Solver

Hacker News3

Type-level Lambda Calculus interpreter in TypeScript55%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Type-level Lambda Calculus interpreter in TypeScript

Hacker News10

OCR Sudoku Solver for Android35%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

OCR Sudoku Solver for Android

Hacker News2

Browse all products Analyze your launch