Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | | | | Thanks @ivogabe! | ||
* | 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 |
| | | | | Thanks Daniel :) | ||
* | 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 |
| | |||
* | Dark mode on index.html | Tom Smeding | 2022-08-07 |
| | |||
* | Load publications from publications.json | Tom Smeding | 2022-08-07 |
| | |||
* | nlen: More | Tom Smeding | 2022-08-07 |
| | |||
* | Add publications to homepage | tomsmeding | 2022-08-05 |
| | |||
* | Reorder social links | tomsmeding | 2022-08-05 |
| | |||
* | nlen: opladen | Tom Smeding | 2022-04-27 |
| |