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.
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
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.
@[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 🤔
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
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
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
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
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.