evertedsphere

18 ms·

181.
by evertedsphere 3y ago
>"Lily" and "yaoui" on successive lines
182.
by evertedsphere 3y ago
monoid, not monad --- a monoid is a set A with an associative binary operator @ on it: that is, for any a, b, c a @ (b @ c) = (a @ b) @ c and it also has an "identity" element I, that is, for any a: a @ I = I @ a = a common monoid
183.
by evertedsphere 3y ago
The version described here and used most frequently in backpropagation implementations, "autodiff", is reverse-mode AD, but forward-mode exists, as does a spectrum of strategies between the two extremes. Sure, it all comes down to
184.
by evertedsphere 3y ago
(it's "[density functional] theory" so it would be théorie de la fonctionnelle de la densité , "theory of the density functional", not "functional theory of density")
185.
by evertedsphere 3y ago
in retrospect, sometimes don't write about what you learn about
186.
by evertedsphere 3y ago
I work for a bank in Europe, and we have a large Ada project that does a lot of number crunching and is extensively depended on.
187.
by evertedsphere 3y ago
https://www.itrilon.com/ (mentioned in the article, truly a thing of beauty)
188.
by evertedsphere 3y ago
> This giant die implements 144 Streaming Multiprocessors (SMs), 60 MB of L2 cache, and 12 512-bit HBM memory controllers. We’re testing H100’s PCIe version on Lambda Cloud, which enables 114 of those SMs [...] What does "enabled&qu
189.
by evertedsphere 3y ago
Right under that article: https://pubmed.ncbi.nlm.nih.gov/33398068/
190.
by evertedsphere 3y ago
Way too many sites block or captcha-gate Mullvad IPs in my experience.
191.
by evertedsphere 3y ago
old.reddit.com isn't going to be around for much longer, is the thing
192.
by evertedsphere 3y ago
Some years ago I worked through this in Haskell: https://github.com/evertedsphere/how-to-implement-dependent-... If you find this stuff interesting, the recent Little Typer book is also worth a look.
193.
by evertedsphere 3y ago
at which point you'd want emmerdification
194.
by evertedsphere 3y ago
To be fair, Clip Studio Paint also for the most part chose to port the desktop UI to Android instead of something more touch-friendly, didn't they?
195.
Driven by Compression Progress (2008)(arxiv.org)
1 points by evertedsphere 3y ago|0 comments
196.
by evertedsphere 3y ago
reminds me of https://arxiv.org/abs/0812.4360 > I argue that data becomes temporarily interesting by itself to some self-improving, but computationally limited, subjective observer once he learns to predict or compr
197.
by evertedsphere 3y ago
besides, the account's called catgpt3, might as well pick a ... feline type of prompt
198.
by evertedsphere 3y ago
https://www.jwz.org/doc/cadt.html
199.
by evertedsphere 4y ago
> So you might be wondering, hey, how did you make a javascript applet ping these arbitrary servers? What about cross-domain request protection? > Answer: I did it by just making the queries anyway, and seeing how long it takes to get
200.
Why “Go Nuts, Show Nuts” Doesn’t Work in 2022(photomatt.tumblr.com)
1 points by evertedsphere 4y ago|0 comments
201.
by evertedsphere 6y ago
Anecdata point: I'm comfortable with lens at a very basic level, and if you have a good grasp of "normal" Haskell you can just compose lens operators and use combinators by playing the usual "type tetris" game of &q