Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by gone35
Half-Proof
4 points
gone35
2023-09-24T15:43:34Z
en.wikipedia.org
Debate on AI and Mind – Searle and Boden (1984) [video]
2 points
gone35
2023-09-24T08:18:10Z
www.youtube.com
The Problem of Modelling the Mathematical Mind (2012) [video]
1 points
gone35
2023-09-23T10:30:58Z
www.youtube.com
Names for Games: Locating 2 × 2 Games
3 points
gone35
2023-09-15T06:03:40Z
www.mdpi.com
A Brief Overview of Parallelism Strategies in Deep Learning
1 points
gone35
2023-09-10T23:48:39Z
afmck.in
Ngrok for Python Functions
3 points
gone35
2023-09-07T17:31:31Z
www.beam.cloud
Quantum erasure with causally disconnected choice (2013)
1 points
gone35
2023-09-07T10:07:23Z
www.ncbi.nlm.nih.gov
Black Hole Electron
64 points
gone35
2023-09-06T07:29:57Z
en.wikipedia.org
OpenROAD
2 points
gone35
2023-09-04T20:48:10Z
theopenroadproject.org
What Ever Happened to IBM's Watson? (2021)
4 points
gone35
2023-09-04T19:01:21Z
www.nytimes.com
Red lights over the Pacific – August 2014 (2014)
15 points
gone35
2023-09-04T17:25:37Z
jpcvanheijst.com
Theorem Proving with Inductive Types (2018) [pdf]
2 points
gone35
2023-09-04T10:15:16Z
tqft.net
Yet another ICML award fiasco
1 points
gone35
2023-09-04T07:53:02Z
parameterfree.com
Altmetrics: A Manifesto (2011)
15 points
gone35
2023-09-03T01:54:27Z
altmetrics.org
Coroutines in C (2000)
11 points
gone35
2023-09-02T00:47:46Z
www.chiark.greenend.org.uk
The $1B and Higher Ante to Play the AI Game
2 points
gone35
2023-09-02T00:13:10Z
www.nextplatform.com
Douglas Lenat
6 points
gone35
2023-09-01T05:57:38Z
en.wikipedia.org
Zeno's Mice and the Logarithmic Spiral
20 points
gone35
2023-09-01T04:22:16Z
mathpages.com
Geometry
76 points
gone35
2023-09-01T04:21:42Z
mathpages.com
The Origins and Motivations of Univalent Foundations (2014)
22 points
gone35
2023-08-28T08:15:15Z
www.ias.edu
10
11
12
13
14
15
16
17
18
19