My message to fellow Ukrainians in these hard moments 🇺🇦❤️

By the way if anyone wants to get some historical background of what is happening I highly recommend this very recent lecture by Timothy Snyder youtu.be/5oRUfQA6efY

Grateful to every single person who is expressing words of support in #StandingWithUkraine How many times does life give you an opportunity to not put yourself on the wrong side of history? 🇺🇦

If you program and want to compose sheet music, be sure to check out lilypond.org/ Such a pleasure to merge two skills together. Bonus points for GNU Guile as a scripting heart ❤️

Still looking for a Rust dev to join my team, mid to senior, migrating from another language, talented people of different sorts please apply 🙏

Excited to announce that we’re looking for a Senior Rust Developer to join our team 🦀🚀👾 adinmo.com/project/senior-ba…

How NAT traversal works · Tailscale tailscale.com/blog/how-nat-t…

Excited to finally find some use for my 1st-gen Raspberry Pi model B. Working to make an always-on improvisation recorder for my MIDI piano. Rust worked flawlessly so far.

I am pleased to announce our mini Group Theory lecture series by Serhiy Maksymenko that starts next Friday. Ping me for an invite to our Telegram group. More info at imath-topology.github.io/

A reminder that the topology lectures by Institute of Mathematics are still going and you are welcome to join if interested. Current lectures are on Piecewise-Linear Topology, and I'm maintaining the website with definitions and links this time imath-topology.github.io

Honoured to be part of the team!

TIL emacs themes are named after famous developers (and related :) ). This is an awesome idea! Run `M-x load-theme` and play around.

Awww ☺️ discourse.haskell.org/t/new-…

Is there a clear explanation of connection between isomorphism as in abstract algebra (via binary operations) and one from HoTT? Spent some time thinking about it, haven’t succeeded yet

IHP and IHP Cloud by @digitallyinduce are my new favourite things! Still early days, probably not the final point for Haskell, but already so much better than Yesod/Servant. And latest posts by @larsparsfromage about bringing Elm on board fully check all my marks!