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 MarcPoint light shadows in Three.js
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.
Talk about memory safety at ONE Conference
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.
Fixing rust-lang stdarch issues in LLVM
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.
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
sequential-storage
A crate for storing data in flash memory with minimal need for erasing pages.
Used in many embedded Rust projects inside and outside of Tweede golf. It often replaces a traditional file system with its key-value map and fifo queue.
Tags
Languages
Contributors
Statime
Statime is an initiative of Tweede golf, an open-source implementation of the Precision Time Protocol (PTP) in Rust.
High-precision timing is part of crucial networking infrastructure. With Statime we provide a memory-safe alternative for existing implementations.
The first milestones of the project were kindly co-funded by the NLnet Foundation.
Statime 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.
