About Toon
Aparte de mi experiencia con Python y Haskell también tengo conocimientos de POSIX sh, Java, SQL, HTML/CSS/JS, Scheme y Prolog.
Estoy familiarizado desde hace muchos años con sistemas Linux, ultimamente con un enfoque en especificación declarativa de infraestructura (o devops) con NixOS.
Contribuir a proyectos Open Source me ha enseñado trabajar con sistemas de integración continua (CI) y VCS como Git, así como con procesos de revisión de codigo y de triaje y respuesta a incidentes.
Mis estudios se han enfocado en técnicas de Machine Learning, sistemas formales para la verificación de software (Rocq, Agda, SMT solvers) y Programming Language Theory. Además, esto ultimo me permite aprender nuevas idiomas de programación con facilidad.
Dutch
Native or bilingual
English
Native or bilingual
Spanish
Fluent
German
Conversational
French
Fluent
Can work on-site
Madrid (up to 50km)
Experience
- NixOS projectDarwin maintainerSOFTWARE PUBLISHINGApril 2021 - December 2023 (2 years and 8 months)Improve Nix experience for Darwin users for the Nix 🖤 macOS OpenCollective. Rewrite documentation. Provide domain-specific input on issues. Focus on updating the version of Apple's source releases, depended on by the platform's bootstrap.Continue volunteering as part of Darwin-Core maintainers.* Update source releases to macOS 10.13.6. Not accepted upstream in favor of proprietary SDK.
- Ranger projectvolunteer maintainerSOFTWARE PUBLISHINGJanuary 2018 - Today (8 years and 5 months)Triage issues. Communicate with reporters. Review pull requests. Fix bugs. Keep documentation up to date. Implement new features. Monitor the wiki. Package for Nix and manage releases.
- CoderDojo TurnhoutvolunteerEDUCATION AND E-LEARNINGNovember 2015 - August 2024 (8 years and 9 months)Turnhout, BelgiumHelp students understand computer programming by helping them think about and simplify their problem so they can solve it in small steps instead of simply handing them the solution. Provide new students with the software and information they need. Ensure the kids have a safe environment to learn in. Answer any questions parents may have.
- Contributed a tutorial for intermediate students on how to use a gamepad as input to their creations. Implemented a Scratch extension and HTTP server to enable this.
Recommendations
Be the first to recommend Toon
Help this freelancer shine by sharing your experience working together.
These freelancer profiles also match your criteria
Agatha Frydrych
Backend Java Software Engineer
4.7
(3)
2
Baptiste Duhen
Fullstack developer
4.6
(4)
5
Amed Hamou
Senior Lead Developer
4
(2)
7
Audrey Champion
Web developer
4.3
(3)
4
Education
- MSc in Computer ScienceKULeuven2025Independently process study materials. Communicate with others to ensure projects are finished in a timely manner and everyone can contribute. - Wrote a thesis on dependently typed techniques in Haskell. - Implemented a daemon to continuously run and report on JUnit tests. - Implemented a dependently typed calculus in Scala.
- BSc in Computer ScienceKULeuven2014Attend classes. Deliver tasks and projects on time. Contribute a fair share to group projects. - Built a Mindstorms robot that can autonomously navigate a maze and retrieve an object. Programmed the logic for mapping and navigating an unknown environment and manipulating obstacles. Designed and implemented a GUI to view the robot's plans and environment model in real time. - Built a prototype quadcopter from scratch, becoming the only team to get airborne.