hardentoo @_hardentoo

Joined December 2017

Tweets

998
Followers

3
Following

86
Likes

0

Google DeepMind @GoogleDeepMind

6 years ago

Our new work on memory uses a neural network's weights as fast and compressive associative storage. Reading from the memory is performed by approximate minimisation of the energy modelled by the network. arxiv.org/abs/1910.02720

4 253 875 0 133

Download Image

Google DeepMind @GoogleDeepMind

6 years ago

Our new work uses episodic memory to learn language tasks in a lifelong setting. The episodic memory is used in two ways: sparse experience replay during training and local adaptation during inference. Paper: arxiv.org/abs/1906.01076 Cyprien, @seb_ruder, @ikekong & @DaniYogatama

1 191 626 0 82

Download Image

Google DeepMind @GoogleDeepMind

6 years ago

How can we learn a sequence of tasks without forgetting, without class labels and with unknown or ambiguous task boundaries? Continual Unsupervised Representation Learning: Paper: arxiv.org/abs/1910.14481 Code: github.com/deepmind/deepm…

4 311 1K 0 188

Download Image

Google DeepMind @GoogleDeepMind

6 years ago

Humans perform “mental time travel” across memories for goal-directed decisions. Our new algorithm, also based on episodic memory retrieval, enables AI agents to perform long-term credit assignment. Paper: nature.com/articles/s4146… Code: github.com/deepmind/tvt

14 440 1K 0 176

Download Image

Fermat's Library @fermatslibrary

6 years ago

A visual proof that 1/4 + 1/4² + 1/4³ + ... = 1/3 ⚪⚪⚪⚪⚪⚪⚪⚪ ⚪⚫⚪⚪⚪⚪⚪⚪ ⚪⚪⚫⚫⚪⚪⚪⚪ ⚪⚪⚫⚫⚪⚪⚪⚪ ⚪⚪⚪⚪⚫⚫⚫⚫ ⚪⚪⚪⚪⚫⚫⚫⚫ ⚪⚪⚪⚪⚫⚫⚫⚫ ⚪⚪⚪⚪⚫⚫⚫⚫

60 2K 9K 0 248

Dad×2_jack @Iceland_jack

7 years ago

#Haskell beginners/curious people, I came across this video that goes through a lot of the basics (let me know if you find it useful or not) newthinktank.com/2015/08/learn-…

1 12 47 0 5

Cyrus Omar (now mainly on bsky) @neurocy

7 years ago

Our paper "Live Functional Programming with Typed Holes" was accepted to POPL 2019!! See hazel.org for the preprint! Turns out contextual modal type theory is deeply relevant to the task of building a truly live programming environment. @ravi_chugh @MatthewHammer

9 47 199 0 10

Download Image

Andrew Osborne @SumDumThum

7 years ago

Designs formed by treating the circle as the stereographic projection of the number line and then drawing segments based on a function of those numbers. #mathart desmos.com/calculator/1rs… Based on: &

Andrew Osborne @SumDumThum

7 years ago

3 6 8 0 0

Download Gif

1 19 54 0 5

Download Image

Graham Hutton @haskellhutt

7 years ago

Niki shows how all the proofs from Programming in Haskell can be machine checked in Liquid Haskell - nice! #haskellx @nikivazou

1 22 73 0 2

Download Image

Dad×2_jack @Iceland_jack

7 years ago

Haskell beginners: These are great recordings to start learning #Haskell, it teaches in the context of #QuickCheck which is fantastic Disclaimer: this is my old school where QuickCheck originated cse.chalmers.se/edu/year/2016/…

1 12 39 0 0

Functor Fact @FunctorFact

7 years ago

'I've decided that the Yoneda lemma is the hardest trivial thing in mathematics.' -- @sigfpe ow.ly/Xusv9

2 14 45 0 2

Gabriel Peyré @gabrielpeyre

7 years ago

Oldies but goldies: James Blinn, A Generalization of Algebraic Surface Drawing, 1982. « Metaballs » are levelsets of mixtures of radial basis functions, which generate blobby lava-lamp-like behaviors. en.wikipedia.org/wiki/Metaballs

1 16 91 0 7

Download Video

Mark Hopkins @antiselfdual

7 years ago

Luke Clifton's iterm-show-diagrams allows you to experiment with the diagrams package and see the results right there in the REPL (providing your terminal is iTerm or hterm). #haskell

1 14 50 0 0

Download Image

math.CV Complex Variables arXiv submissions @arXiv_math_CV

7 years ago

arxiv.org/abs/1810.05048… J Wu Symmetrization of plurisubharmonic functions on the Fano manifolds

0 3 1 0 1

Download Image

Republic of Mathematics @republicofmath

7 years ago

Old wine in new bottles ... via @bryancsouza

3 221 452 0 6

Download Image

Functor Fact @FunctorFact

7 years ago

Structured programming didn’t just take away goto statements; it took away your /need/ for goto statements. Functional programming doesn’t just take away mutable state; it takes away your /need/ for mutable state.