deep_unlearning @deep_unlearning

Joined November 2016

Tweets

465
Followers

118
Following

2K
Likes

3K

deep_unlearning @deep_unlearning

3 years ago

By the prompt which can satisfy the needs of the spirit we can measure the extent of its loss.

0 0 0 0 0

deep_unlearning @deep_unlearning

3 years ago

Okay, I’ll bite, what is an endorsement? All I know is, it’s not a retweet.

0 0 2 0 0

deep_unlearning @deep_unlearning

3 years ago

So much worldbuilding, so few worlds built.

0 0 0 0 1

Eric Scrivner @etscrivner

5 years ago

New banger just dropped. Notes on software abstraction. oh4.co/site/on-abstra… Some synthesis between notions of abstraction in software and philosophy.

4 14 81 0 54

Download Image

Can't say how impressed I am with the whole Lean project. An entire undergraduate maths curriculum in which every single theorem is digitised, indexed and machine-checkable is going to happen in our lives. And it's going to be beautiful time in maths. leanprover-community.github.io/undergrad.html

5 34 238 0 30

Andrej Bauer @andrejbauer

5 years ago

EPIT "spring 2020" school on Homotopy type theory is starting today, April 12 2021, at 14:00 UTC+2, see epit2020cnrs.inria.fr. Video lectures will be broadcast live at youtube.com/channel/UCjJu7…

0 2 8 0 0

deep_unlearning @deep_unlearning

5 years ago

You know who you are.

0 1 4 0 0

Download Image

deep_unlearning @deep_unlearning

5 years ago

Had a nightmare that youtube killed its black time box thing. Surprised to find it’s very awkwardly named “time status”.

0 0 1 0 0

Download Image

deep_unlearning @deep_unlearning

5 years ago

Melody is dying because it takes time, of which there is none.

1 0 2 0 0

♕Deborah Mayo♕ @learnfromerror

5 years ago

My Error and the Growth of Experimental Knowledge (1996) now freely available errorstatistics.files.wordpress.com/2020/10/egek-p…

5 35 107 0 34

Download Image

deep_unlearning @deep_unlearning

5 years ago

phenomenology of a love

2 0 4 0 0

deep_unlearning @deep_unlearning

5 years ago

"Results suggest that long-term high exposure to touchscreen devices [across early development] is associated with faster exogenous attention and concomitant decreases in endogenous attention control." nature.com/articles/s4159…