Pinned
Wrote a new note on file-first systems and agents as a query layer over source documents.
Sir Hakase
@codehakaseswe: infra, distributed systems, ∀Go ∧ ∃!Haskell, 🎹 noob.
Views are mine!
- 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
- Cyber attack week it seems
- haven’t written Lean before but my Haskell experience enabled me to understand what’s happening hereLearning 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
