| Commit message (Expand) | Author | Age |
|---|
| * | statusbot: Better error messages | Tom Smeding | 2025-02-11 |
| * | Put disabled modules in modules/$disabled | Tom Smeding | 2025-02-11 |
| * | Disable email module | Tom Smeding | 2025-02-09 |
| * | unicode: Logical {and,or,not} | Tom Smeding | 2024-11-20 |
| * | statusbot: Tune retry multiplier for well-known fetch loop | Tom Smeding | 2024-10-25 |
| * | statusbot: Fix well-known fetch loop | Tom Smeding | 2024-10-25 |
| * | Add max-age cache control for matrix well-known files | Tom Smeding | 2024-10-17 |
| * | up_log module | Tom Smeding | 2024-09-30 |
| * | unicode: Add 'approx' alias for ALMOST EQUAL TO | Tom Smeding | 2024-09-18 |
| * | nlen: More Nederlands | Tom Smeding | 2024-09-01 |
| * | nlen: Better client | Tom Smeding | 2024-09-01 |
| * | Allow failing modules if they miss data files | Tom Smeding | 2024-07-22 |
| * | Update UnicodeData.txt URL | Tom Smeding | 2024-07-22 |
| * | publications: Note extended version of dualrev | Tom Smeding | 2024-07-22 |
| * | statusbot: .well-known retry mechanism | Tom Smeding | 2024-07-10 |
| * | statusbot: ratelimit | Tom Smeding | 2024-07-04 |
| * | Add statusbot module | Tom Smeding | 2024-07-02 |
| * | unicode: More results; aliases | Tom Smeding | 2024-04-21 |
| * | unicode: Dark mode | Tom Smeding | 2024-04-21 |
| * | nlen: Fix json | Tom Smeding | 2024-04-21 |
| * | nlen: AD | Tom Smeding | 2024-04-13 |
| * | nlen | Tom Smeding | 2024-03-25 |
| * | sendmail -> msmtp | Tom Smeding | 2024-03-01 |
| * | blog: Add timestamp to posts | Tom Smeding | 2024-03-01 |
| * | blog: Misc fixes | Tom Smeding | 2024-03-01 |
| * | publications: Upgrade efficient chad to popl | Tom Smeding | 2023-11-29 |
| * | more | Tom Smeding | 2023-11-18 |
| * | more | Tom Smeding | 2023-11-18 |
| * | Fix bug some more | Tom Smeding | 2023-11-18 |
| * | Fix bug | Tom Smeding | 2023-11-18 |
| * | changes: Don't send file contents uselessly | Tom Smeding | 2023-11-12 |
| * | I like languages too | Tom Smeding | 2023-09-17 |
| * | publications: Add Efficient CHAD preprint | tomsmeding | 2023-08-18 |
| * | nlen | Tom Smeding | 2023-07-11 |
| * | unicode: Invisible spaces between table columns for neat copying | Tom Smeding | 2023-06-13 |
| * | unicode: Recognise multiple index literals in input | Tom Smeding | 2023-06-12 |
| * | unicode: Don't span history, replace history state | Tom Smeding | 2023-06-12 |
| * | index: Fix spelling | Tom Smeding | 2023-05-27 |
| * | changes: Add link to online page to email | Tom Smeding | 2023-03-12 |
| * | Remove commented-out AD intro here (moved to blog/ad/intro) | Tom Smeding | 2023-03-01 |
| * | index.html: Some text about my research | Tom Smeding | 2023-02-24 |
| * | index: Add email | Tom Smeding | 2023-01-31 |
| * | Update publications | Tom Smeding | 2023-01-05 |
| * | timetrack3: Day counts are not useful | Tom Smeding | 2022-11-16 |
| * | timetrack3: Modern JS | Tom Smeding | 2022-09-07 |
| * | timetrack3 | Tom Smeding | 2022-09-06 |
| * | Updates | Tom Smeding | 2022-09-05 |
| * | Update CHAD publication (TOPLAS) | Tom Smeding | 2022-08-23 |
| * | Typo | Tom Smeding | 2022-08-08 |
| * | index: Pointer cursor on <summary> | Tom Smeding | 2022-08-07 |
