🔬 Research update: Depermissioning Web3’s Serving Layer

Over the past few months, my PhD student Weihong Wang and I have been exploring challenges in Web3’s “serving layer” — the infrastructure responsible for making blockchain data accessible to decentralized applications (dapps).

Worth a read: Erik Meijer's latest piece in ACM Queue. He introduces a PL with an interesting mix of natural language instructions, logic variables and Excel-like formulas to let end-users generate readable and verifiable calculations. queue.acm.org/detail.cfm?i...

Steve Jobs once famously called computers "bicycles for the mind". The last few days I've been coding and reviewing math problems with the help of recent LLMs, and the clarity with which they lay out coding & math problems is really staggering.

I can highly HIGHLY recommend watching Karpathy's latest talk on "Software 3.0" (software in the era of AI) - it's a treasure trove of insightful analogies, and full of good advice on how to build modern apps with AI integration www.youtube.com/watch?v=LCEm...

My 12yo son had to write an essay on the future of AI for school. When asked what would be the hardest job to get replaced by AI in the future, he answered: Parenting. Love it.

🚀 Join @distrinet.bsky.social at KU Leuven for cutting-edge research in Blockchain & Local-first Software! We’re building tools for secure, scalable decentralized apps with Web3 industry partners. 🤝 #Blockchain #ResearchJobs

All prepared to speak again about how to build "Least-authority" JavaScript apps, next week at #SecAppDev in Leuven. I'll talk about how you can use dialects like HardenedJS and tools like Lavamoat to sandbox your module dependencies. Live demo included: github.com/tvcutsem/lav...

Sign up to our Summer School on Security & Privacy in the Age of AI organized by #KULeuven, Sept. 9-12. Attend insightful lectures on the intersection of #ML and #cybersecurity, expand your skills, and connect with peers and international experts.
Details: cybersecurity-research.be/summer-schoo...

Sign up to our PHD School on Security Testing and Verification, a 4-day course into dynamic & static application security testing, and software verification! From July 7 to 10, in Brussels. Organized by #VUB and #kuleuven. Top lecturers!
Details: cybersecurity-research.be/summer-schoo...