Mastodawn

Thomas Haesslé Nov 26, 2021

📢 λ · Lille 19: #Haskell en production & écrire un compilateur en #rustlang
🗓️mercredi 15 décembre 2021 à 19:30 à EPITECH Lille
👨‍💻👨‍💻 : Gauthier & Benjamin

https://mobilizon.fr/events/797bbb66-e79f-4f1f-ad29-4312b43a640e

λ · Lille 19: Haskell en production & écriture d'un compilateur en Rust

15 déc. 2021, 19:30:00 - GMT+1 - Epitech - École pour l'informatique et les nouvelles technologies, 5-9 Rue du Palais Rihour (Lille) - Premier évènement "en vrai" depuis Mars 2020, ça se fête !Bien sûr la situation sanitaire n'est toujours pas parfaite, aussi les places seront limitées à 50 personnes et le port du masque sera obligato…

Thomas Haesslé May 12, 2021

C'est ce soir ... mais il n'est pas trop tard pour s'inscrire #idris #functionalProgramming #meetup #beer
https://twitter.com/lambdalille/status/1386727285798100992

Lambda Lille on Twitter

“📢 λ · remote 13 : Introduction aux types dépendant via #Idris 🗓️Mercredi 12 mai 👨‍💻@Ptival https://t.co/oyoWBD1211”

Twitter

Thomas Haesslé Apr 26, 2021

✌️ Vous avez manqué le talk #CRDT pour les mortels de @[email protected]
au λ · remote 12 ?
Le replay est en ligne https://youtu.be/7XNXUsZ2uHI

λ·Remote 12.2 - Conflict-free replicated data types pour les mortels, Guillaume Bogard

YouTube

Thomas Haesslé Apr 12, 2021

Show thread

La Quadrature du Net Apr 7, 2021

Les effets de la future décision du Conseil d'État seront considérables:

- si on gagne, fin de la conservation généralisée des données de connexion, limitation des finalités politiques, contrôle effectif
- si on perd, la France se placera en indépendance de fait vis à vis de l’UE

Thomas Haesslé Apr 9, 2021

📢 λ · remote 12 : #kotlin pour la FP ? Une brève introduction à @[email protected]
, suivi de Conflict-free replicated data types pour les mortels avec exemple #PureScript
🗓️ le 15 avril à partir de 19h
👨‍💻 @[email protected] et @xvw
https://www.meetup.com/fr-FR/LambdaLille/events/276820419/

λ · remote 12 : Kotlin pour la FP avec Arrow & CRDT

jeu. 15 avr. 2021 à 19:00: Meetup zoomCode accès[masked]Lien accessible après inscription---# Kotlin, pour de la FP? Une brève introduction à Arrow par Xavier Van de Woestyne @[masked]En apprendre plu

Thomas Haesslé Mar 8, 2021

📺La vidéo du λ · remote 10 partie 2 : #Catala, un langage fonctionnel dédié pour formaliser le droit fiscal par @[email protected] est en ligne. Enjoy ! #Ocaml #programminglanguage https://youtu.be/vaXGgrUHtuk

Lambda Lille - λ·Remote 10.2 - Catala - Denis Merigoux

YouTube

Thomas Haesslé Mar 8, 2021

📺La vidéo du λ · remote 10 partie 1 : Des zippers et des types, par Florian Angeletti est en ligne. Enjoy ! #OCaml https://youtu.be/PF1RIOYp-pc

Lambda Lille - λ · Remote 10.1 - zippers - Florian Angeletti

YouTube

Thomas Haesslé Mar 5, 2021

📢 λ · remote 11 : #CaramelLang
- bringing an #OCaml to the #Erlang VM
🇬🇧 Language
👨‍💻 @[email protected]

🗓️ Wednesday, March 24th at 19:00 (Paris, UTC+1)
https://www.meetup.com/fr-FR/LambdaLille/events/275980753/

Thomas Haesslé Nov 19, 2020

la bataille du Libre Nov 18, 2020

Étant donné que toutes les projections programmées ne peuvent pas se faire, "La bataille du Libre" est, pendant (et à cause) du confinement, disponible en VOD sur Vimeo... N'hésitez pas à faire passer le message... Merci pour le ramdam !
@Framasoft @aprilorg
@adullact
@solibre
@PierreCol @vincentxavier
@mmu_man @vincentmabillot @RatZillaS @nitot @pscoffoni @capitoledulibre @ChatonsOrg @datagueule @gouvernementFR

https://www.labatailledulibre.org/la-bataille-du-libre-en-vod/

La bataille du Libre en VOD - La bataille du Libre

RETROUVEZ “La bataille du Libre” (87mn) EN VOD SUR VIMÉO ... Continue reading "La bataille du Libre en VOD"

La bataille du Libre

Thomas Haesslé Nov 19, 2020

📢 Lambda Lille λ · remote 7 : Tagged and refined types & beers
Exceptionnellement il n'y aura qu'un talk pour prendre le temps d'un verre d'échange virtuel 🍻
https://t.co/z71gf5ojJ8 #Meetup #Scala #FunctionalProgramming

Lambda Lille λ · remote 7 : Tagged and refined types & beers

jeu. 19 nov. 2020 à 18:30: Introduction aux "tagged and refined types" par Nicolas FrançoisLes "Tagged and refined types", une approche sécurisée par conception, sont un bonheur de programmer. Cependa

programming	rust
ocaml