Warning: social media posts can contain personal opinions.
This page follows Method M: the full text of each message is readable without signing in, carries a publication date and a permanent address, and any later correction is noted in the message itself. The messages numbered 000 predate this page: they were written for social media first, and are kept here so that the archive is complete.
|
M
|
Date
|
Title
|
|
000
|
Aug 30, 2026
|
Never underestimate the ability of computer technology corporations to facilitate the mass murder of populations.
|
|
000
|
Jul 20, 2026
|
Great event organized by National Academy of Sciences and Defense Advanced Research Projects Agency (DARPA), regarding…
|
|
000
|
Jun 4, 2026
|
<empty post>
|
|
000
|
May 23, 2026
|
This week, the paper “The Critical State of Cyberspace” appeared as a chapter in “Advances in Anti-Access and Area…
|
|
000
|
May 5, 2026
|
“MOSCOW, May 5 (Reuters) - Russia cut off mobile internet services to many customers in Moscow on Tuesday ahead of the…
|
|
000
|
Mar 23, 2026
|
Great video explaining the “Right to repair” from a U.S. perspective, balancing stakes between government and industry:
|
|
000
|
Feb 26, 2026
|
Extremely impressed by AI’s ability to generate SVG images, where I as a human am issuing commands and refine the…
|
|
000
|
Jan 29, 2026
|
In this opinion piece (in Dutch), David Oldenhof-Boks and yours truly argue that libraries are decentralised…
|
|
000
|
Nov 18, 2025
|
What does a leak of 3.5B WhatsApp accounts show?
|
|
000
|
Nov 14, 2025
|
“All Your Brains Are Belong To Us” — The future hacker does not merely take control over your computer, (s)he takes…
|
|
000
|
Nov 10, 2025
|
Interesting but concerning rise in cognitive disability among younger people—the digital natives, the “next…
|
|
000
|
Jan 1, 2025
|
I’m happy to share that I’m starting a new position as Technology assessor / project manager at NLnet foundation!
|
|
000
|
Jul 19, 2024
|
Sometimes it takes only one incorrect pointer dereference to crash the world.
|
|
000
|
Jul 1, 2024
|
I’m happy to share that I’m starting a new position as Applied Scientist at Amazon Web Services (AWS)!
|
|
000
|
Jun 29, 2024
|
In this blog post, Frank S. de Boer and I write about the proof system that I first introduced in my PhD thesis.
|
|
000
|
Feb 16, 2024
|
This blog post (20 minutes read) shows that program correctness is a difficult subject.
|
|
000
|
Feb 6, 2024
|
ICTAC 2024 - FIRST CALL FOR PAPERS
|
|
000
|
Nov 1, 2023
|
In this blog post, I review a recent preprint article by Mirkowska and Salwicki that claims to have proven the Collatz…
|
|
000
|
May 9, 2023
|
Our article in the journal Formal Methods in System Design is now openly available on-line: it describes how to…
|
No matching items
Back to top