#AI

A milestone for the Musl/Ironclad kernel written in beyond memory safe Ada SPARK instead of C running the Mate desktop on Gloire OS. Well done @streaksu.bsky.social

They can have one but how are you going to power it. A nuclear plant produces 4 gigawatts and a huge solar farm just built in the UK 0.4. Natural gas accounts for over 3000 gigawatts per hour in the winter. The electricity grid won't ever carry that much energy. The current strategy = natural gas.

Looks better with a white background

One of Adas

Which statement. The 3000 gigawatts per hour was from the national gas app this winter.

You can use just one bit with Ada even for an array of Booleans. Just add "with Pack".

#programming

Wikipedia says 1_000_000 casualties vs 4_500_000 soviets in operation Barbarosa.

I do like this

Unbelievable. Trump is a traitor. Surely he can't be that foolish.

#programming

When does #elon association tip from beneficial to detrimental for companies?

#dodgy
#doge

Happy Birthday Ada Lovelace

Same here but my box looks different

Also Space Crusade