Show more

RT @isbeisbeisbe@twitter.com

This is fucked, and throws attention on how important radical community healthcare is to fill in these gaps. Or, in other words, HELP YOUR TRANS COMMUNITY GET HORMONES. If you've self medded before, try and let this be known. If someone asks for help getting hormones, help them. twitter.com/NotRightRuth/statu

🐦🔗: twitter.com/isbeisbeisbe/statu

Kate boosted
Kate boosted

interesting to hear that, in #seL4 development, they found that using property-based testing was still useful even though they also did more formal verification - it's easier to verify correct code, and property-based testing helps find bugs before verification work

ah, yes, I forgot that C++ can have several types with different behaviours for the same value.. 🙄

(std::function vs. function pointer inferred by auto)

*screams in compiler developer gibberish*

RT @willkirkby@twitter.com

How about if we use `auto` instead of an explicit type?

Answer in the link:
gcc.godbolt.org/z/L_BHOG

🐦🔗: twitter.com/willkirkby/status/

Kate boosted

Do you ever feel the writers of this timeline are too obvious in their foreshadowing?

*starts looking at opencollective*
"Open Collective takes a 5% commission which doesn't include the payment processor fees (Stripe, PayPal)"

haha .. *stays with liberapay*

Kate boosted

Set your WiFi password to 2444666668888888

So when someone asks, tell them it's 12345678

Kate boosted

what if: compute cluster made of... Wiis

RT @bascule@twitter.com

riscv64 support is fully merged into LLVM! 🎉

Looks like @rustlang@twitter.com can start adding targets for it as soon as the LLVM fork for it gets updated /cc @risc_v@twitter.com

github.com/rust-embedded/wg/is

🐦🔗: twitter.com/bascule/status/109

Kate boosted

My former research group in Cambridge put a very nice tool online, Cerberus, with a web interface. "Cerberus is a tool for exploring the semantics of the C programming language". So whomever must program C may want to use and discover C semantics and undefined behaviour - find it at cerberus.cl.cam.ac.uk/ #formalmethods #C

Kate boosted

This moment when you read your own #Coq file and don’t have a clue of what it does.

Kate boosted

woot, our CalDAV server did their first git commits without any unix :D #MirageOS github.com/roburio/testcalenda 🐫 🐫 #OCaml #irmin

RT @chordbug@twitter.com

cis people: you should read this thread and realize the trans agenda is "go swimming for once" twitter.com/QueerFrenchGirl/st

🐦🔗: twitter.com/chordbug/status/10

Show more
Lesbiab Space

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