After a brief but distinguished career at Team Unemployment™,
I’m excited to share that I’ll be joining @ethereumfndn this summer as an Intern on the Spec & Testing team for the Ethereum Execution Layer.
Time to professionally nitpick the protocol and help ship its future. 🚀
Victor is a brilliant engineer. He built formal verification for the EF 7 years before leadership started talking about it as a priority. He pivoted the company to "symbolic AI" way before AI could solve Millennium Problems and vibe coding was a word. He was so focused on parallel computing he coded a computer from scratch. You should try bend. Link on next comment.
The hate this eip is getting is just 🫶
Tho the entire straw-map is pretty shitty and this is just the beginning of that process unfolding,the complete and utter rejection of this eip just made my day♥️
Maybe all is not lost
🚨 New EIP: Tapered Issuance Burn
We just submitted an EIP to ethereum/EIPs: a minimal, market-driven fix to Ethereum's issuance policy removing the incentive for stake growth beyond 50% of ETH supply.
EIP-8361 by @pintail_xyz, @jdetychey, @dapplion, @pa7x1, @ladislaus0x & @drakefjustin 🧵
Crypto isn't fun anymore
IG ill get back to AI after my internship ends
thinking of implementing a super-optimised version of LeWorldModel in ROCM from next week xD
(maybe in nim-?)
🔥 We introduce LeVLJEPA: the first fully non-contrastive end-to-end vision-language pretraining method competitive with CLIP & SigLIP 💪🏼
👀 No negatives. No temperature. No momentum encoder. No teacher-student.
TL;DR: LeVLJEPA learns image to text structure by prediction: each modality predicts the other's embedding, while SIGReg keeps each embedding isotropic Gaussian. 🧵
📄 https://t.co/1qBXor8qTf
@alisher@burningman Congrats on joining man!!
Super stoked to see you working at Logos and hope you can bring more of us extremists(wanting basic shit should make us extremists, but here we are) around xd!
Super excited to see you shipping at logos!