Kevin Chadwick
@kevlar700.bsky.social
Network, Security, Systems and Embedded engineer and co-founder.
Loves Ada 2022 and Warhammer 40k
In Candore Decus - Honour in candour
KISSIS: Keep it simple so it's securable.
Not all who wonder or wander are lost.
Loves Ada 2022 and Warhammer 40k
In Candore Decus - Honour in candour
KISSIS: Keep it simple so it's securable.
Not all who wonder or wander are lost.
Several million line OS written in Ada SPARK launched by #Nvidia with support from @adacore.bsky.social
www.uncrewed-systems.com/nvidia-ships...
#AI
#Thor
www.uncrewed-systems.com/nvidia-ships...
#AI
#Thor
NVIDIA ships long-awaited Thor AI chip - Uncrewed Systems | AdaCore
📢 NVIDIA has shipped the Thor GPU chip at the core of its DRIVE platform for autonomous vehicles.
NVIDIA partnered with AdaCore on DRIVE OS 7, using Ada and SPARK to develop the operating system’s se...
www.linkedin.com
November 2, 2025 at 5:14 PM
Several million line OS written in Ada SPARK launched by #Nvidia with support from @adacore.bsky.social
www.uncrewed-systems.com/nvidia-ships...
#AI
#Thor
www.uncrewed-systems.com/nvidia-ships...
#AI
#Thor
Hey @booch.com considering this shows even C engineers thrown into using Ada have better outcomes than using C.
sunnyday.mit.edu/16.355/cada_...
I'm confused. Isn't it irrational rather than rational to have not used Ada? Was it IBM pushing C?
sunnyday.mit.edu/16.355/cada_...
I'm confused. Isn't it irrational rather than rational to have not used Ada? Was it IBM pushing C?
Comparing Development Costs of C and Ada
sunnyday.mit.edu
September 26, 2025 at 11:20 PM
Hey @booch.com considering this shows even C engineers thrown into using Ada have better outcomes than using C.
sunnyday.mit.edu/16.355/cada_...
I'm confused. Isn't it irrational rather than rational to have not used Ada? Was it IBM pushing C?
sunnyday.mit.edu/16.355/cada_...
I'm confused. Isn't it irrational rather than rational to have not used Ada? Was it IBM pushing C?
If you think #Rust is hard then try Ada SPARK. I expect you'll be pleasantly surprised.
learn.adacore.com
learn.adacore.com
“learn.adacore.com"
An interactive learning platform to teach the Ada and SPARK programming languages.
learn.adacore.com
September 24, 2025 at 12:28 PM
If you think #Rust is hard then try Ada SPARK. I expect you'll be pleasantly surprised.
learn.adacore.com
learn.adacore.com
All mainstream operating systems are slowed down by "security mitigations".
They are actually C language mitigations.
#Use_Ada
#programming
#Memory_Safety
They are actually C language mitigations.
#Use_Ada
#programming
#Memory_Safety
September 23, 2025 at 8:23 AM
All mainstream operating systems are slowed down by "security mitigations".
They are actually C language mitigations.
#Use_Ada
#programming
#Memory_Safety
They are actually C language mitigations.
#Use_Ada
#programming
#Memory_Safety
16 minutes in
Previous head of NASA talks about the Starship plan being an unexplainable bad decision made by an interim head of NASA between his and the current Administrator and the potential damage it may have caused.
youtu.be/3l6OUAWai-8
#NASA
Previous head of NASA talks about the Starship plan being an unexplainable bad decision made by an interim head of NASA between his and the current Administrator and the potential damage it may have caused.
youtu.be/3l6OUAWai-8
#NASA
CSS PRESENTS - A Bad Moon On The Rise
YouTube video by Common Sense Skeptic
youtu.be
September 20, 2025 at 10:33 AM
16 minutes in
Previous head of NASA talks about the Starship plan being an unexplainable bad decision made by an interim head of NASA between his and the current Administrator and the potential damage it may have caused.
youtu.be/3l6OUAWai-8
#NASA
Previous head of NASA talks about the Starship plan being an unexplainable bad decision made by an interim head of NASA between his and the current Administrator and the potential damage it may have caused.
youtu.be/3l6OUAWai-8
#NASA
UK parliament on Nov 3rd will debate
“Prohibit publishers irrevocably disabling video games they have already sold”.
petition.parliament.uk/petitions/70...
“Prohibit publishers irrevocably disabling video games they have already sold”.
petition.parliament.uk/petitions/70...
Petition: Prohibit publishers irrevocably disabling video games they have already sold
The government should update consumer law to prohibit publishers from disabling video games (and related game assets / features) they have already sold without recourse for customers to retain or repa...
petition.parliament.uk
September 19, 2025 at 7:32 AM
UK parliament on Nov 3rd will debate
“Prohibit publishers irrevocably disabling video games they have already sold”.
petition.parliament.uk/petitions/70...
“Prohibit publishers irrevocably disabling video games they have already sold”.
petition.parliament.uk/petitions/70...
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
September 6, 2025 at 2:15 PM
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
"Computer snooze"
Computer: "Here's the news"
Computer: "Here's the news"
August 6, 2025 at 5:36 PM
"Computer snooze"
Computer: "Here's the news"
Computer: "Here's the news"
People say driving automation will be better than the worst drivers and perhaps it can when done right (not just cameras) but a drunk bad driver wouldn't unreasonably ignore flashing red lights and a stop sign at 60 mph and hit a parked car
#Tesla
www-nbcnews-com.cdn.ampproject.org/c/s/www.nbcn...
#Tesla
www-nbcnews-com.cdn.ampproject.org/c/s/www.nbcn...
Tesla hit with $243 million in damages after jury finds its Autopilot feature contributed to fatal crash
The verdict follows a three-week trial that threw a spotlight on how Tesla and CEO Elon Musk have marketed their driver-assistance software.
www-nbcnews-com.cdn.ampproject.org
August 2, 2025 at 9:10 AM
People say driving automation will be better than the worst drivers and perhaps it can when done right (not just cameras) but a drunk bad driver wouldn't unreasonably ignore flashing red lights and a stop sign at 60 mph and hit a parked car
#Tesla
www-nbcnews-com.cdn.ampproject.org/c/s/www.nbcn...
#Tesla
www-nbcnews-com.cdn.ampproject.org/c/s/www.nbcn...
Ada 83 had privacy, encapsulation and strong precision typing and was designed as a "common language for programming large scale and real-time systems"
Interestingly OOP was actually rejected as not being scalable but later added in Ada 95.
#programming
#software
youtu.be/wo84LFzx5nI?...
Interestingly OOP was actually rejected as not being scalable but later added in Ada 95.
#programming
#software
youtu.be/wo84LFzx5nI?...
Casey Muratori – The Big OOPs: Anatomy of a Thirty-five-year Mistake – BSC 2025
YouTube video by Better Software Conference
youtu.be
July 31, 2025 at 1:26 PM
Ada 83 had privacy, encapsulation and strong precision typing and was designed as a "common language for programming large scale and real-time systems"
Interestingly OOP was actually rejected as not being scalable but later added in Ada 95.
#programming
#software
youtu.be/wo84LFzx5nI?...
Interestingly OOP was actually rejected as not being scalable but later added in Ada 95.
#programming
#software
youtu.be/wo84LFzx5nI?...
Bullshitting is a better term for #ChatGPT hallucinations?
It isn't as it implies a willingness to be wrong. #Hallucination is much more accurate because large language models are inherently not in control of their hallucinations. This is separate to potentially mimicking internet sourced bullshit.
It isn't as it implies a willingness to be wrong. #Hallucination is much more accurate because large language models are inherently not in control of their hallucinations. This is separate to potentially mimicking internet sourced bullshit.
June 26, 2025 at 9:44 AM
Bullshitting is a better term for #ChatGPT hallucinations?
It isn't as it implies a willingness to be wrong. #Hallucination is much more accurate because large language models are inherently not in control of their hallucinations. This is separate to potentially mimicking internet sourced bullshit.
It isn't as it implies a willingness to be wrong. #Hallucination is much more accurate because large language models are inherently not in control of their hallucinations. This is separate to potentially mimicking internet sourced bullshit.
SpaceX knew #Starlink low orbit was problematic but they did it anyway.
youtu.be/2vuMzGhc1cg
www.rudebaguette.com/en/2025/06/s...
youtu.be/2vuMzGhc1cg
www.rudebaguette.com/en/2025/06/s...
“SpaceX Could Lose Over Half Its Fleet”: MIT Warns of Catastrophic Failure Risk Threatening Up to 66% of Starlink Satellites - Rude Baguette
IN A NUTSHELL 🚀 SpaceX has launched over 10,000 satellites for its Starlink constellation, revolutionizing global internet access. 🌍 The upper atmosphere is shrinking due to greenhouse gases, threaten...
www.rudebaguette.com
June 14, 2025 at 5:57 PM
SpaceX knew #Starlink low orbit was problematic but they did it anyway.
youtu.be/2vuMzGhc1cg
www.rudebaguette.com/en/2025/06/s...
youtu.be/2vuMzGhc1cg
www.rudebaguette.com/en/2025/06/s...
I knew the #Mars gig was nonsense but what a great point in this video. Even if earth was hit by a meteor and we had nuclear war. The Earth would still be more hospitable than Mars. So save trillions of dollars and build a human race preservation facility here.
youtu.be/6NrDCvKp5-k?...
youtu.be/6NrDCvKp5-k?...
Here’s Why Elon Musk’s Mars Fantasy Is BS | Scientist Destroys Billionaire AI, AGI and Space Hype
YouTube video by The Nerd Reich with Gil Duran
youtu.be
June 11, 2025 at 9:32 PM
I knew the #Mars gig was nonsense but what a great point in this video. Even if earth was hit by a meteor and we had nuclear war. The Earth would still be more hospitable than Mars. So save trillions of dollars and build a human race preservation facility here.
youtu.be/6NrDCvKp5-k?...
youtu.be/6NrDCvKp5-k?...
My thoughts on this are that I disagree. Intelligence is being able to reason as to why. Consciousness goes beyond that sometimes reasoning as to why not even if our intelligence says we should. Neither are computable. Exhibiting intelligence isn't intelligence.
youtu.be/z2oggmAV7Wk
youtu.be/z2oggmAV7Wk
Does AI Intelligence Mean Consciousness?
YouTube video by StarTalk Plus
youtu.be
June 3, 2025 at 9:53 AM
My thoughts on this are that I disagree. Intelligence is being able to reason as to why. Consciousness goes beyond that sometimes reasoning as to why not even if our intelligence says we should. Neither are computable. Exhibiting intelligence isn't intelligence.
youtu.be/z2oggmAV7Wk
youtu.be/z2oggmAV7Wk
Sadly, A fantastically helpful member of the Ada communities time is up. His involvement spanned for decades before I switched from Go and C to Ada.
Rest in Peace @simonjohnw.bsky.social
forum.ada-lang.io/t/simon-j-wr...
Rest in Peace @simonjohnw.bsky.social
forum.ada-lang.io/t/simon-j-wr...
Simon J Wright - RIP
He was a great guy and a great programmer, a true guru in the best sense of the word. He always went beyond expectations in all my interactions with him, generally due to some quirk of Alire on macOS....
forum.ada-lang.io
May 30, 2025 at 3:11 PM
Sadly, A fantastically helpful member of the Ada communities time is up. His involvement spanned for decades before I switched from Go and C to Ada.
Rest in Peace @simonjohnw.bsky.social
forum.ada-lang.io/t/simon-j-wr...
Rest in Peace @simonjohnw.bsky.social
forum.ada-lang.io/t/simon-j-wr...
I put it to you that any "AI" that uses lots of energy is sufficiently error prone in it's probabilistic nature to be of very little real benefit to humanity beyond entertainment. Certainly for general use and possibly for any use. It has alarming parallels with e-currencies.
#technology
#hype
#technology
#hype
May 20, 2025 at 12:05 AM
I put it to you that any "AI" that uses lots of energy is sufficiently error prone in it's probabilistic nature to be of very little real benefit to humanity beyond entertainment. Certainly for general use and possibly for any use. It has alarming parallels with e-currencies.
#technology
#hype
#technology
#hype
May 8, 2025 at 7:04 PM
AdaCore not only provides a free IDE for the Ada Language but they fix bugs fast.
Caveat: Community releases only happen once a year or so. So the bug is fixed upstream but won't land in a community release for a while.
Caveat: Community releases only happen once a year or so. So the bug is fixed upstream but won't land in a community release for a while.
April 25, 2025 at 9:17 AM
AdaCore not only provides a free IDE for the Ada Language but they fix bugs fast.
Caveat: Community releases only happen once a year or so. So the bug is fixed upstream but won't land in a community release for a while.
Caveat: Community releases only happen once a year or so. So the bug is fixed upstream but won't land in a community release for a while.