Pinned toot

I'm a distributed systems & infrastructure developer who is interested in exploring digital security, privacy awareness, more reliable methods of delivering correct software or systems, and scaling all types of systems. I currently employ various polymorphic techniques, parametricity and referential transparency in my day job to reason about software. I'm experimenting with practical applications of refinement, dependent, linear types to improve correctness without incurring cognitive overload.

For example

snd $ g n where ...

is read

snd of g n where ...

This morning I heard someone pronounce infix $ in Haskell as "of" and it blew my mind.

I will never read Haskell in my head the same again.

Self care can be small, simple, and take just a moment. Fit it into your daily life.

7yo persists with her note leaving, this time in the bathroom sink.

After putting the kids to bed tonight, I stepped out to get some groceries. On my way out, a stranger walking in called, "excuse me, maam, there is something flapping on your back."

It was a note from the 7yo...

Seems apt to me but I haven't utilized functional dependencies in my own work.

Last week I came across this intuition: functional dependencies is like type level prolog. How does that sit with you?

Favo(u)rite datatype generic API use case? E.g. Servant. What else have you used? What have you used datatype generic programming to describe on your own projects (private or public) and how does the approach compare in your experience with other ways of expressing the problem domain?

Your favo(u)rite non-deterministic * -> * with a law abiding Alternative instance. Go.

(Parallel parsing is pretty cool,but what else?)

@SusanPotter I've heard good things about the performance of the Pleroma codebase ( pleroma.social - Elixir) but rather negative things about the community of users and developers there.

(That's old, secondhand info at best though so please don't assign my uncertainties too much weight in your decisionmaking about whether to check it out.)

Replying to a twitter reply here:

While Mastodon is slow for me as a user, the bigger question in my mind is how can we build efficient implementations such that the cost of federation (read: digital freedom) energy consumption wise isn't sadness inducing.

twitter.com/ProgrammerDude/sta

Who is working on an implementation of OStatus or ActivityPub in a language that would not offend my soul?

I have always been excited about federated services despite witnessing XMPP's demise to proprietary chat-only platforms that don't solve any of the core mobility or communications problems of distributed communities.

I'm a distributed systems & infrastructure developer who is interested in exploring digital security, privacy awareness, more reliable methods of delivering correct software or systems, and scaling all types of systems. I currently employ various polymorphic techniques, parametricity and referential transparency in my day job to reason about software. I'm experimenting with practical applications of refinement, dependent, linear types to improve correctness without incurring cognitive overload.

Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!