Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add CPP'23 paper | Yann Herklotz | 2022-11-22 | 1 | -0/+8 |
* | Add CAS talk to news | Yann Herklotz | 2022-11-11 | 1 | -0/+4 |
* | Add twitter archive | Yann Herklotz | 2022-11-11 | 4 | -1/+453 |
* | Update mastodon link | Yann Herklotz | 2022-11-10 | 2 | -2/+9 |
* | Add more books to the reading list | Yann Herklotz | 2022-11-08 | 1 | -0/+17 |
* | Add books | Yann Herklotz | 2022-11-08 | 1 | -0/+26 |
* | Add presentation | Yann Herklotz | 2022-10-31 | 1 | -0/+0 |
* | Add talk pdf | Yann Herklotz | 2022-08-12 | 2 | -0/+4 |
* | Add links | Yann Herklotz | 2022-07-09 | 1 | -4/+9 |
* | Add a license | Yann Herklotz | 2022-07-09 | 1 | -5/+40 |
* | Add a better summary line | Yann Herklotz | 2022-07-09 | 1 | -1/+1 |
* | Fix title of new article | Yann Herklotz | 2022-07-09 | 1 | -1/+1 |
* | Add iosevka as font | Yann Herklotz | 2022-07-09 | 1 | -0/+1 |
* | Update | Yann Herklotz | 2022-07-09 | 1 | -10/+3 |
* | Remove hl-line-mode | Yann Herklotz | 2022-07-09 | 1 | -6/+2 |
* | Update the background colour | Yann Herklotz | 2022-07-09 | 1 | -1/+1 |
* | Add the ebib file in light mode | Yann Herklotz | 2022-07-09 | 1 | -19/+26 |
* | Add new blog-post | Yann Herklotz | 2022-07-09 | 3 | -5/+353 |
* | Add blog post | Yann Herklotz | 2022-06-29 | 1 | -1/+2 |
* | Add PLDI'22 presentation to website | Yann Herklotz | 2022-06-28 | 1 | -0/+4 |
* | Add news about PC | Yann Herklotz | 2022-06-28 | 1 | -0/+4 |
* | Add a changelog for the OOPSLA paper | Yann Herklotz | 2022-06-28 | 4 | -3/+29 |
* | Add poster | Yann Herklotz | 2022-06-26 | 2 | -1/+2 |
* | Fix some styling | Yann Herklotz | 2022-06-25 | 4 | -9/+16 |
* | Remove fontawesome | Yann Herklotz | 2022-06-25 | 20 | -16/+25 |
* | Add katex locally | Yann Herklotz | 2022-06-25 | 66 | -162/+157 |
* | Add better rss generation | Yann Herklotz | 2022-06-09 | 1 | -0/+57 |
* | Remove preload of fonts | Yann Herklotz | 2022-06-08 | 1 | -3/+0 |
* | Update links to katex | Yann Herklotz | 2022-06-08 | 2 | -13/+8 |
* | Remove extra loading | Yann Herklotz | 2022-06-08 | 2 | -8/+7 |
* | Add the DOI for the FCCM'22 paper | Yann Herklotz | 2022-06-05 | 1 | -0/+1 |
* | Add mastodon link | Yann Herklotz | 2022-06-03 | 11 | -4/+8 |
* | Update the news | Yann Herklotz | 2022-06-01 | 1 | -0/+4 |
* | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2022-05-31 | 6 | -48/+54 |
|\ | |||||
| * | Remove first-letter shenanigans | Yann Herklotz | 2022-05-04 | 1 | -2/+2 |
| * | Reset social size | Yann Herklotz | 2022-05-04 | 1 | -1/+0 |
| * | Subdue the color and fix the CSS | Yann Herklotz | 2022-05-04 | 4 | -18/+20 |
| * | Change the links | Yann Herklotz | 2022-05-04 | 2 | -28/+28 |
| * | Add another todo | Yann Herklotz | 2022-05-01 | 1 | -0/+5 |
* | | Add FCCM'22 paper | Yann Herklotz | 2022-05-31 | 2 | -3/+6 |
* | | Update favicon and FCCM | Yann Herklotz | 2022-05-31 | 2 | -1/+1 |
|/ | |||||
* | Integrate everything into one makefile | Yann Herklotz | 2022-03-25 | 6 | -35/+33 |
* | Add dependencies into the yml file | Yann Herklotz | 2022-03-25 | 2 | -3/+2 |
* | Remove bib files | Yann Herklotz | 2022-03-25 | 5 | -108/+7 |
* | Try and fix build | Yann Herklotz | 2022-03-25 | 3 | -8/+10 |
* | Try and fix the publish script | Yann Herklotz | 2022-03-25 | 1 | -2/+2 |
* | Add new publication in FCCM'22 | Yann Herklotz | 2022-03-25 | 5 | -3/+60 |
* | Add transclusions | Yann Herklotz | 2022-03-04 | 2 | -7/+6 |
* | Fix link for PLDI'22 news | Yann Herklotz | 2022-02-23 | 1 | -1/+1 |
* | Add news about artefact evaluation for PLDI'22 | Yann Herklotz | 2022-02-23 | 1 | -3/+7 |