Señor #haskell #nix #scala code arsonist. El M-x_C073M4KM0dDH brujito. Time considered monotonic. Now at ~/notes/thoughts.org Anti-social media.

Joined April 2007
121 Photos and videos
Pinned Tweet
13 Jun 2017
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
1
7
26
31 Oct 2018
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.
1
18 Oct 2018
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/

1
1
17 Oct 2018
A pure #minidox perfection. The perfect #keyboard for coding. #qmk layouts/keymaps @ github.com/peel/qmk_firmware
4
16 Oct 2018
Don't waste your life on crap #coffee. Comandante grinder for alternatives ☕️ For the barista in me.
2
8 Oct 2018
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…
6
5 Oct 2018
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.
25 Sep 2018
Have you ever wondered why Apple puts ~Comonad~ (~cmd~) key on their keyboards?
20 Sep 2018
Breaking: Software development is a shitshow /s via mastodon.sdf.org/@julienxx/1…

1
1
17 Sep 2018
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…
1
17 Sep 2018
@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 🤔
14 Sep 2018
What is #docker? 2018 edition.
1
12 Sep 2018
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/…

1
12 Sep 2018
@peel@mastodon.social that being said, I am mostly uncomfortable with empirical nature of the modeling. Or ignoratio elenchi and I am missing *much*?
8 Sep 2018
#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…

1
9 Sep 2018
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

1
9 Sep 2018
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…
7 Sep 2018
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.
1
6 Sep 2018
PRed a commit that did not build on a source branch. Built just right after merging upstream. My karma must be right today.
1