yogsototh/deft
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
deft/inbox.org

837 lines
41 KiB
Org Mode
Raw Normal View History

update
2020-05-26 07:38:56 +00:00
#+Title:TODO
#+Author: Yann Esposito
#+ARCHIVE: archives/TODO.archive.org::
backup
2020-06-01 13:59:31 +00:00
#+TODO: TODO(t) IN-PROGRESS(p) HOLD(h@/!) WAITING(w@/!) | DONE(d) CANCELED(c@/!) HANDLED(l@/!)
#+COLUMNS: %TODO %3PRIORITY %40ITEM(Task) %CLOCKSUM %8TAGS(TAG)
Moved files
2020-06-12 22:49:31 +00:00
#+STARTUP: overview
update
2020-05-26 07:38:56 +00:00
#+begin_comment
inbox.org
2020-09-11 13:17:28 +00:00
SPC y o c => DISPLAY org columns
update
2020-05-26 07:38:56 +00:00
#+end_comment
inbox.org
2020-11-23 09:32:23 +00:00
* Perso :perso:
inbox.org
2020-10-12 13:07:00 +00:00
** Habits :habit:
inbox.org
2021-08-30 07:56:03 +00:00
*** TODO journal matin :daily:
inbox.org
2021-09-02 07:18:34 +00:00
SCHEDULED: <2021-09-02 Thu 09:00 .+1d>
update
2020-05-26 07:38:56 +00:00
:PROPERTIES:
inbox.org
2020-08-13 08:38:13 +00:00
:STYLE: habit
inbox.org
2021-09-02 07:18:34 +00:00
:LAST_REPEAT: [2021-09-01 Wed 14:35]
update
2020-05-26 07:38:56 +00:00
:END:
Moved files
2020-06-12 22:49:31 +00:00
:LOGBOOK:
inbox.org
2021-09-02 07:18:34 +00:00
- State "DONE" from "TODO" [2021-09-01 Wed 14:35]
inbox.org
2021-08-31 14:20:36 +00:00
- State "DONE" from "TODO" [2021-08-31 Tue 16:19]
inbox.org
2021-08-30 07:56:03 +00:00
- State "DONE" from "TODO" [2021-08-30 Mon 09:54]
inbox.org
2021-08-26 11:16:40 +00:00
- State "DONE" from "TODO" [2021-08-26 Thu 13:15]
inbox.org
2021-08-25 05:59:46 +00:00
- State "DONE" from "TODO" [2021-08-25 Wed 07:59]
inbox.org
2021-08-24 14:39:05 +00:00
- State "DONE" from "TODO" [2021-08-24 Tue 16:37]
inbox.org
2021-08-23 07:43:22 +00:00
- State "DONE" from "TODO" [2021-08-23 Mon 09:41]
inbox.org
2021-08-22 06:43:28 +00:00
- State "DONE" from "TODO" [2021-08-22 Sun 08:41]
- State "DONE" from "TODO" [2021-08-20 Fri 19:05]
inbox.org
2021-08-19 08:41:32 +00:00
- State "DONE" from "TODO" [2021-08-19 Thu 10:40]
inbox.org
2021-08-18 05:16:34 +00:00
- State "DONE" from "TODO" [2021-08-18 Wed 07:15]
inbox.org
2021-08-17 10:01:48 +00:00
- State "DONE" from "TODO" [2021-08-17 Tue 12:00]
Backup
2021-08-17 09:07:53 +00:00
- State "DONE" from "TODO" [2021-08-16 Mon 22:29]
inbox.org
2021-08-14 15:09:35 +00:00
- State "DONE" from "TODO" [2021-08-14 Sat 17:08]
- State "DONE" from "TODO" [2021-08-13 Fri 10:50]
inbox.org
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
inbox.org
2021-07-28 11:21:27 +00:00
- State "DONE" from "TODO" [2021-07-28 Wed 13:20]
inbox.org
2021-07-19 07:56:20 +00:00
- State "DONE" from "TODO" [2021-07-19 Mon 09:55]
inbox.org
2021-07-15 07:23:27 +00:00
- State "DONE" from "TODO" [2021-07-15 Thu 09:22]
inbox.org
2021-07-05 08:21:55 +00:00
- State "DONE" from "TODO" [2021-07-05 Mon 10:20]
inbox.org
2021-05-12 07:01:08 +00:00
- State "CANCELED" from "TODO" [2021-05-12 Wed 08:59]
inbox.org
2021-05-11 14:19:39 +00:00
- State "CANCELED" from "TODO" [2021-05-11 Tue 16:18]
inbox.org
2021-05-03 13:19:49 +00:00
- State "CANCELED" from "TODO" [2021-05-03 Mon 15:18]
inbox.org
2021-04-20 08:07:37 +00:00
- State "DONE" from "TODO" [2021-04-18 Sun 09:56]
inbox.org
2021-03-20 08:00:10 +00:00
- State "DONE" from "TODO" [2021-03-19 Fri 09:36]
inbox.org
2021-03-11 11:32:19 +00:00
- State "DONE" from "TODO" [2021-03-11 Thu 12:31]
inbox.org
2021-03-06 22:49:32 +00:00
- State "CANCELLED" from "TODO" [2021-03-06 Sat 09:00]
inbox.org
2021-01-25 14:03:51 +00:00
- State "CANCELED" from "TODO" [2021-01-25 Mon 15:03]
inbox.org
2021-01-19 12:54:55 +00:00
- State "CANCELED" from "TODO" [2021-01-18 Mon 14:26]
inbox.org
2021-01-04 14:54:34 +00:00
- State "CANCELED" from "TODO" [2021-01-04 Mon 15:52]
inbox.org
2020-12-26 17:47:08 +00:00
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:07]
inbox.org
2020-12-17 14:47:45 +00:00
- State "DONE" from "TODO" [2020-12-17 Thu 15:46]
inbox.org
2020-12-03 15:22:19 +00:00
- State "DONE" from "TODO" [2020-12-03 Thu 16:20]
inbox.org
2020-11-22 18:44:19 +00:00
- State "DONE" from "TODO" [2020-11-22 Sun 19:42]
inbox.org
2020-11-20 17:40:28 +00:00
- State "CANCELED" from "TODO" [2020-11-20 Fri 18:38]
inbox.org
2020-11-19 08:54:52 +00:00
- State "DONE" from "TODO" [2020-11-19 Thu 09:53]
inbox.org
2020-11-09 11:03:25 +00:00
- State "DONE" from "TODO" [2020-11-09 Mon 12:01]
inbox.org
2020-11-04 07:31:01 +00:00
- State "DONE" from "TODO" [2020-11-04 Wed 08:29]
inbox.org
2020-10-26 08:26:43 +00:00
- State "DONE" from "TODO" [2020-10-25 Sun 16:14]
inbox.org
2020-10-09 08:14:38 +00:00
- State "DONE" from "TODO" [2020-10-09 Fri 10:13]
inbox.org
2020-10-08 10:25:46 +00:00
- State "DONE" from "TODO" [2020-10-08 Thu 12:24]
inbox.org
2020-09-30 07:28:35 +00:00
- State "DONE" from "TODO" [2020-09-30 Wed 09:27]
inbox.org
2020-09-28 09:17:30 +00:00
- State "DONE" from "TODO" [2020-09-28 Mon 11:15]
inbox.org
2020-09-27 08:36:55 +00:00
- State "DONE" from "TODO" [2020-09-27 Sun 10:35]
- State "DONE" from "TODO" [2020-09-26 Sat 12:27]
inbox.org
2020-09-24 09:43:59 +00:00
- State "DONE" from "TODO" [2020-09-24 Thu 11:42]
inbox.org
2020-12-26 17:47:08 +00:00
CLOCK: [2020-09-24 Thu 11:41]--[2020-09-24 Thu 11:41] => 00:00
inbox.org
2020-09-23 05:28:27 +00:00
- State "DONE" from "TODO" [2020-09-23 Wed 07:27]
inbox.org
2020-09-22 06:27:06 +00:00
- State "DONE" from "TODO" [2020-09-22 Tue 08:25]
inbox.org
2020-09-21 07:51:03 +00:00
- State "DONE" from "TODO" [2020-09-21 Mon 09:49]
inbox.org
2020-09-20 06:04:23 +00:00
- State "DONE" from "TODO" [2020-09-20 Sun 08:03]
inbox.org
2020-09-15 08:09:19 +00:00
- State "DONE" from "TODO" [2020-09-15 Tue 10:08]
inbox.org
2020-09-14 12:08:50 +00:00
- State "DONE" from "TODO" [2020-09-14 Mon 14:07]
inbox.org
2020-09-11 07:09:43 +00:00
- State "DONE" from "TODO" [2020-09-11 Fri 09:08]
inbox.org
2020-09-10 07:17:24 +00:00
- State "DONE" from "TODO" [2020-09-10 Thu 09:17]
inbox.org
2020-09-08 09:20:07 +00:00
- State "DONE" from "TODO" [2020-09-08 Tue 11:19]
inbox.org
2020-09-07 13:37:55 +00:00
- State "DONE" from "TODO" [2020-09-07 Mon 15:25]
inbox.org
2020-09-04 08:18:51 +00:00
- State "DONE" from "TODO" [2020-09-04 Fri 10:18]
inbox.org
2020-09-01 08:16:16 +00:00
- State "DONE" from "TODO" [2020-09-01 Tue 10:06]
inbox.org
2020-08-30 09:50:43 +00:00
- State "DONE" from "TODO" [2020-08-30 Sun 11:46]
update
2020-08-29 19:10:22 +00:00
- State "DONE" from "TODO" [2020-08-29 Sat 11:49]
inbox.org
2020-08-27 08:15:33 +00:00
- State "DONE" from "TODO" [2020-08-27 Thu 10:14]
inbox.org
2020-08-25 08:23:20 +00:00
- State "DONE" from "TODO" [2020-08-25 Tue 09:43]
inbox.org
2020-12-26 17:47:08 +00:00
CLOCK: [2020-08-25 Tue 09:39]--[2020-08-25 Tue 09:43] => 00:04
inbox.org
2020-08-24 08:11:03 +00:00
- State "DONE" from "TODO" [2020-08-24 Mon 10:05]
inbox.org
2020-08-24 07:44:21 +00:00
- State "DONE" from "TODO" [2020-08-22 Sat 09:22]
inbox.org
2020-08-21 13:32:20 +00:00
- State "DONE" from "TODO" [2020-08-21 Fri 15:31]
inbox.org
2020-08-20 06:24:47 +00:00
- State "DONE" from "TODO" [2020-08-20 Thu 08:23]
inbox.org
2020-08-19 19:58:47 +00:00
- State "CANCELED" from "TODO" [2020-08-19 Wed 21:48]
inbox.org
2020-08-19 08:46:34 +00:00
- State "DONE" from "TODO" [2020-08-18 Tue 12:06]
inbox.org
2020-08-17 09:34:53 +00:00
- State "DONE" from "TODO" [2020-08-17 Mon 11:34]
inbox.org
2020-08-10 12:47:59 +00:00
- State "DONE" from "TODO" [2020-08-10 Mon 14:46]
- State "DONE" from "TODO" [2020-07-09 Thu 10:09]
inbox.org
2020-07-09 08:08:35 +00:00
- State "DONE" from "TODO" [2020-07-08 Wed 10:40]
inbox.org
2020-07-07 08:38:41 +00:00
- State "DONE" from "TODO" [2020-07-07 Tue 10:35]
inbox.org
2020-07-07 08:20:18 +00:00
- State "DONE" from "TODO" [2020-07-04 Sat 23:07]
inbox.org
2020-07-02 13:17:13 +00:00
- State "DONE" from "TODO" [2020-07-02 Thu 14:18]
inbox.org
2020-06-29 11:44:21 +00:00
- State "CANCELED" from "TODO" [2020-06-28 Sun 22:26] \\
Martigues
inbox.org
2020-06-27 12:22:33 +00:00
- State "DONE" from "TODO" [2020-06-27 Sat 14:21]
inbox.org
2020-06-24 16:09:56 +00:00
- State "DONE" from "TODO" [2020-06-24 Wed 18:08]
inbox.org
2020-06-23 14:58:11 +00:00
- State "DONE" from "TODO" [2020-06-23 Tue 16:56]
inbox.org
2020-06-22 13:27:52 +00:00
- State "DONE" from "TODO" [2020-06-22 Mon 10:07]
inbox.org
2020-06-21 14:00:36 +00:00
- State "DONE" from "TODO" [2020-06-21 Sun 15:59]
inbox.org
2020-06-20 22:05:36 +00:00
- State "DONE" from "TODO" [2020-06-19 Fri 23:59]
inbox.org
2020-06-18 16:56:14 +00:00
- State "DONE" from "TODO" [2020-06-18 Thu 15:25]
inbox.org
2020-06-17 07:10:12 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:07]
inbox.org
2020-06-17 07:05:51 +00:00
- State "CANCELED" from "TODO" [2020-06-16 Tue 22:38] \\
forgot
inbox.org
2020-06-15 13:12:58 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 14:05]
inbox.org
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 13:00]
save
2020-06-13 12:01:12 +00:00
- State "DONE" from "TODO" [2020-06-13 Sat 10:20]
Moved files
2020-06-12 22:49:31 +00:00
- 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]
save
2020-06-09 18:47:34 +00:00
- 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]
save
2020-06-05 11:34:56 +00:00
- 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]
backup
2020-06-01 13:59:31 +00:00
- 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]
update
2020-05-26 07:45:32 +00:00
- State "DONE" from "TODO" [2020-05-26 Tue 08:25]
update
2020-05-26 07:38:56 +00:00
- 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]
Moved files
2020-06-12 22:49:31 +00:00
:END:
inbox.org
2021-08-30 09:53:16 +00:00
*** TODO journal soir :daily:evening:
inbox.org
2020-12-26 17:47:08 +00:00
SCHEDULED: <2020-12-27 Sun 22:00 .+1d>
update
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
inbox.org
2020-09-20 20:31:29 +00:00
:LAST_REPEAT: [2020-09-20 Sun 22:31]
backup
2020-06-01 13:59:31 +00:00
:END:
inbox.org
2020-08-25 08:23:20 +00:00
- State "DONE" from "TODO" [2020-08-25 Tue 01:18]
Moved files
2020-06-12 22:49:31 +00:00
:LOGBOOK:
inbox.org
2020-12-26 17:47:08 +00:00
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:08]
inbox.org
2020-09-20 20:31:29 +00:00
- State "DONE" from "TODO" [2020-09-20 Sun 22:31]
inbox.org
2020-08-19 19:58:47 +00:00
- State "DONE" from "TODO" [2020-08-19 Wed 21:48]
inbox.org
2020-07-07 21:42:42 +00:00
- State "DONE" from "TODO" [2020-07-07 Tue 23:41]
inbox.org
2020-06-20 22:07:49 +00:00
- State "DONE" from "TODO" [2020-06-20 Sat 23:59]
inbox.org
2020-06-20 22:05:36 +00:00
- State "DONE" from "TODO" [2020-06-19 Fri 23:59]
inbox.org
2020-06-18 08:57:43 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 23:04]
inbox.org
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 22:38]
Moved files
2020-06-12 22:49:31 +00:00
- 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]
save
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-07 Sun 23:39]
save
2020-06-05 11:34:56 +00:00
- State "DONE" from "TODO" [2020-06-04 Thu 23:07]
- State "DONE" from "TODO" [2020-06-02 Tue 23:57]
backup
2020-06-01 13:59:31 +00:00
- 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]
update
2020-05-26 07:38:56 +00:00
- 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]
Moved files
2020-06-12 22:49:31 +00:00
:END:
inbox.org
2021-08-31 14:20:36 +00:00
*** TODO weight :daily:
SCHEDULED: <2021-09-01 Wed 09:00 .+1d/3d>
update
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
inbox.org
2021-08-31 14:20:36 +00:00
:LAST_REPEAT: [2021-08-31 Tue 16:19]
update
2020-05-26 07:38:56 +00:00
:END:
Moved files
2020-06-12 22:49:31 +00:00
:LOGBOOK:
inbox.org
2021-08-31 14:20:36 +00:00
- State "CANCELED" from "TODO" [2021-08-31 Tue 16:19]
inbox.org
2021-08-26 11:16:40 +00:00
- State "CANCELED" from "TODO" [2021-08-26 Thu 13:15]
inbox.org
2021-08-23 11:33:39 +00:00
- State "DONE" from "TODO" [2021-08-23 Mon 13:32]
inbox.org
2021-08-22 06:43:28 +00:00
- State "CANCELED" from "TODO" [2021-08-20 Fri 19:05]
inbox.org
2021-08-19 09:33:54 +00:00
- State "CANCELED" from "TODO" [2021-08-19 Thu 11:32]
tracker.org
2021-08-19 07:37:45 +00:00
- State "DONE" from "TODO" [2021-08-18 Wed 10:03]
Backup
2021-08-17 09:07:53 +00:00
- State "CANCELED" from "TODO" [2021-08-16 Mon 22:31]
inbox.org
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
inbox.org
2021-07-19 07:56:20 +00:00
- State "CANCELED" from "TODO" [2021-07-19 Mon 09:55]
inbox.org
2021-07-15 07:22:07 +00:00
- State "CANCELED" from "TODO" [2021-07-15 Thu 09:21]
inbox.org
2021-05-12 07:01:08 +00:00
- State "CANCELED" from "TODO" [2021-05-12 Wed 08:59]
inbox.org
2021-05-11 14:19:39 +00:00
- State "CANCELED" from "TODO" [2021-05-11 Tue 16:18]
inbox.org
2021-05-08 16:14:57 +00:00
- State "DONE" from "TODO" [2021-05-08 Sat 18:14]
inbox.org
2021-05-03 13:19:49 +00:00
- State "CANCELED" from "TODO" [2021-05-03 Mon 15:18]
inbox.org
2021-01-25 14:03:51 +00:00
- State "CANCELED" from "TODO" [2021-01-25 Mon 15:03]
inbox.org
2021-01-19 12:54:55 +00:00
- State "CANCELED" from "TODO" [2021-01-18 Mon 14:26]
inbox.org
2021-01-10 12:22:16 +00:00
- State "CANCELED" from "TODO" [2021-01-10 Sun 13:20]
inbox.org
2021-01-04 14:54:34 +00:00
- State "CANCELED" from "TODO" [2021-01-04 Mon 15:52]
inbox.org
2020-12-26 17:47:08 +00:00
- State "CANCELED" from "TODO" [2020-12-26 Sat 18:45]
inbox.org
2020-12-03 15:27:33 +00:00
- State "DONE" from "TODO" [2020-12-03 Thu 16:25]
inbox.org
2020-11-27 09:35:07 +00:00
- State "CANCELED" from "TODO" [2020-11-27 Fri 10:34]
inbox.org
2020-11-23 09:32:23 +00:00
- State "DONE" from "TODO" [2020-11-22 Sun 19:43]
inbox.org
2020-11-20 17:40:28 +00:00
- State "CANCELED" from "TODO" [2020-11-20 Fri 18:38]
inbox.org
2020-11-09 11:03:25 +00:00
- State "CANCELED" from "TODO" [2020-11-09 Mon 12:02]
inbox.org
2020-11-05 14:40:49 +00:00
- State "CANCELED" from "TODO" [2020-11-04 Wed 13:08]
inbox.org
2020-11-04 07:31:01 +00:00
- State "DONE" from "TODO" [2020-11-03 Tue 23:59]
inbox.org
2020-10-26 08:26:43 +00:00
- State "DONE" from "TODO" [2020-10-25 Sun 16:15]
inbox.org
2020-10-09 08:14:38 +00:00
- State "CANCELED" from "TODO" [2020-10-09 Fri 10:13]
inbox.org
2020-10-08 10:27:46 +00:00
- State "DONE" from "TODO" [2020-10-08 Thu 12:25]
inbox.org
2020-10-01 16:34:32 +00:00
- State "DONE" from "TODO" [2020-10-01 Thu 18:33]
inbox.org
2020-10-01 06:36:10 +00:00
- State "CANCELED" from "TODO" [2020-09-30 Wed 20:23]
inbox.org
2020-09-28 07:25:55 +00:00
- State "DONE" from "TODO" [2020-09-28 Mon 09:25]
inbox.org
2020-09-27 08:36:55 +00:00
- State "CANCELED" from "TODO" [2020-09-27 Sun 10:35]
inbox.org
2020-09-25 08:26:59 +00:00
- State "DONE" from "TODO" [2020-09-25 Fri 10:25]
inbox.org
2020-09-24 09:36:34 +00:00
- State "CANCELED" from "TODO" [2020-09-24 Thu 11:30]
updated today
2020-09-23 19:43:28 +00:00
- State "DONE" from "TODO" [2020-09-23 Wed 12:06]
inbox.org
2020-09-22 07:27:01 +00:00
- State "DONE" from "TODO" [2020-09-22 Tue 09:26]
inbox.org
2020-09-21 07:51:03 +00:00
- State "DONE" from "TODO" [2020-09-21 Mon 09:50]
inbox.org
2020-09-20 20:31:29 +00:00
- State "CANCELED" from "TODO" [2020-09-20 Sun 11:14]
inbox.org
2020-09-20 06:04:23 +00:00
- State "DONE" from "TODO" [2020-09-19 Sat 11:05]
inbox.org
2020-09-15 08:09:19 +00:00
- State "CANCELED" from "TODO" [2020-09-15 Tue 10:08]
inbox.org
2020-09-14 12:08:50 +00:00
- State "CANCELED" from "TODO" [2020-09-14 Mon 14:08]
inbox.org
2020-09-11 13:07:05 +00:00
- State "CANCELED" from "TODO" [2020-09-11 Fri 15:05]
inbox.org
2020-09-10 07:17:24 +00:00
- State "CANCELED" from "TODO" [2020-09-10 Thu 09:17]
inbox.org
2020-09-07 13:37:55 +00:00
- State "CANCELED" from "TODO" [2020-09-07 Mon 15:26]
inbox.org
2020-09-06 19:57:19 +00:00
- State "DONE" from "TODO" [2020-09-05 Sat 10:10]
inbox.org
2020-09-03 13:00:31 +00:00
- State "CANCELED" from "TODO" [2020-09-03 Thu 14:31]
inbox.org
2020-09-01 08:16:16 +00:00
- State "CANCELED" from "TODO" [2020-09-01 Tue 10:06]
inbox.org
2020-08-30 09:50:43 +00:00
- State "DONE" from "TODO" [2020-08-30 Sun 11:45]
update
2020-08-29 19:10:22 +00:00
- State "CANCELED" from "TODO" [2020-08-29 Sat 11:49]
inbox.org
2020-08-27 08:15:33 +00:00
- State "DONE" from "TODO" [2020-08-27 Thu 10:15]
inbox.org
2020-08-25 08:23:20 +00:00
- State "DONE" from "TODO" [2020-08-25 Tue 09:25]
inbox.org
2020-08-24 08:11:03 +00:00
- State "DONE" from "TODO" [2020-08-24 Mon 09:44]
inbox.org
2020-08-24 07:44:21 +00:00
- State "CANCELED" from "TODO" [2020-08-22 Sat 13:51]
inbox.org
2020-08-21 13:27:17 +00:00
- State "DONE" from "TODO" [2020-08-21 Fri 15:26]
inbox.org
2020-08-20 07:45:51 +00:00
- State "DONE" from "TODO" [2020-08-20 Thu 09:45]
inbox.org
2020-08-19 09:10:51 +00:00
- State "DONE" from "TODO" [2020-08-19 Wed 10:46]
inbox.org
2020-08-19 08:46:34 +00:00
- State "CANCELED" from "TODO" [2020-08-18 Tue 12:07]
inbox.org
2020-08-17 09:34:53 +00:00
- State "DONE" from "TODO" [2020-08-17 Mon 11:34]
inbox.org
2020-08-13 08:35:03 +00:00
- State "DONE" from "TODO" [2020-08-11 Tue 12:53]
inbox.org
2020-08-10 12:47:59 +00:00
- State "DONE" from "TODO" [2020-08-10 Mon 14:47]
inbox.org
2020-07-09 08:08:35 +00:00
- State "DONE" from "TODO" [2020-07-09 Thu 10:07]
inbox.org
2020-07-07 08:33:01 +00:00
- State "DONE" from "TODO" [2020-07-07 Tue 10:20]
inbox.org
2020-07-02 08:47:36 +00:00
- State "DONE" from "TODO" [2020-07-02 Thu 10:46]
inbox.org
2020-06-29 11:44:21 +00:00
- State "DONE" from "TODO" [2020-06-29 Mon 13:43]
- State "CANCELED" from "TODO" [2020-06-28 Sun 22:26] \\
Martigues
inbox.org
2020-06-27 12:22:33 +00:00
- State "CANCELED" from "TODO" [2020-06-27 Sat 14:19] \\
martigues
inbox.org
2020-06-25 13:16:52 +00:00
- State "DONE" from "TODO" [2020-06-25 Thu 15:15]
inbox.org
2020-06-24 16:09:56 +00:00
- State "CANCELED" from "TODO" [2020-06-24 Wed 18:05] \\
forgot
inbox.org
2020-06-23 14:58:11 +00:00
- State "DONE" from "TODO" [2020-06-23 Tue 16:57]
inbox.org
2020-06-22 07:43:52 +00:00
- State "DONE" from "TODO" [2020-06-22 Mon 09:42]
inbox.org
2020-06-21 14:00:36 +00:00
- State "DONE" from "TODO" [2020-06-21 Sun 15:54]
inbox.org
2020-06-20 22:07:49 +00:00
- State "DONE" from "TODO" [2020-06-20 Sat 23:59]
inbox.org
2020-06-19 08:51:22 +00:00
- State "DONE" from "TODO" [2020-06-19 Fri 10:50]
inbox.org
2020-06-18 12:46:26 +00:00
- State "DONE" from "TODO" [2020-06-18 Thu 11:12]
inbox.org
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:04]
inbox.org
2020-06-16 08:32:44 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 10:31]
inbox.org
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 10:27]
inbox.org
2020-06-14 08:22:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 10:15]
save
2020-06-13 12:01:12 +00:00
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
Moved files
2020-06-12 22:49:31 +00:00
- 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]
save
2020-06-09 18:47:34 +00:00
- 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
save
2020-06-05 11:34:56 +00:00
- 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]
backup
2020-06-01 13:59:31 +00:00
- 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]
update
2020-05-26 07:38:56 +00: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
Moved files
2020-06-12 22:49:31 +00:00
:END:
inbox.org
2020-08-19 20:08:19 +00:00
#+NAME: body-data
inbox.org
2021-09-02 07:45:47 +00:00
#+tblname: weight-table
inbox.org
2021-09-02 08:11:23 +00:00
| Date | Weight | Graph |
|--------------+--------+----------|
inbox.org
2021-09-02 08:00:55 +00:00
| [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-08-10] | 69.5 | ▉▉▉▉▉▋ |
| [2020-08-11] | 69.5 | ▉▉▉▉▉▋ |
| [2020-08-17] | 69.5 | ▉▉▉▉▉▋ |
| [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 | ▉▉▉▉▉▉▌ |
backup
2020-06-01 13:59:31 +00:00
#+TBLFM: $3='(orgtbl-uc-draw-grid $2 60 80)
inbox.org
2021-09-02 07:44:06 +00:00
inbox.org
2021-09-02 07:45:47 +00:00
#+begin_src gnuplot :var data=weight-table :file output.png
inbox.org
2021-09-02 07:48:36 +00:00
reset
inbox.org
2021-09-02 07:46:56 +00:00
set title "Weight"
inbox.org
2021-09-02 08:17:56 +00:00
set timefmt '[%Y-%m-%d]'
inbox.org
2021-09-02 08:06:52 +00:00
# set format x "%Y-%m-%d"
inbox.org
2021-09-02 07:46:56 +00:00
set xlabel "date"
inbox.org
2021-09-02 08:20:48 +00:00
set xdata time
inbox.org
2021-09-02 07:48:36 +00:00
set xtics rotate by -45
inbox.org
2021-09-02 08:11:23 +00:00
# set xrange ["2020-01-01":"2022-01-01"]
inbox.org
2021-09-02 07:48:36 +00:00
inbox.org
2021-09-02 07:49:48 +00:00
set yrange [60:80]
inbox.org
2021-09-02 07:46:56 +00:00
set ylabel "weight"
inbox.org
2021-09-02 07:48:36 +00:00
inbox.org
2021-09-02 08:17:56 +00:00
plot data using 2:xticlabels(1) t "weight" w lines lw 3
inbox.org
2021-09-02 07:44:06 +00:00
#+end_src
inbox.org
2021-09-02 07:48:36 +00:00
#+RESULTS:
inbox.org
2021-09-02 07:49:48 +00:00
[[file:output.png]]
inbox.org
2021-09-02 07:48:36 +00:00
inbox.org
2021-08-23 11:33:39 +00:00
*** TODO [#A] News filtered by AI + RSS + Scraper :daily:
update
2021-08-31 08:20:49 +00:00
SCHEDULED: <2021-09-02 Thu 09:00 .+3d>
inbox.org
2021-08-14 15:11:03 +00:00
:PROPERTIES:
:STYLE: habit
update
2021-08-31 08:20:49 +00:00
:LAST_REPEAT: [2021-08-30 Mon 12:24]
inbox.org
2021-08-16 12:46:51 +00:00
:END:
:LOGBOOK:
update
2021-08-31 08:20:49 +00:00
- State "DONE" from "TODO" [2021-08-30 Mon 12:24]
inbox.org
2021-08-23 11:33:39 +00:00
- State "DONE" from "TODO" [2021-08-23 Mon 11:42]
tracker.org
2021-08-19 07:37:45 +00:00
- State "DONE" from "IN-PROGRESS" [2021-08-18 Wed 10:03]
inbox.org
2021-08-18 05:37:09 +00:00
CLOCK: [2021-08-18 Wed 07:15]--[2021-08-18 Wed 07:35] => 0:20
inbox.org
2021-08-16 12:46:51 +00:00
- State "DONE" from "TODO" [2021-08-15 Sun 16:50]
inbox.org
2021-08-14 15:11:03 +00:00
:END:
inbox.org
2021-08-14 15:09:35 +00:00
[2021-08-04 Wed 16:17]
Cf: [[file:journal/2021-08-04--17-13-03Z--airss.org::+TITLE: AIRSS][AIRSS]]
** Maybe :maybe:
inbox.org
2021-07-05 08:21:55 +00:00
*** IN-PROGRESS Write long letter(s) [1/8]
inbox.org
2021-07-19 07:56:20 +00:00
SCHEDULED: <2021-08-20 Fri>
inbox.org
2020-10-15 10:29:40 +00:00
[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
:PROPERTIES:
:CUSTOM_ID: a-list-of-foundational-haskell-papers
:END:
- source :: https://github.com/cohomolo-gy/haskell-resources/blob/master/README.md
**** History [0/1]
:PROPERTIES:
:CUSTOM_ID: history
:END:
- [ ] [[https://www.iro.umontreal.ca/~monnier/2035/history.pdf][A History of Haskell: being lazy with class]]
**** The Beginning: The Eugenio Moggi Papers [0/4]
:PROPERTIES:
:CUSTOM_ID: the-beginning-the-eugenio-moggi-papers
:END:
- [ ] [[https://core.ac.uk/download/pdf/21173011.pdf][Notions of Computations over Monads]]
- [ ] [[https://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf][Computational Lambda Calculus and Monads]]
- [ ] [[http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf][Monads for functional programming]]
- [ ] [[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.9361&rep=rep1&type=pdf][The essence of functional programming]]
**** Propositions as Types [0/1]
:PROPERTIES:
:CUSTOM_ID: propositions-as-types
:END:
- [ ] [[https://pdfs.semanticscholar.org/1dc4/2af9a52032fcee178865a6be7ac2f46c9ff4.pdf][Propositions as Types]]
**** Haskell Semantics and Design Spaces [0/13]
:PROPERTIES:
:CUSTOM_ID: haskell-semantics-and-design-spaces
:END:
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf][Semantics]] - [[https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf][How to make ad hoc polymorphism less ad hoc]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1994/04/classhask.pdf][Type Classes]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/multi.pdf][An Exploration of the Design space of Type Classes]]
- [ ] [[http://dreixel.net/research/pdf/gdmh.pdf][A Generic Deriving Mechanism for Haskell]]
- [ ] [[http://edsko.net/pubs/TrueSumsOfProducts.pdf][True Sums of Products]]
- [ ] [[https://www.cs.tufts.edu/comp/150FP/archive/mark-jones/fundeps.pdf][Functional Dependencies]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/putting.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fhigher-rank%2Fputting.pdf][Rank-n Types]]
- [ ] [[https://web.cecs.pdx.edu/~mpj/thih/thih.pdf][Typing Haskell in Haskell]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/typefun.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2F%7Esimonpj%2Fpapers%2Fassoc-types%2Ffun-with-type-funs%2Ftypefun.pdf][Type Families]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/at-syns.pdf][Type Families pt. 2]]
- [ ] [[https://ecommons.cornell.edu/bitstream/handle/1813/5614/TR2003-1901.pdf?sequence=1][GADTs]] - [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/first_class_modules.pdf][First Class Modules in Haskell]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/p53-yorgey.pdf][Kind Promotion]]
- [ ] [[https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf][Kleisli Arrows of Outrageous Fortune]]
**** Under the Hood (Where the sausage is made) [0/7]
:PROPERTIES:
:CUSTOM_ID: under-the-hood-where-the-sausage-is-made
:END:
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1996/05/float.pdf][Let-floating]]
- [ ] [[https://simonmar.github.io/bib/papers/parallel-gc.pdf][Parallel Garbage Collection]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fmarktoberdorf%2Fmark.pdf][Tackling the Awkward Squad]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1994/06/lazy-functional-state-threads.pdf][Lazy State Threads]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/state-lasc.pdf][General State]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf][The Spineless Tagless G-machine]]
- [ ] [[http://fun.cs.tufts.edu/stream-fusion.pdf][Stream Fusion. From Lists to Streams to Nothing at All]]
**** Type Systems and Lambda Calculi [0/7]
:PROPERTIES:
:CUSTOM_ID: type-systems-and-lambda-calculi
:END:
- [ ] [[http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf][Lambda Calculus with Types]]
- [ ] [[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.1889&rep=rep1&type=pdf][The Call by Need Lambda Calculus]]
- [ ] [[https://www.cs.ox.ac.uk/files/293/lazy.pdf][The Lazy Lambda Calculus]]
- [ ] [[http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf][Hindley-Milner Systems]]
- [ ] [[http://soft.vub.ac.be/~cfscholl/Capita-Selecta-2015/papers/2002%20Heeren.pdf][Generalized Hindley-Milner Systems]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2007/01/tldi22-sulzmann-with-appendix.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fext-f%2Ftldi22-sulzmann-with-appendix.pdf][System F with type equality coercion]]
- [ ] [[https://cs.brynmawr.edu/~rae/papers/2013/fckinds/fckinds-extended.pdf][System FC with Kind Equality]]
**** Misc Parametricity [1/5]
:PROPERTIES:
:CUSTOM_ID: misc-parametricity
:END:
- [X] [[http://ecee.colorado.edu/ecen5533/fall11/reading/free.pdf][Theorems for Free]]
- [ ] [[http://www.janis-voigtlaender.eu/papers/FreeTheoremsInvolvingTypeConstructorClasses.pdf][Free theorems for TyCons]]
- [ ] [[http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types/Reynolds_typesabpara.pdf][Parametric Polymorphism]]
- [ ] [[http://strictlypositive.org/diff.pdf][Type Derivatives and Typed Holes]]
- [ ] [[https://mpg.is/papers/gissurarson2018suggesting.pdf][Suggesting Valid Hole Fits]]
**** Misc TypeChecking + PLT [0/10]
:PROPERTIES:
:CUSTOM_ID: misc-typechecking-plt
:END:
- [ ] [[http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf][Parametric HOAS]]
- [ ] [[http://davidchristiansen.dk/tutorials/bidirectional.pdf][Tutorial on Bidirectional Type Inference]]
- [ ] [[https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf][Tutorial Implementation of Dependent Types]]
- [ ] [[http://www.cs.cmu.edu/~fp/courses/15312-f04/handouts/15-bidirectional.pdf][Pfenning's Notes on Bidirectional Type Inference]]
- [ ] [[https://www.schoolofhaskell.com/user/edwardk/bound][EdK's =bound= Library Comparisons]]
- [ ] [[https://www.cl.cam.ac.uk/~nk480/bidir.pdf][Bidirectional Typechecking for Higher Rank Polymorphism]]
- [ ] [[https://pdfs.semanticscholar.org/8983/233b3dff2c5b94efb31235f62bddc22dc899.pdf][Tutorial Implementation of Hindley-Milner]]
- [ ] [[https://www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99DeBruijn.pdf][De Bruijn Indices]]
- [ ] [[https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf][The Stitch Type Checker]]
- [ ] [[https://repository.upenn.edu/cgi/viewcontent.cgi?article=1031&context=cis_reports][Boxes go Bananas]]
**** Functional pearls [0/7]
:PROPERTIES:
:CUSTOM_ID: functional-pearls
:END:
- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/countdown.pdf][The countdown problem]]
- [ ] [[https://www.cs.tufts.edu/~nr/cs257/archive/richard-bird/sudoku.pdf][A program to solve Sudoku]]
- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/ccc.pdf][Calculating correct compilers]]
- [ ] [[http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf][Data types a la carte]]
- [ ] [[https://www.microsoft.com/en-us/research/uploads/prod/2016/11/trees-that-grow.pdf][Trees that grow]]
- [ ] [[http://www.cs.ru.nl/~james/RESEARCH/haskell2004.pdf][I am not a Number, I am a Free Variable!]]
- [ ] [[https://www.fceia.unr.edu.ar/~mauro/pubs/Notions_of_Computation_as_Monoids_ext.pdf][Notions of Computation as Monoids - Exequiel Rivas, Mauro Jaskelioff]]
**** Algebra of programming [1/6]
:PROPERTIES:
:CUSTOM_ID: algebra-of-programming
:END:
- [X] [[https://maartenfokkinga.github.io/utwente/mmf91m.pdf][Functional programming with Bananas, Lenses, and Barbed Wire]]
- [ ] [[https://www.cs.ox.ac.uk/jeremy.gibbons/publications/origami.pdf][Origami programming]]
- [ ] [[http://moss.cs.iit.edu/cs495/universal-fold.pdf][A tutorial on the universality and expressiveness of fold]]
- [ ] [[https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf][Unifying Structured Recursion Schemes]]
- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/bananas.pdf][Bananas in Space]] - [[https://www.cs.ox.ac.uk/people/nicolas.wu/papers/Hylomorphisms.pdf][Conjugate Hylomorphisms]]
- [ ] [[https://www.cs.ox.ac.uk/ralf.hinze/publications/SCP-78-11.pdf][Adjoint Folds]]
inbox.org
2021-08-14 15:09:35 +00:00
*** TODO [#C] Enhance quality of hosting, switch to NixOS :geek:
*** TODO [#C] Wakatime server clone :idea:geek:
inbox.org
2020-10-15 10:29:40 +00:00
See doc at: https://wakatime.com/developers
backup
2020-06-01 13:59:31 +00:00
* Famille :family:
inbox.org
2020-10-12 13:07:00 +00:00
** Daily :daily:
inbox.org
2021-03-06 22:49:32 +00:00
** Weekly :weekly:
update
2020-05-26 07:38:56 +00:00
*** TODO litieres
inbox.org
2021-08-29 09:36:34 +00:00
DEADLINE: <2021-09-12 Sun .+2w -1d>
update
2020-05-26 07:38:56 +00:00
:PROPERTIES:
inbox.org
2021-08-29 09:36:34 +00:00
:LAST_REPEAT: [2021-08-29 Sun 11:33]
update
2020-05-26 07:38:56 +00:00
:STYLE: habit
:END:
inbox.org
2020-06-15 08:37:18 +00:00
:LOGBOOK:
inbox.org
2021-08-29 09:36:34 +00:00
- State "DONE" from "TODO" [2021-08-29 Sun 11:33]
inbox.org
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
inbox.org
2021-07-15 07:22:07 +00:00
- State "DONE" from "TODO" [2021-07-08 Thu 09:26]
inbox.org
2021-05-27 06:12:38 +00:00
- State "DONE" from "TODO" [2021-05-27 Thu 08:09]
inbox.org
2021-05-05 08:19:28 +00:00
- State "CANCELED" from "TODO" [2021-05-05 Wed 10:18]
inbox.org
2021-04-07 14:30:35 +00:00
- State "DONE" from "TODO" [2021-04-07 Wed 16:30]
inbox.org
2021-03-04 09:27:27 +00:00
- State "DONE" from "TODO" [2021-02-28 Sun 12:01]
inbox.org
2021-01-19 12:54:55 +00:00
- State "DONE" from "TODO" [2021-01-18 Mon 14:26]
inbox.org
2021-01-04 14:50:33 +00:00
- State "DONE" from "TODO" [2021-01-04 Mon 15:49]
inbox.org
2020-11-27 09:33:29 +00:00
- State "DONE" from "TODO" [2020-11-27 Fri 10:32]
inbox.org
2020-11-05 14:45:27 +00:00
- State "DONE" from "TODO" [2020-11-05 Thu 15:43]
inbox.org
2020-10-23 08:24:16 +00:00
- State "DONE" from "TODO" [2020-10-23 Fri 10:22]
inbox.org
2020-10-08 09:19:46 +00:00
- State "DONE" from "TODO" [2020-10-08 Thu 11:18]
inbox.org
2020-09-11 07:09:43 +00:00
- State "DONE" from "TODO" [2020-09-11 Fri 09:07]
inbox.org
2020-08-30 09:50:43 +00:00
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "DONE" from "TODO" [2020-05-19 Tue 22:04]
inbox.org
2020-08-24 07:44:21 +00:00
- State "DONE" from "TODO" [2020-08-22 Sat 09:18]
inbox.org
2020-06-21 14:01:38 +00:00
- State "DONE" from "TODO" [2020-06-21 Sun 16:00]
inbox.org
2020-06-15 08:37:18 +00:00
- State "CANCELED" from "TODO" [2020-06-15 Mon 10:28] \\
Done not so long ago
:END:
update
2020-05-26 07:38:56 +00:00
*** TODO bricolage - si besoin
inbox.org
2021-08-31 14:20:36 +00:00
SCHEDULED: <2021-09-07 Tue .+1w>
update
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
inbox.org
2021-08-31 14:20:36 +00:00
:LAST_REPEAT: [2021-08-31 Tue 16:19]
inbox.org
2020-06-15 08:37:18 +00:00
:END:
inbox.org
2020-08-24 07:44:21 +00:00
- State "DONE" from "TODO" [2020-08-24 Mon 08:57]
inbox.org
2020-06-15 08:37:18 +00:00
:LOGBOOK:
inbox.org
2021-08-31 14:20:36 +00:00
- State "DONE" from "TODO" [2021-08-31 Tue 16:19]
tracker.org
2021-08-19 07:37:45 +00:00
- State "DONE" from "TODO" [2021-08-18 Wed 10:03]
inbox.org
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
inbox.org
2021-07-15 07:22:07 +00:00
- State "DONE" from "TODO" [2021-07-15 Thu 09:21]
inbox.org
2021-07-05 08:21:55 +00:00
- State "DONE" from "TODO" [2021-07-05 Mon 10:20]
inbox.org
2021-05-24 13:04:50 +00:00
- State "DONE" from "TODO" [2021-05-24 Mon 15:03]
inbox.org
2021-05-03 13:19:49 +00:00
- State "CANCELED" from "TODO" [2021-05-03 Mon 15:18]
inbox.org
2021-04-02 10:05:22 +00:00
- State "DONE" from "TODO" [2021-04-02 Fri 12:04]
inbox.org
2021-03-07 19:13:55 +00:00
- State "DONE" from "TODO" [2021-03-07 Sun 20:12]
inbox.org
2021-03-04 09:27:27 +00:00
- State "DONE" from "TODO" [2021-02-28 Sun 12:02]
inbox.org
2021-01-12 09:08:36 +00:00
- State "DONE" from "TODO" [2021-01-12 Tue 10:06]
inbox.org
2021-01-04 14:54:34 +00:00
- State "DONE" from "TODO" [2021-01-04 Mon 15:53]
inbox.org
2020-12-26 17:47:08 +00:00
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:11]
inbox.org
2020-12-03 15:27:33 +00:00
- State "DONE" from "TODO" [2020-12-03 Thu 16:25]
inbox.org
2020-11-23 09:32:23 +00:00
- State "DONE" from "TODO" [2020-11-22 Sun 19:43]
inbox.org
2020-11-13 15:00:51 +00:00
- State "DONE" from "TODO" [2020-11-13 Fri 15:59]
inbox.org
2020-11-05 14:40:49 +00:00
- State "DONE" from "TODO" [2020-11-04 Wed 13:08]
inbox.org
2020-10-08 10:27:46 +00:00
- State "CANCELED" from "TODO" [2020-10-08 Thu 12:26]
inbox.org
2020-09-28 07:25:55 +00:00
- State "DONE" from "TODO" [2020-09-28 Mon 09:25]
inbox.org
2020-09-20 20:31:29 +00:00
- State "DONE" from "TODO" [2020-09-20 Sun 22:30]
inbox.org
2020-09-11 13:08:07 +00:00
- State "CANCELED" from "TODO" [2020-09-11 Fri 15:06]
inbox.org
2020-09-01 08:16:16 +00:00
- State "DONE" from "TODO" [2020-09-01 Tue 10:07]
inbox.org
2020-08-19 08:46:34 +00:00
- State "DONE" from "TODO" [2020-08-17 Mon 12:18]
inbox.org
2020-07-07 08:33:01 +00:00
- State "DONE" from "TODO" [2020-07-07 Tue 10:19]
inbox.org
2020-07-01 21:30:58 +00:00
- State "CANCELED" from "TODO" [2020-06-29 Mon 13:44] \\
Week-end Martigues
inbox.org
2020-06-22 13:27:52 +00:00
- State "DONE" from "TODO" [2020-06-22 Mon 10:07]
inbox.org
2020-06-15 08:37:18 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 10:28]
update
2020-05-26 07:38:56 +00:00
:END:
save
2020-06-09 18:47:34 +00:00
- 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 |
backup
2020-06-01 13:59:31 +00:00
- State "CANCELED" from "TODO" [2020-05-30 Sat 23:59] \\
pas besoin
update
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:24]
inbox.org
2020-10-12 13:07:00 +00:00
** Yearly :yearly:
inbox.org
2021-03-06 22:49:32 +00:00
*** TODO [#A] revision chaudiere
DEADLINE: <2022-02-15 Tue +1y -2w>
:PROPERTIES:
:LAST_REPEAT: [2021-03-06 Sat 23:48]
:END:
:LOGBOOK:
- State "DONE" from "IN-PROGRESS" [2021-03-06 Sat 23:48]
:END:
update
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:26]
*** TODO vaccination leichmaniose Oslo
inbox.org
2021-01-18 13:26:53 +00:00
DEADLINE: <2022-01-20 Thu +1y>
:PROPERTIES:
:LAST_REPEAT: [2021-01-18 Mon 14:25]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2021-01-18 Mon 14:25]
:END:
update
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:27]
*** TODO Nettoyage barbecue
inbox.org
2021-03-20 08:01:45 +00:00
SCHEDULED: <2022-09-19 Mon +1y>
:PROPERTIES:
:LAST_REPEAT: [2021-04-26 Mon 08:59]
:END:
update
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:32]
inbox.org
2020-10-12 13:07:00 +00:00
*** TODO [#A] Cadeau Rencontre Krystelle (1995) :yearly:
inbox.org
2021-04-08 08:05:14 +00:00
DEADLINE: <2022-04-08 Fri +1y -2w>
:PROPERTIES:
:LAST_REPEAT: [2021-04-08 Thu 10:03]
:END:
inbox.org
2021-08-11 16:53:50 +00:00
*** TODO [#A] Cadeau Mariage Krystelle (2000) :yearly:
DEADLINE: <2022-08-12 Fri +1y -2w>
inbox.org
2020-08-10 12:47:59 +00:00
:PROPERTIES:
inbox.org
2021-08-11 16:53:50 +00:00
:LAST_REPEAT: [2021-08-11 Wed 18:52]
inbox.org
2020-08-10 12:47:59 +00:00
:END:
:LOGBOOK:
inbox.org
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
inbox.org
2020-08-10 12:47:59 +00:00
- State "DONE" from "TODO" [2020-08-10 Mon 12:19]
:END:
inbox.org
2021-04-21 13:41:40 +00:00
*** TODO [#A] Cadeau Anniversaire Krystelle :yearly:
DEADLINE: <2022-04-26 Tue +1y -2w>
:PROPERTIES:
:LAST_REPEAT: [2021-04-21 Wed 15:41]
:END:
backup
2020-06-01 13:59:31 +00:00
*** Fête des mères
**** [2020-06-07 Sun]
**** [2021-05-30 Sun]
inbox.org
2021-07-05 08:12:31 +00:00
***** 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>
backup
2020-06-01 13:59:31 +00:00
**** [2022-06-07 Tue]
inbox.org
2020-10-12 13:07:00 +00:00
***** TODO [#A] Acheter cadeau fête des mères Krystelle :krystelle:
backup
2020-06-01 13:59:31 +00:00
DEADLINE: <2022-05-29 Sun -2w>
***** TODO [#A] Acheter cadeau fête des mères Maman
DEADLINE: <2022-05-30 Mon -2w>
inbox.org
2021-03-04 09:27:27 +00:00
*** TODO Appeler Thierry
inbox.org
2021-01-07 10:54:00 +00:00
DEADLINE: <2022-01-04 Tue +1y>
:PROPERTIES:
inbox.org
2021-03-04 09:27:27 +00:00
:LAST_REPEAT: [2021-02-28 Sun 11:56]
inbox.org
2021-01-07 10:54:00 +00:00
:END:
:LOGBOOK:
inbox.org
2021-03-04 09:27:27 +00:00
- State "DONE" from "TODO" [2021-02-28 Sun 11:56]
- State "DONE" from "TODO" [2021-02-28 Sun 11:55]
inbox.org
2021-01-07 10:54:00 +00:00
- State "DONE" from "TODO" [2021-01-07 Thu 11:52]
:END:
journal/2020-12-27--19-49-15Z--we_ve_got_depression_all_wrong_it_s_trying_to_save_us.org
2020-12-27 18:50:21 +00:00
[2020-12-26 Sat 13:03]
inbox.org
2021-03-04 09:27:27 +00:00
** Krystelle :krystelle:
** Anna :anna:
** Bastien :bastien:
inbox.org
2021-09-02 07:18:34 +00:00
** DONE Réparer le chargeur de l'aspirateur
inbox.org
2021-08-30 07:52:44 +00:00
DEADLINE: <2021-08-30 Mon>
[2021-08-24 Tue 19:37]
- ref ::
inbox.org
2021-08-30 09:32:53 +00:00
** DONE poser l'étagère en W pour Anna :anna:family:
inbox.org
2021-08-30 07:53:56 +00:00
SCHEDULED: <2021-08-30 Mon 14:00>
[2021-08-30 Mon 09:42]
- ref :: [[file:~/Library/Mobile Documents/iCloud~com~appsonthemove~beorg/Documents/org/inbox.org::*oklab color space for solaryzed][oklab color space for solaryzed]]
inbox.org
2021-03-06 22:49:32 +00:00
* Geek :fun:
inbox.org
2021-08-30 08:27:27 +00:00
** TODO [#C] my experience/story about blog post serie [1/2] :blog:
inbox.org
2020-09-08 09:25:27 +00:00
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
inbox.org
2020-10-12 13:07:00 +00:00
*** TODO [#C] how I use nix :blog:
inbox.org
2020-08-14 09:42:44 +00:00
[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
inbox.org
2021-08-30 08:27:27 +00:00
*** DONE [#C] how I use org-mode :blog:
inbox.org
2020-09-22 06:27:06 +00:00
:LOGBOOK:
CLOCK: [2020-09-21 Mon 12:54]--[2020-09-21 Mon 13:04] => 0:10
:END:
inbox.org
2020-08-14 09:42:44 +00:00
**** 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
inbox.org
2021-08-30 07:52:44 +00:00
** TODO oklab color space for solaryzed :maybe:
SCHEDULED: <2021-08-27 Fri>
[2021-05-26 Wed 07:21]
- ref ::
inbox.org
2021-08-30 07:53:56 +00:00
** IN-PROGRESS Système de retrospective des journaux
inbox.org
2021-08-31 14:20:36 +00:00
SCHEDULED: <2021-09-03 Fri>
inbox.org
2021-08-30 07:53:56 +00:00
[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.
inbox.org
2020-06-15 08:37:18 +00:00
* Memory
update
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:ID: 1644E007-AFBE-4F4B-9307-B007C60548E8
:END:
inbox.org
2020-10-12 13:07:00 +00:00
** client TG dans le config.edn :fc:cisco:
update
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:FC_CREATED: 2020-05-23T17:33:07Z
:FC_TYPE: normal
:ID: 8B092321-BA1F-47F9-A927-76D2E232CF51
:END:
:REVIEW_DATA:
| position | ease | box | interval | due |
|----------+------+-----+----------+----------------------|
inbox.org
2021-01-25 14:02:35 +00:00
| front | 3.25 | 7 | 449.62 | 2022-04-20T04:53:05Z |
update
2020-05-26 07:38:56 +00:00
:END:
Ne pas oublier le client de TG est dans le config.edn
inbox.org
2020-10-12 13:07:00 +00:00
** Searh within org notes :fc:org:
save
2020-06-05 11:34:56 +00:00
:PROPERTIES:
:FC_CREATED: 2020-06-05T07:09:22Z
:FC_TYPE: normal
:ID: 49981B50-AFBD-4C93-A9C2-8D88550AB425
:END:
:REVIEW_DATA:
| position | ease | box | interval | due |
|----------+------+-----+----------+----------------------|
inbox.org
2021-01-19 12:57:07 +00:00
| front | 2.65 | 7 | 289.32 | 2021-11-04T20:35:12Z |
save
2020-06-05 11:34:56 +00:00
:END:
inbox.org
2020-09-01 10:18:39 +00:00
=helm-org-rifle= (~SPC y o s~)
inbox.org
2020-10-12 13:07:00 +00:00
** update ~[/]~ and ~[%]~ in org mode :fc:org:
inbox.org
2020-06-14 08:22:11 +00:00
:PROPERTIES:
:FC_CREATED: 2020-06-13T12:35:49Z
:FC_TYPE: normal
:ID: 90110976-520D-4B0C-B1D9-3798323C370E
:END:
:REVIEW_DATA:
| position | ease | box | interval | due |
|----------+------+-----+----------+----------------------|
inbox.org
2021-01-25 14:03:51 +00:00
| front | 2.35 | 7 | 265.02 | 2021-10-17T14:36:23Z |
inbox.org
2020-06-14 08:22:11 +00:00
:END:
inbox.org
2020-09-01 10:18:39 +00:00
use ~SPC m #~ (~org-update-statistics-cookies~)
inbox.org
2020-10-12 13:07:00 +00:00
** projectile toggle from implementation to test file :fc:
inbox.org
2020-07-02 13:17:13 +00:00
:PROPERTIES:
:FC_CREATED: 2020-07-02T13:16:56Z
:FC_TYPE: normal
:ID: 2110820C-4877-40B3-A351-2DEDE0F222C6
:END:
:REVIEW_DATA:
| position | ease | box | interval | due |
|----------+------+-----+----------+----------------------|
inbox.org
2021-01-25 14:02:35 +00:00
| front | 2.65 | 7 | 287.31 | 2021-11-08T21:22:55Z |
inbox.org
2020-07-02 13:17:13 +00:00
:END:
inbox.org
2020-10-26 15:04:52 +00:00
=SPC p y=
inbox.org
2020-11-23 09:32:23 +00:00
** Create inactive timestmap ([DATE]) :fc:org:doom:
inbox.org
2020-09-01 10:16:44 +00:00
:PROPERTIES:
:FC_CREATED: 2020-09-01T10:16:26Z
:FC_TYPE: normal
:ID: a4ebd43b-b589-499e-85e1-7ebea0abf3af
:END:
:REVIEW_DATA:
| position | ease | box | interval | due |
|----------+------+-----+----------+----------------------|
inbox.org
2020-11-19 08:54:52 +00:00
| front | 2.65 | 6 | 117.50 | 2021-03-16T20:55:04Z |
inbox.org
2020-09-01 10:16:44 +00:00
:END:
inbox.org
2020-09-01 10:14:20 +00:00
:LOGBOOK:
inbox.org
2020-09-02 13:23:13 +00:00
CLOCK: [2020-09-01 Tue 12:13]--[2020-09-01 Tue 12:13] => 0:00
inbox.org
2020-09-01 10:14:20 +00:00
:END:
[2020-09-01 Tue 12:13]
~SPC m d T~
inbox.org
2020-12-07 09:32:25 +00:00
** Clone sub tree with time shift :fc:
inbox.org
2020-12-02 13:55:57 +00:00
:PROPERTIES:
:FC_CREATED: 2020-12-02T13:54:51Z
:FC_TYPE: normal
:ID: 9207b53a-e38e-4996-abc6-140c31f2960a
:END:
:REVIEW_DATA:
| position | ease | box | interval | due |
|----------+------+-----+----------+----------------------|
inbox.org
2021-01-25 14:03:51 +00:00
| front | 2.35 | 3 | 6.00 | 2021-01-31T14:02:51Z |
inbox.org
2020-12-02 13:55:57 +00:00
:END:
=org-clone-subtree-with-time-shift=
inbox.org
2021-08-30 09:32:53 +00:00
** maxims :fc:
inbox.org
2021-05-18 15:30:35 +00:00
[2021-05-13 Thu 10:28]
Syntactic sugar causes cancer of the semicolon.
Alan Perlis's maxim. From Software Design for Flexibility.
Reference in a new issue Copy permalink