Submissions by gone35

Local Minima in Quantum Systems

Probability theory does not extend logic

Half-Proof

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

The Santa Fe Time Series Prediction and Analysis Competition

The Optics Library

The Impact of ChatGPT talks (2023) – Keynote address by Prof. Yann LeCun [video]

Quantum computing with superconducting qubits (2022)

Math Pages