The mathematical work of Vladimir Voevodsky https://video.ias.edu/VoevodskyMemConf-2018/0911-DanGrayson
Nice intro and goes into homotopy type theory a bit near the end.
I guess this is just moving the state from the cookies to the bookmarks, which is a user experience loss since most people don't use bookmarks.
OTOH most browser address bars would autocomplete to the full URL with api key anyways.
There's something satisfying with eliminating implicit/hidden app state/configuration. Perhaps you only get this satisfaction when programming in Haskell long enough. The dependency injection people get satisfaction from the complete opposite. Strange folk.
"So in 0.19 only the elm-lang and elm-explorations organizations can compile and publish kernel code or effect managers"
The elm compiler will now refuse to compile your native code because the BDFL says only he is allowed to do it.
This wasn't even the 0.19 release notes and those post on it was instalocked.
Who wants to maintain a fork of Elm with me?
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!