2020-05-26 07:38:56 +00:00
#+Title :TODO
#+Author : Yann Esposito
#+ARCHIVE : archives/TODO.archive.org::
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)
2020-06-12 22:49:31 +00:00
#+STARTUP : overview
2020-05-26 07:38:56 +00:00
#+begin_comment
2020-09-11 13:17:28 +00:00
SPC y o c => DISPLAY org columns
2020-05-26 07:38:56 +00:00
#+end_comment
2021-10-22 06:15:20 +00:00
* Inbox
2021-12-22 13:45:12 +00:00
** TODO Réponse MDPH
[2021-12-22 Wed 14:44]
- ref ::
2021-12-22 13:47:16 +00:00
Depuis la création du dossier MDPH la situation de ma fille les angoisses
de ma filles se sont agravées et nous investigons les moyen de l'aider à
s'autonomiser avec l'aide d'un chien d'assistance.
Ils nous semble que sa situation actuelle justifie un handicap de 80% ou
plus.
2021-12-22 13:52:03 +00:00
Tout d'abord, nous avons obtenu une AND à 100% de la sécurité sociale
(ci-joins ses attestations de l'assurance maladie).
De plus il faut vraiment comprendre que même sans affection physique, ma
fille est dans l'incapacité d'accomplir certains actes de la vie
quotidienne en société sans ses parents.
Soyons clair, une crise d'angoisse de ma fille se caractérise tout d'abord
par ce qui est courant en crise d'angoisse, mais la plupart elle monte,
jusqu'à une incapacité totale de maîtrise d'elle-même.
Elle se recroqueville, elle pleure, elle n'entend ni ne vois ce qui se
passe autour d'elle. Parfois il lui arrive de tomber avec ses muscles qui
se relachent.
Les crises sont provoqués par:
2021-12-22 13:56:05 +00:00
- un inconnu qui la touche (par exemple, un enfant a voulu toucher sa
peluche et s'est gentillement jeté sur ma fille. Elle a eu une réaction
d'angoisse totalement inattendue.)
- voir trop de monde
- trop de bruit
- trop de lumière
2021-12-22 14:02:46 +00:00
- l'approche d'un lycée ou d'un collège
2021-12-22 13:56:05 +00:00
Parfois, elle peut arriver à se concentrer quelques minutes même dans un
environnement sensoriellement difficile. Mais elle ne peut maintenir cette
maîtrise de soit pendant plus de quelques minutes.
Imaginez simplement qu'attendre dans une file d'attente pendant des courses
peut pour elle être un calvaire, et si celà dure trop longtemps, il n'y a
pas d'autre choix que de sortir du magasin en laissant le caddie en place
pour retourner dans la voiture.
Depuis ces derniers mois, elle n'est jamais seule sans un adulte qui lui
est familié.
Elle ne s'éloigne jamais à plus de quelques mètre des personnes de son
entourage.
2021-12-22 13:57:51 +00:00
Comme précisé dans le document CNSA sur le guide de l'éligibilité PCH.
#+begin_quote
Dès lors que la personne n'est pas en capacité d'initier seule l'activité
concernée et qu'en abscence de stimulation, l'activité ou l'acte n'est pas
réalisé, la difficulté est considérée comme absolue.
#+end_quote
Et c'est bien de celà qu'il s'agit pour notre fille.
Sans notre appuis, elle n'est pas en capacité de répondre aux changements
innattendus de sa routine.
2021-12-22 14:01:44 +00:00
Elle n'est pas du tout capable de prendre l'initiative d'aller faire des
courses pour se faire à manger.
Elle n'est pas capable d'entrer dans un transport en commun.
2021-12-22 13:57:51 +00:00
2021-12-22 14:05:19 +00:00
Elle est aussi incapable d'entrer dans des lieux scolaire public ou privé
ordinaire car ils sont trop bruyant, trop stressants.
Nous avons essayer de garder notre fille à la maison pendant cette année de
confinement.
Mais ce fut un désastre pour ses résultats scolaire mais surtout pour sa
capacité à avoir une vie sociale.
Nous avons pu trouver un lieu scolaire avec de petits effectifs. Sachant
2021-12-22 14:07:34 +00:00
que même dans cet établissement à faible effectif, elle n'est capable
d'entrer dans la classe qu'environ 2 à 3 demi-journée par semaine.
Notre fille fait chaque jour des efforts considérables pour entrer dans ce
lieu avec pour premier objectif retrouver un environnement où elle pourra
socialiser.
Et en second lieu ne pas décrocher sur ses études.
Anna est une élève douée, mais elle a des difficultés simplement à envoyer
un devoir qu'elle a fini à cause de l'angoisse de la note et du jugement.
2021-12-22 14:05:19 +00:00
2021-12-22 14:01:44 +00:00
Le plan que nous avons établi avec les soignants qui la suivent sont:
1. Des soins pour diminuer ses angoisses et controller ses crises
2. Accompagner son autonomie avec l'aide d'un chien d'assistance qui nous
l'espérons pourrait lui permettre d'avoir un rythme qui la socialise et
la rassure dans des espaces qui lui sont aujourd'huis interdit sans un
accompagnement parental.
2021-12-22 14:02:46 +00:00
3. Continuer à la socialisé en continuant à l'accompagner dans ses études
via une école à petit effectif.
2021-12-22 13:57:51 +00:00
2021-12-22 14:12:19 +00:00
2021-12-22 14:10:20 +00:00
Soyons clair, les difficultés auxquelles fait face notre fille dans
l'environnement social sont absolues.
2021-12-22 14:12:19 +00:00
Elle ne réalise jamais aucune de ses action de façon spontanée.
Il faut que ce soit un des parent qui la pousse à sortir.
Celà entrave de façon majeure sa vie quotidienne.
Actuellement pour nous, il est essentiel que l'on puisse octroyer à notre
fille un chien d'assistance.
Elle a déjà réagit très positivement à cette idée.
Elle espère pouvoir sortir le chien sans un adulte qui l'accompagnerait.
2021-12-22 14:14:10 +00:00
Les critères pour l'obtention d'un chien d'assistance, sont:
Un handicap reconnu > à 50% et avoir une Carte Mobilité Inclusion.
Il ne nous semble pas du tout exagérer de considérer que ses difficultés
actuelles sont absolues et donc bien au delà des 80%.
2021-12-22 14:15:55 +00:00
Elle est incapable d'amorcer d'elle même tout geste quotidien qui
inclueraient des inconnus dans sa routine.
- Prendre des transports en commun
- Aller dans un lieu d'enseignement public
- Faire des courses
2021-12-22 14:19:07 +00:00
- Conduire
- Faire une simple balade dans la nature
Je comprends qu'il soit difficile d'imaginer qu'une personne sans
invalidité physique ni déficience mentale grave soit à se point handicapée
dans son quotidient.
Mais je vous supplie de croire qu'elle est très seule et très isolée.
Même dans son école, il est très difficile pour elle d'établir des
relations avec des jeunes de son age.
Elle a beaucoup de mal à parler avec inconnu même avec un parent proche
d'elle.
Elle ne peut pas exemple pas dire à une serveuse ce qu'elle désire, elle le
dit à un parent qui répètera.
2021-12-22 14:15:55 +00:00
2021-12-14 13:48:53 +00:00
** DONE Replace Laptop
2021-12-13 14:42:19 +00:00
DEADLINE: <2021-12-13 Mon 17:00>
[2021-12-13 Mon 15:40]
2021-12-17 10:44:05 +00:00
** WAITING [#A] Degats des eaux, appeler Lapeyre SAV
DEADLINE: <2021-12-20 Mon 15:00>
:LOGBOOK:
- State "WAITING" from "TODO" [2021-12-17 Fri 11:42] \\
Prise de RDV avec l'installateur.
:END:
2021-12-13 13:24:05 +00:00
[2021-12-13 Mon 10:39]
2021-12-14 13:50:11 +00:00
- ref :: https://www.lapeyre.fr/c/services/le-service-apres-vente
Magasin: NICE-VILLENEUVE
Vendeur: Pascal B.
2021-12-14 13:51:23 +00:00
Document d'origine: D 21701406
2021-12-14 13:50:11 +00:00
2021-12-14 13:51:23 +00:00
Le 19/02/21 09h15
No: 23 21 002060 (I)
2021-12-14 13:50:11 +00:00
2021-12-14 14:01:32 +00:00
=> SAV Velux 0809101510 (numéro négociation)
2021-12-14 14:03:07 +00:00
=> SAV Velux 0806801515 (taper 3, aller velux.fr sav demande de SAV)
FUCK YOU quoi.
2021-12-14 13:58:55 +00:00
2021-12-14 14:05:29 +00:00
Probablement voir avec l'installateur.
2021-12-14 13:50:11 +00:00
2021-12-17 10:30:51 +00:00
NON:
Demander la facture au magasin pour faire un SAV.
Demander le service Installation pour faire une vérification (1 an après pose).
2021-12-17 10:33:03 +00:00
Lapeyre Villeneuve
- 04 93 22 50 54 (Accueil)
- 09 72 72 00 20 (SAV)
- 04 93 22 66 18 (FAX)
2021-12-17 10:37:07 +00:00
*** Apple Magasin
2021-12-17 10:39:29 +00:00
installation 3 puis 1 (=> ...)
2021-12-14 14:05:29 +00:00
2021-12-17 10:42:03 +00:00
Prise de RDV par le service d'installation.
2021-12-17 10:39:29 +00:00
2021-12-14 15:52:06 +00:00
** HOLD IDB Decomission TEST
2021-12-17 10:44:05 +00:00
DEADLINE: <2022-01-05 Wed>
2021-12-14 15:52:06 +00:00
:LOGBOOK:
- State "HOLD" from "IN-PROGRESS" [2021-12-14 Tue 16:50] \\
Local test failed.
:END:
2021-12-09 17:08:28 +00:00
[2021-12-09 Thu 18:07]
- ref :: [[file:~/Library/Mobile Documents/iCloud~com~appsonthemove~beorg/Documents/org/tracker.org::*Actions ][Actions ]]
2021-12-14 14:05:29 +00:00
2021-12-14 14:11:18 +00:00
Server Config:
https://security-dev1.myverysecuresignon.name/oauth2/default/ .well-known/oauth-authorization-server
#+begin_src json
2021-12-14 14:12:40 +00:00
{
"issuer": "https://security-dev1.myverysecuresignon.name/oauth2/default",
"authorization_endpoint": "https://security-dev1.myverysecuresignon.name/oauth2/default/v1/authorize",
"token_endpoint": "https://security-dev1.myverysecuresignon.name/oauth2/default/v1/token",
"registration_endpoint": "https://security-dev1.myverysecuresignon.name/oauth2/v1/clients",
"jwks_uri": "https://security-dev1.myverysecuresignon.name/oauth2/default/v1/keys",
"response_types_supported": [
"code",
"token",
"id_token",
"code id_token",
"code token",
"id_token token",
"code id_token token"
],
"response_modes_supported": [
"query",
"fragment",
"form_post",
"okta_post_message"
],
"grant_types_supported": [
"authorization_code",
"implicit",
"refresh_token",
"password",
"client_credentials",
"urn:ietf:params:oauth:grant-type:device_code"
],
"subject_types_supported": [
"public"
],
"scopes_supported": [
"openid",
"profile",
"email",
"address",
"phone",
"offline_access",
"device_sso"
],
"token_endpoint_auth_methods_supported": [
"client_secret_basic",
"client_secret_post",
"client_secret_jwt",
"private_key_jwt",
"none"
],
"claims_supported": [
"ver",
"jti",
"iss",
"aud",
"iat",
"exp",
"cid",
"uid",
"scp",
"sub"
],
"code_challenge_methods_supported": [
"S256"
],
"introspection_endpoint": "https://security-dev1.myverysecuresignon.name/oauth2/default/v1/introspect",
"introspection_endpoint_auth_methods_supported": [
"client_secret_basic",
"client_secret_post",
"client_secret_jwt",
"private_key_jwt",
"none"
],
"revocation_endpoint": "https://security-dev1.myverysecuresignon.name/oauth2/default/v1/revoke",
"revocation_endpoint_auth_methods_supported": [
"client_secret_basic",
"client_secret_post",
"client_secret_jwt",
"private_key_jwt",
"none"
],
"end_session_endpoint": "https://security-dev1.myverysecuresignon.name/oauth2/default/v1/logout",
"request_parameter_supported": true,
"request_object_signing_alg_values_supported": [
"HS256",
"HS384",
"HS512",
"RS256",
"RS384",
"RS512",
"ES256",
"ES384",
"ES512"
],
"device_authorization_endpoint": "https://security-dev1.myverysecuresignon.name/oauth2/default/v1/device/authorize"
}
2021-12-14 14:11:18 +00:00
#+end_src
Client:o
2021-12-14 14:06:37 +00:00
#+begin_src json
2021-12-14 14:05:29 +00:00
{
"client_id": "0oa12q49y2d17qtXy0h8",
"client_secret": "5Zf7TFR8qzpujC5YeU5OkrwoJK2gGr1lLvyrmuzd",
"redirect_uris": [
"https://visibility.int.iroh.site/iroh/iroh-auth/login/idb-amp-staging/answer",
"https://visibility.test.iroh.site/iroh/iroh-auth/login/idb-amp-staging/answer"
]
}
2021-12-14 14:06:37 +00:00
#+end_src
2021-12-14 14:05:29 +00:00
2021-12-09 09:54:53 +00:00
** TODO Update Haskell article to point to nixkell
DEADLINE: <2021-12-17 Fri>
[2021-12-09 Thu 10:53]
- ref ::
2021-11-22 15:45:52 +00:00
** DONE Demande Aménagements au BAC Anna 2021/22
2021-11-22 15:33:23 +00:00
[2021-11-22 Mon 16:32]
2021-11-22 15:35:11 +00:00
Bonjour Madame Peytavin,
2021-11-22 15:37:02 +00:00
L'année dernière je vous avais contacté par l'intermédiaire du docteur
2021-11-22 15:41:02 +00:00
Vesperini pour ma fille Anna souffrant de TSA.
2021-11-22 15:37:02 +00:00
Elle a redoublée, et elle est scolarisé dans une petite école à Mougin.
2021-11-22 15:41:02 +00:00
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
2021-11-22 15:33:23 +00:00
** DONE Envoyer le PAI au CNED avec lettre explicative
2021-11-18 10:43:33 +00:00
DEADLINE: <2021-11-18 Thu 14:00>
[2021-11-18 Thu 11:42]
- ref ::
> Envoyer à inscription-rennes@ac-cned.fr
le PAI
2021-11-22 15:33:23 +00:00
** DONE PAI Anna au CNED
2021-11-16 09:26:42 +00:00
DEADLINE: <2021-11-16 Tue 15:00>
2021-11-15 08:00:06 +00: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 ]]
2021-11-22 16:10:11 +00:00
** DONE Fix ivy emacs-faces. In general, try to fix all visible faces.
2021-11-15 08:00:06 +00:00
[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 ]]
2021-11-22 16:10:11 +00:00
** DONE email Melanie BAC Anna
2021-11-08 11:26:57 +00:00
[2021-11-08 Mon 12:25]
2021-11-08 11:29:04 +00:00
Bonjour,
J'espère que vous allez bien et que votre voyage s'est bien déroulé.
2021-11-08 11:30:12 +00:00
Nous nous attendions à une reprise difficile pour Anna.
2021-11-08 11:29:04 +00:00
J'aurai aimé savoir si vous prenez en charge l'inscription d'Anna au BAC ou
si je dois le faire.
2021-11-08 11:33:37 +00:00
Dans tous les cas, il faudra que je prenne un RDV à Lenval pour déclarer
des aménagements spécifiques.
2021-11-08 11:30:12 +00:00
Merci et bonne rentrée à vous,
Yann Esposito.
2021-11-08 11:26:57 +00:00
** DONE Réserver l'hotel Disney
CLOSED: [2021-11-06 Sat 21:52] DEADLINE: <2021-11-04 Thu 20:00 >
2021-11-04 08:19:01 +00:00
[2021-11-04 Thu 09:18]
2021-10-30 09:24:36 +00:00
** CANCELED emacs trick with evil
SCHEDULED: <2021-10-28 Thu 14:00>
2021-10-29 07:52:58 +00:00
:LOGBOOK:
2021-10-30 09:24:36 +00:00
- State "CANCELED" from "TODO" [2021-10-30 Sat 11:23] \\
I don't think I'll need this.
2021-10-29 07:52:58 +00:00
:END:
2021-10-28 08:53:17 +00:00
[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
2021-12-03 08:19:16 +00:00
** DONE Virement Homeschool Mougins (3234€ / 2000 fait reste 1234€)
2021-10-27 08:38:56 +00:00
DEADLINE: <2021-11-29 Mon 10:00>
[2021-10-27 Wed 10:37]
- ref ::
2021-10-31 15:07:32 +00:00
** DONE Fortuneo: Amundi World (CW8)
2021-10-30 09:22:27 +00:00
DEADLINE: <2021-10-30 Sat 10:00>
2021-10-30 09:14:41 +00:00
:LOGBOOK:
2021-10-30 09:22:27 +00:00
CLOCK: [2021-10-30 Sat 11:13]--[2021-10-30 Sat 11:20] => 0:07
2021-10-30 09:14:41 +00:00
:END:
2021-10-27 08:34:46 +00:00
[2021-10-27 Wed 10:33]
2021-11-01 21:18:09 +00:00
** DONE aspirateur
2021-10-30 09:24:36 +00:00
SCHEDULED: <2021-10-30 Sat 10:00>
[2021-10-29 Fri 21:48]
2021-10-31 15:07:32 +00:00
** DONE Demander a Bastien de ranger ses affaires
CLOSED: [2021-10-30 Sat 13:20] SCHEDULED: <2021-10-30 Sat 11:00 >
2021-10-30 09:24:36 +00:00
[2021-10-29 Fri 21:48]
2021-10-27 08:13:07 +00:00
* Perso :perso:
2020-10-12 13:07:00 +00:00
** Habits :habit:
2021-12-14 13:37:55 +00:00
*** TODO journal matin :daily:
SCHEDULED: <2021-12-15 Wed 09:00 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
2020-08-13 08:38:13 +00:00
:STYLE: habit
2021-12-14 13:37:55 +00:00
:LAST_REPEAT: [2021-12-14 Tue 14:36]
2020-05-26 07:38:56 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2021-12-14 13:37:55 +00:00
- State "DONE" from "TODO" [2021-12-14 Tue 14:36]
2021-11-16 09:00:27 +00:00
- State "DONE" from "TODO" [2021-11-16 Tue 09:59]
2021-11-08 11:26:57 +00:00
- State "DONE" from "TODO" [2021-11-06 Sat 21:52]
2021-11-04 08:19:01 +00:00
- State "DONE" from "TODO" [2021-11-04 Thu 09:17]
2021-10-31 15:07:32 +00:00
- State "DONE" from "TODO" [2021-10-31 Sun 16:06]
2021-10-23 14:06:28 +00:00
- State "DONE" from "TODO" [2021-10-23 Sat 16:06]
2021-10-21 08:08:37 +00:00
- State "DONE" from "TODO" [2021-10-21 Thu 10:07]
2021-10-20 06:16:34 +00:00
- State "DONE" from "TODO" [2021-10-20 Wed 08:15]
2021-10-18 08:02:16 +00:00
- State "DONE" from "TODO" [2021-10-18 Mon 10:00]
2021-10-05 12:38:44 +00:00
- State "DONE" from "TODO" [2021-10-05 Tue 14:37]
- State "DONE" from "TODO" [2021-10-04 Mon 18:03]
2021-09-24 07:46:00 +00:00
- State "DONE" from "TODO" [2021-09-24 Fri 09:44]
2021-09-13 07:33:32 +00:00
- State "DONE" from "TODO" [2021-09-13 Mon 09:32]
2021-09-11 07:55:43 +00:00
- State "DONE" from "TODO" [2021-09-11 Sat 09:54]
2021-09-09 07:37:28 +00:00
- State "DONE" from "TODO" [2021-09-09 Thu 09:36]
2021-09-07 12:24:28 +00:00
- State "DONE" from "TODO" [2021-09-07 Tue 14:23]
2021-09-06 07:59:11 +00:00
- State "DONE" from "TODO" [2021-09-06 Mon 09:58]
- State "DONE" from "TODO" [2021-09-04 Sat 10:25]
2021-09-02 08:47:16 +00:00
- State "DONE" from "TODO" [2021-09-02 Thu 10:46]
2021-09-02 07:18:34 +00:00
- State "DONE" from "TODO" [2021-09-01 Wed 14:35]
2021-08-31 14:20:36 +00:00
- State "DONE" from "TODO" [2021-08-31 Tue 16:19]
2021-08-30 07:56:03 +00:00
- State "DONE" from "TODO" [2021-08-30 Mon 09:54]
2021-08-26 11:16:40 +00:00
- State "DONE" from "TODO" [2021-08-26 Thu 13:15]
2021-08-25 05:59:46 +00:00
- State "DONE" from "TODO" [2021-08-25 Wed 07:59]
2021-08-24 14:39:05 +00:00
- State "DONE" from "TODO" [2021-08-24 Tue 16:37]
2021-08-23 07:43:22 +00:00
- State "DONE" from "TODO" [2021-08-23 Mon 09:41]
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]
2021-08-19 08:41:32 +00:00
- State "DONE" from "TODO" [2021-08-19 Thu 10:40]
2021-08-18 05:16:34 +00:00
- State "DONE" from "TODO" [2021-08-18 Wed 07:15]
2021-08-17 10:01:48 +00:00
- State "DONE" from "TODO" [2021-08-17 Tue 12:00]
2021-08-17 09:07:53 +00:00
- State "DONE" from "TODO" [2021-08-16 Mon 22:29]
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]
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
2021-07-28 11:21:27 +00:00
- State "DONE" from "TODO" [2021-07-28 Wed 13:20]
2021-07-19 07:56:20 +00:00
- State "DONE" from "TODO" [2021-07-19 Mon 09:55]
2021-07-15 07:23:27 +00:00
- State "DONE" from "TODO" [2021-07-15 Thu 09:22]
2021-07-05 08:21:55 +00:00
- State "DONE" from "TODO" [2021-07-05 Mon 10:20]
2021-05-12 07:01:08 +00:00
- State "CANCELED" from "TODO" [2021-05-12 Wed 08:59]
2021-05-11 14:19:39 +00:00
- State "CANCELED" from "TODO" [2021-05-11 Tue 16:18]
2021-05-03 13:19:49 +00:00
- State "CANCELED" from "TODO" [2021-05-03 Mon 15:18]
2021-04-20 08:07:37 +00:00
- State "DONE" from "TODO" [2021-04-18 Sun 09:56]
2021-03-20 08:00:10 +00:00
- State "DONE" from "TODO" [2021-03-19 Fri 09:36]
2021-03-11 11:32:19 +00:00
- State "DONE" from "TODO" [2021-03-11 Thu 12:31]
2021-03-06 22:49:32 +00:00
- State "CANCELLED" from "TODO" [2021-03-06 Sat 09:00]
2021-01-25 14:03:51 +00:00
- State "CANCELED" from "TODO" [2021-01-25 Mon 15:03]
2021-01-19 12:54:55 +00:00
- State "CANCELED" from "TODO" [2021-01-18 Mon 14:26]
2021-01-04 14:54:34 +00:00
- State "CANCELED" from "TODO" [2021-01-04 Mon 15:52]
2020-12-26 17:47:08 +00:00
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:07]
2020-12-17 14:47:45 +00:00
- State "DONE" from "TODO" [2020-12-17 Thu 15:46]
2020-12-03 15:22:19 +00:00
- State "DONE" from "TODO" [2020-12-03 Thu 16:20]
2020-11-22 18:44:19 +00:00
- State "DONE" from "TODO" [2020-11-22 Sun 19:42]
2020-11-20 17:40:28 +00:00
- State "CANCELED" from "TODO" [2020-11-20 Fri 18:38]
2020-11-19 08:54:52 +00:00
- State "DONE" from "TODO" [2020-11-19 Thu 09:53]
2020-11-09 11:03:25 +00:00
- State "DONE" from "TODO" [2020-11-09 Mon 12:01]
2020-11-04 07:31:01 +00:00
- State "DONE" from "TODO" [2020-11-04 Wed 08:29]
2020-10-26 08:26:43 +00:00
- State "DONE" from "TODO" [2020-10-25 Sun 16:14]
2020-10-09 08:14:38 +00:00
- State "DONE" from "TODO" [2020-10-09 Fri 10:13]
2020-10-08 10:25:46 +00:00
- State "DONE" from "TODO" [2020-10-08 Thu 12:24]
2020-09-30 07:28:35 +00:00
- State "DONE" from "TODO" [2020-09-30 Wed 09:27]
2020-09-28 09:17:30 +00:00
- State "DONE" from "TODO" [2020-09-28 Mon 11:15]
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]
2020-09-24 09:43:59 +00:00
- State "DONE" from "TODO" [2020-09-24 Thu 11:42]
2021-11-08 11:26:57 +00:00
CLOCK: [2020-09-24 Thu 11:41]--[2020-09-24 Thu 11:41] => 0:00
2020-09-23 05:28:27 +00:00
- State "DONE" from "TODO" [2020-09-23 Wed 07:27]
2020-09-22 06:27:06 +00:00
- State "DONE" from "TODO" [2020-09-22 Tue 08:25]
2020-09-21 07:51:03 +00:00
- State "DONE" from "TODO" [2020-09-21 Mon 09:49]
2020-09-20 06:04:23 +00:00
- State "DONE" from "TODO" [2020-09-20 Sun 08:03]
2020-09-15 08:09:19 +00:00
- State "DONE" from "TODO" [2020-09-15 Tue 10:08]
2020-09-14 12:08:50 +00:00
- State "DONE" from "TODO" [2020-09-14 Mon 14:07]
2020-09-11 07:09:43 +00:00
- State "DONE" from "TODO" [2020-09-11 Fri 09:08]
2020-09-10 07:17:24 +00:00
- State "DONE" from "TODO" [2020-09-10 Thu 09:17]
2020-09-08 09:20:07 +00:00
- State "DONE" from "TODO" [2020-09-08 Tue 11:19]
2020-09-07 13:37:55 +00:00
- State "DONE" from "TODO" [2020-09-07 Mon 15:25]
2020-09-04 08:18:51 +00:00
- State "DONE" from "TODO" [2020-09-04 Fri 10:18]
2020-09-01 08:16:16 +00:00
- State "DONE" from "TODO" [2020-09-01 Tue 10:06]
2020-08-30 09:50:43 +00:00
- State "DONE" from "TODO" [2020-08-30 Sun 11:46]
2020-08-29 19:10:22 +00:00
- State "DONE" from "TODO" [2020-08-29 Sat 11:49]
2020-08-27 08:15:33 +00:00
- State "DONE" from "TODO" [2020-08-27 Thu 10:14]
2020-08-25 08:23:20 +00:00
- State "DONE" from "TODO" [2020-08-25 Tue 09:43]
2021-11-08 11:26:57 +00:00
CLOCK: [2020-08-25 Tue 09:39]--[2020-08-25 Tue 09:43] => 0:04
2020-08-24 08:11:03 +00:00
- State "DONE" from "TODO" [2020-08-24 Mon 10:05]
2020-08-24 07:44:21 +00:00
- State "DONE" from "TODO" [2020-08-22 Sat 09:22]
2020-08-21 13:32:20 +00:00
- State "DONE" from "TODO" [2020-08-21 Fri 15:31]
2020-08-20 06:24:47 +00:00
- State "DONE" from "TODO" [2020-08-20 Thu 08:23]
2020-08-19 19:58:47 +00:00
- State "CANCELED" from "TODO" [2020-08-19 Wed 21:48]
2020-08-19 08:46:34 +00:00
- State "DONE" from "TODO" [2020-08-18 Tue 12:06]
2020-08-17 09:34:53 +00:00
- State "DONE" from "TODO" [2020-08-17 Mon 11:34]
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]
2020-07-09 08:08:35 +00:00
- State "DONE" from "TODO" [2020-07-08 Wed 10:40]
2020-07-07 08:38:41 +00:00
- State "DONE" from "TODO" [2020-07-07 Tue 10:35]
2020-07-07 08:20:18 +00:00
- State "DONE" from "TODO" [2020-07-04 Sat 23:07]
2020-07-02 13:17:13 +00:00
- State "DONE" from "TODO" [2020-07-02 Thu 14:18]
2020-06-29 11:44:21 +00:00
- State "CANCELED" from "TODO" [2020-06-28 Sun 22:26] \\
Martigues
2020-06-27 12:22:33 +00:00
- State "DONE" from "TODO" [2020-06-27 Sat 14:21]
2020-06-24 16:09:56 +00:00
- State "DONE" from "TODO" [2020-06-24 Wed 18:08]
2020-06-23 14:58:11 +00:00
- State "DONE" from "TODO" [2020-06-23 Tue 16:56]
2020-06-22 13:27:52 +00:00
- State "DONE" from "TODO" [2020-06-22 Mon 10:07]
2020-06-21 14:00:36 +00:00
- State "DONE" from "TODO" [2020-06-21 Sun 15:59]
2020-06-20 22:05:36 +00:00
- State "DONE" from "TODO" [2020-06-19 Fri 23:59]
2020-06-18 16:56:14 +00:00
- State "DONE" from "TODO" [2020-06-18 Thu 15:25]
2020-06-17 07:10:12 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:07]
2020-06-17 07:05:51 +00:00
- State "CANCELED" from "TODO" [2020-06-16 Tue 22:38] \\
forgot
2020-06-15 13:12:58 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 14:05]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 13:00]
2020-06-13 12:01:12 +00:00
- State "DONE" from "TODO" [2020-06-13 Sat 10:20]
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]
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]
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]
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]
2020-05-26 07:45:32 +00:00
- State "DONE" from "TODO" [2020-05-26 Tue 08:25]
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]
2020-06-12 22:49:31 +00:00
:END:
2021-10-27 08:13:07 +00:00
*** TODO journal soir :daily:evening:
2021-09-02 08:47:16 +00:00
SCHEDULED: <2020-12-27 Sun 23:00 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-09-20 20:31:29 +00:00
:LAST_REPEAT: [2020-09-20 Sun 22:31]
2020-06-01 13:59:31 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-12-26 17:47:08 +00:00
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:08]
2020-09-20 20:31:29 +00:00
- State "DONE" from "TODO" [2020-09-20 Sun 22:31]
2020-08-19 19:58:47 +00:00
- State "DONE" from "TODO" [2020-08-19 Wed 21:48]
2020-07-07 21:42:42 +00:00
- State "DONE" from "TODO" [2020-07-07 Tue 23:41]
2020-06-20 22:07:49 +00:00
- State "DONE" from "TODO" [2020-06-20 Sat 23:59]
2020-06-20 22:05:36 +00:00
- State "DONE" from "TODO" [2020-06-19 Fri 23:59]
2020-06-18 08:57:43 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 23:04]
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 22:38]
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]
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-07 Sun 23:39]
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]
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]
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]
2020-06-12 22:49:31 +00:00
:END:
2021-11-16 09:26:42 +00:00
*** TODO weight :daily:
SCHEDULED: <2021-11-17 Wed 09:00 .+1d/3d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2021-11-16 09:26:42 +00:00
:LAST_REPEAT: [2021-11-16 Tue 10:25]
2020-05-26 07:38:56 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2021-11-16 09:26:42 +00:00
- State "CANCELED" from "TODO" [2021-11-16 Tue 10:25]
2021-09-24 07:46:00 +00:00
- State "CANCELED" from "TODO" [2021-09-24 Fri 09:44]
2020-06-12 22:49:31 +00:00
:END:
2020-08-19 20:08:19 +00:00
#+NAME : body-data
2021-09-02 07:45:47 +00:00
#+tblname : weight-table
2021-09-02 08:22:36 +00:00
| 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 |
2021-09-02 08:29:54 +00:00
| 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 |
2021-09-02 08:22:36 +00:00
| 2020-12-03 | 71 |
| 2021-01-20 | 70 |
| 2021-03-01 | 72 |
| 2021-05-08 | 70 |
| 2021-08-18 | 70 |
| 2021-08-23 | 71 |
2021-09-02 07:44:06 +00:00
2021-09-02 08:29:54 +00:00
#+begin_src gnuplot :var data=weight-table :file weight.png
2021-09-02 07:48:36 +00:00
reset
2021-09-02 07:46:56 +00:00
set title "Weight"
2021-09-02 08:22:36 +00:00
set xdata time
set timefmt '%Y-%m-%d'
2021-09-02 08:23:37 +00:00
set format x "%Y-%m-%d"
2021-09-02 07:46:56 +00:00
set xlabel "date"
2021-09-02 07:48:36 +00:00
set xtics rotate by -45
2021-09-02 08:11:23 +00:00
# set xrange ["2020-01-01":"2022-01-01"]
2021-09-02 07:48:36 +00:00
2021-09-02 08:28:39 +00:00
set yrange [56:80]
2021-09-02 07:46:56 +00:00
set ylabel "weight"
2021-09-02 07:48:36 +00:00
2021-09-02 08:28:39 +00:00
plot data using 1:2 t "weight" w impulses lw 3, 64 w lines lw 2
2021-09-02 07:44:06 +00:00
#+end_src
2021-09-02 08:47:16 +00:00
#+RESULTS :
[[file:weight.png ]]
2021-12-17 10:46:49 +00:00
*** TODO [#A] News filtered by AI + RSS + Scraper :daily:
SCHEDULED: <2021-12-20 Mon 09:00 .+3d>
2021-08-14 15:11:03 +00:00
:PROPERTIES:
:STYLE: habit
2021-12-17 10:46:49 +00:00
:LAST_REPEAT: [2021-12-17 Fri 11:45]
2021-08-16 12:46:51 +00:00
:END:
:LOGBOOK:
2021-12-17 10:47:51 +00:00
- State "CANCELED" from "TODO" [2021-12-17 Fri 11:45] \\
Perdu la motivation.
2021-09-09 07:37:28 +00:00
- State "DONE" from "TODO" [2021-09-09 Thu 09:36]
2021-09-02 08:47:16 +00:00
- State "DONE" from "TODO" [2021-09-02 Thu 10:46]
2021-08-31 08:20:49 +00:00
- State "DONE" from "TODO" [2021-08-30 Mon 12:24]
2021-08-23 11:33:39 +00:00
- State "DONE" from "TODO" [2021-08-23 Mon 11:42]
2021-08-19 07:37:45 +00:00
- State "DONE" from "IN-PROGRESS" [2021-08-18 Wed 10:03]
2021-08-18 05:37:09 +00:00
CLOCK: [2021-08-18 Wed 07:15]--[2021-08-18 Wed 07:35] => 0:20
2021-08-16 12:46:51 +00:00
- State "DONE" from "TODO" [2021-08-15 Sun 16:50]
2021-08-14 15:11:03 +00:00
:END:
2021-08-14 15:09:35 +00:00
[2021-08-04 Wed 16:17]
2021-10-18 08:03:50 +00:00
[[id:c7768cbd-7515-4a0b-953e-c6504bbba42c ][AIRSS ]]
2021-10-27 08:13:07 +00:00
** Maybe :maybe:
2021-07-05 08:21:55 +00:00
*** IN-PROGRESS Write long letter(s) [1/8]
2021-12-17 10:47:51 +00:00
SCHEDULED: <2021-12-20 Mon>
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. ]]
- [ ] [[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 ]]
2021-10-27 08:13:07 +00:00
*** TODO [#C] Enhance quality of hosting, switch to NixOS :geek:
*** TODO [#C] Wakatime server clone :idea:geek:
2020-10-15 10:29:40 +00:00
See doc at: https://wakatime.com/developers
2020-06-01 13:59:31 +00:00
* Famille :family:
2020-10-12 13:07:00 +00:00
** Daily :daily:
2021-03-06 22:49:32 +00:00
** Weekly :weekly:
2020-05-26 07:38:56 +00:00
*** TODO litieres
2021-12-17 10:46:49 +00:00
DEADLINE: <2021-12-26 Sun .+2w -1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
2021-12-01 13:12:58 +00:00
:LAST_REPEAT: [2021-12-01 Wed 14:11]
2020-05-26 07:38:56 +00:00
:STYLE: habit
:END:
2020-06-15 08:37:18 +00:00
:LOGBOOK:
2021-12-01 13:12:58 +00:00
- State "DONE" from "TODO" [2021-12-01 Wed 14:11]
2021-10-18 08:02:16 +00:00
- State "DONE" from "TODO" [2021-10-18 Mon 10:00]
2021-09-24 07:44:52 +00:00
- State "DONE" from "TODO" [2021-09-24 Fri 09:44]
2021-08-29 09:36:34 +00:00
- State "DONE" from "TODO" [2021-08-29 Sun 11:33]
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
2021-07-15 07:22:07 +00:00
- State "DONE" from "TODO" [2021-07-08 Thu 09:26]
2021-05-27 06:12:38 +00:00
- State "DONE" from "TODO" [2021-05-27 Thu 08:09]
2021-05-05 08:19:28 +00:00
- State "CANCELED" from "TODO" [2021-05-05 Wed 10:18]
2021-04-07 14:30:35 +00:00
- State "DONE" from "TODO" [2021-04-07 Wed 16:30]
2021-03-04 09:27:27 +00:00
- State "DONE" from "TODO" [2021-02-28 Sun 12:01]
2021-01-19 12:54:55 +00:00
- State "DONE" from "TODO" [2021-01-18 Mon 14:26]
2021-01-04 14:50:33 +00:00
- State "DONE" from "TODO" [2021-01-04 Mon 15:49]
2020-11-27 09:33:29 +00:00
- State "DONE" from "TODO" [2020-11-27 Fri 10:32]
2020-11-05 14:45:27 +00:00
- State "DONE" from "TODO" [2020-11-05 Thu 15:43]
2020-10-23 08:24:16 +00:00
- State "DONE" from "TODO" [2020-10-23 Fri 10:22]
2020-10-08 09:19:46 +00:00
- State "DONE" from "TODO" [2020-10-08 Thu 11:18]
2020-09-11 07:09:43 +00:00
- State "DONE" from "TODO" [2020-09-11 Fri 09:07]
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]
2020-08-24 07:44:21 +00:00
- State "DONE" from "TODO" [2020-08-22 Sat 09:18]
2020-06-21 14:01:38 +00:00
- State "DONE" from "TODO" [2020-06-21 Sun 16:00]
2020-06-15 08:37:18 +00:00
- State "CANCELED" from "TODO" [2020-06-15 Mon 10:28] \\
Done not so long ago
:END:
2020-05-26 07:38:56 +00:00
*** TODO bricolage - si besoin
2021-10-28 08:00:06 +00:00
SCHEDULED: <2021-11-03 Wed .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2021-10-02 12:15:31 +00:00
:LAST_REPEAT: [2021-10-02 Sat 14:13]
2020-06-15 08:37:18 +00:00
:END:
2020-08-24 07:44:21 +00:00
- State "DONE" from "TODO" [2020-08-24 Mon 08:57]
2020-06-15 08:37:18 +00:00
:LOGBOOK:
2021-10-28 08:00:06 +00:00
- State "DONE" from "TODO" [2021-10-27 Wed 20:33]
2021-10-02 12:15:31 +00:00
- State "CANCELED" from "TODO" [2021-10-02 Sat 14:13]
2021-08-31 14:20:36 +00:00
- State "DONE" from "TODO" [2021-08-31 Tue 16:19]
2021-08-19 07:37:45 +00:00
- State "DONE" from "TODO" [2021-08-18 Wed 10:03]
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
2021-07-15 07:22:07 +00:00
- State "DONE" from "TODO" [2021-07-15 Thu 09:21]
2021-07-05 08:21:55 +00:00
- State "DONE" from "TODO" [2021-07-05 Mon 10:20]
2021-05-24 13:04:50 +00:00
- State "DONE" from "TODO" [2021-05-24 Mon 15:03]
2021-05-03 13:19:49 +00:00
- State "CANCELED" from "TODO" [2021-05-03 Mon 15:18]
2021-04-02 10:05:22 +00:00
- State "DONE" from "TODO" [2021-04-02 Fri 12:04]
2021-03-07 19:13:55 +00:00
- State "DONE" from "TODO" [2021-03-07 Sun 20:12]
2021-03-04 09:27:27 +00:00
- State "DONE" from "TODO" [2021-02-28 Sun 12:02]
2021-01-12 09:08:36 +00:00
- State "DONE" from "TODO" [2021-01-12 Tue 10:06]
2021-01-04 14:54:34 +00:00
- State "DONE" from "TODO" [2021-01-04 Mon 15:53]
2020-12-26 17:47:08 +00:00
- State "CANCELLED" from "TODO" [2020-12-26 Sat 13:11]
2020-12-03 15:27:33 +00:00
- State "DONE" from "TODO" [2020-12-03 Thu 16:25]
2020-11-23 09:32:23 +00:00
- State "DONE" from "TODO" [2020-11-22 Sun 19:43]
2020-11-13 15:00:51 +00:00
- State "DONE" from "TODO" [2020-11-13 Fri 15:59]
2020-11-05 14:40:49 +00:00
- State "DONE" from "TODO" [2020-11-04 Wed 13:08]
2020-10-08 10:27:46 +00:00
- State "CANCELED" from "TODO" [2020-10-08 Thu 12:26]
2020-09-28 07:25:55 +00:00
- State "DONE" from "TODO" [2020-09-28 Mon 09:25]
2020-09-20 20:31:29 +00:00
- State "DONE" from "TODO" [2020-09-20 Sun 22:30]
2020-09-11 13:08:07 +00:00
- State "CANCELED" from "TODO" [2020-09-11 Fri 15:06]
2020-09-01 08:16:16 +00:00
- State "DONE" from "TODO" [2020-09-01 Tue 10:07]
2020-08-19 08:46:34 +00:00
- State "DONE" from "TODO" [2020-08-17 Mon 12:18]
2020-07-07 08:33:01 +00:00
- State "DONE" from "TODO" [2020-07-07 Tue 10:19]
2020-07-01 21:30:58 +00:00
- State "CANCELED" from "TODO" [2020-06-29 Mon 13:44] \\
Week-end Martigues
2020-06-22 13:27:52 +00:00
- State "DONE" from "TODO" [2020-06-22 Mon 10:07]
2020-06-15 08:37:18 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 10:28]
2020-05-26 07:38:56 +00:00
:END:
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 |
2020-06-01 13:59:31 +00:00
- State "CANCELED" from "TODO" [2020-05-30 Sat 23:59] \\
pas besoin
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:24]
2020-10-12 13:07:00 +00:00
** Yearly :yearly:
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:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:26]
*** TODO vaccination leichmaniose Oslo
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:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:27]
*** TODO Nettoyage barbecue
2021-03-20 08:01:45 +00:00
SCHEDULED: <2022-09-19 Mon +1y>
:PROPERTIES:
:LAST_REPEAT: [2021-04-26 Mon 08:59]
:END:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:32]
2020-10-12 13:07:00 +00:00
*** TODO [#A] Cadeau Rencontre Krystelle (1995) :yearly:
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:
2021-10-27 08:13:07 +00:00
*** TODO [#A] Cadeau Mariage Krystelle (2000) :yearly:
2021-08-11 16:53:50 +00:00
DEADLINE: <2022-08-12 Fri +1y -2w>
2020-08-10 12:47:59 +00:00
:PROPERTIES:
2021-08-11 16:53:50 +00:00
:LAST_REPEAT: [2021-08-11 Wed 18:52]
2020-08-10 12:47:59 +00:00
:END:
:LOGBOOK:
2021-08-11 16:53:50 +00:00
- State "CANCELED" from "TODO" [2021-08-11 Wed 18:52]
2020-08-10 12:47:59 +00:00
- State "DONE" from "TODO" [2020-08-10 Mon 12:19]
:END:
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:
2020-06-01 13:59:31 +00:00
*** Fête des mères
**** [2020-06-07 Sun]
**** [2021-05-30 Sun]
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 >
2020-06-01 13:59:31 +00:00
**** [2022-06-07 Tue]
2020-10-12 13:07:00 +00:00
***** TODO [#A] Acheter cadeau fête des mères Krystelle :krystelle:
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>
2021-03-04 09:27:27 +00:00
*** TODO Appeler Thierry
2021-01-07 10:54:00 +00:00
DEADLINE: <2022-01-04 Tue +1y>
:PROPERTIES:
2021-03-04 09:27:27 +00:00
:LAST_REPEAT: [2021-02-28 Sun 11:56]
2021-01-07 10:54:00 +00:00
:END:
:LOGBOOK:
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]
2021-01-07 10:54:00 +00:00
- State "DONE" from "TODO" [2021-01-07 Thu 11:52]
:END:
2020-12-27 18:50:21 +00:00
[2020-12-26 Sat 13:03]
2021-03-04 09:27:27 +00:00
** Krystelle :krystelle:
** Anna :anna:
** Bastien :bastien:
2021-09-02 07:18:34 +00:00
** DONE Réparer le chargeur de l'aspirateur
2021-08-30 07:52:44 +00:00
DEADLINE: <2021-08-30 Mon>
[2021-08-24 Tue 19:37]
- ref ::
2021-10-27 08:13:07 +00:00
** DONE poser l'étagère en W pour Anna :anna:family:
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 ]]
2021-03-06 22:49:32 +00:00
* Geek :fun:
2021-10-27 08:13:07 +00:00
** TODO [#C] my experience/story about blog post serie [1/2] :blog:
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
2020-10-12 13:07:00 +00:00
*** TODO [#C] how I use nix :blog:
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
2021-10-27 08:13:07 +00:00
*** DONE [#C] how I use org-mode :blog:
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:
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
2021-10-27 08:13:07 +00:00
** TODO oklab color space for solaryzed :maybe:
2021-12-17 10:47:51 +00:00
SCHEDULED: <2022-01-03 Mon>
2021-08-30 07:52:44 +00:00
[2021-05-26 Wed 07:21]
- ref ::
2021-09-24 07:44:52 +00:00
** DONE Système de retrospective des journaux
2021-08-31 14:20:36 +00:00
SCHEDULED: <2021-09-03 Fri>
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.
2020-06-15 08:37:18 +00:00
* Memory
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:ID: 1644E007-AFBE-4F4B-9307-B007C60548E8
:END:
2020-10-12 13:07:00 +00:00
** client TG dans le config.edn :fc:cisco:
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 |
|----------+------+-----+----------+----------------------|
2021-01-25 14:02:35 +00:00
| front | 3.25 | 7 | 449.62 | 2022-04-20T04:53:05Z |
2020-05-26 07:38:56 +00:00
:END:
Ne pas oublier le client de TG est dans le config.edn
2020-10-12 13:07:00 +00:00
** Searh within org notes :fc:org:
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 |
|----------+------+-----+----------+----------------------|
2021-01-19 12:57:07 +00:00
| front | 2.65 | 7 | 289.32 | 2021-11-04T20:35:12Z |
2020-06-05 11:34:56 +00:00
:END:
2020-09-01 10:18:39 +00:00
=helm-org-rifle= (~SPC y o s~ )
2020-10-12 13:07:00 +00:00
** update ~[/]~ and ~[%]~ in org mode :fc: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 |
|----------+------+-----+----------+----------------------|
2021-01-25 14:03:51 +00:00
| front | 2.35 | 7 | 265.02 | 2021-10-17T14:36:23Z |
2020-06-14 08:22:11 +00:00
:END:
2020-09-01 10:18:39 +00:00
use ~SPC m #~ (~org-update-statistics-cookies~ )
2020-10-12 13:07:00 +00:00
** projectile toggle from implementation to test file :fc:
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 |
|----------+------+-----+----------+----------------------|
2021-01-25 14:02:35 +00:00
| front | 2.65 | 7 | 287.31 | 2021-11-08T21:22:55Z |
2020-07-02 13:17:13 +00:00
:END:
2020-10-26 15:04:52 +00:00
=SPC p y=
2020-11-23 09:32:23 +00:00
** Create inactive timestmap ([DATE]) :fc:org:doom:
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 |
|----------+------+-----+----------+----------------------|
2020-11-19 08:54:52 +00:00
| front | 2.65 | 6 | 117.50 | 2021-03-16T20:55:04Z |
2020-09-01 10:16:44 +00:00
:END:
2020-09-01 10:14:20 +00:00
:LOGBOOK:
2020-09-02 13:23:13 +00:00
CLOCK: [2020-09-01 Tue 12:13]--[2020-09-01 Tue 12:13] => 0:00
2020-09-01 10:14:20 +00:00
:END:
[2020-09-01 Tue 12:13]
~SPC m d T~
2020-12-07 09:32:25 +00:00
** Clone sub tree with time shift :fc:
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 |
|----------+------+-----+----------+----------------------|
2021-01-25 14:03:51 +00:00
| front | 2.35 | 3 | 6.00 | 2021-01-31T14:02:51Z |
2020-12-02 13:55:57 +00:00
:END:
=org-clone-subtree-with-time-shift=
2021-10-27 08:13:07 +00:00
** maxims :fc:
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.
