Marc
Blog posts and open-source work
About
Marc
- Systems software engineer
- marc@tweedegolf.com
Marc has heaps of experience in machine coding, C, C++ and more recently, Rust. He is interested in software verification and his main focus is using artificial intelligence to perform proofs. He is also tenacious. Once a course of action has been chosen, Marc is the one to sort out the details, dot the i's and cross the t's.
It makes sense then that Marc is mostly working on secure systems programming; for example, he is part of the team working on sudo-rs, a re-implementation of sudo/su in Rust.
In the past, Marc has worked as a teacher and researcher at the Security Group of the Institute for Computing and Information Sciences, teaching courses like 'Software Analysis', writing articles like ´Efficient Verification of Optimized Code´. At Tweede golf, Marc also runs Training and Education with Tamme.
In his spare time, Marc is often inspired by the non-digital world, particularly history and analogue photography.
Blog posts
See all posts by MarcVideo: sudo-rs and beyond (Ubuntu Summit 25.10)
After sudo-rs was included in the 25.10 release of Ubuntu, Marc was invited to the Ubuntu Summit to talk about the design choices that shaped sudo-rs. You can now watch the recording of the talk.
The Dutch Electoral Council (known as the Kiesraad in Dutch) are developing Abacus: new open-source software for computing election results. We looked into how we can verify the correctness of the algorithm used for seat apportionment. In this blog post, we will discuss various ways of verifying software in Rust, from unit testing to model-based verification and fuzzing. In particular, property-based fuzzing turned out to be very useful for finding bugs in the seat apportionment algorithm.
Does using Rust really make your software safer?
We keep saying that Rust is how we make software safer. In this blog, we'll tackle a real-world vulnerability, 'rewrite it in Rust', and show you the results of our empirical research, both as a high-level overview and a tech deep-dive.
Open-source work
Show allTags
Languages
Contributors
Abacus
Abacus is the new application (currently in development) to support the paper-based vote counting process for all Dutch election results and the distribution of seats.
It is being built open-source by the Dutch Electoral Council (Dutch: Kiesraad). Our engineers have joined the Electoral Council developer team for both frontend and backend development.
Tags
Languages
Contributors
sudo-rs
Tags
Languages
Contributors
ntpd-rs
ntpd-rs is an open-source implementation of the Network Time Protocol completely written in Rust, with a focus on exposing a minimal attack surface. This video explains how ntpd-rs brings NTP into the modern era.
The project was initially funded by ISRG's Prossimo, as part of their mission to achieve memory safety for the Internet's most critical infrastructure. The NTP initiative page on Prossimo's website tells the story.
ntpd-rs is part of Project Pendulum. In July of 2023 the Sovereign Tech Fund invested in Pendulum, securing development and maintenance in 2023, and maintenance and adoption work in 2024.
Tags
Languages
Contributors
teach-rs
teach-rs, formerly Rust 101, is a collection of modular teaching materials to build a university course for computer science students, introducing the Rust Programming Language. It is open source and thus available to anyone who wants to teach Rust.
It is governed by the Trifecta Tech Foundation.
Read one of our teach-rs blogs for more info.
