Théo Zimmermann

1. Determination of the fifth Busy Beaver value
   2025/09/15 by The bbchallenge Collaboration, Justin Blanchard, Daniel Briggs +33 · 20 voices · 2 citations
   #cs.LO #cs.FL #math.LO
2. Docker Does Not Guarantee Reproducibility
   2026/01/19 by Julien Malka, Stefano Zacchiroli, Théo Zimmermann · 3 voices
   #cs.SE
3. Trusting-Trust Attack against an Entire Linux Distribution through Binary Manipulation
   2026/07/27 by Julien Malka, Aman Sharma, Martin Monperrus +2 · 1 voice
   Computer Science · #cs.CR #cs.SE