@gvwilson a separate "chapter" immediately after the chapter it belongs to.

Found this on other account. Please boost for reach: Fedora Linux is focusing on accessibility for the next five years. I'd love to see people with disabilities, very much including blind people, comment on this. If you're interested in Linux, or free and open source software, your voices are valuable. I hope Fedora finds our voices valuable too.

#accessibility #linux #fedora #foss

On 16th March, 1968 Warrant Officer Hugh Thompson Jnr was flying helicopter reconnaissance for an attack on an alleged North Vietnamese-controlled village at My Lai.

As the ground attack developed below, Thompson realised he was in fact witnessing something something else:

A massacre.

He decided to act. /1 🧵 #history #histodons

#Zotero is hiring for a whole bunch of positions, including an accessibility dev, a new translator dev, and community expert: zotero.org/jobs/zotero_expert
Especially the latter two positions interact w a lot of the (volunteer) work I do, so would love for nice people to apply. Salary ranges are listed & seem quite competitive. Most of the jobs are open internationally.

Question for people using screen readers:

Assuming proper camel-casing was used, can your screen reader pick up on the difference between the #SuperBowl and #SuperbOwl hashtags?

Hello, world! We are the Programming Languages group at TU Delft. Our current members on Mastodon are @casperbp, @dennis, @virtlink, @liesnikov, @baboum, @casvdrest, @pdmosses, and @agdakx. Stay tuned to this channel to hear all the latest updates from Delft about #Spoofax, #Agda, #TypeTheory, #ModularLanguages, #WeakMemoryModels, and #ProgrammingLanguages in general. #introduction

@csgordon I think I'm just looking to find some more formal terminology and concepts to talk about otherwise informal notions of "coverage" in general testing. Equivalence partitioning sounds relevant and should give me more good citations to chase, so thank you!

One of my professors during PhD used to say “You can drive a truck through the holes in any given paper. So you look for what you *can* learn instead.” And being the smartass grad students we used to think driving that truck was fun. After so many years, I now appreciate her wisdom more than ever. All scholarly work has limitations but it’s refreshing when people critically evaluate what’s the actual value of the research. It's about humility, honesty, rigorous intellectual work.

Question for the CS Fediverse: We were talking in a meeting today about test coverage, design by contract, and ensuring you have "enough" tests to cover all of the interesting cases. We lamented that we (in the meeting) don't have good terminology to talk formally about how much of the input space you need to test to have sufficient coverage. Has anyone explored this idea? The notion of equivalence classes (in the input space or the state space) seems very relevant here, so I wonder if there's existing work with insights in that direction.

🗣️ to folks affected by tech layoffs

Woven Planet is hiring in Tokyo (also Bay Area and London), looking for compiler engineers and embedded engineers.

You like low-level details, programming languages, functional safety? Please reach out!

DMs open (here and Twitter).


You may have heard that Google laid off 12000 employees yesterday. I have created a Google Doc to crowdsource job openings and useful contacts for those 12000 employees. Please add anything you know of: docs.google.com/document/d/1g5

i was laid-off twice early in my career in very large reorgs / cost-cutting.

the thing that wld have been helpful for me to hear then was 'this is not abt you. you were a number on someone's spreadsheet. they wanted that number to go down by 1000 or 2000 or 10,000'.

so, to anyone who needs to hear that today:

it's not abt you. you did nothing wrong.

WELP i have been laid off, last day is Jul 28.. Let me know if you have build / release / systems engineering opportunities out there, bay area or remote.

Native Americans are asking The Apache Software Foundation, "…to take the necessary steps needed to express the ally-ship they promote so deeply on their website, to act in accordance with their own code of conduct, to “be careful in the words that [they] choose”, and change their name."

It'll be a big change, but IMO one that's necessary and overdue.



Hi, all! I'm Jonathan Schuster, and I'm a software engineer/computer scientist doing my best to help bridge the gap between industry and academia. My career mission is to give software developers knowledge and tools to help them reason about their programs.

Currently I work on backend systems in Google's cloud organization and help educate Googlers about software design.

@wen @ACM +1 to all of those questions. When choosing an instance, the set of people on the instance matters much less to me than the moderation policy (to encourage a healthy, inclusive community).

Apparently there are people out there who think it's inappropriate to use Mastodon to talk about books you've written or promote projects you've worked on because it's marketing and self-promotion?

I am not one of those people. I implore you to write about the work you have done and the things you have made - I want to hear about that stuff!

Show older

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.