TheKinrar @TheKinrar

5 posts5 participants1 post today

**Jan** @janriemer@floss.social · 7h *

7h *

Jan @janriemer@floss.social

Co-Developing Programs and Their Proof of Correctness - the SPARK Programming Language and Analyzer

https://cacm.acm.org/research/co-developing-programs-and-their-proof-of-correctness/

Communications of the ACM · Feb 26, 2024Co-Developing Programs and Their Proof of CorrectnessBy Ralph Raiola

#SPARK #Ada #FormalVerification

**Strange Seawolf CET** @strangeseawolf@mindly.social · 2d

Strange Seawolf CET @strangeseawolf@mindly.social

Hey #WritingCommunity Did you know that there exists an organisation called Bookshare that makes books accessible for people who have whatever problems to read the written word? I have learned about them from @Fragglemuppet and donated my epub to them.
(They are permitted to do what they are doing by U.S. copyright law because they only make the files available in accessible formats for people who fall under the ADA, but of course, if you donate your files you got a higher chance of bringing your writing to their brains)

https://www.bookshare.org/partner-with-us/authors

www.bookshare.orgAuthors - Bookshare

#authors #selfpublishing #IndieAuthors

**scuti** @scuti@stereophonic.space · 2d

scuti @scuti@stereophonic.space

prolog_is_lit :- write('Prolog is a vibe for logic and AI, no cap!').

