🚲 yomimono 🚲 @yomimono@wandering.shop

┏┓
┃┃╱╲ in this
┃╱╱╲╲ house
╱╱ ╲╲ are
▔▏. ▕▔
╱▔▔▔▔▔▔▔▔▔▔╲
╱╱ two wolves. ╲╲
▔▏. 🐺 🐺. ▕▔

@Framasoft is doing a funding campaign to build activitypub-powered event-hosting software https://joinmobilizon.org/en/

They have a good track record of following through, seems worth supporting

@Framasoft is doing a funding campaign to build activitypub-powered event-hosting software https://joinmobilizon.org/en/

They have a good track record of following through, seems worth supporting

Hi internet friends. I have a very dear friend with over a decade of technical writing experience who is likely to get deported in the next month unless they can find a job.

Anyone looking for technical writers in the Bay Area?

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)

boost if you have a cat
boost if you want a cat
boost if you are a cat
no one will know which

Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about #AbstractInterpretation, #StaticAnalysis, #SymbolicExecution, #SMT solvers and #FormalMethods in general?

Thanks in advance!

#BillPostersIsInnocent

#cats, springtime (yesterday)

RT @reproutopia@twitter.com
Move over Jordan Peterson this veterinary handbook contains the real rules for life

Boost this sweet cat 😭

i showed my friend joots (jean boots) and the he showed me the jower (jean power) of joutlets (jean outlets)

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

strawmanning: making a caricature of your debate opponent and debating with that
strawbanning: making a caricature of environmental problems and solving those

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

This software is provided, probably, we’re not really sure, and is how it is and not how it is not. It might be useful for a thing or not useful for that thing - nobody really knows, though it might be legal - possibly, no one really knows this, either. I’m not responsible for anything.