｢ Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software. Ironclad features a familiar POSIX-compatible interface, true simultaneous preemptive multitasking, Mandatory Access Control (MAC), and support for hard real-time scheduling ｣

https://ironclad-os.org/

#unix #posix #spark #ada #opensource #freesoftware

｢ Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software. Ironclad features a familiar POSIX-compatible interface, true simultaneous preemptive multitasking, Mandatory Access Control (MAC), and support for hard real-time scheduling ｣

https://ironclad-os.org/

#unix #posix #spark #ada #opensource #freesoftware

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

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"

https://www.jpg.store

#Cardano#ADA#CardanoADA#JPGStore#NFT#NFTs#CardanoNFT#Cryptocurrency#Blockchain

📣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

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