#+Title: Journal (2020-05-26 - ∆y=43.23 (15788)) #+Author: Yann Esposito #+Date: [2020-05-26] #+STARTUP: showeverything - tags :: [[file:../20200428100933-journal.org][journal]] * Résume Journée | sommeil | 4/5 | horrible -> comme un bébé | | activité φ | 2/5 | au lit -> activité sportive | | nourriture | 3/5 | malbouffe -> saine | | humeur | 3/5 | exécrable -> excellente | | intérêt | 2/5 | habituel -> exceptionnel | - Faits positifs - Faits marquants - Résumé des discussions intéressantes - Réflexions/Essais * 2020-05-26 Tuesday :PROPERTIES: :CREATED: 20200526 :END: ** Matin Au réveil, 7h à cause des éboueurs. J'ai lu quelques news. *** READ [[https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html][Why Idris 2 so much faster than Idris 1]] - tags :: [[file:2020-05-26--06-13-13Z--idris.org][idris]] [[file:2020-05-26--06-13-41Z--functional_programming.org][functional programming]] *** READ [[file:2020-05-26--06-21-28Z--idiomatic_clojure_mixing_side_effects_and_iteration.org][Idiomatic Clojure: Mixing Side Effects and Iteration]] - tags :: [[file:2020-05-26--06-16-14Z--clojure.org][clojure]] [[file:2020-05-26--06-13-41Z--functional_programming.org][functional programming]] ** Soir J'ai beaucoup travaillé aujourd'hui #+CAPTION: Clock summary at [2020-05-26 Tue 23:21] | Headline | Time | | |--------------------------------------------+--------+------| | *Total time* | *9:47* | | |--------------------------------------------+--------+------| | TODAY | 9:47 | | | \_ Check messages | | 0:16 | | \_ Auth Punchlist | | 7:16 | | \_ CTR/SMA Shaily Tripathi OIDC questions | | 0:03 | | \_ Houman | | 0:26 | | \_ GB, blockers with threatgrid (Trent) | | 0:05 | | \_ Daniel, add authorized-login-urls | | 0:15 | | \_ Angela, bug avec les scopes SXSO | | 1:26 | #+END: Le soir j'ai sorti le chien pour aller arroser le jardin. J'ai joué à un jeu video. Rien de bien passionnant.