36 KiB
- Perso
- Habits
- Maybe
- Write long letter(s)
[1/8]
- Films
- 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
- Daily
- Weekly
- Yearly
- Krystelle
- Anna
- Bastien
- Réparer le chargeur de l'aspirateur
- poser l'étagère en W pour Anna
- Geek
- Memory
- déplacer les ventilateurs
- décendre la clim
- Envoyer le certif pour la JDC d'Anna
- comment
- CNED demandes d'aménagements
#+Title:TODO
SPC y o c => DISPLAY org columns
Perso perso
Habits habit
TODO journal matin daily
SCHEDULED: <2021-10-06 Wed 09:00 .+1d>
- State "DONE" from "TODO" [2021-10-05 Tue 14:37]
- State "DONE" from "TODO" [2021-10-04 Mon 18:03]
- State "DONE" from "TODO" [2021-09-24 Fri 09:44]
- State "DONE" from "TODO" [2021-09-13 Mon 09:32]
- State "DONE" from "TODO" [2021-09-11 Sat 09:54]
- State "DONE" from "TODO" [2021-09-09 Thu 09:36]
- State "DONE" from "TODO" [2021-09-07 Tue 14:23]
- State "DONE" from "TODO" [2021-09-06 Mon 09:58]
- State "DONE" from "TODO" [2021-09-04 Sat 10:25]
- State "DONE" from "TODO" [2021-09-02 Thu 10:46]
- State "DONE" from "TODO" [2021-09-01 Wed 14:35]
- State "DONE" from "TODO" [2021-08-31 Tue 16:19]
- State "DONE" from "TODO" [2021-08-30 Mon 09:54]
- State "DONE" from "TODO" [2021-08-26 Thu 13:15]
- State "DONE" from "TODO" [2021-08-25 Wed 07:59]
- State "DONE" from "TODO" [2021-08-24 Tue 16:37]
- State "DONE" from "TODO" [2021-08-23 Mon 09:41]
- State "DONE" from "TODO" [2021-08-22 Sun 08:41]
- State "DONE" from "TODO" [2021-08-20 Fri 19:05]
- State "DONE" from "TODO" [2021-08-19 Thu 10:40]
- State "DONE" from "TODO" [2021-08-18 Wed 07:15]
- State "DONE" from "TODO" [2021-08-17 Tue 12:00]
- State "DONE" from "TODO" [2021-08-16 Mon 22:29]
- State "DONE" from "TODO" [2021-08-14 Sat 17:08]
- State "DONE" from "TODO" [2021-08-13 Fri 10:50]
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
- State "DONE" from "TODO" [2021-07-28 Wed 13:20]
- State "DONE" from "TODO" [2021-07-19 Mon 09:55]
- State "DONE" from "TODO" [2021-07-15 Thu 09:22]
- State "DONE" from "TODO" [2021-07-05 Mon 10:20]
- 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 23:00 .+1d>
- 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-09-25 Sat 09:00 .+1d/3d>
- State "CANCELED" from "TODO" [2021-09-24 Fri 09:44]
Date | Weight |
---|---|
2020-05-23 | 71 |
2020-05-24 | 71 |
2020-05-25 | 71 |
2020-05-26 | 71 |
2020-05-27 | 70 |
2020-05-27 | 70.5 |
2020-05-30 | 70.5 |
2020-06-01 | 70 |
2020-05-31 | 70 |
2020-06-01 | 70 |
2020-06-02 | 70.5 |
2020-06-03 | 70.5 |
2020-06-04 | 70.5 |
2020-06-05 | 70 |
2020-06-08 | 70.5 |
2020-06-10 | 70.5 |
2020-06-11 | 70 |
2020-06-12 | 70.5 |
2020-06-13 | 71 |
2020-06-14 | 70 |
2020-06-15 | 70 |
2020-06-16 | 70 |
2020-06-17 | 70 |
2020-06-18 | 70 |
2020-06-19 | 70 |
2020-06-20 | 70 |
2020-06-21 | 70 |
2020-06-22 | 69.5 |
2020-06-23 | 70 |
2020-06-25 | 70 |
2020-06-29 | 70 |
2020-07-02 | 70 |
2020-07-07 | 70.5 |
2020-07-09 | 70.5 |
2020-07-09 | 70.5 |
2020-08-10 | 69.5 |
2020-08-11 | 69.5 |
2020-08-17 | 69.5 |
2020-08-19 | 70 |
2020-08-19 | 70 |
2020-08-20 | 69 |
2020-08-21 | 69.5 |
2020-08-24 | 69.5 |
2020-08-25 | 69.5 |
2020-08-27 | 69.5 |
2020-08-30 | 69.5 |
2020-08-31 | 69 |
2020-09-04 | 70 |
2020-09-05 | 70 |
2020-09-19 | 70 |
2020-09-21 | 69.5 |
2020-09-22 | 69 |
2020-09-22 | 70 |
2020-09-25 | 69.5 |
2020-09-28 | 70 |
2020-09-28 | 69 |
2020-10-01 | 69 |
2020-10-08 | 69.5 |
2020-10-25 | 70 |
2020-11-03 | 69.5 |
2020-11-22 | 70 |
2020-12-03 | 71 |
2021-01-20 | 70 |
2021-03-01 | 72 |
2021-05-08 | 70 |
2021-08-18 | 70 |
2021-08-23 | 71 |
reset
set title "Weight"
set xdata time
set timefmt '%Y-%m-%d'
set format x "%Y-%m-%d"
set xlabel "date"
set xtics rotate by -45
# set xrange ["2020-01-01":"2022-01-01"]
set yrange [56:80]
set ylabel "weight"
plot data using 1:2 t "weight" w impulses lw 3, 64 w lines lw 2
TODO [A] News filtered by AI + RSS + Scraper daily
SCHEDULED: <2021-10-12 Tue 09:00 .+3d>
- State "DONE" from "TODO" [2021-09-09 Thu 09:36]
- State "DONE" from "TODO" [2021-09-02 Thu 10:46]
- State "DONE" from "TODO" [2021-08-30 Mon 12:24]
- State "DONE" from "TODO" [2021-08-23 Mon 11:42]
- State "DONE" from "IN-PROGRESS" [2021-08-18 Wed 10:03]
CLOCK: [2021-08-18 Wed 07:15]–[2021-08-18 Wed 07:35] => 0:20
- State "DONE" from "TODO" [2021-08-15 Sun 16:50]
[2021-08-04 Wed 16:17] Cf: AIRSS
Maybe maybe
IN-PROGRESS
Write long letter(s) [1/8]
SCHEDULED: <2021-10-20 Wed> [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
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-10-08 Fri .+2w -1d>
- State "DONE" from "TODO" [2021-09-24 Fri 09:44]
- State "DONE" from "TODO" [2021-08-29 Sun 11:33]
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
- State "DONE" from "TODO" [2021-07-08 Thu 09:26]
- State "DONE" from "TODO" [2021-05-27 Thu 08:09]
- 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-10-09 Sat .+1w>
- State "DONE" from "TODO" [2020-08-24 Mon 08:57]
- State "CANCELED" from "TODO" [2021-10-02 Sat 14:13]
- State "DONE" from "TODO" [2021-08-31 Tue 16:19]
- State "DONE" from "TODO" [2021-08-18 Wed 10:03]
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
- State "DONE" from "TODO" [2021-07-15 Thu 09:21]
- State "DONE" from "TODO" [2021-07-05 Mon 10:20]
- 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]
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: <2022-08-12 Fri +1y -2w>
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
- 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]
DONE [A] Acheter cadeau fête des mères Krystelle krystelle
CLOSED: [2021-05-30 Sun 09:26] DEADLINE: <2021-05-30 Sun -2w>
DONE [A] Acheter cadeau fête des mères Maman
CLOSED: [2021-05-30 Sun 09:26] 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
DONE Réparer le chargeur de l'aspirateur
DEADLINE: <2021-08-30 Mon> [2021-08-24 Tue 19:37]
- ref
DONE poser l'étagère en W pour Anna anna family
SCHEDULED: <2021-08-30 Mon 14:00> [2021-08-30 Mon 09:42]
Geek fun
TODO
[C]
my experience/story about blog post serie [1/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
DONE [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 oklab color space for solaryzed maybe
SCHEDULED: <2021-10-27 Wed> [2021-05-26 Wed 07:21]
- ref
DONE Système de retrospective des journaux
SCHEDULED: <2021-09-03 Fri> [2021-08-29 Sun 11:39] Il faudrait avoir des graphiques, pour pouvoir faire quelques stats. Histoire de voir des choses du genre, l'influence du travail sur ma santé, et mon énergie. Les jours de la semaines faciles ou pas. L'influence des journées avec des évènements notables.
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 fc
[2021-05-13 Thu 10:28]
Syntactic sugar causes cancer of the semicolon.
Alan Perlis's maxim. From Software Design for Flexibility.
DONE déplacer les ventilateurs
DEADLINE: <2021-09-09 Thu> [2021-09-08 Wed 14:37]
DONE décendre la clim
DEADLINE: <2021-09-11 Sat> [2021-09-08 Wed 14:37]
DONE Envoyer le certif pour la JDC d'Anna
DEADLINE: <2021-09-24 Fri> [2021-09-24 Fri 09:43]
- ref
- 09:19
DONE comment
[2021-09-24 Fri 13:53]
- ref
It is fun to see how different everyone experience could be.
I am not a real LISPer myself, just currently a Clojurist coming from Haskell, and before that, C/C++/Java/Python/Perl/Javascript/etc… Once I discovered Haskell it was like, every other language was in the same big-bag of repeating the same concepts over and over again. I generally preferred Haskell to play with, but I think I found a way to tame the beast with Clojure that keep it fun and still safe-enough.
But generally speaking, I prefer LISP syntax in general. It is trivial to parse, you can use funny names for symbols like `a->b` ; but I agree that most of the time this the indentation is very important, a bit like Python. And regarding the language, I think that Clojure is pretty good because it uses immutable data structures by default. LISP with `set!` is not my cup of tea.
DONE CNED demandes d'aménagements
[2021-09-27 Mon 10:50]
- tel: 2->3 Bonjour je souhaiterais savoir comment demander des demandes d'aménagements pour ma fille. Votre médecin possède déjà les document que j'ai envoyé lors de son inscription. Les documents contiennent ses anciens aménagements. J'aurai aimé qu'ils soient reconduits pour les épreuves du CNED.