Projects

• Turbo Broccoli: A Python package containing JSON (de)serialization extensions. It makes it possible to embed bytes, numpy arrays, keras models, etc. in a dict and seemlessly pass it on to json.dump, and conversely, reconstruct these objects using json.load.

• kappak: My LaTeX package. It regroups functionalities I find useful, from general style of LaTeX documents (title page, chapter style, header / footer, …), to more specific math related commands (theorem environments, commutative diagrams, …). Consequently, it might not be as useful for you as it is for me, but you are welcome to give a try. Wiki-that-might-or-might-not-be-up-to-date (￣ ω ￣;).

• s3backup: This docker image performs incremental backups of a given volume to an S3 storage using restic and rclone.

• potatos: Personal OS experiment in C++. When you press a key it display what key you just pressed yay.

• SeAT Navy Issue: simpler alternative to SeAT. In short, it is an EVE Online community manager, in the form of a REST API. Its core functionalities include: managing corporations, alliances, and even coalitions; creating and managing custom groups; storing and refreshing ESI tokens; making queries against the ESI; a simplistic clearance system; and a Discord and Teamspeak connector. Note that this project is just a backend. For a nice web-based user interface, check out SNI-frontend.

Selected lecture notes and misc. presentations

• Article presentation, 2023-04-26: Joon Sung Park, Joseph O’Brien, Carrie Jun Cai, Meredith Ringel Morris, Percy Liang, and Michael S. Bernstein. 2023. Generative Agents: Interactive Simulacra of Human Behavior. In Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology (UIST ‘23). Association for Computing Machinery, New York, NY, USA, Article 2, 1–22. https://doi.org/10.1145/3586183.3606763

• Article presentation: 2023-09-14: Zheng, Mingkai, et al. “Can gpt-4 perform neural architecture search?.” arXiv preprint arXiv:2304.10970 (2023).

• Homotopy Theory of Strict ω-Categories, 2017-09: Unofficial notes from the lectures of François Métayer, given during the conference Categories in Homotopy Theory and Rewriting held at CIRM in September 2017.

• Finite Dimensional Algebras: Unofficial lecture notes from the Finite Dimensional Algebras course, given by prof. Jacques Thévenaz at EPFL during the spring semester of 2015.

• Théorie de Galois 🇫🇷: Unofficial lecture notes from the Galois Theory course, given by prof. Jacques Thévenaz at EPFL during the spring semester of 2014.

• Représentations des Groupes Finis 🇫🇷: Unofficial lecture notes from the Representation Theory of Finite Groups course, given by prof. Jacques Thévenaz at EPFL during the spring semester of 2013.

• Algebraic K-Theory: Unofficial lecture notes from the Algebraic K-Theory course, given by prof. Kathryn Hess at EPFL during the spring semester of 2013.

• Gödel and Recursivity: Unofficial and incomplete lecture notes from the Gödel and Recursivity course, given by prof. Jacques Duparc at EPFL during the spring semester of 2013.

• Set Theory: Unofficial lecture notes from the Set Theory course, given by prof. Jacques Duparc at EPFL during the fall semester of 2013.

• Representation Theory of the Symmetric Groups: Unofficial and incomplete lecture notes from the Representation Theory of the Symmetric Groups course, given by Geranios Haralampos at EPFL during the fall semester of 2013.

• Homotopie et Homologie 🇫🇷: Unofficial lecture notes from the Homotopie et Homologie course, given by prof. Kathryn Hess at EPFL during the fall semester of 2012.

Personal notes

• Stability of Lawvere Theories, work in progress, 2021.

• Notes on monad with arities & parametric right adjoints, 2019-07.

• Notes on Koszul duality, 2019-07.

• Notes on some Coq introduction and elimination rules, 2018-12.

• The Vector Convention , 2017: We introduce some conventions that promote shorter array handling notations.

• Quasi Categories, 2014: This semester project introduces a first notion of (strict) ∞-categories via enrichment. Another approach, namely quasi categories, is then presented, along with results about the “homotopical category – nerve” adjunction. Finally, adjunctions in 2-categories, and limits in term of absolute lifting property are discussed.

Other

• brainfuck++: a much needed extension to brainfuck, 2022, proceedings of SIGBOVIK'22.