Stories by gone35

Debate on AI and Mind – Searle and Boden (1984) [video]

The Problem of Modelling the Mathematical Mind (2012) [video]

Names for Games: Locating 2 × 2 Games

A Brief Overview of Parallelism Strategies in Deep Learning

Ngrok for Python Functions

Quantum erasure with causally disconnected choice (2013)

Black Hole Electron

OpenROAD

What Ever Happened to IBM's Watson? (2021)

Red lights over the Pacific – August 2014 (2014)

Theorem Proving with Inductive Types (2018) [pdf]

Yet another ICML award fiasco

Altmetrics: A Manifesto (2011)

Coroutines in C (2000)

The $1B and Higher Ante to Play the AI Game

Douglas Lenat

Zeno's Mice and the Logarithmic Spiral

Geometry

The Origins and Motivations of Univalent Foundations (2014)

High-Dimensional Probability and Applications in Data Science

14 15 16 17 18 19 20 21 22 23