🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

PRed a commit that did not build on a source branch. Built just right after merging upstream. My karma must be right today.

People fall into argument of moderation by posing as a voice of reason. Some things need definitive stance. Even if *currently* given stance is considered extreme. Being a voice of reason does not mean being moderate.

What is #docker? 2018 edition.

Breaking: Software development is a shitshow /s via mastodon.sdf.org/@julienxx/1007…

Have you ever wondered why Apple puts ~Comonad~ (~cmd~) key on their keyboards?

React turns FTTH into a dial-up and 32-core Thteadripper into an Ju-87 Stuka. Dear frontend devs if you really, really need my CPU and fiber, please just let me choose not to use your shiny js and leave me with a simple static website.

Teaching secondary-school kids programming using #Haskell is a fantastic experience. As much as I don't like speaking at conferences I enjoyed talking to the kids. And learned a lot: - curriculum: exposure to scratch is ok but als… mastodon.social/@peel/10085860…

Don't waste your life on crap #coffee. Comandante grinder for alternatives ☕️ For the barista in me.

A pure #minidox perfection. The perfect #keyboard for coding. #qmk layouts/keymaps @ github.com/peel/qmk_firmw…

Borg, the iOS #orgmode app has just introduced a full-on config scripting w/ #Scheme. Now onto init.org 🎉 beorgapp.com/blog/beorg-2.4/

Having some exposure to HoTT I find RedPRL kind of comfortable to think with. It's interesting to see a Nuprl-inspired PA to dive into a higer-dimensional constructs.