swe: infra, distributed systems, ∀Go ∧ ∃!Haskell, 🎹 noob. Views are mine!

undefined
Joined July 2015
Wrote a new note on file-first systems and agents as a query layer over source documents.
1
2
3
563
😂😂
I did learn data analysis but I couldn't get a cos because the company required me to have my own personal laptop. if you had given me a laptop before I left to the uk 5 weeks ago, I would have been in a great position 💔💔💔💔
354
Just finished reading the PHP CVEs. What stops one from using the vulnerability to forward the patch across??
47
I wonder how many Nigerian government websites are affected by this PHP CVE and if they'll get patched ASAP
1
1
105
Cyber attack week it seems
1
54
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
1
1
111
rough draft in Haskell:
1
17
😂😂😭😭
ok I think the main thing we've learned this month is that computer programs get faster whenever they're ported to another programming language, and all we need to do is keep porting back and forth until every program only needs one CPU cycle to finish
84
Tackling DST (testing) for the first time and it’s on a domain specific workflow engine.
76
😂😂
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 😂😂😂😂😂
85
I’m loving the speaker lineup @sysconf_!
3
73
easy sunday lc teaser
33
I dislike apps that won’t let me copy text
39
Goldmine! Not adding anything to my bookmarks till I’m done with this list!
We've shipped a ridiculous amount of technical blog posts in the last month. Read below for the full list.
66
That half-bounce soon startup metrics makes loads of sense to me.
46
S3, such a wonderful piece of tech
1
1
94