Pinned Tweet
Wrote a new note on file-first systems and agents as a query layer over source documents.
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
😂😂
Replying to @bigdevlarry
Been offline since yesterday noon but Na why I rush come tweet am make e no be like I go copy them 😂😂😂😂😂
Data races and the memory model in Go
func25.dev/posts/go-memory-v…
let's see if I can keep this up.
youtu.be/B4DJAtWxG9I
Replying to @lanreadelowo
Thanks man, didn’t even know the link is broken. Here: youtube.com/@codehakase?si=Q…











