summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* unicode: More results; aliasesTom Smeding2024-04-21
* unicode: Dark modeTom Smeding2024-04-21
* nlen: Fix jsonTom Smeding2024-04-21
* nlen: ADTom Smeding2024-04-13
* nlenTom Smeding2024-03-25
* sendmail -> msmtpTom Smeding2024-03-01
* blog: Add timestamp to postsTom Smeding2024-03-01
* blog: Misc fixesTom Smeding2024-03-01
* publications: Upgrade efficient chad to poplTom Smeding2023-11-29
* moreTom Smeding2023-11-18
* moreTom Smeding2023-11-18
* Fix bug some moreTom Smeding2023-11-18
* Fix bugTom Smeding2023-11-18
* changes: Don't send file contents uselesslyTom Smeding2023-11-12
* I like languages tooTom Smeding2023-09-17
* publications: Add Efficient CHAD preprinttomsmeding2023-08-18
* nlenTom Smeding2023-07-11
* unicode: Invisible spaces between table columns for neat copyingTom Smeding2023-06-13
* unicode: Recognise multiple index literals in inputTom Smeding2023-06-12
* unicode: Don't span history, replace history stateTom Smeding2023-06-12
* index: Fix spellingTom Smeding2023-05-27
* changes: Add link to online page to emailTom Smeding2023-03-12
* Remove commented-out AD intro here (moved to blog/ad/intro)Tom Smeding2023-03-01
* index.html: Some text about my researchTom Smeding2023-02-24
* index: Add emailTom Smeding2023-01-31
* Update publicationsTom Smeding2023-01-05
* timetrack3: Day counts are not usefulTom Smeding2022-11-16
* timetrack3: Modern JSTom Smeding2022-09-07
* timetrack3Tom Smeding2022-09-06
* UpdatesTom Smeding2022-09-05
* Update CHAD publication (TOPLAS)Tom Smeding2022-08-23
* TypoTom Smeding2022-08-08
* index: Pointer cursor on <summary>Tom Smeding2022-08-07
* Dark mode on index.htmlTom Smeding2022-08-07
* Load publications from publications.jsonTom Smeding2022-08-07
* nlen: MoreTom Smeding2022-08-07
* Add publications to homepagetomsmeding2022-08-05
* Reorder social linkstomsmeding2022-08-05
* nlen: opladenTom Smeding2022-04-27
* changes: Special case some websitesTom Smeding2022-04-21
* unicode: Up UnicodeData.txtTom Smeding2022-04-13
* unicode: Properly report unknown codepointsTom Smeding2022-04-13
* timetrack2: Fix date handling w.r.t. DSTTom Smeding2022-03-28
* Timetrack 2Tom Smeding2022-03-09
* timetrack: UITom Smeding2022-03-04
* timetrack: Improve formatting of Account note in calendarTom Smeding2022-03-01
* timetrack: Show total account on last week in calendarTom Smeding2022-02-28
* timetrack: Fix some eventtext layout issueTom Smeding2022-02-08
* timetrack: More compressedTom Smeding2022-02-07
* timetrack: Mark today in calendarTom Smeding2022-02-07