peel

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

[peel @peel]

In case you're on a fence with longforms, here's a graphical abstract to “Reading for Programmers” https://t.co/PNgXwKOzNc @papers_we_love

[peel @peel]

@rabbitonweb What is blog?

[peel @peel]

isolated dev envs everywhere! EVERYWHERE. #nix + direnv + emacs-direnv + nix-sandbox = ❤️

[peel @peel]

Here's the essence of it: https://t.co/1DfYVgqGmg

[peel @peel]

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.

[peel @peel]

Borg, the iOS #orgmode app has just introduced a full-on config scripting w/ #Scheme. Now onto https://t.co/PoNrVFtnQq 🎉 https://t.co/tRtCyR5BCx

[peel @peel]

A pure #minidox perfection. The perfect #keyboard for coding. #qmk layouts/keymaps @ https://t.co/Uo8RQkUn9W

[peel @peel]

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

[peel @peel]

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…
https://t.co/BaEbAuy6X7

[peel @peel]

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.

[peel @peel]

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

[peel @peel]

Breaking: Software development is a shitshow /s via https://t.co/zuqRWCVsLL

[peel @peel]

@[email protected] 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 🤔

[peel @peel]

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…
https://t.co/2gWHMLa9Up

[peel @peel]

What is #docker? 2018 edition.

[peel @peel]

@[email protected] that being said, I am mostly uncomfortable with empirical nature of the modeling. Or ignoratio elenchi and I am missing *much*?

[peel @peel]

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: https://t.co/eFIue3iwu5

[peel @peel]

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…
https://t.co/E5RnR3WYHq

[peel @peel]

#QMK home row modifiers, index `C-` is a beaut for #Emacs. Would be cool to somehow get the sticky mods as well though. https://t.co/pKnSGgYP5K

[peel @peel]

This is clearly better though. Fits centromere mini/helidox w/ thumb cluster a lot better: https://t.co/FD3oAYh245 the usual home row modifers with `C-` `MT()` on inner thumb keys. Planck backport works well too. #qmk #olkb

[peel @peel]

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.