deft/journal/2020-05-26.org

Journal (2020-05-26 - ∆y=43.23 (15788))

• Résume Journée
• 2020-05-26 Tuesday
  • Matin
    • READ Why Idris 2 so much faster than Idris 1
    • READ Idiomatic Clojure: Mixing Side Effects and Iteration
  • Soir

tags

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

Matin

Au réveil, 7h à cause des éboueurs. J'ai lu quelques news.

READ Why Idris 2 so much faster than Idris 1

tags

idris functional programming

READ Idiomatic Clojure: Mixing Side Effects and Iteration

tags

clojure functional programming

Soir

J'ai beaucoup travaillé aujourd'hui

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

Clock summary at [2020-05-26 Tue 23:21]

Le soir j'ai sorti le chien pour aller arroser le jardin. J'ai joué à un jeu video.

Rien de bien passionnant.