Pinned Tweet
In case you're on a fence with longforms, here's a graphical abstract to “Reading for Programmers” codearsonist.com/reading-for… @papers_we_love
isolated dev envs everywhere! EVERYWHERE. #nix + direnv + emacs-direnv + nix-sandbox = ❤️
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.
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/
A pure #minidox perfection. The perfect #keyboard for coding. #qmk layouts/keymaps @ github.com/peel/qmk_firmware
Don't waste your life on crap #coffee. Comandante grinder for alternatives ☕️ For the barista in me.
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/100858…
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.
Breaking: Software development is a shitshow /s via mastodon.sdf.org/@julienxx/1…
Reading (my own) legacy code I really missed forrest for trees focusing on profunctor *optics*. For reference, Category+Profunctor can be approximated to a PreArrow. Which is super interesting in terms of how it is implanted withi…
mastodon.social/@peel/100742…
@peel@mastodon.social which kind of leads me further to the point that the abstraction should allow for funflow to smoothly resolve pipelining unless the d/s lingo is python 🤔
Practical application of signal processing is fun. Haven't gone beyond vector quantization but it's just the first step.
Not much in terms of in-depth analysis but a good hook: ijcta.com/documents/volumes/…
@peel@mastodon.social that being said, I am mostly uncomfortable with empirical nature of the modeling. Or ignoratio elenchi and I am missing *much*?
#QMK home row modifiers, index `C-` is a beaut for #Emacs. Would be cool to somehow get the sticky mods as well though. github.com/peel/qmk_firmware…
This is clearly better though. Fits centromere mini/helidox w/ thumb cluster a lot better: github.com/peel/qmk_firmware… the usual home row modifers with `C-` `MT()` on inner thumb keys. Planck backport works well too. #qmk #olkb
BTW I don't use Planck at all. Even with the wide layout it forces wrists into an awkward position. 4x12 ortho layout is a great starting point. For a split board like Let's Split. Although with the home row modifiers minidox-y la…
mastodon.social/@peel/100695…
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.





