icc97

On the subject of trust between team mates

1 point by icc97 4 months ago | 0 comments

Memories of Kurt Gödel (2012)

2 points by icc97 1 year ago | 0 comments

Richard Feynman – BBC Archives

2 points by icc97 1 year ago | 0 comments

Why Functional Programming?

1 point by icc97 1 year ago | 0 comments

Dyspraxia: My Life with the Misunderstood Condition (2021)

2 points by icc97 2 years ago | 0 comments

AI and the Tao

1 point by icc97 2 years ago | 0 comments

Advanced brain imaging study hints at how DMT alters perception of reality

4 points by icc97 2 years ago | 0 comments

Confused about ReScript? ReScript,Reason,ReasonML,BuckleScript Explained (2020)

2 points by icc97 2 years ago | 0 comments

Undo (“u”) stopped working as intend – Issue #8157 – VSCodeVim/Vim

2 points by icc97 2 years ago | 0 comments

A plethora of podcasts to delight statisticians

1 point by icc97 3 years ago | 0 comments

Scientific Aspects of Juggling by Claude Shannon [pdf]

3 points by icc97 3 years ago | 0 comments

Jesus for Atheists

2 points by icc97 4 years ago | 0 comments

Google is building an AI (2004)

1 point by icc97 5 years ago | 0 comments

Accelerated sensor fusion algorithm for POSE estimation of drones (2017)

2 points by icc97 6 years ago | 0 comments

Apple.com's Visual Hierarchy

1 point by icc97 6 years ago | 0 comments

John McCarthy's FAQ about Nuclear Energy (2006)

1 point by icc97 6 years ago | 0 comments

Formality, a language combining formal proofs and optimal reductions

3 points by icc97 6 years ago | 0 comments

Formally Verified Software in the Real World (2018)

186 points by icc97 6 years ago | 17 comments

Family Tree of Economics

55 points by icc97 6 years ago | 34 comments

DeepTraffic: Crowdsourced Hyperparameter Tuning for Dense Traffic Navigation

1 point by icc97 6 years ago | 0 comments

Release 1.0

2 points by icc97 6 years ago | 0 comments