Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  java  apple  arstechnica.com  release  china  theguardian.com  psychology  linux  go  google  psypost.org  theregister.com  trump  show  database  security 

A proof that Unix utility sed is Turing complete

16 months ago catonmat.net sed turing

LLMs can't simulate a Turing machine reliably

17 months ago twitter.com llm turing

Why is Lambda Calculus more "provable" than Turing Machine ?

17 months ago reddit.com lambda turing

2023 Turing award: Avi Wigderson wins computer science prize for his work on understanding how randomness can shape and improve computer algorithms

17 months ago newscientist.com algorithm turing

Turing machine jflap

17 months ago jflap.org turing

Turing Machines

16 months ago reddit.com turing

2023 ACM Turing Prize awarded to Avi Wigderson

17 months ago awards.acm.org compsci formalmethods math turing

A proof that Meson is Turing-Complete

17 months ago github.com

Ken Thompson: Reflections on Trusting Trust (Turing Award Lecture, 1984)

17 months ago cs.cmu.edu turing

Staff Speak Out at Turing Institute due to four men being given top jobs

18 months ago theguardian.com turing