Sergiu Ivanov
|
bac04680f6
|
Update current reading.
|
2024-10-17 15:35:35 +02:00 |
|
Sergiu Ivanov
|
abbf5c5bdc
|
Streamline the Elisp snippet for pushing the site to remote.
|
2024-09-25 16:47:24 +02:00 |
|
Sergiu Ivanov
|
31f23bf971
|
Update the end date of my stay with Damien.
|
2024-09-25 16:47:01 +02:00 |
|
Sergiu Ivanov
|
b6a320ca92
|
Update the snippet for opening the local export in Firefox.
|
2024-09-25 16:41:25 +02:00 |
|
Sergiu Ivanov
|
5cf439cd91
|
Update the info on pushing the files.
|
2024-09-25 16:40:00 +02:00 |
|
Sergiu Ivanov
|
578f2949ba
|
Add the SFTP script for pushing to remote.
|
2024-09-25 16:28:16 +02:00 |
|
Sergiu Ivanov
|
7516937675
|
Change the name of the output directory.
Easier with sftp.
|
2024-09-25 16:27:51 +02:00 |
|
Sergiu Ivanov
|
4dfaab2288
|
Update the news.
|
2024-09-22 11:57:06 +01:00 |
|
Sergiu Ivanov
|
48ebc39e1f
|
Remove sabbatical/CRCT.
|
2024-09-22 11:49:04 +01:00 |
|
Sergiu Ivanov
|
6db92296b8
|
Add back M1 CNS.
|
2024-09-22 11:43:10 +01:00 |
|
Sergiu Ivanov
|
0b07c75d73
|
Make the presentation of the list of my publications less formal.
|
2024-09-22 11:35:24 +01:00 |
|
Sergiu Ivanov
|
208f18af4f
|
Add publication.
|
2024-09-22 11:34:34 +01:00 |
|
Sergiu Ivanov
|
751c695696
|
Update the news.
|
2024-08-06 13:16:04 +01:00 |
|
Sergiu Ivanov
|
bd3b117131
|
Reshuffle my research keywords.
|
2024-08-06 13:08:20 +01:00 |
|
Sergiu Ivanov
|
f6c91a169e
|
Update the publications.
|
2024-08-06 13:06:17 +01:00 |
|
Sergiu Ivanov
|
ae366319da
|
Update current reading.
|
2024-05-22 18:21:25 +01:00 |
|
Sergiu Ivanov
|
daf4ff1dc3
|
Update the news.
|
2024-05-22 18:14:15 +01:00 |
|
Sergiu Ivanov
|
6604129aee
|
Frobnicate the university name.
|
2024-05-22 18:06:18 +01:00 |
|
Sergiu Ivanov
|
c44339f21e
|
Say I am on research visit with Damien.
|
2024-05-22 18:01:50 +01:00 |
|
Sergiu Ivanov
|
dcbef67df0
|
Don't mention Haskell any more.
I have roughly written any Haskell since 2017, which is officially
long ago.
|
2024-05-22 16:10:15 +01:00 |
|
Sergiu Ivanov
|
74feb59c0c
|
Update the current reading.
|
2024-05-10 12:44:14 +02:00 |
|
Sergiu Ivanov
|
20208b0b85
|
Update the news.
|
2024-05-10 12:40:37 +02:00 |
|
Sergiu Ivanov
|
6d1e2b200c
|
Update the news.
|
2024-04-23 23:48:33 +02:00 |
|
Sergiu Ivanov
|
79f0838573
|
Update the current reading.
|
2024-04-23 23:48:23 +02:00 |
|
Sergiu Ivanov
|
17f703fd52
|
Update the news.
|
2024-04-11 14:33:55 +02:00 |
|
Sergiu Ivanov
|
9a67ce0152
|
Update current reading.
|
2024-03-25 22:27:57 +01:00 |
|
Sergiu Ivanov
|
3cacaace8f
|
Update the current reading.
|
2024-02-02 10:33:27 +01:00 |
|
Sergiu Ivanov
|
e9f11f356d
|
Explain the order of authors.
|
2024-02-02 10:27:45 +01:00 |
|
Sergiu Ivanov
|
76aa544f42
|
Update the information about the book chapter.
|
2024-02-02 00:21:42 +01:00 |
|
Sergiu Ivanov
|
8af574ded6
|
Replace the RIPEC report by the CV.
|
2024-02-02 00:11:54 +01:00 |
|
Sergiu Ivanov
|
666cc87336
|
Make myself Associate Professor, again.
|
2023-12-15 15:24:33 +01:00 |
|
Sergiu Ivanov
|
bc83cb09d9
|
Update the current reading.
|
2023-11-11 00:47:34 +01:00 |
|
Sergiu Ivanov
|
b488393e65
|
Update the news.
|
2023-11-11 00:43:58 +01:00 |
|
Sergiu Ivanov
|
9c4b680703
|
Update the profile picture.
|
2023-10-21 15:10:10 +03:00 |
|
Sergiu Ivanov
|
1efe993406
|
Minor fixes in the news.
|
2023-09-10 18:30:00 +02:00 |
|
Sergiu Ivanov
|
66bfe57ae7
|
Update the news.
|
2023-09-10 18:24:11 +02:00 |
|
Sergiu Ivanov
|
2e372129a3
|
Move Seminars and talks to Publications.
|
2023-09-08 14:03:54 +02:00 |
|
Sergiu Ivanov
|
796e2da630
|
Update Seminars and talks.
|
2023-09-08 14:02:49 +02:00 |
|
Sergiu Ivanov
|
613d247d16
|
Update the news.
|
2023-09-08 13:57:00 +02:00 |
|
Sergiu Ivanov
|
b45a485e28
|
Say I am on CRCT.
|
2023-09-08 13:49:00 +02:00 |
|
Sergiu Ivanov
|
f078148d58
|
Not a member of the lab council any more.
|
2023-09-08 13:43:49 +02:00 |
|
Sergiu Ivanov
|
2eac5b121f
|
Add the Boolean P TCS publication.
|
2023-09-08 13:43:33 +02:00 |
|
Sergiu Ivanov
|
b2dee6b7f7
|
Update the news.
|
2023-07-12 17:58:41 +02:00 |
|
Sergiu Ivanov
|
fba57fd38d
|
Update current reading.
|
2023-07-01 23:59:36 +02:00 |
|
Sergiu Ivanov
|
9a171025c4
|
Update the news.
|
2023-07-01 23:46:12 +02:00 |
|
Sergiu Ivanov
|
d3c9345b10
|
Remove C++ and Python.
I don't pretend to be good at Haskell, but I guess Haskell un jour,
Haskell toujours.
|
2023-07-01 19:28:45 +02:00 |
|
Sergiu Ivanov
|
d39164f031
|
Add The Many Shapes of Polymorphism.
|
2023-07-01 19:27:43 +02:00 |
|
Sergiu Ivanov
|
c55ee1bceb
|
Remove some old seminars.
|
2023-07-01 19:06:12 +02:00 |
|
Sergiu Ivanov
|
7ab0128a1d
|
Remove M1 CNS and Nuit de l'Info.
|
2023-07-01 18:57:33 +02:00 |
|
Sergiu Ivanov
|
1e6e1bcc85
|
Update current reading.
Late commit, I pushed the update a couple months ago.
|
2023-07-01 18:57:05 +02:00 |
|