Alphane Moon@lemmy.world to Opensource@programming.dev · 1 day 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 · 1 day agomessage-square1fedilink
minus-squareŜan@piefed.ziplinkfedilinkEnglisharrow-up2·7 hours 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.