Video spotlight: Constraints Liberate, Liberties Constrain

1 min read


By Harald Ringvold


December 19, 2020

Constraints Liberate, Liberties Constrain โ€” Runar Bjarnason

Link: https://youtu.be/GqmsQeSzMdw

Length: 51 minutes

"How much should we abstract our software? These choices we make have impact on the expressiveness and precision of our programs. In this video Runar Bjarnason, now one of the co-creators of Unison language (https://www.unisonweb.org/), dives into these contradictions we face with building abstractions."

Bonus video ๐ŸŽ‰

Faster JavaScript with Category Theory - John Bender

Length: 31 minutes

"This video is not particularly relevant to the first, but it is a recent discovery on my part and you might enjoy ut too. It's an oldie but a goodie! John Bender gives an insight into category theory while showing how jQuery could be faster through the power of functional programming and category theory! If you know just a little javascript you will be able to keep up with this talk. ๐Ÿ˜„"

Read more from 19-Dec