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  google  javascript  go  web  apple  show  release  security  theregister.com  arstechnica.com  china  techcrunch.com  eurekalert.org  chrome  nature.com  environment 

AI outperformed human college students 83.4% of the time in a real-world "Turing test" case study. 94% of AI-generated submissions went undetected.

4 months ago journals.plos.org ai turing

Rosser's Theorem via Turing Machines (2011)

5 months ago scottaaronson.blog turing

Alan Turing died 70 years ago

5 months ago en.wikipedia.org turing

Alan Turing: Winston Churchill's Secret Weapon

4 months ago youtu.be turing

The Turing Omnibus problems solutions?

5 months ago reddit.com turing

GPT-4 passes Moral Turing Test after a representative sample of 299 U.S

6 months ago nature.com turing

Judea Pearl Turing Award recipient (2011)

6 months ago en.wikipedia.org turing

Beware of the Turing tar-pit (2004)

6 months ago weblog.raganwald.com turing

GPT-4 Passes Turing Test. Humans Often Mistake Each Other for AI

6 months ago the-decoder.com ai turing

Nvidia Open GPU Linux Kernel Driver Soon Be the Default for Turing, Newer GPUs

6 months ago phoronix.com gpu kernel linux nvidia turing

If a zeno machine solves the halting problem for a turing machine, what machine solves a zeno machine's halting problem?

6 months ago reddit.com turing

Turing machine - does ever Turing Machine decide some language ?

6 months ago reddit.com turing

Computer scientist wins Turing Award for seminal work on randomness

7 months ago arstechnica.com science turing

A new study finds that AI-generated restaurant reviews can pass a Turing test, fooling both human readers and AI detectors

6 months ago link.springer.com ai turing

Quantum Turing Machine

7 months ago en.wikipedia.org turing

A proof that Unix utility sed is Turing complete

6 months ago catonmat.net sed turing

LLMs can't simulate a Turing machine reliably

7 months ago twitter.com llm turing

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

7 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

7 months ago newscientist.com algorithm turing

Turing machine jflap

7 months ago jflap.org turing

Turing Machines

6 months ago reddit.com turing

2023 ACM Turing Prize awarded to Avi Wigderson

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

A proof that Meson is Turing-Complete

7 months ago github.com

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

7 months ago cs.cmu.edu turing

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

8 months ago theguardian.com turing

Show HN: Making a Compiler to Prove Tmux Is Turing Complete

8 months ago willhbr.net compiler show turing

Are NFC tags (such as those found on clothing labels) Turing complete?

8 months ago reddit.com turing

What Computers Cannot Do: The Consequences of Turing-Completeness

8 months ago yzena.com

Whom do you think will win Turing Award this year?

9 months ago reddit.com turing

Abusing Conda's Turing-Complete YAML Comments

9 months ago astrid.tech yaml

More →