Martijn de Vos (@devos50) profile picture

Martijn de Vos

@devos50

Postdoctoral researcher at EPFL working on decentralized machine learning. Interested in decentralized/distributed systems and reverse engineering.

 Lausanne, Switzerland
devos50.github.io
Joined July 2009
  • Tweets245
  • Following198
  • Followers735
28Media
Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)Photo by Martijn de Vos (@devos50)
Include

Only show posts containing:

Exclude

Hide posts containing:

Time range
-
Minimum likes
Martijn de Vos retweeted
Marc Brooker (@MarcJBrooker) profile picture
Marc Brooker@MarcJBrookerOct 27
AI-GREEMENT cool, but ultimately inevitable, work from the EPFL folks: arxiv.org/pdf/2610.30114v1 Consensus and replication are rich search spaces with near-trivial safety properties, and so it makes total sense that LLMs combined with formal tools will search the space well.
5
5
46
5,334
Martijn de Vos retweeted
sam henri gold (@samhenrigold) profile picture
sam henri gold
@samhenrigoldOct 12
I wanted to play the Doodle Jump tie-in for Hop (2011), so I rebuilt the old App Store. Then I needed something to run it on, so I emulated an iPod. Both free and open source. Links below.
10
11
3
123
20,314
Load more