A reference implementation of Turing's paper “On Computable Numbers”

Hacker News

Hey HN! I've been curious about the history of computer science and decided to try to read Turing's 1936 paper where he conceptualizes the Turing Machine, etc. I had trouble understanding the paper, read The Annotated Turing by Charles Petzold (which is wonderful), but felt that reading a reference implementation would help formalize my understanding. When I couldn't find an open source implementation, I decided to write my own. The implementation includes: - Abbreviated tables (m-functions) - Conversions to Standard Descriptions and Description Numbers - A working universal machine - A walkthrough of the paper section-by-section in the context of the codebase I'm still working on sections 8-11 (the math/logic is a bit difficult for me) - if you understand these sections well enough to explain, I'd love to talk to you! In general I am interested in new mediums for learning source material (web annotations, walkthroughs, reference implementations, etc.), and was inspired by Karpathy's Zero to Hero course in particular for this project.

Visit product View on Hacker NewsSep 17, 2023

Share card

Actual performance

63points

14comments

Made the leaderboard

Launch Intel predictions

Analyze your own launch →

Product HuntOn track for Day 1 leaderboard · Strong signals: mac, computer, new · Missing: agents, macos, agent

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

best fitHighest predicted score across all platforms for this description.

Indie HackersFits the IH revenue-focused audience · Missing: supports, reddit linkedin, podcasting

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

Hacker NewsStrong engagement from HN community · Strong signals: open source, 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.

TrustMRRLess likely to generate early MRR · Missing: mobile apps, ios, personal

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

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

31%31% 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

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

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

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

Correct prediction on native model

Similar products

Turn a paper's DOI into its full reference list (BibTeX/RIS, etc.)62%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Turn a paper's DOI into its full reference list (BibTeX/RIS, etc.)

Hacker News49

A reference implementation of Schönfinkel's Combinatory Logic paper76%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

A reference implementation of Schönfinkel's Combinatory Logic paper

Hacker News2

Go-Mnemonic – Reference Implementation of a BIP-39 Go36%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Go-Mnemonic – Reference Implementation of a BIP-39 Go

Hacker News3

Implementing a trackball with rational numbers38%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Implementing a trackball with rational numbers

Hacker News11

Rational numbers for Java, why not?51%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Rational numbers for Java, why not?

Hacker News6

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

Primeval Numbers

Hacker News25

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

2048 without numbers

Hacker News54

Rock, Paper, Scissors, Lizard, Spock + SignalR67%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Rock, Paper, Scissors, Lizard, Spock + SignalR

Hacker News1

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

Paper OTP

Hacker News7

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

Paper airplane folding instructions

Indie Hackers1education

Browse all products Analyze your launch