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

Hacker News

Hey all, A while back I implemented Turing's "On Computable Numbers" paper [1], and decided that Schönfinkel's "On the Building Blocks of Mathematical Logic" would be a fun next one to try to implement. Alongside the code I include a section-by-section guide to the paper. I apologize for any misreadings of the original text (of which there are probably many). I'll probably continue to try to make guides/reference implementations for landmark CS papers, would love to hear what you think the most important ones are! [1] https://github.com/planetlambert/turing

Visit product View on Hacker NewsDec 27, 2023

Share card

Actual performance

2points

Did not reach leaderboard

Launch Intel predictions

Analyze your own launch →

Hacker NewsStrong engagement from HN community · Strong signals: ide, io · Missing: https docs, excited, just released

76%76% 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 HuntUnlikely to reach the leaderboard · Strong signals: code · Missing: mac, agents, macos

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

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

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

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

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

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

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

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

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

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

Incorrect 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 Turing's paper “On Computable Numbers”68%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 Turing's paper “On Computable Numbers”

Hacker News63

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

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

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

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

See if your toilet paper will last quarantine

Indie Hackerscommitment-side-project

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

Everything on one Paper.

Indie Hackers1content

Browse all products Analyze your launch