Pinned toot

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 !

🐦🔗: twitter.com/actazone/status/12

RT @NormaJullien@twitter.com

En cette veille de 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.

🐦🔗: twitter.com/NormaJullien/statu

RT @pcwalton@twitter.com

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

🐦🔗: twitter.com/pcwalton/status/12

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)

🐦🔗: twitter.com/ADHD_Alien/status/

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.

🐦🔗: twitter.com/NmGrnnwld/status/1

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." twitter.com/kit_ty_kate/status

🐦🔗: twitter.com/weeble/status/1201

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

arxiv.org/pdf/1908.05647.pdf

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

me: O_O

RT @lambdazai@twitter.com

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

🐦🔗: twitter.com/lambdazai/status/1

Kate boosted

Coq, but when I type "Proof." the pokemon battle music starts and when I type "auto." it says "Tactic is not very effective"

RT @mayabyte@twitter.com

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

🐦🔗: twitter.com/mayabyte/status/11

RT @xuanruirqi@twitter.com

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

🐦🔗: twitter.com/xuanruirqi/status/

Show more
Lesbiab Space

A Mastodon instance by and for lesbians 💜
See rules and guidelines for more informations.