(Compare the ages of #prolog programmers with #python #ada and #cobol)

Most prolog programmers are 18-25 years old.

Most programming languages will have this graph.

There's a dent in the number of Cobol programmers in their 30s.

**Ginger (she/her)** @fixiemama@mastodon.social · 5d

Ginger (she/her) @fixiemama@mastodon.social

color me surprised (gift link)

#disability #USpol #JobMarket #ADA
https://www.bloomberg.com/news/features/2025-04-17/many-americans-with-disabilities-make-less-than-minimum-wage?accessToken=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJzb3VyY2UiOiJTdWJzY3JpYmVyR2lmdGVkQXJ0aWNsZSIsImlhdCI6MTc0NDkyNDQ4MiwiZXhwIjoxNzQ1NTI5MjgyLCJhcnRpY2xlSWQiOiJTVVZST1lUMEcxS1cwMCIsImJjb25uZWN0SWQiOiJBQkFFOUYwNzlENDY0RDcwOUMwRDM0QzI4MjRBMDMwNyJ9.5rebt1UKirsu7dS3Y8_zEIiQFHGuhTHX2O87A4kYWfU

**Frontend Dogma** @frontenddogma@mas.to · Apr 14

Apr 14

Frontend Dogma @frontenddogma@mas.to

Digital Accessibility Is a Civil Right, by @karlgroves:

https://karlgroves.com/digital-accessibility-is-a-civil-right/

Karl Groves - Web Accessibility Viking · Apr 2Digital Accessibility is a Civil Right - Karl GrovesRecently, the City Journal published a critique of ADA-based lawsuits targeting inaccessible websites that paints a picture of legal chaos and unfair burdens on businesses. But beneath its surface-level concerns lies a more problematic argument: that digital inclusion is somehow optional—or worse, exploitative. Let’s be clear: digital accessibility is not a legal loophole. It’s a

#accessibility #legal #ada

**Bernhard** @bernhard@frankfurt.social · Apr 10 *

Apr 10 *

Bernhard @bernhard@frankfurt.social

#Veranstaltung
#veranstaltungshinweis,
gerade frisch entdeckt:

#Klimakollaps, was kommt auf den Tisch? - Über #Ernährungsgerechtigkeit global, in #Europa und in #Frankfurt

Zeit: Fr., 25.04.2025, 19h

Ort: #ada-kantine, Mertonstr. 30, #Frankfurt-Bockenheim

#adakantine

Mit:
Giorgos Chondros, Olivenöl-Kooperative Messinis Gea (Athen)
Ange, ada_kantine
Tadzio Müller, Klima-Aktivist

Von: transit e.V. - Verein für sozial-ökologische Transformation & Klimakommunikation, ada_kantine, Attac Frankfurt, solidaritrade eG; supported by: RLS Hessen

Essen gegen Spende ab 18:30h!

Im Kontext von Corona-#Pandemie, Ukraine-#Krieg und Klimakollaps haben die Lebensmittelkonzerne in den letzten Jahren die Preise für #Nahrungsmittel massiv erhöht und ihre Profite substantiell gesteigert. Die Folgen dieser Entwicklung werden im Welternährungssystem höchst ungleich verteilt - aber auch in Frankfurt reicht für viele das Geld nicht für eine gesunde #ernahrung aus.

Die Dynamik der Klimakrise führt dazu, dass die Landwirtschaft enorme Schäden erleidet - wie in Griechenland, wo 2023 fast 25% der Anbauflächen überschwemmt wurden. Trotzdem versuchen #Agrarkonzerne an der bisherigen Bewirtschaftung von Äckern festzuhalten.

Wie kann eine (urbane) #ernahrungspolitik im 21. Jh. aussehen, die #Klima- und #Biodiversitätskollaps tatsächlich ernst nimmt - und davon ausgeht, dass die Krisendynamik weiter eskaliert? Welche Rolle spielen Formen von solidarischer #okonomie Was wären konkrete sinnvolle Schritte hier in Frankfurt? Welche Rolle könnten öffentliche Stadtteil-Küchen ausfüllen?

Über diese Fragen und, welche Handlungsoptionen sich konkret daraus ergeben, möchten wir mit euch und unseren Gästen bei leckerem Essen von der ada_kantine ins Gespräch kommen!
Kommt rum und bringt Appetit mit!

#Ernährungsgerechtigkeit #Klimakollaps #SolidarischeÖkonomie
#StadtteilKüchenFürAlle

--
Anmerkung zum veröffentlichten Veranstaltungshinweis: die Original-Hashtags sind nur die unten aufgeführten. Alle anderen habe ich in dem obigen Text eingeführt (Wortmarkierungen mit '#').

Poster zur Veranstaltung am 25. April 2025 in der Ada-Kantine. Keine über den Text hinausgehenden Inhalte.

**Mme Zabet** @mmezabet@craftgoblin.club · Apr 10

Apr 10

Mme Zabet @mmezabet@craftgoblin.club

uspol re:disability

**DennisL** @dennisl@mastodon.social · Apr 8

Apr 8

DennisL @dennisl@mastodon.social

Web Accessibility Lawsuit Moves Forward Against the State of Louisiana https://www.lflegal.com/2025/02/louisiana-web-case/ #a11y #law #ada

Law Office of Lainey Feingold · Feb 22Web Accessibility Lawsuit Moves Forward Against the State of LouisianaThe deadline for state and local governments in the United States to meet the 2024 rule about web and mobile accessibility are coming up in 2026 and 2027, depending on the size of the government agency. I illustrated this article with an image of an hour glass to represent the idea that time is runn

**Samhain Night** @samhainnight@mstdn.social · Apr 4

Apr 4

Samhain Night @samhainnight@mstdn.social

Good! All these xut-backs are a violation of the ADA!
#SocialSecurity #ADA #Disability
https://news.bloomberglaw.com/litigation/musk-doge-sued-by-disabled-contingent-over-social-security-cuts

news.bloomberglaw.com · Apr 3Musk, DOGE Sued by Disabled Contingent Over Social Security CutsBy Quinn Wilson

**Frontend Dogma** @frontenddogma@mas.to · Apr 3

Apr 3

Frontend Dogma @frontenddogma@mas.to

ADA Compliance vs. WCAG Conformance, by @easya11yguide@x.com:

https://easya11yguide.com/tips/ada-compliance/

Easy A11y GuideADA Compliance vs. WCAG Conformance - Easy A11y GuideWhat is the difference between ADA compliance and WCAG conformance? When it comes to compliance with a law, an entire organization must comply with an entire law. What does that mean? Let's break it down.

#accessibility #ada #wcag

**Макс** @dxz8@social.kyiv.dcomm.net.ua · Mar 23

Mar 23

Макс @dxz8@social.kyiv.dcomm.net.ua

Reading the Style Guide is boring. How about listening to a live discussion? As an experiment, I used Google NobebookML to create such a discussion for three topics from the Programming Practices chapter of Ada’s style guide. The 17 minutes of discussion included

Visibility

Exception usage

Erroneous execution and bounded errors

I added the slides myself. I think it turned out very interesting.

What do you think of this format?

https://www.youtube.com/watch?v=GOVfwBcnU_E

YouTubeAda Programming Practices (Part 3/3)By Ada Maximized

#adaprogramming #adalang #ada

**Broadwaybabyto** @broadwaybabyto@zeroes.ca · Mar 23

Mar 23

Broadwaybabyto @broadwaybabyto@zeroes.ca

A Texas lawsuit including 17 red States is attempting to remove Section 504, a critical disability protection

“It prohibits discrimination based on disability in programs & activities that receive federal funding”

If successful this will be a major blow to disabled rights, accessibility & autonomy

The lawsuit appears to be rooted in transphobia as well, using it as a way to target trans AND disabled people at the same time.

https://lionsandperiwinkles.substack.com/p/do-you-have-a-disability-youre-probably

The Ariel Series · Feb 13Do you have a disability? You're probably going to want to read this one.By Spence

#disabilityright #uspoli #disability

**Kim Perales** @KimPerales@toad.social · Mar 21

Mar 21

Kim Perales @KimPerales@toad.social

"DoJ Waives #ADA Regs 'To Help With Cost Of Living'.'

The DoJremoved 11 guidelines for US businesses on compliance with the ADA, incl. some that deal with Covid & masking & accessibility. Bc fuck those disabled ppl, amirite?"
-R Saddler

Updates have already been made to the ADA.gov website to reflect the removal of the guidances. Multiple pages were REMOVED from: ADA’s archive website, incl: how retail bus' are required to have accessible features...

#Eugenics #USPol https://crooksandliars.com/2025/03/doj-waives-ada-regulations-help-cost

Crooks and Liars · Mar 20DoJ Waives ADA Regulations 'To Help With Cost Of Living'By Susie Madrak

**Broadwaybabyto** @broadwaybabyto@zeroes.ca · Mar 20

Mar 20

Broadwaybabyto @broadwaybabyto@zeroes.ca

Guidelines about accommodating people with disabilities are being scrubbed from the Justice departments website in an effort to … reduce the cost of groceries.

Once again disabled people are targeted because the government assumes no one will speak up for us.

Speak up. We need you.

Spoiler alert… this will not actually lower the cost of groceries. It will lower the quality of life for people like me though!

https://www.theguardian.com/us-news/2025/mar/19/justice-department-disability-business-guidelines

The Guardian · Mar 19Justice department removes disability guidelines for US businessesBy Lauren Aratani

#uspoli #ada #disability

**Paul Chambers** @paul@oldfriends.live · Mar 20 *

Mar 20 *

Paul Chambers @paul@oldfriends.live

Justice department removes disability guidelines for US businesses

The Department of Justice removed 11 guidelines for US businesses on compliance with the Americans with Disabilities Act (ADA), including some that deal with Covid-19 and masking and accessibility. #USPol #ADA #Disability

They are:
Maintaining Accessible Features in Retail Establishments (2009)

Gathering Input from Customers with Disabilities (2007)

Accessible Customer Service Practices for Hotel and Lodging Guests with Disabilities (2006)

Reaching out to Customers with Disabilities (2005)

Americans with Disabilities Act: Assistance at Self-Serve Gas Stations (1999)

Five Steps to Make New Lodging Facilities Comply with the ADA (1999)

Can a business stop me from bringing in my service animal because of the COVID-19 pandemic? (2021)

Does the Department of Justice issue exemptions from mask requirements? (2021)

Are there resources available that help explain my rights as an employee with a disability during the COVID-19 pandemic? (2021)

Can a hospital or medical facility exclude all “visitors” even where, due to a patient’s disability, the patient needs help from a family member, companion, or aide in order to equally access care? (2021)

Does the ADA apply to outdoor restaurants (sometimes called “streateries”) or other outdoor retail spaces that have popped up since COVID-19? (2021)

https://www.theguardian.com/us-news/2025/mar/19/justice-department-disability-business-guidelines

White House archive memo: https://archive.ph/PdzMB

The Guardian · Mar 19Justice department removes disability guidelines for US businessesBy Lauren Aratani

**Tadonic the Flautulent** @ubuntourist@mastodon.social · Mar 20

Mar 20

Tadonic the Flautulent @ubuntourist@mastodon.social

Justice department removes disability guidelines for US businesses;
Multiple pages scrubbed from the Americans with Disabilities Act (ADA) website due to a Trump order
https://www.theguardian.com/us-news/2025/mar/19/justice-department-disability-business-guidelines
#a11y #politics #UnitedStates #ADA #news #accessibility

The Guardian · Mar 19Justice department removes disability guidelines for US businessesBy Lauren Aratani

**Bi Sasquatch** @BiSasquatch@c.im · Mar 19

Mar 19

Bi Sasquatch @BiSasquatch@c.im

Breaking news regarding changes to the #ADA

Source: "US Department of Justice
From the press release: "The Justice Department today announced that it is taking action in response to President Trump’s Presidential Memorandum “Delivering Emergency Price Relief for American Families and Defeating the Cost-of-Living Crisis.” First, the Department is withdrawing 11 pieces of guidance to streamline Americans with Disabilities Act (ADA) compliance resources for American businesses. Next, the Department is raising awareness about tax incentives for businesses related to their compliance with the ADA.

"The Jan. 20 Presidential Memorandum described the regulatory demands put in place by the prior administration and called on the heads of all executive departments and agencies to take appropriate actions to lower the cost of living throughout the country. Today’s withdrawal of 11 pieces of unnecessary and outdated guidance will aid businesses in complying with the ADA by eliminating unnecessary review and focusing only on current ADA guidance. Avoiding confusion and reducing the time spent understanding compliance may allow businesses to deliver price relief to consumers."

#Diabled #Disability #Employment
#USPolitics #ThePoliticsOfHate #ThePoliticsOfGreed

https://www.justice.gov/opa/pr/justice-department-announces-actions-combat-cost-living-crisis-including-rescinding-11

www.justice.gov · Mar 19Justice Department Announces Actions to Combat Cost-of-Living Crisis, Including Rescinding 11 Pieces of GuidanceThe Justice Department today announced that it is taking action in response to President Trump’s Presidential Memorandum “Delivering Emergency Price Relief for American Families and Defeating the Cost-of-Living Crisis.” First, the Department is withdrawing 11 pieces of guidance to streamline Americans with Disabilities Act (ADA) compliance resources for American businesses.