Sabrina Web :privacypride: 📎
boosted
#Eugenics: "removing ASL interpreters denies deaf & hard-of-hearing Americans the ability to fully participate in civic life." The sentence that I've edited begins "Advocates have argued." I've deleted those words b/c the consequences of the removal (further disabling from civic life those w/ disabilities) are facts. There's no other side to the "argument" other than cruelty, criminality (it defies the Americans with Disabilities Act), & #fascism.
https://www.salon.com/2025/12/13/disability-advocates-push-back-as-white-house-limits-asl-access/
#Eugenics: "removing ASL interpreters denies deaf & hard-of-hearing Americans the ability to fully participate in civic life." The sentence that I've edited begins "Advocates have argued." I've deleted those words b/c the consequences of the removal (further disabling from civic life those w/ disabilities) are facts. There's no other side to the "argument" other than cruelty, criminality (it defies the Americans with Disabilities Act), & #fascism.
https://www.salon.com/2025/12/13/disability-advocates-push-back-as-white-house-limits-asl-access/
hey #Wordpress folks, do you have tools and a workflow for delivering #ADA compliant sites which work well with a screen reader, have keyboard nav, UI controls etc?
I need to learn this stuff and finding out where to start is daunting. I'd love some tips from people already doing it. boosts appreciated.
Stefano Marinelli
boosted
Check out what I totally overlooked, if anyone’s into that 😉
https://forums.freebsd.org/threads/full-ada-programming-toolchain-now-on-freebsd.98576/
Check out what I totally overlooked, if anyone’s into that 😉
https://forums.freebsd.org/threads/full-ada-programming-toolchain-now-on-freebsd.98576/
nullagent
boosted
@michalfita @nullagent idk, after all those arguments I still think that my point holds: If you *really* care about safe software you write it in #Ada *today*, and not in #Rust someday when it will have bounded types, or stable standard, or being able to recompile your project after 10 years. Safety isn't only about memory allocation it is about processes and first and foremost code maintainers. Most Rust evangelists were JS/Java/C++ programmers in the past – aka normies, so they just don't know anything better.
Rust is a *good* language, but cult following around it is just insane. And all those people that heard about safety for the first time from Rust evangelists... sigh.
P.S. Marketing approach of Rust is worth learning – beat a straw man argument, aka Rust is better then C and ignore real competitors.
P.P.S. And about AdaCore what should they do? of course they want to cooperate I don't get the point.
P.P.P.S. MIT license is only good for corporations that want to abuse free work of open source community.
nullagent
boosted
@michalfita @nullagent And for #Rust they come from webdev... (it is a joke). But my point still holds – people use Rust because it is fashionable, there are plenty of strongly typed languages. Yes Rust was first language that popularized affine type system – and that's good. But handling allocated resources isn't the only thing that is relevant for correctness. In #Ada for example you can write substantial programs without *ever* using dynamically allocated memory. Also in Ada you can have bounded types like an integer from 1 to 10 etc. Also Ada has a specification and is ISO standard. Compiler (gnat) is GPL licensed compared to MIT which is prone to corporate hostile project takeover. I hope you understood my point – Rust fans should compare Rust with some langue within its own league and not beat a grandpa C.
@michalfita @nullagent idk, after all those arguments I still think that my point holds: If you *really* care about safe software you write it in #Ada *today*, and not in #Rust someday when it will have bounded types, or stable standard, or being able to recompile your project after 10 years. Safety isn't only about memory allocation it is about processes and first and foremost code maintainers. Most Rust evangelists were JS/Java/C++ programmers in the past – aka normies, so they just don't know anything better.
Rust is a *good* language, but cult following around it is just insane. And all those people that heard about safety for the first time from Rust evangelists... sigh.
P.S. Marketing approach of Rust is worth learning – beat a straw man argument, aka Rust is better then C and ignore real competitors.
P.P.S. And about AdaCore what should they do? of course they want to cooperate I don't get the point.
P.P.P.S. MIT license is only good for corporations that want to abuse free work of open source community.
@michalfita @nullagent And for #Rust they come from webdev... (it is a joke). But my point still holds – people use Rust because it is fashionable, there are plenty of strongly typed languages. Yes Rust was first language that popularized affine type system – and that's good. But handling allocated resources isn't the only thing that is relevant for correctness. In #Ada for example you can write substantial programs without *ever* using dynamically allocated memory. Also in Ada you can have bounded types like an integer from 1 to 10 etc. Also Ada has a specification and is ISO standard. Compiler (gnat) is GPL licensed compared to MIT which is prone to corporate hostile project takeover. I hope you understood my point – Rust fans should compare Rust with some langue within its own league and not beat a grandpa C.
@michalfita @nullagent I beleive you, but I really can't tell the same for most Rust programmers, I have literally never met a single rustacean that by any chance happen to know that #Ada even exists! And there are affine types (similar to Rust's borrow checker) in SPARK 2014! And it has much-much more if you actually care about bug-free code. One of it is readable syntax.
I've coded in C / C++ / Java / Python / JS and anything else needed to get the job done.
I have never heard any group of devs so quickly dismiss security concerns about their ecosystem as rapidly as Rust devs.
YES the language IS type safe and that's a big value add.
But that value add can quickly be cancelled out without significant attention to detail.
The EXACT same attention to detail I code with in C / C++ / Java / Python / JS etc.
This time, is not different.
@nullagent My personal opinion is #Rust developers aren't serious about security because those same people would've used #Ada before Rust became mainstream, but they haven't. So its pure hype. I'm a big fan of formally verified code and this hype trend is on one hand good – more people are conscious about type safety, but on other hand bad because those very same people tend to completely ignore decades of research on formal program verification.
How many of them know about ATS/Postiats for example or even more mainstream Ada SPARK?
Drei Herzen hüpfen Hosiann:
Wir vom #CodeForNiederrhein Hacker- & Maker:innen-Space in Moers lesen im Rahmen des #Vorlesetags am Freitag das Kinderbuch „ #Ada & #Zangemann" von @kirschner von der #FSFE vor.
Unsere @C4NRN Crew hat noch zusätzliche Sprachenpackete 🇹🇷 🇷🇺 übersetzt so daß wir insgesammt jetzt den Kindern und Erwachsnene aus der Nachbarschaft ein buntes Hör- und Vorlesevergnügen in bieten können.
🇹🇷 🇷🇺 🇦🇪🇩🇪🇹🇷🇬🇧🇫🇷🇺🇦🇷🇺
Stefano Marinelli
boosted
Two #blog posts in less than one week!
It was considered known that there is no support within GNAT (Ada) for illumos. We cross-build a complete native binutils+gcc toolchain for illumos to test out this claim.
...only to discover that illumos has full support within GNAT. Not a single test fails.
https://briancallahan.net/blog/20250817.html
#Ada #illumos#GNAT#GCC#GNU #freesoftware #unix #bsd #freebsd #openbsd #netbsd #dragonflybsd #linux #compiler #compilers
Two #blog posts in less than one week!
It was considered known that there is no support within GNAT (Ada) for illumos. We cross-build a complete native binutils+gcc toolchain for illumos to test out this claim.
...only to discover that illumos has full support within GNAT. Not a single test fails.
https://briancallahan.net/blog/20250817.html
#Ada #illumos#GNAT#GCC#GNU #freesoftware #unix #bsd #freebsd #openbsd #netbsd #dragonflybsd #linux #compiler #compilers
Matt
boosted
It makes me chuckle a little that one of the biggest NFT stores on the Cardano blockchain is just called 'JPG Store'.
So many people are like "NFTs are shit. Do you not realise you're just buying an image?" and the name 'JPG Store' is just screaming "Come and buy some expensive JPGs"
#Cardano#ADA#CardanoADA#JPGStore#NFT#NFTs#CardanoNFT#Cryptocurrency#Blockchain
#ADA35#DisabilityPride#Community
📣July is Disability Pride Month, a time to recognize the strength, resilience, and leadership of people with disabilities.
➡️This month, and every month, I am committed to advancing inclusiveness, access, and pride in all abilities across the health and fitness industry, and within the broader community. - Coach Julio
#DisabilityPrideMonth#ADA #pride#Accessibility#Fitness#Sports#Health#Ableism #adaptive #equity #equality
Jess Mahler
boosted
I think my post about the hostility of doorknobs is a fantastic break in to Disability pride month! https://sightlessscribbles.com/writing/nonfiction/20250626/#Blog#Blogging#IndieWeb#Disability#ADA#Accessibility#A11y
I think my post about the hostility of doorknobs is a fantastic break in to Disability pride month! https://sightlessscribbles.com/writing/nonfiction/20250626/#Blog#Blogging#IndieWeb#Disability#ADA#Accessibility#A11y