ttesmer

6 ms·

1.
by ttesmer 2y ago
> if intelligence is ultimately a function of power input, what is the shape of the curve? According to a quick google search, the human body consumes ~145W of power over 24h (eating 3000kcals/day). The brain needs ~20% of that so 2
2.
Tiny volumetric display(mitxela.com)
1570 points by ttesmer 3y ago|174 comments
3.
Braess's Paradox(resources.mpi-inf.mpg.de)
42 points by ttesmer 4y ago|15 comments
4.
by ttesmer 4y ago
You're absolutely right, it is totally redundant. You could reduce the entire thing even more in size by doing only `D Float Float`, removing the `TypeSynonymInstances` pragma and removing the `VectorSpace`, instead using normal Float
5.
by ttesmer 4y ago
As I wrote in the Markdown file, there's also a usable package for Haskell called `ad` on Hackage. It has both forward and backward autodiff and prevents expression swell, among other things. This gist is just for illustration purposes
6.
by ttesmer 4y ago
Since the type was made an instance of the Num typeclass, any function that can be used with Num's, can now be used on the type (Dual d). As per the Prelude[1], ^ is part of the Num typeclass. Same thing for * for Floating[2]. The hype
7.
Automatic Differentiation in 38 lines of Haskell(gist.github.com)
154 points by ttesmer 4y ago|56 comments
8.
Rhythm/Pitch Duality: Hear rhythm become pitch before your ears(dantepfer.com)
12 points by ttesmer 4y ago|2 comments
9.
by ttesmer 5y ago
>forced me to learn stuff like: how to manage a monad transformer stack, how to make http requests, how to parse and serialize json, how to write to a database, etc.. I am currently just before this stage. I can use Haskell for stuff lik