43 KiB
- Perso
- Habits
- Maybe
- Write long letter(s)
[1/9]
- Films
- CANCELED Jouer à trinity [2020-06-13 Sat 12:45]
- A List of Foundational Haskell Papers
- History
[0/1]
- The Beginning: The Eugenio Moggi Papers
[0/4]
- Propositions as Types
[0/1]
- Haskell Semantics and Design Spaces
[0/13]
- Under the Hood (Where the sausage is made)
[0/7]
- Type Systems and Lambda Calculi
[0/7]
- Misc Parametricity
[1/5]
- Misc TypeChecking + PLT
[0/10]
- Functional pearls
[0/7]
- Algebra of programming
[1/6]
- History
- Enhance quality of hosting, switch to NixOS
- Wakatime server clone
- Write long letter(s)
- Famille
- Geek
- Memory
- CONCUR suite
- Dossier MDPH
- Remplir impots 2021: case 1GH; 720€
- Impots déclarations RSU/ESPP
- Appeler Patricia
- Livres Anna
- CNED Anna
- impots RSU/ESPP
#+Title:TODO
SPC y o c => DISPLAY org columns
Perso perso
Habits habit
TODO journal matin daily
SCHEDULED: <2021-05-13 Thu 09:00 .+1d>
- State "CANCELED" from "TODO" [2021-05-12 Wed 08:59]
- State "CANCELED" from "TODO" [2021-05-11 Tue 16:18]
- State "CANCELED" from "TODO" [2021-05-03 Mon 15:18]
- State "DONE" from "TODO" [2021-04-18 Sun 09:56]
- State "DONE" from "TODO" [2021-03-19 Fri 09:36]
- State "DONE" from "TODO" [2021-03-11 Thu 12:31]
- State "CANCELLED" from "TODO" [2021-03-06 Sat 09:00]
- State "CANCELED" from "TODO" [2021-01-25 Mon 15:03]
- State "CANCELED" from "TODO" [2021-01-18 Mon 14:26]
- State "CANCELED" from "TODO" [2021-01-04 Mon 15:52]
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:07]
- State "DONE" from "TODO" [2020-12-17 Thu 15:46]
- State "DONE" from "TODO" [2020-12-03 Thu 16:20]
- State "DONE" from "TODO" [2020-11-22 Sun 19:42]
- State "CANCELED" from "TODO" [2020-11-20 Fri 18:38]
- State "DONE" from "TODO" [2020-11-19 Thu 09:53]
- State "DONE" from "TODO" [2020-11-09 Mon 12:01]
- State "DONE" from "TODO" [2020-11-04 Wed 08:29]
- State "DONE" from "TODO" [2020-10-25 Sun 16:14]
- State "DONE" from "TODO" [2020-10-09 Fri 10:13]
- State "DONE" from "TODO" [2020-10-08 Thu 12:24]
- State "DONE" from "TODO" [2020-09-30 Wed 09:27]
- State "DONE" from "TODO" [2020-09-28 Mon 11:15]
- State "DONE" from "TODO" [2020-09-27 Sun 10:35]
- State "DONE" from "TODO" [2020-09-26 Sat 12:27]
- State "DONE" from "TODO" [2020-09-24 Thu 11:42]
CLOCK: [2020-09-24 Thu 11:41]–[2020-09-24 Thu 11:41] => 00:00
- State "DONE" from "TODO" [2020-09-23 Wed 07:27]
- State "DONE" from "TODO" [2020-09-22 Tue 08:25]
- State "DONE" from "TODO" [2020-09-21 Mon 09:49]
- State "DONE" from "TODO" [2020-09-20 Sun 08:03]
- State "DONE" from "TODO" [2020-09-15 Tue 10:08]
- State "DONE" from "TODO" [2020-09-14 Mon 14:07]
- State "DONE" from "TODO" [2020-09-11 Fri 09:08]
- State "DONE" from "TODO" [2020-09-10 Thu 09:17]
- State "DONE" from "TODO" [2020-09-08 Tue 11:19]
- State "DONE" from "TODO" [2020-09-07 Mon 15:25]
- State "DONE" from "TODO" [2020-09-04 Fri 10:18]
- State "DONE" from "TODO" [2020-09-01 Tue 10:06]
- State "DONE" from "TODO" [2020-08-30 Sun 11:46]
- State "DONE" from "TODO" [2020-08-29 Sat 11:49]
- State "DONE" from "TODO" [2020-08-27 Thu 10:14]
- State "DONE" from "TODO" [2020-08-25 Tue 09:43]
CLOCK: [2020-08-25 Tue 09:39]–[2020-08-25 Tue 09:43] => 00:04
- State "DONE" from "TODO" [2020-08-24 Mon 10:05]
- State "DONE" from "TODO" [2020-08-22 Sat 09:22]
- State "DONE" from "TODO" [2020-08-21 Fri 15:31]
- State "DONE" from "TODO" [2020-08-20 Thu 08:23]
- State "CANCELED" from "TODO" [2020-08-19 Wed 21:48]
- State "DONE" from "TODO" [2020-08-18 Tue 12:06]
- State "DONE" from "TODO" [2020-08-17 Mon 11:34]
- State "DONE" from "TODO" [2020-08-10 Mon 14:46]
- State "DONE" from "TODO" [2020-07-09 Thu 10:09]
- State "DONE" from "TODO" [2020-07-08 Wed 10:40]
- State "DONE" from "TODO" [2020-07-07 Tue 10:35]
- State "DONE" from "TODO" [2020-07-04 Sat 23:07]
- State "DONE" from "TODO" [2020-07-02 Thu 14:18]
- State "CANCELED" from "TODO" [2020-06-28 Sun 22:26]
Martigues - State "DONE" from "TODO" [2020-06-27 Sat 14:21]
- State "DONE" from "TODO" [2020-06-24 Wed 18:08]
- State "DONE" from "TODO" [2020-06-23 Tue 16:56]
- State "DONE" from "TODO" [2020-06-22 Mon 10:07]
- State "DONE" from "TODO" [2020-06-21 Sun 15:59]
- State "DONE" from "TODO" [2020-06-19 Fri 23:59]
- State "DONE" from "TODO" [2020-06-18 Thu 15:25]
- State "DONE" from "TODO" [2020-06-17 Wed 09:07]
- State "CANCELED" from "TODO" [2020-06-16 Tue 22:38]
forgot - State "DONE" from "TODO" [2020-06-15 Mon 14:05]
- State "DONE" from "TODO" [2020-06-14 Sun 13:00]
- State "DONE" from "TODO" [2020-06-13 Sat 10:20]
- State "DONE" from "TODO" [2020-06-12 Fri 08:43]
- State "DONE" from "TODO" [2020-06-11 Thu 10:22]
- State "DONE" from "TODO" [2020-06-10 Wed 13:06]
- State "CANCELED" from "TODO" [2020-06-09 Tue 19:58]
- State "CANCELED" from "TODO" [2020-06-07 Sun 23:37]
- State "DONE" from "TODO" [2020-06-06 Sat 23:59]
- State "DONE" from "TODO" [2020-06-05 Fri 09:07]
- State "DONE" from "TODO" [2020-06-04 Thu 10:42]
- State "DONE" from "TODO" [2020-06-03 Wed 22:26]
- State "DONE" from "TODO" [2020-06-02 Tue 15:10]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
- State "DONE" from "TODO" [2020-05-31 Sun 23:53]
- State "DONE" from "TODO" [2020-05-30 Sat 10:19]
- State "DONE" from "TODO" [2020-05-29 Fri 10:43]
- State "DONE" from "TODO" [2020-05-28 Thu 23:27]
- State "DONE" from "TODO" [2020-05-27 Wed 09:31]
- State "DONE" from "TODO" [2020-05-26 Tue 08:25]
- State "DONE" from "TODO" [2020-05-25 Mon 10:29]
- State "DONE" from "TODO" [2020-05-24 Sun 08:52]
- State "DONE" from "TODO" [2020-05-23 Sat 09:11]
- State "DONE" from "TODO" [2020-05-22 Fri 21:44]
- State "DONE" from "TODO" [2020-05-21 Thu 10:42]
- State "DONE" from "TODO" [2020-05-20 Wed 12:07]
- State "DONE" from "TODO" [2020-05-19 Tue 16:31]
- State "DONE" from "TODO" [2020-05-18 Mon 09:34]
- State "DONE" from "TODO" [2020-05-17 Sun 11:10]
- State "DONE" from "TODO" [2020-05-16 Sat 14:18]
- State "DONE" from "TODO" [2020-05-15 Fri 09:00]
- State "DONE" from "TODO" [2020-05-14 Thu 10:18]
- State "DONE" from "TODO" [2020-05-13 Wed 10:22]
- State "DONE" from "TODO" [2020-05-12 Tue 09:45]
TODO journal soir daily evening
SCHEDULED: <2020-12-27 Sun 22:00 .+1d>
- State "DONE" from "TODO" [2020-08-25 Tue 01:18]
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:08]
- State "DONE" from "TODO" [2020-09-20 Sun 22:31]
- State "DONE" from "TODO" [2020-08-19 Wed 21:48]
- State "DONE" from "TODO" [2020-07-07 Tue 23:41]
- State "DONE" from "TODO" [2020-06-20 Sat 23:59]
- State "DONE" from "TODO" [2020-06-19 Fri 23:59]
- State "DONE" from "TODO" [2020-06-17 Wed 23:04]
- State "DONE" from "TODO" [2020-06-16 Tue 22:38]
- State "DONE" from "TODO" [2020-06-12 Fri 23:59]
- State "DONE" from "TODO" [2020-06-11 Thu 23:44]
- State "DONE" from "TODO" [2020-06-09 Tue 22:23]
- State "DONE" from "TODO" [2020-06-07 Sun 23:39]
- State "DONE" from "TODO" [2020-06-04 Thu 23:07]
- State "DONE" from "TODO" [2020-06-02 Tue 23:57]
- State "DONE" from "TODO" [2020-05-31 Sun 23:59]
- State "DONE" from "TODO" [2020-05-30 Sat 23:59]
- State "DONE" from "TODO" [2020-05-29 Fri 23:39]
- State "DONE" from "TODO" [2020-05-28 Thu 23:27]
- State "DONE" from "TODO" [2020-05-27 Wed 20:39]
- State "DONE" from "TODO" [2020-05-26 Tue 23:39]
- State "DONE" from "TODO" [2020-05-25 Mon 21:57]
- State "DONE" from "TODO" [2020-05-23 Sat 08:45]
- State "DONE" from "TODO" [2020-05-22 Fri 21:44]
- State "DONE" from "TODO" [2020-05-19 Tue 22:48]
- State "DONE" from "TODO" [2020-05-17 Sun 23:59]
- State "DONE" from "TODO" [2020-05-16 Sat 23:59]
- State "DONE" from "TODO" [2020-05-15 Fri 23:59]
- State "DONE" from "TODO" [2020-05-13 Wed 23:57]
- State "DONE" from "TODO" [2020-05-12 Tue 23:28]
- State "DONE" from "TODO" [2020-05-12 Tue 09:37]
TODO weight daily
SCHEDULED: <2021-05-13 Thu 09:00 .+1d/3d>
- State "CANCELED" from "TODO" [2021-05-12 Wed 08:59]
- State "CANCELED" from "TODO" [2021-05-11 Tue 16:18]
- State "DONE" from "TODO" [2021-05-08 Sat 18:14]
- State "CANCELED" from "TODO" [2021-05-03 Mon 15:18]
- State "CANCELED" from "TODO" [2021-01-25 Mon 15:03]
- State "CANCELED" from "TODO" [2021-01-18 Mon 14:26]
- State "CANCELED" from "TODO" [2021-01-10 Sun 13:20]
- State "CANCELED" from "TODO" [2021-01-04 Mon 15:52]
- State "CANCELED" from "TODO" [2020-12-26 Sat 18:45]
- State "DONE" from "TODO" [2020-12-03 Thu 16:25]
- State "CANCELED" from "TODO" [2020-11-27 Fri 10:34]
- State "DONE" from "TODO" [2020-11-22 Sun 19:43]
- State "CANCELED" from "TODO" [2020-11-20 Fri 18:38]
- State "CANCELED" from "TODO" [2020-11-09 Mon 12:02]
- State "CANCELED" from "TODO" [2020-11-04 Wed 13:08]
- State "DONE" from "TODO" [2020-11-03 Tue 23:59]
- State "DONE" from "TODO" [2020-10-25 Sun 16:15]
- State "CANCELED" from "TODO" [2020-10-09 Fri 10:13]
- State "DONE" from "TODO" [2020-10-08 Thu 12:25]
- State "DONE" from "TODO" [2020-10-01 Thu 18:33]
- State "CANCELED" from "TODO" [2020-09-30 Wed 20:23]
- State "DONE" from "TODO" [2020-09-28 Mon 09:25]
- State "CANCELED" from "TODO" [2020-09-27 Sun 10:35]
- State "DONE" from "TODO" [2020-09-25 Fri 10:25]
- State "CANCELED" from "TODO" [2020-09-24 Thu 11:30]
- State "DONE" from "TODO" [2020-09-23 Wed 12:06]
- State "DONE" from "TODO" [2020-09-22 Tue 09:26]
- State "DONE" from "TODO" [2020-09-21 Mon 09:50]
- State "CANCELED" from "TODO" [2020-09-20 Sun 11:14]
- State "DONE" from "TODO" [2020-09-19 Sat 11:05]
- State "CANCELED" from "TODO" [2020-09-15 Tue 10:08]
- State "CANCELED" from "TODO" [2020-09-14 Mon 14:08]
- State "CANCELED" from "TODO" [2020-09-11 Fri 15:05]
- State "CANCELED" from "TODO" [2020-09-10 Thu 09:17]
- State "CANCELED" from "TODO" [2020-09-07 Mon 15:26]
- State "DONE" from "TODO" [2020-09-05 Sat 10:10]
- State "CANCELED" from "TODO" [2020-09-03 Thu 14:31]
- State "CANCELED" from "TODO" [2020-09-01 Tue 10:06]
- State "DONE" from "TODO" [2020-08-30 Sun 11:45]
- State "CANCELED" from "TODO" [2020-08-29 Sat 11:49]
- State "DONE" from "TODO" [2020-08-27 Thu 10:15]
- State "DONE" from "TODO" [2020-08-25 Tue 09:25]
- State "DONE" from "TODO" [2020-08-24 Mon 09:44]
- State "CANCELED" from "TODO" [2020-08-22 Sat 13:51]
- State "DONE" from "TODO" [2020-08-21 Fri 15:26]
- State "DONE" from "TODO" [2020-08-20 Thu 09:45]
- State "DONE" from "TODO" [2020-08-19 Wed 10:46]
- State "CANCELED" from "TODO" [2020-08-18 Tue 12:07]
- State "DONE" from "TODO" [2020-08-17 Mon 11:34]
- State "DONE" from "TODO" [2020-08-11 Tue 12:53]
- State "DONE" from "TODO" [2020-08-10 Mon 14:47]
- State "DONE" from "TODO" [2020-07-09 Thu 10:07]
- State "DONE" from "TODO" [2020-07-07 Tue 10:20]
- State "DONE" from "TODO" [2020-07-02 Thu 10:46]
- State "DONE" from "TODO" [2020-06-29 Mon 13:43]
- State "CANCELED" from "TODO" [2020-06-28 Sun 22:26]
Martigues - State "CANCELED" from "TODO" [2020-06-27 Sat 14:19]
martigues - State "DONE" from "TODO" [2020-06-25 Thu 15:15]
- State "CANCELED" from "TODO" [2020-06-24 Wed 18:05]
forgot - State "DONE" from "TODO" [2020-06-23 Tue 16:57]
- State "DONE" from "TODO" [2020-06-22 Mon 09:42]
- State "DONE" from "TODO" [2020-06-21 Sun 15:54]
- State "DONE" from "TODO" [2020-06-20 Sat 23:59]
- State "DONE" from "TODO" [2020-06-19 Fri 10:50]
- State "DONE" from "TODO" [2020-06-18 Thu 11:12]
- State "DONE" from "TODO" [2020-06-17 Wed 09:04]
- State "DONE" from "TODO" [2020-06-16 Tue 10:31]
- State "DONE" from "TODO" [2020-06-15 Mon 10:27]
- State "DONE" from "TODO" [2020-06-14 Sun 10:15]
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
- State "DONE" from "TODO" [2020-06-12 Fri 08:37]
- State "DONE" from "TODO" [2020-06-11 Thu 09:56]
- State "DONE" from "TODO" [2020-06-10 Wed 10:50]
- State "CANCELED" from "TODO" [2020-06-09 Tue 19:58]
- State "DONE" from "TODO" [2020-06-08 Mon 10:55]
- State "CANCELED" from "TODO" [2020-06-07 Sun 11:14]
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:47]
week-end Martigues - State "DONE" from "TODO" [2020-06-05 Fri 10:56]
- State "DONE" from "TODO" [2020-06-04 Thu 10:39]
- State "DONE" from "TODO" [2020-06-03 Wed 10:11]
- State "DONE" from "TODO" [2020-06-02 Tue 11:23]
- State "DONE" from "TODO" [2020-06-01 Mon 16:05]
- State "DONE" from "TODO" [2020-05-31 Sun 11:46]
- State "DONE" from "TODO" [2020-05-30 Sat 10:31]
- State "DONE" from "TODO" [2020-05-28 Thu 09:47]
- State "DONE" from "TODO" [2020-05-27 Wed 09:32]
- State "DONE" from "TODO" [2020-05-26 Tue 10:00]
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
- State "DONE" from "TODO" [2020-05-24 Sun 10:28]
- State "CANCELED" from "TODO" [2020-05-23 Sat 23:59]
not today
Date | Weight | Graph |
---|---|---|
[2020-05-23 Sat] | 71 | ▉▉▉▉▉▉▌ |
[2020-05-24 Sun] | 71 | ▉▉▉▉▉▉▌ |
[2020-05-25 Mon] | 71 | ▉▉▉▉▉▉▌ |
[2020-05-26 Tue] | 71 | ▉▉▉▉▉▉▌ |
[2020-05-27 Wed] | 70 | ▉▉▉▉▉▉ |
[2020-05-27 Wed] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-05-30 Sat] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-06-01 Mon] | 70 | ▉▉▉▉▉▉ |
[2020-05-31 Sun] | 70 | ▉▉▉▉▉▉ |
[2020-06-01 Mon] | 70 | ▉▉▉▉▉▉ |
[2020-06-02 Tue] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-06-03 Wed] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-06-04 Thu] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-06-05 Fri] | 70 | ▉▉▉▉▉▉ |
[2020-06-08 Mon] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-06-10 Wed] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-06-11 Thu] | 70 | ▉▉▉▉▉▉ |
[2020-06-12 Fri] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-06-13 Sat] | 71 | ▉▉▉▉▉▉▌ |
[2020-06-14 Sun] | 70 | ▉▉▉▉▉▉ |
[2020-06-15 Mon] | 70 | ▉▉▉▉▉▉ |
[2020-06-16 Tue] | 70 | ▉▉▉▉▉▉ |
[2020-06-17 Wed] | 70 | ▉▉▉▉▉▉ |
[2020-06-18 Thu] | 70 | ▉▉▉▉▉▉ |
[2020-06-19 Fri] | 70 | ▉▉▉▉▉▉ |
[2020-06-20 Sat] | 70 | ▉▉▉▉▉▉ |
[2020-06-21 Sun] | 70 | ▉▉▉▉▉▉ |
[2020-06-22 Mon] | 69.5 | ▉▉▉▉▉▋ |
[2020-06-23 Tue] | 70 | ▉▉▉▉▉▉ |
[2020-06-25 Thu] | 70 | ▉▉▉▉▉▉ |
[2020-06-29 Mon] | 70 | ▉▉▉▉▉▉ |
[2020-07-02 Thu] | 70 | ▉▉▉▉▉▉ |
[2020-07-07 Tue] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-07-09 Thu] | 70.5 | ▉▉▉▉▉▉▎ |
[2020-08-10 Mon] | 69.5 | ▉▉▉▉▉▋ |
[2020-08-11 Tue] | 69.5 | ▉▉▉▉▉▋ |
[2020-08-17 Mon] | 69.5 | ▉▉▉▉▉▋ |
[2020-08-19 Wed] | 70 | ▉▉▉▉▉▉ |
[2020-08-20 Thu] | 69 | ▉▉▉▉▉▍ |
[2020-08-21 Fri] | 69.5 | ▉▉▉▉▉▋ |
[2020-08-24 Mon] | 69.5 | ▉▉▉▉▉▋ |
[2020-08-25 Tue] | 69.5 | ▉▉▉▉▉▋ |
[2020-08-27 Thu] | 69.5 | ▉▉▉▉▉▋ |
[2020-08-30 Sun] | 69.5 | ▉▉▉▉▉▋ |
[2020-08-31 Mon] | 69 | ▉▉▉▉▉▍ |
[2020-09-04 Fri] | 70 | ▉▉▉▉▉▉ |
[2020-09-05 Sat] | 70 | ▉▉▉▉▉▉ |
[2020-09-19 Sat] | 70 | ▉▉▉▉▉▉ |
[2020-09-21 Mon] | 69.5 | ▉▉▉▉▉▋ |
[2020-09-22 Tue] | 69 | ▉▉▉▉▉▍ |
[2020-09-22 Tue] | 70 | ▉▉▉▉▉▉ |
[2020-09-25 Fri] | 69.5 | ▉▉▉▉▉▋ |
[2020-09-28 Mon] | 70 | ▉▉▉▉▉▉ |
[2020-09-28 Mon] | 69 | ▉▉▉▉▉▍ |
[2020-10-01 Thu] | 69 | ▉▉▉▉▉▍ |
[2020-10-08 Thu] | 69.5 | ▉▉▉▉▉▋ |
[2020-10-25 Sun] | 70 | ▉▉▉▉▉▉ |
[2020-11-03 Tue] | 69.5 | ▉▉▉▉▉▋ |
[2020-11-22 Sun] | 70 | ▉▉▉▉▉▉ |
[2020-12-03 Thu] | 71 | ▉▉▉▉▉▉▌ |
[2021-01-20 Wed] | 70 | ▉▉▉▉▉▉ |
[2021-03-01 Mon] | 72 | ▉▉▉▉▉▉▉▏ |
[2021-05-08 Sat] | 70 | ▉▉▉▉▉▉ |
Maybe maybe
IN-PROGRESS
Write long letter(s) [1/9]
SCHEDULED: <2021-03-20 Sat> [2020-07-12 Sun 19:40] source :: https://news.ycombinator.com/item?id=23812288
TODO Long Letter to George Varouchas
TODO Long Letter to Vincent Vanekere
TODO Long Letter to Sarah Zennou
TODO Long Letter to Bruno Chapelle
TODO Long Letter to Vincent Bernardi
DONE Long Letter to Alexandre Delanoë
CLOSED: [2020-08-30 Sun 11:52]
TODO Maybe to colleagues
TODO Maybe to some interresting people on the Internet
Films film fun
TODO [C] Films conseillés par Ezequiel
[2020-08-23 Sun 17:33]
- ultime souper
- the rock
CANCELED Jouer à trinity [2020-06-13 Sat 12:45] fun
- State "CANCELED" from "TODO" [2020-12-03 Thu 09:27]
TODO A List of Foundational Haskell Papers
History [0/1]
The Beginning: The Eugenio Moggi Papers [0/4]
Propositions as Types [0/1]
Haskell Semantics and Design Spaces [0/13]
- Semantics - How to make ad hoc polymorphism less ad hoc
- Type Classes
- An Exploration of the Design space of Type Classes
- A Generic Deriving Mechanism for Haskell
- True Sums of Products
- Functional Dependencies
- Rank-n Types
- Typing Haskell in Haskell
- Type Families
- Type Families pt. 2
- GADTs - First Class Modules in Haskell
- Kind Promotion
- Kleisli Arrows of Outrageous Fortune
Under the Hood (Where the sausage is made) [0/7]
Type Systems and Lambda Calculi [0/7]
Misc Parametricity [1/5]
Misc TypeChecking + PLT [0/10]
- Parametric HOAS
- Tutorial on Bidirectional Type Inference
- Tutorial Implementation of Dependent Types
- Pfenning's Notes on Bidirectional Type Inference
- EdK's
bound
Library Comparisons - Bidirectional Typechecking for Higher Rank Polymorphism
- Tutorial Implementation of Hindley-Milner
- De Bruijn Indices
- The Stitch Type Checker
- Boxes go Bananas
Functional pearls [0/7]
TODO [C] Enhance quality of hosting, switch to NixOS geek
TODO [C] Wakatime server clone idea geek
See doc at: https://wakatime.com/developers
Famille family
Daily daily
Weekly weekly
TODO litieres
DEADLINE: <2021-05-19 Wed .+2w -1d>
- State "CANCELED" from "TODO" [2021-05-05 Wed 10:18]
- State "DONE" from "TODO" [2021-04-07 Wed 16:30]
- State "DONE" from "TODO" [2021-02-28 Sun 12:01]
- State "DONE" from "TODO" [2021-01-18 Mon 14:26]
- State "DONE" from "TODO" [2021-01-04 Mon 15:49]
- State "DONE" from "TODO" [2020-11-27 Fri 10:32]
- State "DONE" from "TODO" [2020-11-05 Thu 15:43]
- State "DONE" from "TODO" [2020-10-23 Fri 10:22]
- State "DONE" from "TODO" [2020-10-08 Thu 11:18]
- State "DONE" from "TODO" [2020-09-11 Fri 09:07]
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "DONE" from "TODO" [2020-05-19 Tue 22:04]
- State "DONE" from "TODO" [2020-08-22 Sat 09:18]
- State "DONE" from "TODO" [2020-06-21 Sun 16:00]
- State "CANCELED" from "TODO" [2020-06-15 Mon 10:28]
Done not so long ago
TODO bricolage - si besoin
SCHEDULED: <2021-05-31 Mon .+1w>
- State "DONE" from "TODO" [2020-08-24 Mon 08:57]
- State "DONE" from "TODO" [2021-05-24 Mon 15:03]
- State "CANCELED" from "TODO" [2021-05-03 Mon 15:18]
- State "DONE" from "TODO" [2021-04-02 Fri 12:04]
- State "DONE" from "TODO" [2021-03-07 Sun 20:12]
- State "DONE" from "TODO" [2021-02-28 Sun 12:02]
- State "DONE" from "TODO" [2021-01-12 Tue 10:06]
- State "DONE" from "TODO" [2021-01-04 Mon 15:53]
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:11]
- State "DONE" from "TODO" [2020-12-03 Thu 16:25]
- State "DONE" from "TODO" [2020-11-22 Sun 19:43]
- State "DONE" from "TODO" [2020-11-13 Fri 15:59]
- State "DONE" from "TODO" [2020-11-04 Wed 13:08]
- State "CANCELED" from "TODO" [2020-10-08 Thu 12:26]
- State "DONE" from "TODO" [2020-09-28 Mon 09:25]
- State "DONE" from "TODO" [2020-09-20 Sun 22:30]
- State "CANCELED" from "TODO" [2020-09-11 Fri 15:06]
- State "DONE" from "TODO" [2020-09-01 Tue 10:07]
- State "DONE" from "TODO" [2020-08-17 Mon 12:18]
- State "DONE" from "TODO" [2020-07-07 Tue 10:19]
- State "CANCELED" from "TODO" [2020-06-29 Mon 13:44]
Week-end Martigues - State "DONE" from "TODO" [2020-06-22 Mon 10:07]
- State "DONE" from "TODO" [2020-06-15 Mon 10:28]
-
State "CANCELED" from "TODO" [2020-06-06 Sat 10:48] \\
position ease box interval due front 2.50 1 0.01 2020-06-05T09:11:17Z - State "CANCELED" from "TODO" [2020-05-30 Sat 23:59]
pas besoin - State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:24]
TODO commander les légumes et les fruits
SCHEDULED: <2021-05-20 Thu ++1w>
- State "DONE" from "TODO" [2021-05-13 Thu 09:00]
- State "CANCELED" from "TODO" [2021-05-03 Mon 08:18]
- State "CANCELLED" from "TODO" [2021-05-02 Sun 08:11]
- State "DONE" from "TODO" [2021-04-20 Tue 10:06]
- State "DONE" from "TODO" [2021-04-02 Fri 12:04]
- State "DONE" from "IN-PROGRESS" [2021-03-11 Thu 12:27]
- State "DONE" from "TODO" [2021-03-06 Sat 09:00]
- State "DONE" from "TODO" [2021-02-28 Sun 12:00]
- State "DONE" from "TODO" [2021-02-01 Mon 10:12]
- State "DONE" from "TODO" [2021-01-25 Mon 15:00]
- State "CANCELED" from "TODO" [2021-01-18 Mon 14:26]
- State "CANCELED" from "TODO" [2021-01-10 Sun 13:19]
- State "CANCELED" from "TODO" [2021-01-04 Mon 15:50]
- State "DONE" from "TODO" [2020-12-26 Sat 18:45]
- State "DONE" from "TODO" [2020-12-17 Thu 15:44]
- State "DONE" from "TODO" [2020-12-03 Thu 15:42]
- State "DONE" from "TODO" [2020-11-23 Mon 11:17]
- State "DONE" from "TODO" [2020-11-13 Fri 15:58]
- State "DONE" from "TODO" [2020-11-09 Mon 11:58]
- State "DONE" from "TODO" [2020-11-03 Tue 23:22]
- State "DONE" from "TODO" [2020-10-25 Sun 16:09]
- State "CANCELED" from "TODO" [2020-10-08 Thu 11:25]
- State "DONE" from "TODO" [2020-10-01 Thu 17:51]
[2020-10-01 Thu 08:34]
Yearly yearly
TODO [A] revision chaudiere
DEADLINE: <2022-02-15 Tue +1y -2w>
- State "DONE" from "IN-PROGRESS" [2021-03-06 Sat 23:48]
[2020-05-23 Sat 10:26]
TODO vaccination leichmaniose Oslo
DEADLINE: <2022-01-20 Thu +1y>
- State "DONE" from "TODO" [2021-01-18 Mon 14:25]
[2020-05-23 Sat 10:27]
TODO Nettoyage barbecue
SCHEDULED: <2022-09-19 Mon +1y>
[2020-05-23 Sat 10:32]
TODO [A] Cadeau Rencontre Krystelle (1995) yearly
DEADLINE: <2022-04-08 Fri +1y -2w>
TODO [A] Cadeau Mariage Krystelle (2000) yearly
DEADLINE: <2021-08-12 Thu +1y -2w>
- State "DONE" from "TODO" [2020-08-10 Mon 12:19]
TODO [A] Cadeau Anniversaire Krystelle yearly
DEADLINE: <2022-04-26 Tue +1y -2w>
Fête des mères
[2020-06-07 Sun]
[2021-05-30 Sun]
TODO [A] Acheter cadeau fête des mères Krystelle krystelle
DEADLINE: <2021-05-30 Sun -2w>
TODO [A] Acheter cadeau fête des mères Maman
DEADLINE: <2021-05-30 Sun -2w>
[2022-06-07 Tue]
TODO [A] Acheter cadeau fête des mères Krystelle krystelle
DEADLINE: <2022-05-29 Sun -2w>
TODO [A] Acheter cadeau fête des mères Maman
DEADLINE: <2022-05-30 Mon -2w>
TODO Appeler Thierry
DEADLINE: <2022-01-04 Tue +1y>
- State "DONE" from "TODO" [2021-02-28 Sun 11:56]
- State "DONE" from "TODO" [2021-02-28 Sun 11:55]
- State "DONE" from "TODO" [2021-01-07 Thu 11:52]
[2020-12-26 Sat 13:03]
Krystelle krystelle
Anna anna
Bastien bastien
Geek fun
TODO
[C]
my experience/story about blog post serie [0/2]
blog
Explain the story and how I forged some opinions. A few ideas:
- scrum
- text editor
- colorschemes
- web development
- programming languages
- note taking
- research
- cooking
- weight, sport, fit
- intelligence, smartness
- writing
- reading
TODO [C] how I use nix blog
[2020-05-21 Thu 18:48]
- as a better brew + sync local env
- for reproductible dev
- for reproductible shell scripts
- for reproductible haskell dev
- for reproductible purescript dev
TODO [C] how I use org-mode blog
CLOCK: [2020-09-21 Mon 12:54]–[2020-09-21 Mon 13:04] => 0:10
org-mode for documents
org babel (ob-http), scripts, etc…
org journal
org roam
org-fc
org-mode for tasks management
org agenda
org capture
org clocking
org refile
org habit
org-mode for note taking
org-journal
org-roam
org-fc
TODO l'Ordre
DONE Send letter to Alexandre
DONE Send letter to Ezequiel
TODO Send letter to Guillaume Ereteo
TODO Send letter to older friend
GEEK journal matin perso
CLOCK: [2020-09-29 Tue 09:43]–[2020-09-29 Tue 09:48] => 0:05
[2020-09-29 Tue 09:42] ref :: journal matin
TODO migrate yannesposito.com to the new blog system, keep old URL valid
[2020-11-15 Sun 10:58]
- ref
Memory
client TG dans le config.edn fc cisco
position | ease | box | interval | due |
---|---|---|---|---|
front | 3.25 | 7 | 449.62 | 2022-04-20T04:53:05Z |
Ne pas oublier le client de TG est dans le config.edn
Searh within org notes fc org
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.65 | 7 | 289.32 | 2021-11-04T20:35:12Z |
helm-org-rifle
(SPC y o s
)
update [/]
and [%]
in org mode fc org
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.35 | 7 | 265.02 | 2021-10-17T14:36:23Z |
use SPC m #
(org-update-statistics-cookies
)
projectile toggle from implementation to test file fc
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.65 | 7 | 287.31 | 2021-11-08T21:22:55Z |
SPC p y
Create inactive timestmap ([DATE]) fc org doom
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.65 | 6 | 117.50 | 2021-03-16T20:55:04Z |
CLOCK: [2020-09-01 Tue 12:13]–[2020-09-01 Tue 12:13] => 0:00
[2020-09-01 Tue 12:13]
SPC m d T
Clone sub tree with time shift fc
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.35 | 3 | 6.00 | 2021-01-31T14:02:51Z |
org-clone-subtree-with-time-shift
maxims
[2021-05-13 Thu 10:28]
Syntactic sugar causes cancer of the semicolon.
Alan Perlis's maxim. From Software Design for Flexibility.
TODO CONCUR suite
SCHEDULED: <2021-05-12 Wed> [2021-05-10 Mon 14:34]
- ref
-
Actions:
COMMENT - Concur System: Line 7: (COVID-19 WFH Expenses, 29.99 EUR) -
All Line items.
Expense Audit Finding - your action required. We are returning this expense report because it is an incorrect use of this expense type. We are aware of the Lisa Hall email announcing that Al Huger’s team may submit home internet. Unfortunately, the correct procedure to submit home internet was not included in the announcement. We have asked that they send a correction email. In the meantime, please follow the steps below to submit utilizing the correct Home Internet Expense Type as outlined in the Home Internet Policy.
Step 1: Request Home Internet approval via eStore: • Log into eStore (estore.cisco.com) • Search for Services: Home Internet Access – Approval • Select “Order” and follow prompts. Once VP-Approval is obtained, wait 48 hours before submitting report in SAP Concur.
Once approved:
- Log into SAP Concur (concur.cisco.com)
- From the Home Screen, press “Start a report”
- Fill out all information on the Report Header screen, Press “Create Report” when completed.
- Select “Add Expense”
- Select “Create New Expense”
- Select Expense Type: “Home Internet Service” under Expense Types section 5. Phones and Internet
- Transaction Date: Equal to the billing date of your home internet statement. (ONE PER MONTH, AND NOT PRIOR approval date within eStore)
- Input: Merchant Name (your home internet provider)
- Input: City of Purchase (City you live in)
- Amount: The amount of your billing statement, not to exceed $100 USD (or country limit)
- Attach Receipt (with monthly billing statement clearly visible)
- Press SAVE
- Submit your report.
- The Amount will charged to the employee’s departmental budget. Manager approval is required for all Expense Reports.
Regards, GEMS Team.
DONE Dossier MDPH chore
CLOCK: [2021-05-11 Tue 10:03]–[2021-05-11 Tue 11:33] => 1:30
[2021-05-11 Tue 11:03]
DONE Remplir impots 2021: case 1GH; 720€ family
DEADLINE: <2021-05-16 Sun> SCHEDULED: <2021-05-13 Thu>
CLOCK: [2021-05-12 Wed 10:58]–[2021-05-12 Wed 11:03] => 0:05
[2021-05-11 Tue 14:54]
DONE Impots déclarations RSU/ESPP chore
DEADLINE: <2021-05-18 Tue 16:00>
CLOCK: [2021-05-12 Wed 11:03]–[2021-05-12 Wed 14:59] => 3:56
[2021-05-12 Wed 11:03]
DONE Appeler Patricia
SCHEDULED: <2021-05-14 Fri 11:00> [2021-05-13 Thu 20:37]
DONE Livres Anna
SCHEDULED: <2021-05-14 Fri 10:00> [2021-05-13 Thu 20:38]
TODO CNED Anna
SCHEDULED: <2021-05-14 Fri 11:00> [2021-05-13 Thu 20:38]
DONE impots RSU/ESPP chore
CLOCK: [2021-05-19 Wed 13:41]–[2021-05-19 Wed 15:49] => 2:08
[2021-05-19 Wed 13:41]
RSU 2020
2020-07-15: moins value -$19 2020-07-15: moins value -$74 2020-07-15: plus value $98 2020-01-02: moins value -$20.70 2020-01-02: plus value $45.38
ESPP 2020
30/06/2020 => Prix d'achat FMV (Aquisition Fair Market Value): $46.6400 Prix de vente: 05/08/2020 => $47.4918 Nombre d'actions: 70 Conversion EUR: 0.84
Plus value en €: 70x(47.4918 - 46.6400)*0.84 => 50.08€
=> Sale - 002873 - 01/02/2020
FMV: $47.9600 Sale Price: $47.9850 Conversion EUR: 0.88 NB Actions: 85
Plus value en €: 85 * (47.9850 - 47.9600) * 0.88 => 1.87€