yogsototh/deft
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
deft/inbox.org
Yann Esposito (Yogsototh) 412eb8a7e1
inbox.org
2021-11-22 17:10:11 +01:00

845 lines
38 KiB
Org Mode
Raw Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

#+Title:TODO
#+Author: Yann Esposito
#+ARCHIVE: archives/TODO.archive.org::
#+TODO: TODO(t) IN-PROGRESS(p) HOLD(h@/!) WAITING(w@/!) | DONE(d) CANCELED(c@/!) HANDLED(l@/!)
#+COLUMNS: %TODO %3PRIORITY %40ITEM(Task) %CLOCKSUM %8TAGS(TAG)
#+STARTUP: overview
#+begin_comment
SPC y o c => DISPLAY org columns
#+end_comment
* Inbox
** DONE Demande Aménagements au BAC Anna 2021/22
[2021-11-22 Mon 16:32]
Bonjour Madame Peytavin,
L'année dernière je vous avais contacté par l'intermédiaire du docteur
Vesperini pour ma fille Anna souffrant de TSA.
Elle a redoublée, et elle est scolarisé dans une petite école à Mougin.
J'aimerais refaire une demande d'aménagement.
Cette année ce n'est pas moi qui l'ait inscrite au BAC.
Je me suis permis d'aller sur le site de l'académie pour pre-remplir une
demande d'aménagement.
Souhaitez-vous que je vous envois la demande pré-remplie ou préférez vous
prendre un rendez-vous comme l'année précédente pour recevoir Anna et
remplir le dossier ?
Bien cordialement,
Yann Esposito
** DONE Envoyer le PAI au CNED avec lettre explicative
DEADLINE: <2021-11-18 Thu 14:00>
[2021-11-18 Thu 11:42]
- ref ::
> Envoyer à inscription-rennes@ac-cned.fr
le PAI
** DONE PAI Anna au CNED
DEADLINE: <2021-11-16 Tue 15:00>
[2021-11-15 Mon 08:58]
- ref :: [[file:~/Library/Mobile Documents/iCloud~com~appsonthemove~beorg/Documents/org/notes/journal/2021/2021-11-15.org::*Matin][Matin]]
** DONE Fix ivy emacs-faces. In general, try to fix all visible faces.
[2021-11-10 Wed 11:20]
- ref :: [[file:~/Library/Mobile Documents/iCloud~com~appsonthemove~beorg/Documents/org/notes/journal/2021/2021-11-10.org::*11:01][11:01]]
** DONE email Melanie BAC Anna
[2021-11-08 Mon 12:25]
Bonjour,
J'espère que vous allez bien et que votre voyage s'est bien déroulé.
Nous nous attendions à une reprise difficile pour Anna.
J'aurai aimé savoir si vous prenez en charge l'inscription d'Anna au BAC ou
si je dois le faire.
Dans tous les cas, il faudra que je prenne un RDV à Lenval pour déclarer
des aménagements spécifiques.
Merci et bonne rentrée à vous,
Yann Esposito.
** DONE Réserver l'hotel Disney
CLOSED: [2021-11-06 Sat 21:52] DEADLINE: <2021-11-04 Thu 20:00>
[2021-11-04 Thu 09:18]
** CANCELED emacs trick with evil
SCHEDULED: <2021-10-28 Thu 14:00>
:LOGBOOK:
- State "CANCELED" from "TODO" [2021-10-30 Sat 11:23] \\
I don't think I'll need this.
:END:
[2021-10-28 Thu 10:51]
- ref :: [[file:~/Library/Mobile Documents/iCloud~com~appsonthemove~beorg/Documents/org/notes.org.gpg::*\[2021-10-28 Thu\] Response to Integrators][[2021-10-28 Thu] Response to Integrators]]
From Ag
#+begin_src elisp
(with-eval-after-load 'evil-collection
(dolist (binding evil-collection-magit-mode-map-bindings)
(pcase-let* ((`(,states _ ,evil-binding ,fn) binding))
(dolist (state states)
(evil-collection-define-key state 'code-review-mode-map evil-binding fn))))
(evil-set-initial-state 'code-review-mode evil-default-state))
#+end_src
** TODO Virement Homeschool Mougins (3234€)
DEADLINE: <2021-11-29 Mon 10:00>
[2021-10-27 Wed 10:37]
- ref ::
** DONE Fortuneo: Amundi World (CW8)
DEADLINE: <2021-10-30 Sat 10:00>
:LOGBOOK:
CLOCK: [2021-10-30 Sat 11:13]--[2021-10-30 Sat 11:20] => 0:07
:END:
[2021-10-27 Wed 10:33]
** DONE aspirateur
SCHEDULED: <2021-10-30 Sat 10:00>
[2021-10-29 Fri 21:48]
** DONE Demander a Bastien de ranger ses affaires
CLOSED: [2021-10-30 Sat 13:20] SCHEDULED: <2021-10-30 Sat 11:00>
[2021-10-29 Fri 21:48]
* Perso :perso:
** Habits :habit:
*** TODO journal matin :daily:
SCHEDULED: <2021-11-17 Wed 09:00 .+1d>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2021-11-16 Tue 09:59]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2021-11-16 Tue 09:59]
- State "DONE" from "TODO" [2021-11-06 Sat 21:52]
- State "DONE" from "TODO" [2021-11-04 Thu 09:17]
- State "DONE" from "TODO" [2021-10-31 Sun 16:06]
- State "DONE" from "TODO" [2021-10-23 Sat 16:06]
- State "DONE" from "TODO" [2021-10-21 Thu 10:07]
- State "DONE" from "TODO" [2021-10-20 Wed 08:15]
- State "DONE" from "TODO" [2021-10-18 Mon 10:00]
- 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] => 0: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] => 0: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]
:END:
*** TODO journal soir :daily:evening:
SCHEDULED: <2020-12-27 Sun 23:00 .+1d>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2020-09-20 Sun 22:31]
:END:
:LOGBOOK:
- 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]
:END:
*** TODO weight :daily:
SCHEDULED: <2021-11-17 Wed 09:00 .+1d/3d>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2021-11-16 Tue 10:25]
:END:
:LOGBOOK:
- State "CANCELED" from "TODO" [2021-11-16 Tue 10:25]
- State "CANCELED" from "TODO" [2021-09-24 Fri 09:44]
:END:
#+NAME: body-data
#+tblname: weight-table
| 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 |
#+begin_src gnuplot :var data=weight-table :file weight.png
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
#+end_src
#+RESULTS:
[[file:weight.png]]
*** TODO [#A] News filtered by AI + RSS + Scraper :daily:
SCHEDULED: <2021-11-13 Sat 09:00 .+3d>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2021-09-09 Thu 09:36]
:END:
:LOGBOOK:
- 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]
:END:
[2021-08-04 Wed 16:17]
[[id:c7768cbd-7515-4a0b-953e-c6504bbba42c][AIRSS]]
** Maybe :maybe:
*** IN-PROGRESS Write long letter(s) [1/8]
SCHEDULED: <2021-10-31 Sun>
[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]]
*** 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-11-01 Mon .+2w -1d>
:PROPERTIES:
:LAST_REPEAT: [2021-10-18 Mon 10:00]
:STYLE: habit
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2021-10-18 Mon 10:00]
- 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
:END:
*** TODO bricolage - si besoin
SCHEDULED: <2021-11-03 Wed .+1w>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2021-10-02 Sat 14:13]
:END:
- State "DONE" from "TODO" [2020-08-24 Mon 08:57]
:LOGBOOK:
- State "DONE" from "TODO" [2021-10-27 Wed 20:33]
- 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]
:END:
- 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>
:PROPERTIES:
:LAST_REPEAT: [2021-03-06 Sat 23:48]
:END:
:LOGBOOK:
- State "DONE" from "IN-PROGRESS" [2021-03-06 Sat 23:48]
:END:
[2020-05-23 Sat 10:26]
*** TODO vaccination leichmaniose Oslo
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:
[2020-05-23 Sat 10:27]
*** TODO Nettoyage barbecue
SCHEDULED: <2022-09-19 Mon +1y>
:PROPERTIES:
:LAST_REPEAT: [2021-04-26 Mon 08:59]
:END:
[2020-05-23 Sat 10:32]
*** TODO [#A] Cadeau Rencontre Krystelle (1995) :yearly:
DEADLINE: <2022-04-08 Fri +1y -2w>
:PROPERTIES:
:LAST_REPEAT: [2021-04-08 Thu 10:03]
:END:
*** TODO [#A] Cadeau Mariage Krystelle (2000) :yearly:
DEADLINE: <2022-08-12 Fri +1y -2w>
:PROPERTIES:
:LAST_REPEAT: [2021-08-11 Wed 18:52]
:END:
:LOGBOOK:
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
- State "DONE" from "TODO" [2020-08-10 Mon 12:19]
:END:
*** TODO [#A] Cadeau Anniversaire Krystelle :yearly:
DEADLINE: <2022-04-26 Tue +1y -2w>
:PROPERTIES:
:LAST_REPEAT: [2021-04-21 Wed 15:41]
:END:
*** 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>
:PROPERTIES:
:LAST_REPEAT: [2021-02-28 Sun 11:56]
:END:
:LOGBOOK:
- 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]
:END:
[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]
- ref :: [[file:~/Library/Mobile Documents/iCloud~com~appsonthemove~beorg/Documents/org/inbox.org::*oklab color space for solaryzed][oklab color space for solaryzed]]
* 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:
:LOGBOOK:
CLOCK: [2020-09-21 Mon 12:54]--[2020-09-21 Mon 13:04] => 0:10
:END:
**** 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
:PROPERTIES:
:ID: 1644E007-AFBE-4F4B-9307-B007C60548E8
:END:
** client TG dans le config.edn :fc:cisco:
: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 |
|----------+------+-----+----------+----------------------|
| front | 3.25 | 7 | 449.62 | 2022-04-20T04:53:05Z |
:END:
Ne pas oublier le client de TG est dans le config.edn
** Searh within org notes :fc:org:
: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 |
|----------+------+-----+----------+----------------------|
| front | 2.65 | 7 | 289.32 | 2021-11-04T20:35:12Z |
:END:
=helm-org-rifle= (~SPC y o s~)
** update ~[/]~ and ~[%]~ in org mode :fc:org:
: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 |
|----------+------+-----+----------+----------------------|
| front | 2.35 | 7 | 265.02 | 2021-10-17T14:36:23Z |
:END:
use ~SPC m #~ (~org-update-statistics-cookies~)
** projectile toggle from implementation to test file :fc:
: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 |
|----------+------+-----+----------+----------------------|
| front | 2.65 | 7 | 287.31 | 2021-11-08T21:22:55Z |
:END:
=SPC p y=
** Create inactive timestmap ([DATE]) :fc:org:doom:
: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 |
|----------+------+-----+----------+----------------------|
| front | 2.65 | 6 | 117.50 | 2021-03-16T20:55:04Z |
:END:
:LOGBOOK:
CLOCK: [2020-09-01 Tue 12:13]--[2020-09-01 Tue 12:13] => 0:00
:END:
[2020-09-01 Tue 12:13]
~SPC m d T~
** Clone sub tree with time shift :fc:
: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 |
|----------+------+-----+----------+----------------------|
| front | 2.35 | 3 | 6.00 | 2021-01-31T14:02:51Z |
:END:
=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.
Reference in a new issue View git blame Copy permalink