peel

2.9K posts

peel banner
peel

peel

@peel

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

Katılım Nisan 2007
1 Takip Edilen284 Takipçiler
Paweł Szulc
Paweł Szulc@EncodePanda·
@peel blog post or didn't happen
Wroclaw, Poland 🇵🇱 English
1
0
0
0
peel
peel@peel·
isolated dev envs everywhere! EVERYWHERE. #nix + direnv + emacs-direnv + nix-sandbox = ❤️
English
2
0
2
0
peel
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.
English
0
1
0
0
peel
peel@peel·
Don't waste your life on crap #coffee. Comandante grinder for alternatives ☕️ For the barista in me.
peel tweet media
English
0
0
2
0
peel
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… @peel/100858603299267857" target="_blank" rel="nofollow noopener">mastodon.social/@peel/10085860…
English
0
0
6
0
peel
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.
English
0
0
0
0
peel
peel@peel·
Have you ever wondered why Apple puts ~Comonad~ (~cmd~) key on their keyboards?
English
0
0
0
0
peel
peel@peel·
Breaking: Software development is a shitshow /s via @julienxx/100757412041408213" target="_blank" rel="nofollow noopener">mastodon.sdf.org/@julienxx/1007…
English
0
1
1
0
peel
peel@peel·
@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 🤔
English
0
0
0
0
peel
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… @peel/100742837627134759" target="_blank" rel="nofollow noopener">mastodon.social/@peel/10074283…
English
1
0
0
0
peel
peel@peel·
What is #docker? 2018 edition.
English
0
1
0
0
peel
peel@peel·
@peel@mastodon.social that being said, I am mostly uncomfortable with empirical nature of the modeling. Or ignoratio elenchi and I am missing *much*?
English
0
0
0
0
peel
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: ijcta.com/documents/volu…
English
1
0
0
0
peel
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… @peel/100695425564933296" target="_blank" rel="nofollow noopener">mastodon.social/@peel/10069542…
English
0
0
0
0
peel
peel@peel·
This is clearly better though. Fits centromere mini/helidox w/ thumb cluster a lot better: #L50-L59" target="_blank" rel="nofollow noopener">github.com/peel/qmk_firmw… the usual home row modifers with `C-` `MT()` on inner thumb keys. Planck backport works well too. #qmk #olkb
English
1
0
0
0
peel
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. #L52-L59" target="_blank" rel="nofollow noopener">github.com/peel/qmk_firmw…
English
1
0
0
0
peel
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.
English
0
1
0
0