87b8ba3 Remove first-letter shenanigans

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

46b997b Reset social size

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

f1b2d11 Subdue the color and fix the CSS

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

e66e492 Change the links

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

ea4ad46 Integrate everything into one makefile

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

b25f796 Add dependencies into the yml file

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

9deed36 Remove bib files

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

0971e6b Try and fix build

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

3bc6d07 Add new publication in FCCM'22

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

8b65f4f Fix link for PLDI'22 news

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

4c13e21 Add news about artefact evaluation for PLDI'22

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

3951f6d Fix grammar in PEQ news section

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

c54e994 Update news section

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

39dc502 Add some more links to news

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git

db72feb Update the build with new dependencies

~ymherklotz pushed to ~ymherklotz/yannherklotz.com git