François-rené Rideau
Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolFrançois-René Rideau is a seasoned systems and programming languages engineer with 25 years of experience building usable distributed systems and developer tooling, and co-founder of Mutual Knowledge Systems. An École Normale Supérieure alumnus and former senior engineer at ITA Software, Google and Bridgewater, he has a rare combination of production engineering, formal methods and open-source stewardship—most notably maintaining and rewriting ASDF, the Common Lisp build system, and contributing to SBCL, CFFI and Hunchentoot. His work spans compiler/build infrastructure (including contributions to Bazel and Gerbil Scheme), formal verification (a payment protocol proved in Coq), and blockchain Layer 2 efforts where economics and security intersect. Based in Pennsylvania, he pairs deep academic rigor with hard-won startup leadership lessons from founding multiple ventures since 2018.
20 years of coding experience
Ecole normale supérieure
Github Skills (27)
asdf10
skylark10
multithreading10
scripting10
build-system10
cffi10
java10
javas10
script10
compiler-compiler10
common-lisp10
bazel10
build-automation10
static-linking10
scheme10
Programming languages (22)
Github contributions (5)
cffi/cffi
May 2010 - May 2020
The Common Foreign Function Interface
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:16 commits, 8 PRs, 50 comments in 10 years 1 month
Contributions summary:François-rené primarily contributed to the CFFI library by improving the build process and integration with ASDF, a Common Lisp build system. They refactored parts of the build toolchain and added support for static linking and for integrating with Quicklisp. These changes involved modifying both Lisp code, likely related to build scripts and linking, and related configuration files. The user also made improvements to C code compilation and linking.
foreign-function-interfacelisp-interpreterlispforeignffi
mighty-gerbils/gerbil
May 2017 - Dec 2021
Gerbil Scheme
Role in this project:Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:1 release, 344 reviews, 177 commits in 4 years 8 months
Contributions summary:François-rené primarily focused on build process improvements and adapting the Gerbil Scheme compiler for wider compatibility. Their work involved modifying shell scripts (build1.sh, build2.sh, etc.) to use /bin/sh for broader Unix support and adding error-handling flags. They also implemented changes to support a dynamic versioning file and improved the build system to parallelize compiler stages. Furthermore, the user updated the build layout and added missing packages.
schemecode-golfgambitlispgerbil
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.