Justin Hsu
|
0cecbac431
|
Update email.
|
2022-11-07 13:41:25 -05:00 |
|
Justin Hsu
|
122020105c
|
Nit.
|
2022-10-05 00:43:08 -04:00 |
|
Justin Hsu
|
75dc689cc1
|
PC.
|
2022-09-30 11:52:00 -04:00 |
|
Justin Hsu
|
6a2dba33fa
|
Update.
|
2022-09-18 23:34:55 -04:00 |
|
Justin Hsu
|
53af6e8cdd
|
pc
|
2022-08-16 13:02:07 -04:00 |
|
Justin Hsu
|
afd6139309
|
Typo.
|
2022-08-13 16:01:54 -04:00 |
|
Justin Hsu
|
1083ba24e2
|
Cleanup.
|
2022-08-11 13:23:41 -04:00 |
|
Justin Hsu
|
17eb62542e
|
CAV
|
2022-08-10 12:17:11 -04:00 |
|
Justin Hsu
|
9486caf1d0
|
CS 6117.
|
2022-08-03 22:38:49 -04:00 |
|
Justin Hsu
|
3dfb91d356
|
Update.
|
2022-08-03 10:31:15 -04:00 |
|
Justin Hsu
|
876296cfae
|
Update flags for dart-sass.
|
2022-07-15 13:23:14 -04:00 |
|
Justin Hsu
|
a830711390
|
Update news.
|
2022-07-15 13:00:33 -04:00 |
|
Justin Hsu
|
3acd1e13fe
|
Add PSE.
|
2022-06-30 21:56:58 -04:00 |
|
Justin Hsu
|
f1538f102e
|
Update bibs.
|
2022-06-30 21:55:43 -04:00 |
|
Justin Hsu
|
f67f625000
|
RPGCL slides.
|
2022-06-17 14:28:03 -04:00 |
|
Justin Hsu
|
c791a7a88d
|
News
|
2022-05-01 10:21:41 -04:00 |
|
Justin Hsu
|
08a5bdd488
|
CAV
|
2022-05-01 10:20:45 -04:00 |
|
Justin Hsu
|
08deca1967
|
pc
|
2022-05-01 10:12:57 -04:00 |
|
Justin Hsu
|
634559a69a
|
Switch to dart sass.
Ruby sass deprecated.
|
2022-04-21 13:12:32 -04:00 |
|
Justin Hsu
|
a87ae4bad5
|
PC.
|
2022-04-18 20:25:49 -04:00 |
|
Justin Hsu
|
6210427cfb
|
PC.
|
2022-04-14 19:42:00 -04:00 |
|
Justin Hsu
|
b174de7984
|
Update bibs.
|
2022-04-12 21:21:03 -04:00 |
|
Justin Hsu
|
35bc140506
|
Make wider.
|
2022-04-12 21:19:39 -04:00 |
|
Justin Hsu
|
e53742c4d1
|
Update.
|
2022-04-12 13:23:55 -04:00 |
|
Justin Hsu
|
ae4d332f4d
|
Fix CSS bug.
|
2022-04-12 13:23:49 -04:00 |
|
Justin Hsu
|
3e3443573a
|
Improve CSS.
- Compactify bib tables.
- Use class/id/span/divs properly.
- Slightly increase padding.
- Right-justify links to publications.
|
2022-04-07 19:26:32 -04:00 |
|
Justin Hsu
|
2b6c7abf39
|
Put photo/contact at top.
|
2022-04-07 18:31:57 -04:00 |
|
Justin Hsu
|
68b21fb394
|
Install sass, not compass.
|
2022-03-17 22:20:23 -04:00 |
|
Justin Hsu
|
28639a81ff
|
Stop using compass.
Deprecated :(
|
2022-03-17 22:19:41 -04:00 |
|
Justin Hsu
|
615d2af023
|
Bibs.
|
2022-03-17 20:16:38 -04:00 |
|
Justin Hsu
|
25525430b9
|
Update pubs.
|
2022-03-01 00:06:48 -05:00 |
|
Justin Hsu
|
fc8eb93856
|
Update bib.
|
2022-03-01 00:04:16 -05:00 |
|
Justin Hsu
|
6507a8c63e
|
Update website.
|
2022-01-28 21:55:24 -05:00 |
|
Justin Hsu
|
b9cc9668c2
|
Add POPL accept.
|
2021-12-01 10:50:21 -05:00 |
|
Justin Hsu
|
0d374add02
|
Update teaching.
|
2021-11-27 21:13:49 -05:00 |
|
Justin Hsu
|
0ae0e4fe6a
|
Disable Google analytics.
|
2021-11-22 01:23:49 -05:00 |
|
Justin Hsu
|
56f86d8568
|
Update title.
|
2021-07-29 00:43:31 +01:00 |
|
Justin Hsu
|
61af5087bb
|
Tweak.
|
2021-07-19 18:33:49 +01:00 |
|
Justin Hsu
|
0d18bb33be
|
Fix linebreak.
|
2021-07-17 01:32:20 +01:00 |
|
Justin Hsu
|
aef6fb6b45
|
Update affiliation.
|
2021-07-16 23:12:58 +01:00 |
|
Justin Hsu
|
1fc945857a
|
Missing.
|
2021-07-11 15:59:40 +01:00 |
|
Justin Hsu
|
b8fd56945a
|
Typo.
|
2021-07-11 15:50:57 +01:00 |
|
Justin Hsu
|
30065cbe8b
|
New flag `jhsite` to control site display.
|
2021-07-11 15:48:10 +01:00 |
|
Justin Hsu
|
d37f7ad4a7
|
Hide again.
|
2021-07-11 15:41:00 +01:00 |
|
Justin Hsu
|
74a20d78fd
|
Typo.
|
2021-07-11 15:39:10 +01:00 |
|
Justin Hsu
|
46f1917fc8
|
Remove jhnote. Prefer note, use errata for errors.
|
2021-07-11 15:29:12 +01:00 |
|
Justin Hsu
|
1f44c98b0e
|
Remove extra sources.
|
2021-07-11 00:37:10 +01:00 |
|
Justin Hsu
|
9450c16278
|
Use `Main.hs` instead of `site.hs`.
|
2021-07-11 00:36:37 +01:00 |
|
Justin Hsu
|
574a0f0c0f
|
Linebreak.
|
2021-07-11 00:35:58 +01:00 |
|
Justin Hsu
|
3c7ee03623
|
Make separate section for invited chapters and surveys.
|
2021-07-11 00:35:38 +01:00 |