Kate @kit_ty_kate@lesbiab.space

omg my train is two carriages long! So tiny!

RT @mcclure111@twitter.com

When the code is not respecting the invariants

🐦🔗: https://twitter.com/mcclure111/status/1203080460080832512

RT @actazone@twitter.com

Désarrestation réussie : un homme arraché des mains de la police par des manifestants déterminés. Vive l'autodéfense populaire !
#GrèveGénérale

🐦🔗: https://twitter.com/actazone/status/1202712139934445568

RT @NormaJullien@twitter.com

En cette veille de #grève nationale et de manifestations, conseils utiles en cas de garde à vue :

- ON DÉSIGNE UN AVOCAT DE SON CHOIX OU COMMIS D’OFFICE.

- ON GARDE LE SILENCE.
- ON GARDE LE SILENCE.
- ON GARDE LE SILENCE.

🐦🔗: https://twitter.com/NormaJullien/status/1202117146639253504

RT @pcwalton@twitter.com

Stop 👏 using 👏 -Werror 👏 in 👏 your 👏 public 👏 build

🐦🔗: https://twitter.com/pcwalton/status/1201679307552083968

RT @ADHD_Alien@twitter.com

My totally unscientific explanation of why I quit everything I start and how everything gets too overwhelming. Bigger Version on my homepage!
(Close-ups in comments)

#adhd #adhs #mentalhealth #comic #tdah

🐦🔗: https://twitter.com/ADHD_Alien/status/1157690943014920192

RT @NmGrnnwld@twitter.com

Autoriser des mecs à s'imaginer déconstruits et abreuver les femmes du mythe de "suffit d'en trouver un bien", c'est nier la dimension structurelle des violences, et donc indirectement les entretenir.

🐦🔗: https://twitter.com/NmGrnnwld/status/1201512334964994048

RT @weeble@twitter.com

I may be spoiling the best line in this talk, but I love it very much.
"People keep saying learning programming languages makes you a better programmer. It really doesn't. It makes you a better programmer up to a point... then it makes you bitter and unsatisfied." https://twitter.com/kit_ty_kate/status/1201492943384825856

🐦🔗: https://twitter.com/weeble/status/1201508524603392001

A (Not So Gentle) Introduction To Systems Programming In ATS

https://www.youtube.com/watch?v=zt0OQb1DBko

TIL Agda and Lean both have builtin IO

Reference Counting Optimized for Purely Functional Programming (presented at IFL 2019)

https://arxiv.org/pdf/1908.05647.pdf

Cody's lab, no warning whatsoever: "so... it's time for the acid!"

me: O_O

RT @Fawnduu@twitter.com

Blep

🐦🔗: https://twitter.com/Fawnduu/status/1191774515438800896

☕💞

Source: https://twitter.com/glidesloe/status/1199065137086205952

RT @lambdazai@twitter.com

*compiler coughs, taps the microphone*
type check... type check

🐦🔗: https://twitter.com/lambdazai/status/1198914060970008576

RT @MediocreDave@twitter.com

Untitled Class War #UCUStrikesBack

🐦🔗: https://twitter.com/MediocreDave/status/1198934761437196289

RT @Seraxiz@twitter.com

If λ is so good how come there isn't a λ tw-

🐦🔗: https://twitter.com/Seraxiz/status/1198947515741196290

RT @mayabyte@twitter.com

Bro! You casted to void*! You are going to loose type information!

🐦🔗: https://twitter.com/mayabyte/status/1197293668446691328

RT @xuanruirqi@twitter.com

Everyone: Jacques' certified (subset of) OCaml interpreter, now pulled out of the drawer and building under Coq 8.10! https://github.com/garrigue/certint

🐦🔗: https://twitter.com/xuanruirqi/status/1196312252430684161