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.

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

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

matt boosted

Finished reading Sandy Maguire's Thinking with Types book about type-level programming in . 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

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

matt boosted

I like that functions in 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.

matt boosted

If someone has to tell you that they care about your privacy, they probably don't. - "Move Fast and Break Things" by @freddy on the Privacy Guides blog

Show older

Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.