Tim boosted

I'm told that Type-driven development with Idris will be part of @[email protected] deal of the day tomorrow, along with some nice books on Haskell: dotd081619au at bit.ly/2Z6MS2E

Download it while stocks last!

I really like that my investment in hacking software into working order is immutably memorialized in Nix

Building mirageos unikernels with Docker & Nix today ...

It's nice over here. I think I will hide out here for the coming USA political election storm on twitter. :|

Tim boosted

the f in git push -f stands for friday, no?

Today's memorable experience: riding a motorcycle on the left side of the road carefully past a 6-pack of elephants on the way to ancient temple ruins

liftIO . putStrLn $ "hello, world"

Mastodon

mstdn.io is one of the instance in the fediverse. We're an open-minded generalistic instance. Learn more here!