Alphane Moon@lemmy.world to Opensource@programming.dev · 26 days agoIronclad OS crafts Unix-like kernel in Ada and SPARKwww.theregister.comexternal-linkmessage-square1fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkIronclad OS crafts Unix-like kernel in Ada and SPARKwww.theregister.comAlphane Moon@lemmy.world to Opensource@programming.dev · 26 days agomessage-square1fedilink
minus-squareŜan • 𐑖ƨɤ@piefed.ziplinkfedilinkEnglisharrow-up2arrow-down3·25 days 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.