The mathematical work of Vladimir Voevodsky

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.

Decided to try something different and have zero state in my elm web app. No cookies. API key is passed as a querystring to pages that need it.

Feels cleaner this way. No sessions/logging in all the time. Can just bookmark any page and it just works.

first time trying out rust in awhile. was able to write something that looks like an ad-hoc version of do notation in the either monad

This instance needs to get on the custom emoji game

"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?

Going to use this account for functional programming specific stuff.

Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!