46 KiB
- Obligations Personnelles
- Famille
- Révision Twingo
- Check video HR Focus declaration revenu
- Certificat Ophtalmo en Anglais Bastien
- acheter bouffe animaux
- Daily
- Weekly
- Yearly
- Envoyer les factures à Mercer
- Envoyer papiers mercer
- Envoie des factures Mercer
- Article 83 Impots
- Ranger placard entree
- Remplir fiche Atrium conseil classe Anna
- Virement 270€ Basso
- Virements LCL
- Envoyer Facture Kine Krystelle
- Fun
- Work
- Maybe
- Jouer à trinity
- A List of Foundational Haskell Papers
- A Quick Note about Licensing
- 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
[0/5]
- Misc TypeChecking + PLT
[0/10]
- Functional pearls
[0/7]
- Algebra of programming
[0/6]
- History
- A Quick Note about Licensing
- Split .spacemacs in a .spacemacs.d dir it starts to be big
- Enhance quality of hosting, switch to NixOS
- Wakatime server clone
- MEMORY
#+Title:TODO
SPC o v c => DISPLAY org columns
Obligations Personnelles perso
Dentiste
DONE RDV Dentiste
CLOSED: [2020-05-27 Wed 21:47] SCHEDULED: <2020-05-27 Wed 12:00>
Habits habit
TODO journal matin daily
SCHEDULED: <2020-06-14 Sun 09:00 .+1d>
- 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 d-m daily
SCHEDULED: <2020-06-14 Sun 09:30 .+1d>
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
- State "DONE" from "TODO" [2020-06-11 Thu 10:22]
- State "DONE" from "TODO" [2020-06-10 Wed 10:52]
- State "CANCELED" from "TODO" [2020-06-09 Tue 19:58]
- State "DONE" from "TODO" [2020-06-08 Mon 10:55]
- State "DONE" 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 10:56]
- State "DONE" from "TODO" [2020-06-04 Thu 10:39]
- State "DONE" from "TODO" [2020-06-03 Wed 19:47]
- State "DONE" from "TODO" [2020-06-02 Tue 15:11]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
- State "DONE" from "TODO" [2020-05-31 Sun 23:52]
- State "DONE" from "TODO" [2020-05-30 Sat 14:22]
- State "DONE" from "TODO" [2020-05-29 Fri 10:36]
- State "DONE" from "TODO" [2020-05-28 Thu 09:47]
- State "DONE" from "TODO" [2020-05-27 Wed 09:47]
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
- State "DONE" from "TODO" [2020-05-24 Sun 13:56]
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
- 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 20:28]
- State "DONE" from "TODO" [2020-05-19 Tue 13:26]
- State "DONE" from "TODO" [2020-05-18 Mon 09:33]
- State "DONE" from "TODO" [2020-05-17 Sun 17:17]
- State "DONE" from "TODO" [2020-05-16 Sat 23:58]
- State "DONE" from "TODO" [2020-05-15 Fri 12:07]
- State "DONE" from "TODO" [2020-05-14 Thu 10:47]
- State "DONE" from "TODO" [2020-05-13 Wed 10:31]
- State "DONE" from "TODO" [2020-05-12 Tue 09:45]
TODO d-s daily
SCHEDULED: <2020-06-13 Sat 21:30 .+1d>
- State "DONE" from "TODO" [2020-06-10 Wed 22:07]
- 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:22]
- State "DONE" 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 23:59]
- State "DONE" from "TODO" [2020-06-04 Thu 23:05]
- State "DONE" from "TODO" [2020-06-03 Wed 22:27]
- State "DONE" from "TODO" [2020-06-02 Tue 22:11]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
- State "DONE" from "TODO" [2020-05-31 Sun 23:52]
- State "DONE" from "TODO" [2020-05-30 Sat 23:59]
- State "DONE" from "TODO" [2020-05-29 Fri 23:31]
- State "DONE" from "TODO" [2020-05-28 Thu 23:27]
- State "DONE" from "TODO" [2020-05-27 Wed 21:47]
- State "DONE" from "TODO" [2020-05-26 Tue 23:16]
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
- State "DONE" from "TODO" [2020-05-22 Fri 09:00]
- State "DONE" from "TODO" [2020-05-21 Thu 22:49]
- State "DONE" from "TODO" [2020-05-19 Tue 22:04]
- State "DONE" from "TODO" [2020-05-18 Mon 20:52]
- State "DONE" from "TODO" [2020-05-17 Sun 23:59]
- State "DONE" from "TODO" [2020-05-16 Sat 00:15]
- State "DONE" from "TODO" [2020-05-13 Wed 21:18]
TODO journal soir daily
SCHEDULED: <2020-06-13 Sat 22:00 .+1d>
- 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 [C] org-fc-review daily
SCHEDULED: <2020-06-14 Sun .+1d>
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
- State "DONE" from "TODO" [2020-06-12 Fri 08:41]
- State "DONE" from "TODO" [2020-06-11 Thu 23:44]
- State "DONE" from "TODO" [2020-06-10 Wed 10:58]
- State "DONE" from "TODO" [2020-06-09 Tue 20:00]
- State "DONE" from "TODO" [2020-06-08 Mon 10:56]
- State "DONE" from "TODO" [2020-06-07 Sun 11:14]
- State "DONE" from "TODO" [2020-06-06 Sat 10:48]
- State "DONE" from "TODO" [2020-06-05 Fri 10:57]
- State "DONE" from "TODO" [2020-06-04 Thu 10:42]
- State "DONE" from "TODO" [2020-06-03 Wed 10:12]
- State "DONE" from "TODO" [2020-06-02 Tue 21:30]
- State "DONE" from "TODO" [2020-06-01 Mon 16:06]
- State "DONE" from "TODO" [2020-05-31 Sun 12:00]
- State "DONE" from "TODO" [2020-05-30 Sat 23:59]
- State "DONE" from "TODO" [2020-05-29 Fri 23:31]
- State "DONE" from "TODO" [2020-05-28 Thu 23:29]
- State "DONE" from "TODO" [2020-05-27 Wed 20:33]
- State "DONE" from "TODO" [2020-05-26 Tue 23:17]
- State "DONE" from "TODO" [2020-05-25 Mon 21:50]
- State "DONE" from "TODO" [2020-05-24 Sun 15:09]
- State "DONE" from "TODO" [2020-05-23 Sat 09:38]
TODO weight daily
SCHEDULED: <2020-06-15 Mon 09:00 .+1d/3d>
- 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 | ▉▉▉▉▉▉ |
TODO floss
SCHEDULED: <2020-06-06 Sat .+1d/3d>
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59]
week-end Martigues - State "DONE" from "TODO" [2020-06-03 Wed 10:12]
- State "DONE" from "TODO" [2020-06-02 Tue 23:56]
- State "DONE" from "TODO" [2020-05-29 Fri 23:31]
- State "DONE" from "TODO" [2020-05-27 Wed 20:35]
- State "DONE" from "TODO" [2020-05-21 Thu 22:50]
- State "DONE" from "TODO" [2020-05-21 Thu 22:49]
- State "DONE" from "TODO" [2020-05-21 Thu 22:49]
- State "DONE" from "TODO" [2020-05-12 Tue 09:45]
TODO Pass time to write the text of some blog post/essay blog
SCHEDULED: <2020-06-14 Sun .+1w>
[2020-06-13 Sat 14:26]
Médicaments health
TODO Traitement pieds
SCHEDULED: <2020-06-05 Fri +1d>
- State "DONE" from "TODO" [2020-06-07 Sun 23:39]
- State "DONE" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:47]
week-end Martigues - State "CANCELED" from "TODO" [2020-06-05 Fri 23:59]
week-end Martigues - State "DONE" from "TODO" [2020-05-31 Sun 23:52]
- State "DONE" from "TODO" [2020-05-30 Sat 23:59]
- State "DONE" from "TODO" [2020-05-29 Fri 23:01]
TODO Check Maybe TODO list
SCHEDULED: <2020-07-13 Mon .+1m> [2020-06-13 Sat 12:47]
Famille family
TODO Révision Twingo car
DONE Appeler Speedy
CLOSED: [2020-05-28 Thu 15:33]
DONE Confirmer RDV Speedy
CLOSED: [2020-06-10 Wed 11:01]
- State "DONE" from "WAITING" [2020-06-10 Wed 11:01]
- State "WAITING" from "TODO" [2020-05-28 Thu 15:32]
attend retour de mail de Speedy
CANCELED Relancer Speedy si mail non reçu
CLOSED: [2020-05-29 Fri 23:01] DEADLINE: <2020-06-04 Thu>
- State "CANCELED" from "TODO" [2020-05-29 Fri 23:01]
Ils ont répondu
DONE Aller RDV Speedy
CLOSED: [2020-06-13 Sat 14:28]
- State "IN-PROGRESS" from "WAITING" [2020-06-12 Fri 08:39]
TODO [A] Prendre RDV Controle Technique
DEADLINE: <2020-06-15 Mon 14:00>
- State "TODO" from "WAITING" [2020-06-12 Fri 23:59]
WAITING Aller RDV Controle Technique
DONE Check video HR Focus declaration revenu family
CLOSED: [2020-06-10 Wed 11:01] [2020-05-19 Tue 10:24] https://cisco.webex.com/cisco/lsr.php?RCID=3c39ccc4f5da433d90e625fe34173120
TODO Certificat Ophtalmo en Anglais Bastien bastien
DEADLINE: <2020-08-23 Sun> [2020-05-23 Sat 10:28]
TODO acheter bouffe animaux family
[2020-05-23 Sat 10:25]
Daily daily
TODO lit + aerer
SCHEDULED: <2020-06-15 Mon 09:00 .+1d>
- State "DONE" from "TODO" [2020-06-11 Thu 08:48]
- State "DONE" from "TODO" [2020-06-14 Sun 10:15]
- State "DONE" from "TODO" [2020-06-13 Sat 09:31]
- State "DONE" from "TODO" [2020-06-12 Fri 08:37]
- State "DONE" from "TODO" [2020-06-10 Wed 10:49]
- State "DONE" from "TODO" [2020-06-09 Tue 19:58]
- State "HANDLED" from "TODO" [2020-06-08 Mon 10:54]
K - State "CANCELLED" from "TODO" [2020-06-07 Sun 09:48]
- State "DONE" from "TODO" [2020-06-06 Sat 10:47]
- State "DONE" from "TODO" [2020-06-05 Fri 10:55]
- State "DONE" from "TODO" [2020-06-04 Thu 10:38]
- State "DONE" from "TODO" [2020-06-03 Wed 10:11]
- State "DONE" from "TODO" [2020-06-02 Tue 11:18]
- State "DONE" from "TODO" [2020-06-01 Mon 12:20]
- State "DONE" from "TODO" [2020-05-31 Sun 11:40]
- State "DONE" from "TODO" [2020-05-30 Sat 10:19]
- State "CANCELED" from "TODO" [2020-05-29 Fri 10:36]
fait par Krystelle - State "CANCELED" from "TODO" [2020-05-28 Thu 09:46]
fait par Krystelle - State "DONE" from "TODO" [2020-05-27 Wed 20:31]
- State "DONE" from "TODO" [2020-05-26 Tue 09:59]
- State "DONE" from "TODO" [2020-05-25 Mon 10:29]
[2020-05-23 Sat 10:08]
TODO Sortir Oslo matin
SCHEDULED: <2020-06-15 Mon 09:00 +1d>
- State "DONE" from "TODO" [2020-06-11 Thu 08:48]
- State "HANDLED" from "TODO" [2020-06-14 Sun 10:14]
Bastien - State "DONE" from "TODO" [2020-06-13 Sat 09:31]
CLOCK: [2020-06-13 Sat 08:58]–[2020-06-13 Sat 09:18] => 0:20
- State "DONE" from "TODO" [2020-06-12 Fri 08:37]
- State "DONE" from "TODO" [2020-06-08 Mon 10:54]
- State "CANCELLED" from "TODO" [2020-06-07 Sun 09:48]
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:47]
week-end Martigues - State "DONE" from "TODO" [2020-06-05 Fri 10:55]
- State "DONE" from "TODO" [2020-06-04 Thu 10:38]
- State "DONE" from "TODO" [2020-06-03 Wed 10:11]
- State "DONE" from "TODO" [2020-06-02 Tue 11:18]
- State "DONE" from "TODO" [2020-06-01 Mon 12:20]
- State "DONE" from "TODO" [2020-05-31 Sun 11:40]
- State "DONE" from "TODO" [2020-05-30 Sat 10:31]
- State "DONE" from "TODO" [2020-05-29 Fri 10:36]
- State "DONE" from "TODO" [2020-05-28 Thu 09:46]
- State "DONE" from "TODO" [2020-05-27 Wed 20:31]
- State "DONE" from "TODO" [2020-05-26 Tue 09:59]
- State "DONE" from "TODO" [2020-05-25 Mon 10:20]
- State "CANCELED" from "TODO" [2020-05-24 Sun 08:58]
Bastien amène le chien avec Marie. - State "DONE" from "TODO" [2020-05-23 Sat 09:34]
- State "DONE" from "TODO" [2020-06-10 Wed 10:49]
- State "DONE" from "TODO" [2020-06-09 Tue 12:38]
CLOCK: [2020-05-23 Sat 09:23]–[2020-05-23 Sat 09:33] => 00:10
[2020-05-23 Sat 09:22]
TODO nettoyer la cuisine
SCHEDULED: <2020-06-13 Sat 20:30 .+1d>
- State "CANCELED" from "TODO" [2020-06-12 Fri 23:59]
invité - State "DONE" from "TODO" [2020-06-11 Thu 23:44]
- State "DONE" from "TODO" [2020-06-10 Wed 21:54]
- State "DONE" from "TODO" [2020-06-09 Tue 19:59]
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "CANCELED" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 23:59]
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59]
week-end Martigues - State "DONE" from "TODO" [2020-06-04 Thu 23:05]
- State "DONE" from "TODO" [2020-06-03 Wed 22:26]
- State "DONE" from "TODO" [2020-06-02 Tue 21:29]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
- State "DONE" from "TODO" [2020-05-31 Sun 23:52]
- State "CANCELED" from "TODO" [2020-05-30 Sat 23:59]
Krystelle l'a fait - State "DONE" from "TODO" [2020-05-29 Fri 10:36]
- State "DONE" from "TODO" [2020-05-28 Thu 23:27]
- State "DONE" from "TODO" [2020-05-27 Wed 20:33]
- State "DONE" from "TODO" [2020-05-26 Tue 23:16]
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
[2020-05-23 Sat 10:10]
TODO lancer lave vaisselle soir
SCHEDULED: <2020-06-13 Sat 20:30 .+1d>
- State "DONE" from "TODO" [2020-06-11 Thu 21:27]
- State "CANCELED" from "TODO" [2020-06-12 Fri 23:59]
invité - State "DONE" from "TODO" [2020-06-09 Tue 19:59]
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "CANCELED" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 23:59]
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59]
week-end Martigues - State "HANDLED" from "TODO" [2020-06-04 Thu 23:05]
K dans l'apres midi - State "CANCELLED" from "TODO" [2020-06-02 Tue 22:11]
- State "CANCELED" from "TODO" [2020-06-01 Mon 22:23]
pas plein - State "DONE" from "TODO" [2020-05-31 Sun 23:52]
- State "DONE" from "TODO" [2020-05-30 Sat 23:59]
- State "DONE" from "TODO" [2020-05-29 Fri 23:31]
- State "CANCELED" from "TODO" [2020-05-28 Thu 23:29]
vide - State "CANCELED" from "TODO" [2020-05-27 Wed 20:33]
Presque vide - State "CANCELED" from "TODO" [2020-05-26 Tue 23:16]
not today - State "DONE" from "TODO" [2020-05-25 Mon 21:49]
[2020-05-23 Sat 10:09]
TODO Sortir Oslo Soir
SCHEDULED: <2020-06-13 Sat 21:00 +1d>
- State "CANCELED" from "TODO" [2020-06-12 Fri 23:59]
invité - State "DONE" from "TODO" [2020-06-11 Thu 23:44]
- State "DONE" from "TODO" [2020-06-10 Wed 21:54]
- State "DONE" from "TODO" [2020-06-09 Tue 22:22]
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "DONE" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 23:59]
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59]
week-end Martigues - State "DONE" from "TODO" [2020-06-04 Thu 23:05]
- State "HANDLED" from "HOLD" [2020-06-03 Wed 22:26]
K & B - State "DONE" from "TODO" [2020-06-02 Tue 21:29]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
- State "DONE" from "TODO" [2020-05-31 Sun 23:52]
- State "DONE" from "TODO" [2020-05-30 Sat 23:59]
- State "DONE" from "TODO" [2020-05-29 Fri 23:01]
- State "DONE" from "TODO" [2020-05-28 Thu 23:27]
- State "DONE" from "TODO" [2020-05-27 Wed 21:47]
- State "DONE" from "TODO" [2020-05-26 Tue 21:07]
- State "DONE" from "TODO" [2020-05-25 Mon 21:51]
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 09:23]
TODO ranger chaussures
SCHEDULED: <2020-06-13 Sat 21:00 .+1d>
- 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-10 Wed 21:54]
- State "DONE" from "TODO" [2020-06-09 Tue 20:00]
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "DONE" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 23:59]
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59]
- State "DONE" from "TODO" [2020-06-04 Thu 23:05]
- State "DONE" from "TODO" [2020-06-03 Wed 22:27]
- State "DONE" from "TODO" [2020-06-02 Tue 21:29]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
- State "DONE" from "TODO" [2020-05-31 Sun 23:52]
- State "DONE" from "TODO" [2020-05-30 Sat 23:59]
- State "DONE" from "TODO" [2020-05-29 Fri 23:01]
- State "DONE" from "TODO" [2020-05-28 Thu 23:27]
- State "DONE" from "TODO" [2020-05-27 Wed 21:47]
- State "DONE" from "TODO" [2020-05-26 Tue 21:08]
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
[2020-05-23 Sat 10:11]
Weekly weekly
TODO litieres
DEADLINE: <2020-06-15 Mon .+1w -1d>
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "DONE" from "TODO" [2020-05-19 Tue 22:04]
TODO check poubelle
SCHEDULED: <2020-06-20 Sat .+1w>
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:48]
Week-end Martigues - State "DONE" from "TODO" [2020-05-30 Sat 14:22]
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:12]
TODO traitement epice
SCHEDULED: <2020-06-08 Mon .+1w>
- State "CANCELED" from "TODO" [2020-06-01 Mon 22:23]
oublie - State "CANCELED" from "TODO" [2020-05-25 Mon 21:50]
not found
[2020-05-23 Sat 10:12]
TODO changer les draps
SCHEDULED: <2020-06-14 Sun .+1w>
- State "CANCELED" from "TODO" [2020-06-07 Sun 11:14]
week-end Martigues - State "CANCELED" from "TODO" [2020-05-31 Sun 11:47]
Fait par K hier
[2020-05-23 Sat 10:13]
TODO vider petites poubelles
SCHEDULED: <2020-06-17 Wed .+1w>
- State "DONE" from "TODO" [2020-06-10 Wed 21:54]
- State "HANDLED" from "TODO" [2020-05-31 Sun 23:53]
deja vides
[2020-05-23 Sat 10:14]
TODO recyclage
SCHEDULED: <2020-06-17 Wed .+1w>
- State "DONE" from "TODO" [2020-06-10 Wed 12:50]
- State "DONE" from "TODO" [2020-05-31 Sun 23:59]
[2020-05-23 Sat 10:14]
TODO bouteilles
SCHEDULED: <2020-06-17 Wed .+1w>
- State "HANDLED" from "TODO" [2020-06-10 Wed 21:54]
Krystelle - State "DONE" from "TODO" [2020-06-10 Wed 21:54]
- State "DONE" from "TODO" [2020-05-31 Sun 23:59]
[2020-05-23 Sat 10:14]
TODO serpillière <15m
SCHEDULED: <2020-06-20 Sat .+1w>
- State "HANDLED" from "TODO" [2020-06-13 Sat 14:13]
Krystelle
- State "HANDLED" from "HOLD" [2020-06-01 Mon 22:24]
Anna - State "CANCELED" from "TODO" [2020-05-25 Mon 21:50]
not today
[2020-05-23 Sat 10:15]
TODO papiers/buffers 10min
SCHEDULED: <2020-06-15 Mon .+1w>
- State "DONE" from "TODO" [2020-06-08 Mon 20:12]
- State "DONE" from "TODO" [2020-06-01 Mon 16:06]
[2020-05-23 Sat 10:19]
TODO faire les menus
SCHEDULED: <2020-06-20 Sat .+1w>
- State "HANDLED" from "HOLD" [2020-06-13 Sat 14:13]
Krystelle avec les enfants.
- State "HOLD" from "TODO" [2020-06-05 Fri 10:57]
On a encore ce qu'il faut. On va à Martigues. - State "DONE" from "WAITING" [2020-05-29 Fri 14:46]
- State "WAITING" from "TODO" [2020-05-25 Mon 21:52]
maybe tomorrow
[2020-05-23 Sat 10:21]
TODO faire les coursee
SCHEDULED: <2020-06-20 Sat .+1w>
- State "HANDLED" from "TODO" [2020-06-13 Sat 09:33]
en partie
- State "DONE" from "TODO" [2020-06-05 Fri 10:57]
- State "DONE" from "TODO" [2020-05-29 Fri 23:01]
[2020-05-23 Sat 10:22]
TODO nettoyer frigo - 5m
SCHEDULED: <2020-06-13 Sat .+1w>
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:48]
Week-end Martigues - State "CANCELED" from "TODO" [2020-05-30 Sat 23:59]
K - State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:23]
TODO bricolage - si besoin
SCHEDULED: <2020-06-13 Sat .+1w>
-
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]
Yearly yearly
TODO [A] revision chaudiere
DEADLINE: <2021-02-15 Mon +1y -2w> [2020-05-23 Sat 10:26]
TODO vaccination leichmaniose Oslo
DEADLINE: <2021-01-20 Wed +1y> [2020-05-23 Sat 10:27]
TODO Nettoyage barbecue
SCHEDULED: <2020-10-15 Thu +1y> [2020-05-23 Sat 10:32]
TODO [A] Cadeau Rencontre Krystelle (1995) yearly
DEADLINE: <2021-04-08 Sun +1y -2w>
TODO [A] Cadeau Mariage Krystelle (2000) yearly
DEADLINE: <2020-08-12 Wed +1y -2w>
TODO [A] Cadeau Anniversaire Krystelle yearly
DEADLINE: <2021-04-26 Sun +1y -2w>
Fête des mères
[2020-06-07 Sun]
DONE [A] Acheter cadeau fête des mères Krystelle krystelle
CLOSED: [2020-06-05 Fri 23:59] DEADLINE: <2020-06-07 Sun -2w>
DONE [A] Acheter cadeau fête des mères Maman
CLOSED: [2020-06-05 Fri 23:59] DEADLINE: <2020-06-07 Sun -2w>
[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>
DONE Envoyer les factures à Mercer
CLOSED: [2020-06-02 Tue 18:08] DEADLINE: <2020-06-02 Tue> [2020-06-02 Tue 16:56] Email from Esposito Krystelle: Fwd: factures TESSIER
DONE Envoyer papiers mercer
CLOSED: [2020-06-10 Wed 22:19] [2020-06-08 Mon 20:05]
DONE Envoie des factures Mercer
CLOSED: [2020-06-10 Wed 22:19]
CLOCK: [2020-06-10 Wed 22:11]–[2020-06-10 Wed 22:19] => 0:08
[2020-06-10 Wed 22:11]
DONE [B] Article 83 Impots
CLOSED: [2020-06-01 Mon 16:05] DEADLINE: <2020-06-01 Mon> [2020-06-01 Mon 09:30]
DONE Ranger placard entree
CLOSED: [2020-06-01 Mon 16:01] DEADLINE: <2020-06-01 Mon 19:00> [2020-06-01 Mon 12:20]
DONE [A] Remplir fiche Atrium conseil classe Anna anna family
CLOSED: [2020-06-08 Mon 10:54] DEADLINE: <2020-06-08 Mon> [2020-06-05 Fri 11:48] Email from notification@atrium-sud.fr: [ATRIUM] Nouveau message : IMPORTANT : RETOUR FICHE DIALOGUE 2NDE
TODO [B] Virement 270€ Basso family
DEADLINE: <2020-06-08 Mon>
- State "HOLD" from "TODO" [2020-06-08 Mon 20:11]
Attente du RIB
- State "TODO" from "HOLD" [2020-06-14 Sun 10:14]
CLOCK: [2020-06-08 Mon 20:08]–[2020-06-08 Mon 20:11] => 0:03
[2020-06-07 Sun 16:24]
DONE Virements LCL
CLOSED: [2020-06-13 Sat 09:31]
CLOCK: [2020-06-13 Sat 09:29]–[2020-06-13 Sat 09:31] => 0:02
[2020-06-13 Sat 09:28]
DONE Envoyer Facture Kine Krystelle krystelle family
CLOSED: [2020-06-13 Sat 14:23] DEADLINE: <2020-06-15 Mon> [2020-06-13 Sat 10:30]
Fun fun
TODO [C] my experience/story about blog post serie blog
- explain the story
- explain how I forged some opinions
-
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
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
DONE Check org-super-agenda
CLOSED: [2020-06-09 Tue 20:46] SCHEDULED: <2020-06-07 Sun> [2020-05-27 Wed 22:14] https://github.com/alphapapa/org-super-agenda
Work work
[A] Re-cherrypick SMA fix into release branch
SCHEDULED: <2020-06-18 Thu +2w> https://github.com/threatgrid/iroh/pull/3753
Maybe
TODO Jouer à trinity
[2020-06-13 Sat 12:45] ref :: https://en.wikipedia.org/wiki/Trinity_(video_game)
TODO A List of Foundational Haskell Papers
href :: https://github.com/cohomolo-gy/haskell-resources/blob/master/README.md
A Quick Note about Licensing
This repo is a collection of links to various papers, and as such, may go out of date intermittently as resources shuffle around the web. It would be greatly appreciated if people raise issues when these pdf's have dead links, as it helps us all maintain the most up to date set of resources. Additionally, you may find that the "set of links" approach is tedious. This is done to avoid any sort of licensing concerns. If anyone has a better idea of the implications (especially licensing) of hosting the actual papers, the end goal would ideally be to serve as a kind of library. Feel free to find me to discuss.
Thanks, Emily.
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 [0/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] Split .spacemacs in a .spacemacs.d dir it starts to be big emacs
TODO [C] Enhance quality of hosting, switch to NixOS geek
TODO [C] Wakatime server clone idea geek
See doc at: https://wakatime.com/developers
MEMORY
tidal degrade shortcut fc tidal
position | ease | box | interval | due |
---|---|---|---|---|
0 | 2.65 | 4 | 17.04 | 2020-06-14T22:23:41Z |
d1 $ s "[[bg]*4]{{?}@0}"
How to promote an org-mode entry to an org-fc card? fc org
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.65 | 4 | 16.00 | 2020-06-15T22:42:02Z |
back | 2.80 | 4 | 16.36 | 2020-06-20T17:17:09Z |
SPC o f . t
or org-fc-hydra/body
then select t
.
client TG dans le config.edn fc cisco
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.80 | 4 | 16.72 | 2020-06-19T06:23:17Z |
Ne pas oublier le client de TG est dans le config.edn
Debug with cider breakpoint fc clj
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.65 | 4 | 16.74 | 2020-06-25T02:44:07Z |
, d b
if on s/defn
type n
until finished.
Searh within org notes fc org
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.65 | 4 | 14.89 | 2020-06-29T05:42:31Z |
helm-org-rifle
(SPC a o r
)
update [/] and [%] in org mode fc org
position | ease | box | interval | due |
---|---|---|---|---|
front | 2.50 | 2 | 1.00 | 2020-06-15T08:22:31Z |
use , #
(org-update-statistics-cookies
)