Pinned toot

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/

Kate boosted

This #ArmisticeDay remember the 1915 Glasgow Women's Rent Strike in response to landlords jacking up rent due to overcrowding and high wartime employment

Kate boosted

RT @mayabyte@twitter.com

Typing "food" into a constraint solver and patiently waiting to receive my dinner plans

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

RT @jckarter@twitter.com

Tired: Projects that give OCaml other languages’ syntax

Inspired: Projects that give other languages OCaml syntax twitter.com/superfunc/status/1

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

concept: cooking stuff using a chem lab grade hotplate&magnetic stirrer so that food doesn't get stuck to your pot if you forget to stir often/fast enough

I should've switched the fuck away from their DNS server right away but oh well..

So apparently when you get Virgin Media as internet provider they switch on "the family friendly pack" or whatever bullshit by default without telling you.... which happens to block github's ssh port 🙃

RT @elaadeliahu@twitter.com

People protest NYPD policing the MTA by mass hopping the turnstiles

🐦🔗: twitter.com/elaadeliahu/status

RT @mayabyte@twitter.com

Getting my friend to switch from windows to linux, call that defenestration

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

meow 🐈

RT @Seraxiz@twitter.com

Learning that @kit_ty_kate@twitter.com is a cat

🐦🔗: twitter.com/Seraxiz/status/118

RT @ARTEfr@twitter.com

S'il a symbolisé la rébellion à l'espagnole dans , le chant « Bella Ciao » représentait à l'origine la révolution à l'italienne ⤵ so.arte/Bella

🐦🔗: twitter.com/ARTEfr/status/1188

Kate boosted
Show more
Lesbiab Space

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