turing Open-Source Projects

• turing

  2 38 8.4 Go

  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers (by planetlambert)

  

Project mention: Show HN: A reference implementation of Schönfinkel's Combinatory Logic paper | news.ycombinator.com | 2023-12-27

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

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

turing related posts

• Show HN: A reference implementation of Schönfinkel's Combinatory Logic paper

  2 projects | news.ycombinator.com | 27 Dec 2023

• Show HN: The first complete open source implementation of Turing's famous paper

  2 projects | news.ycombinator.com | 17 Sep 2023

Index

Sponsored

Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

www.influxdata.com