One of my favorite math/programming mashups is that you can take an algebraic data type (like in OCaml, Haskell, F# etc) and convert it into a function, and the series expansion of the function counts the number of instantiations of the data type.
-
Show this thread
-
Replying to @macrocephalopod
I could go for about a thousand more threads like this. The strongest intuitions about discrete math I've ever gotten have been by translating problems into programming problems.
2 replies 0 retweets 20 likes -
Replying to @AgustinLebron3
brb, raiding my blog posts from 2010 which are full of this kind of shit
1 reply 0 retweets 8 likes
Replying to @macrocephalopod @AgustinLebron3
Also if you like this I highly recommend @sigfpe and @jeremyjkun as well as Brent Yorgey’s blog
12:48 PM - 2 Mar 2021
0 replies
0 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.