Marc
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 Radboud University - Computing Science, of course, teaching courses like 'Software Analysis', writing articles like ´Efficient Verification of Optimized Code´. He was also part of the University's Security Group. 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
Does using Rust really make your software safer?
Rust needs an official specification
sudo-rs' first security audit
Open-source work
sudo-rs
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.
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.
