swe: infra, distributed systems, ∀Go ∧ ∃!Haskell, 🎹 noob. Views are mine!
undefined
Joined July 2015
- Tweets12.9K
- Following372
- Followers1.3K
- Likes13.6K
Sir Hakase retweeted
A quick demo of floating panes in Rex, some of their features, and how I use them in my daily workflow. I think our implementation of floating panes looks great and feels great and I think you'll love it! These are also all scriptable and API driven, too, of course!
Wonderful demo. I’m curious, how do you do your demo recordings, and what’s your audio/video setup like?
for some reason Glo blocked some GitHub pages ips. had to subnet via Tailscale just to read people’s blogs on mobile
Just finished reading the PHP CVEs. What stops one from using the vulnerability to forward the patch across??
I wonder how many Nigerian government websites are affected by this PHP CVE and if they'll get patched ASAP
haven’t written Lean before but my Haskell experience enabled me to understand what’s happening here
Learning Lean 4, note #2:
Another one thing about Lean 4 that surprised me is that a function's return type can depend on the value you pass
