summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* statusbot: Tune retry multiplier for well-known fetch loopHEADmasterTom Smeding11 days
|
* statusbot: Fix well-known fetch loopTom Smeding11 days
|
* Add max-age cache control for matrix well-known filesTom Smeding2024-10-17
|
* up_log moduleTom Smeding2024-09-30
|
* unicode: Add 'approx' alias for ALMOST EQUAL TOTom Smeding2024-09-18
|
* nlen: More NederlandsTom Smeding2024-09-01
| | | | Thanks @ivogabe!
* nlen: Better clientTom Smeding2024-09-01
|
* Allow failing modules if they miss data filesTom Smeding2024-07-22
|
* Update UnicodeData.txt URLTom Smeding2024-07-22
|
* publications: Note extended version of dualrevTom Smeding2024-07-22
|
* statusbot: .well-known retry mechanismTom Smeding2024-07-10
|
* statusbot: ratelimitTom Smeding2024-07-04
|
* Add statusbot moduleTom Smeding2024-07-02
|
* 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
| | | | Thanks Daniel :)
* 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
|
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-05 15:50:08 +0100