matt @mcol@fosstodon.org

self-portrait

Maybe it's because I've been using a garbage LG phone for the past 5 years but the Fairphone 4 feels amazing top quality. Like I don't know how it could be better?

Maybe I should take a trip to an Apple store to see what the top bar is meant to be...... hmm better not break this illusion.

Wooooo my #Fairphone came

Pulled the trigger on a fairphone. Excited to play around with Lineage OS. 📞

#haskell's type level programming is a frustrating imbalance of high desire to use but low chance of finding a good use case

Finished reading Sandy Maguire's Thinking with Types book about type-level programming in #Haskell. A fantastic intro to TLP! I feel like a whole new world has opened up. Now to write some code.

Going to make a math rock album themed around haskell

TIL about the subreddit r/GPGpractice

That's not a great sign of usability at all if people need to practice.

We have code wizardry but i never see code witchcraft

"A Totally Non-Terrifying, Practical Introduction to Type-Level Programming" - this is a really excellent talk that I wish I saw ages ago https://www.youtube.com/watch?v=6FRJfEhlqyg

#Haskell

Just saw Alt-J playing, pretty dope

What FOSS tools are there for creating nice multi-page figures and graphics? Unfortunately inkscape doesn't support multiple pages.

It might not be too hard to generate audio descriptions for code, which would make it feasible to listen to docs/blog posts/books that include code snippets.

But with that, could we implement the other direction? NLP for writing code? Hands- and eye-free software dev.

I was always annoyed that wdisplays didn't save your settings so i implemented that

it seems there is no central repository for it so instead of a PR i made a toot

Lazy evaluation in #Python, amazing

https://github.com/llllllllll/lazy_python

Sunday sounds like Bardo Pond's cover of Maggot Brain

https://www.youtube.com/watch?v=NIJJvxpz-0k

I like that functions in #Haskell are applicatives, and that it "makes sense" when derived, but why would anyone use a function's applicative?

AFAICT the instance exists for the hell of it, which, fair, it is cool, but it's so unreadable to use.