470 lines
14 KiB
Org Mode
470 lines
14 KiB
Org Mode
# -*- mode: org -*-
|
||
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Presentation History of FP, etc...
|
||
CLOSED: [2018-05-31 Thu 16:58]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:01
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/FP Meetup
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:ARCHIVE_ITAGS: geek
|
||
:END:
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Demander à Luc pour organiser une conf OSDC environ 100 personnes sur plusieurs jours, workshop, etc...
|
||
CLOSED: [2017-12-18 Mon 23:16]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:01
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/FP Meetup
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:ARCHIVE_ITAGS: geek
|
||
:END:
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Appler SunDesk pour savoir s'is peuvent nous filer une salle
|
||
CLOSED: [2017-12-04 Mon 22:15]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:01
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/FP Meetup
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:ARCHIVE_ITAGS: geek
|
||
:END:
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Ecrire message pour le meetup
|
||
CLOSED: [2018-04-24 Tue 22:03] DEADLINE: <2018-03-03 Sat>
|
||
:PROPERTIES:
|
||
:LAST_REPEAT: [2018-04-24 Tue 22:02]
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:01
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/FP Meetup
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:ARCHIVE_ITAGS: geek
|
||
:END:
|
||
- State "DONE" from "WAIT" [2018-04-24 Tue 22:02]
|
||
- State "DONE" from "WAIT" [2018-04-23 Mon 09:43]
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Conf avec Alex
|
||
CLOSED: [2018-04-23 Mon 09:44]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:01
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/FP Meetup
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:ARCHIVE_ITAGS: geek
|
||
:END:
|
||
|
||
** Context
|
||
|
||
Contexte. Bon dev, mais comprend pas le fonctionnel.
|
||
Un autre collègue fait du scala, il pense avoir perdu son temps avec les Free monades.
|
||
D'autres scientifiques, font du Sparc, faut faire du fonctionnel, il viennent du
|
||
python et code en language fonctionnel comme s'il faisait du python.
|
||
|
||
Avec les math sont toujours utiles pour l'ingé.
|
||
Numération romaine -> mais pas de zero.
|
||
Mais avec zero on pense au nombres négatifs, invention de l'algèbre, etc...
|
||
|
||
Géométrie Euclidienne, Riemannienne, fait une révolution énorme dans la capacité de l'ingé.
|
||
|
||
La théorie des ensembles a permis la prog Objet.
|
||
La théorie des cathégorie (puis HoTT) permet la prog fonctionnelle.
|
||
+ axiome d'univalence
|
||
|
||
On a plein d'ingé ne comprennent pas ce qui se passe là.
|
||
|
||
Sensibiliser les gens qui se croient les maîtres du monde.
|
||
|
||
** Raconter le parcours
|
||
|
||
- Recherche, Airfrance, Startup, etc...
|
||
- Donner des exemples simple, voire TD
|
||
|
||
Dire pourquoi c'est utile, pourquoi c'est important.
|
||
|
||
- Haskell va faire "par défaut" ne pas cacher les choses difficiles.
|
||
- Haskell rend son code plus vertueux par défaut
|
||
- rajouter des logs
|
||
|
||
Argument Haskell vs Autres:
|
||
|
||
- Argument mathématique:
|
||
Implicitement la théorie des ensembles à pas de structure.
|
||
La structure du fonctionnel.
|
||
C'est un structure qui a une base mathématique.
|
||
Et qui a donc plus de fondement.
|
||
|
||
- Charles Hopkinson: au départ il voulait Idris.
|
||
+ Bon choix de départ. Cloud Haskell, processus asynchrone distribué,
|
||
parallelisme, bonnes abstractions, bonnes structures.
|
||
|
||
- DSL:
|
||
+ Très facile d'encapsuler d'autres language.
|
||
|
||
** How to overcome
|
||
|
||
** Examples pour donner envie
|
||
|
||
** Resume
|
||
|
||
Prérequis : Familier avec la ligne de commande et au moins un language de programmation.
|
||
|
||
Langue : La formation est délivrée en français mais pourra être délivrée en anglais au besoin.
|
||
|
||
Objectif : Faire ses premiers pas en Haskell de façon pratique et concrète
|
||
|
||
Contenu de la formation :
|
||
- courte introduction ; pourquoi Haskell?
|
||
- premiers pas en programmation fonctionnelle
|
||
- TD, mise en pratique
|
||
- classes de bugs évitées à l'aide d'Haskell
|
||
- organisation du code en Haskell
|
||
|
||
|
||
Pré-requis matériel et logiciel :
|
||
|
||
- Avoir installé =stack= (C.f. http://haskellstack.org)
|
||
|
||
Intervenant:
|
||
– Hadrien Commenges (Université Paris 1)
|
||
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Répondre à Laurent
|
||
CLOSED: [2018-05-04 Fri 14:10]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:01
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Remercier Craig
|
||
CLOSED: [2018-04-24 Tue 11:10]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:01
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
Thanks a lot for the recognition!
|
||
|
||
I learnt a lot about authentication and I'm looking forward finishing all
|
||
other grants and integrating more auth 3rd party.
|
||
It's fun, interresting and challenging to work on auth.
|
||
|
||
I don't know yet what I'll buy I'll let you know.
|
||
Thanks again!
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Impots 2017
|
||
CLOSED: [2018-05-06 Sun 16:37]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Appel Store Banne
|
||
CLOSED: [2018-04-23 Mon 09:45]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
- Tel: 06 60 67 21 06
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Mail Remerciement Alexandre
|
||
CLOSED: [2018-04-09 Mon 14:45]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
Bonjour,
|
||
|
||
Juste un mail pour remercier l'ISC-PIF et tout particulièrement Alexandre de
|
||
m'avoir inviter. Je tiens aussi à remercier tous les participants qui ont permi
|
||
de rendre cette formation vraiment interactive.
|
||
|
||
Je profite aussi de ce mail pour ajouter une petite information qui manquait.
|
||
Comment commencer à se mettre à la programmation Haskell ?
|
||
|
||
Tout d'abord il est important de savoir que les parcours des Haskellers sont
|
||
souvent très divers. A chacun de choisir, livres, tutoriels, videos, chat,
|
||
etc...
|
||
|
||
Après avoir parcouru la plupart des recommandations je trouve que le site web
|
||
officiel d'Haskell fait un très bon travail pour pointer les meilleues resources :
|
||
|
||
- Voici une liste de resources : https://www.haskell.org/documentation
|
||
- Mon tuto rapide : [[http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/][Haskell the Hard Way]] (pas si difficile, mais utile pour se
|
||
faire une idée rapide)
|
||
- Moteurs de recherche par type : [[http://hayoo.fh-wedel.de][hayoo]] & [[http://haskell.org/hoogle][hoogle]]
|
||
- Communauté & News : http://haskell.org/news & ~#haskell-fr~ sur freenode
|
||
- Libs: https://hackage.haskell.org & https://stackage.org
|
||
|
||
Bien entendu, n'hésitez pas à me contacter directement par mail même si vous
|
||
pouvez généralement me trouver sur ~#haskell-fr~ mon pseud est souvent
|
||
~yogsototh~.
|
||
|
||
Encore une fois merci à tous pour votre accueil exceptionnel.
|
||
|
||
Yann.
|
||
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Envoyer demande autorisation tonnelle
|
||
CLOSED: [2017-12-29 Fri 22:37]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
Bonjour,
|
||
|
||
Nous aurions aimé pouvoir ajouter à l'ordre du jour lors de la prochaine
|
||
assemblée des co-propriétaires de la résidence "Les collines de Circée" une
|
||
demande nous autorisant à installer une tonnelle sur notre terrasse.
|
||
|
||
Pour donner une idée voici une photo du type de tonnelle que nous envisageons
|
||
d'installer: http://www.castorama.fr/images/products/i/i_598558_02.jpg
|
||
|
||
Très cordialement,
|
||
Krystlele & Yann Esposito
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* CANCELED [#B] Ecrire Projet Tonnelle et l'envoyer à Marine
|
||
CLOSED: [2018-04-09 Mon 14:20]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: CANCELED
|
||
:END:
|
||
|
||
Projet installation tonnelle.
|
||
|
||
Nous souhaiterions installer une tonnelle.
|
||
Nous envisageons la "Tonnelle Clipperton toit ajustable" de chez Castorama.
|
||
Normallement les fixations se font au sol.
|
||
Hors nous allons fixer la tonnelle aux murs attenants et il nous a été confirmé
|
||
que celà ne poserait pas de problème.
|
||
|
||
- Dimensions : 400 x 300 x H.240cm.
|
||
- Matière de la structure: Aluminium.
|
||
- Matière de la toile: 100% Polyester 180g/m², enduite de polyuréthane.
|
||
- Type de fixation: A fixer au sol.
|
||
- Toile traitée déperlant.
|
||
- Coloris de la structure : Gris anthracite.
|
||
- Coloris de la toile : Ecru.
|
||
|
||
Plus produit : Toit coulissant
|
||
Poids : 42.0 kg
|
||
|
||
Nous l'attacherons en deux points contre le mur mitoyen plus un point contre le
|
||
mur du bâtiment.
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Reparation C4
|
||
CLOSED: [2018-04-09 Mon 14:20]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
** DONE [#A] Prendre RDV E&G tel:+33492049579
|
||
CLOSED: [2017-12-07 Thu 16:43] SCHEDULED: <2017-11-28 Tue>
|
||
** DONE [#A] Prendre RDV E&G pour réparation pompe hydrolique
|
||
CLOSED: [2018-01-07 Sun 13:46] SCHEDULED: <2018-01-03 Wed>
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE [#A] Appeler pour l'entretient annuel (22 décembre) Antibes Gaz: 0492921485
|
||
CLOSED: [2018-01-02 Tue 15:54] SCHEDULED: <2018-01-02 Tue>
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Aller acheter les litières
|
||
CLOSED: [2018-01-03 Wed 13:53] SCHEDULED: <2018-01-03 Wed>
|
||
:PROPERTIES:
|
||
:LAST_REPEAT: [2018-01-02 Tue 09:56]
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Impots :admin:
|
||
CLOSED: [2017-06-21 Wed 07:53]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
** DONE Vérifier Revenu Cisco 2016-12: 52407€
|
||
CLOSED: [2017-05-17 Wed 21:43]
|
||
** DONE Vérifier décalaration revenus auto-entrepreneur
|
||
CLOSED: [2017-04-19 Wed 12:24]
|
||
** (ABC-Cours) 1794 + (O2) 931.19 = 2725
|
||
** Frascati
|
||
*** Intérêts d'emprunts: 7193,9
|
||
*** Où déclarer le max - garage?
|
||
** DONE Cases Réduction Duflot
|
||
CLOSED: [2017-05-17 Wed 21:43]
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Anniv K :family:
|
||
CLOSED: [2017-05-02 Tue 13:55]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
** Nous (4 adultes)
|
||
** Audrey (2 + 1 enfant)
|
||
** Caro (2 adultes + 1 enfant)
|
||
** Renée (1 adulte)
|
||
** Laurent (1 adulte)
|
||
** Sonia (1 adulte ou 1 adulte et deux enfant, ou 2 adultes et 4 enfants)
|
||
** Guillaume & Emilie (2 adultes et 1 enfant)
|
||
** TOTAL Adultes: 14 adultes + 5 enfants.
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* DONE Lettre Krystelle
|
||
CLOSED: [2018-05-31 Thu 16:59]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Perso
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:END:
|
||
|
||
Bonjour ...
|
||
|
||
Comme expliqué précédemment, je souhaiterai à la fois changer de service pour
|
||
passer de la réanimation pédiatrique en neonatalogie et de plus revoir mon temps
|
||
de travail à la baisse pour passer d'actuellement 80% à 50%.
|
||
|
||
Veuillez noter que je suis actuellement en arrêt de travail et que ces demandes
|
||
sont motivées par des raisons de santé avec le soutien de mon médecin traitant
|
||
pour me permettre de reprendre mon activité au plus vite.
|
||
|
||
Sachant celà, je vous prie de bien vouloir reconsidérer votre décision.
|
||
|
||
Très cordialement,
|
||
|
||
Krystelle Esposito.
|
||
|
||
|
||
Archived entries from file /Users/yaesposi/.deft/TODO.org
|
||
|
||
|
||
* CryptoCurrency
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-05-31 Thu 17:02
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:END:
|
||
** DONE Sell ETN → BTC → ADA
|
||
CLOSED: [2017-12-12 Tue 18:22]
|
||
** Prix estime
|
||
Argent du monde entier varie de M0 à M3.
|
||
M0 = 5.2e12, M1 = 25e12, M2 = 60e12 et M3 = 75e12
|
||
|
||
Si 100% de l'argent (M3) est distribué en ADA, sachant qu'il y a
|
||
en tout 41e9 ADA cela ramène le prix à 1829$
|
||
Si on ne considère que l'ADA en circulation en phase 1 on peut doubler ce prix.
|
||
|
||
Maintenant prenont une limite plus basse.
|
||
Si c'est M0 alors le prix max serait à $126.
|
||
|
||
* DONE [#A] OIDC Integration
|
||
CLOSED: [2018-08-06 Mon 23:21]
|
||
:PROPERTIES:
|
||
:ARCHIVE_TIME: 2018-08-06 Mon 23:23
|
||
:ARCHIVE_FILE: ~/.deft/TODO.org
|
||
:ARCHIVE_OLPATH: COLUMNS is SPC o c/Redbot/User Management
|
||
:ARCHIVE_CATEGORY: TODO
|
||
:ARCHIVE_TODO: DONE
|
||
:ARCHIVE_ITAGS: geek hs
|
||
:END:
|
||
** DONE Backend
|
||
CLOSED: [2018-08-06 Mon 09:10]
|
||
** DONE [#A] Frontend
|
||
CLOSED: [2018-08-06 Mon 23:21]
|