index
:
webserver
master
My web server
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
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
*
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
*
changes: Special case some websites
Tom Smeding
2022-04-21
*
unicode: Up UnicodeData.txt
Tom Smeding
2022-04-13
*
unicode: Properly report unknown codepoints
Tom Smeding
2022-04-13
*
timetrack2: Fix date handling w.r.t. DST
Tom Smeding
2022-03-28
*
Timetrack 2
Tom Smeding
2022-03-09
*
timetrack: UI
Tom Smeding
2022-03-04
*
timetrack: Improve formatting of Account note in calendar
Tom Smeding
2022-03-01
*
timetrack: Show total account on last week in calendar
Tom Smeding
2022-02-28
*
timetrack: Fix some eventtext layout issue
Tom Smeding
2022-02-08
*
timetrack: More compressed
Tom Smeding
2022-02-07
*
timetrack: Mark today in calendar
Tom Smeding
2022-02-07
[next]