swe: infra, distributed systems, ∀Go ∧ ∃!Haskell, 🎹 noob. Views are mine!
undefined
Joined July 2015
- Tweets12.9K
- Following371
- Followers1.3K
- Likes13.6K
Pinned Tweet
Wrote a new note on file-first systems and agents as a query layer over source documents.
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!
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
let's see if I can keep this up.
youtu.be/B4DJAtWxG9I
Thanks man, didn’t even know the link is broken. Here: youtube.com/@codehakase?si=Q…
