See /share
Should have been used for the 2020 TIPE oral exam
[git]
Following an intership with Arnaud Casteigts
at LaBRI (France).
Presented at AATG 2021 (online).
[video]
[beamer]
[report]
Following an internship with Jukka Suomela
and Darya Melnyk at
Aalto University, Finland
To appear in OPODIS 2022 (Brussels, Belgium).
[arxiv]
[paper]
[beamer]
I have worked at MPI-SWS, Saarland (Germany) on the miri Rust interpreter to develop Tree Borrows, an aliasing model. Presentations of Tree Borrows have been given online at RFMIG and in person to teams from ETH Zurich and Inria Saclay. You can look at the material and a recording.
Some various tools I like and frequently use.
zathura (pdf viewer)
[Official]
[ArchWiki]
[Arch]
mpv (video player)
[Official]
[ArchWiki]
[Arch]
bat (cat)
[GitHub]
[Crates]
skim (fuzzy file finder)
[GitHub]
[Crates]
starship (shell prompt)
[Official]
[GitHub]
[Crates]
ripgrep (grep replacement)
[GitHub]
[Crates]
tealdeer (tldr client, short man pages)
[GitHub]
[Crates]
tokei (count lines of code)
[GitHub]
[Crates]
hyperfine (benchmarking)
[GitHub]
[Crates]