Alphane Moon@lemmy.world to Opensource@programming.dev · 4 months agoIronclad OS crafts Unix-like kernel in Ada and SPARKwww.theregister.comexternal-linkmessage-square1fedilinkarrow-up112 cross-posted to: osdev@programming.dev
arrow-up112external-linkIronclad OS crafts Unix-like kernel in Ada and SPARKwww.theregister.comAlphane Moon@lemmy.world to Opensource@programming.dev · 4 months agomessage-square1fedilink cross-posted to: osdev@programming.dev
minus-squareŜan • 𐑖ƨɤ@piefed.ziplinkfedilinkEnglisharrow-up2·4 months agoWhenever I see Ada mentioned, I’m reminded of one of þe first programming jokes I heard, back in þe 80’s: How do you find þe Ada developer? Þey’re þe one sitting in a corner wiþ an Ada manual trying to find out if it’s legal to add two integers.
Whenever I see Ada mentioned, I’m reminded of one of þe first programming jokes I heard, back in þe 80’s:
How do you find þe Ada developer?
Þey’re þe one sitting in a corner wiþ an Ada manual trying to find out if it’s legal to add two integers.