Kevin Chadwick

28 Followers
35 Following
60 Posts

Co-founder, Network, Security, Systems and Embedded engineer (Ada).

In Candore Decus - Honour in purity

KISSIS: Keep it simple so it's securable.

If you want to write secure code. Then this is the best place to learn.

"https://learn.adacore.com"

“learn.adacore.com"

An interactive learning platform to teach the Ada and SPARK programming languages.

learn.adacore.com

@qurlyjoe There are actually billions in the night sky. Though we can only see 4,500 of the 400 billion thought to exist in the known universe.

Edit: sorry that up to 400 billion is just our small milky way part of the universe and google seems to think that our margin of error for the number of stars is just 300 billion. 🫨

@saagar @enterprisey
@filippo

Ada is probably the fastest safest language on the planet. The ranged type system actually means that bounds checks can be elided in more cases than other languages. It can also ensure that a program never crashes better than any other and it isn't a difficult language to use.

"https://learn.adacore.com"

“learn.adacore.com"

An interactive learning platform to teach the Ada and SPARK programming languages.

learn.adacore.com
@kurtseifried Surely they are too long to type otherwise they would be passwords or passphrases?

@kurtseifried

Microsoft would be better off spending it on launching another reasonably priced phone but with android apps and timely system updates unified across all Windows enabled devices.

@kurtseifried
No, thank you. My phone is the least secure device that I own and pass keys aren't infinitely better than passwords. They just prevent poor password choices and they do encompass compromises. Such as not being usable with an offline password manager.
Even an A.I. clock is right twice per day.

@joshbressers

I prefer authenticator apps on another device. Technically NFC isn't secure for registration but that isn't why. There is a paper on how they are more practical and more likely to be adopted.

@bagder
The cost of a notorised authority is a big issue for some open source and also microcontroller code (class 1 & 2 and not 100% clear if it applies to vendors and devs alike). Some consideration of memory safe languages like Ada and Rust would make sense too. Perhaps self assessment allowed if all the code is written in a memory safe language.

@kde

I think there may be more fundamental issues to be dealing with. I found Gnomes tracker3 service to be stuck in a loop permanently eating cpu when installing kde on Ubuntu LTS 22.04. I had to chmod 000 gnomes tracker3 binaries as systemd was impotent. An average user would have degraded KDE expereience due to Gnomes fault! This happened on one system but not another with the obvious symptom being that the laptops fans were always on.