This year, we published a #formalmethods paper "Engineering with Logic: Rigorous Test-Oracle Specification
and Validation for TCP/IP and the Sockets API" https://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf in the Journal of the ACM! :) https://www.cl.cam.ac.uk/~pes20/rems/ #hol4 #tcpip #network so glad that this is finally out :D (happy to hear your thoughts on that, still working on a TCP/IP stack based on that work)
@aparrish's spellllllllllllllllllllling talk at !!con is FANTASTIC 😺😺😺
This is the toot I was thinking of, using "impostor phenomenon" instead and the reason for the change: https://icosahedron.website/@bstacey/101978071313148724
I seem to remember seeing an alternate way to talk about impostor syndrome that doesn't use the word "syndrome" so it can reference the phenomenon without making it seem like there is something wrong with the individual experiencing the feelings and instead acknowledges the the systemic reasons for the feelings. I can't remember what the phrase was, can anyone help me out? #AskTheFediverse
reminder that the performance/reading event for the class I teach on computational creative writing at NYU is tonight (7pm in Manhattan) https://www.eventbrite.com/e/byte-your-tongue-readings-and-performances-from-reading-and-writing-electronic-text-tickets-61425631718 specifically designed to appeal to the perhaps narrow but always amazing intersection of "people interested in computation" and "people interested in the literary arts." and, uh, in this case, "people who are in NYC and able to attend tonight." but if you're in that intersection, I tell you what, this event is FOR YOU
cis lesbian (fuck off TERFs), computer skeptic, purr-programming enthusiast, itinerant dog-petter
The Wandering Shop is a Mastodon instance initially geared for the science fiction and fantasy community but open to anyone. We want our 'local' timeline to have the feel of a coffee shop at a good convention: tables full of friendly conversation on a wide variety of topics. We welcome everyone who wants to participate, so long as you're willing to abide by our code of conduct.