𝙇𝙞𝙣𝙪𝙭 𝙄𝙨 𝙉𝙤𝙬 𝙤𝙣 𝙈𝙖𝙧𝙨, 𝙏𝙝𝙖𝙣𝙠𝙨 𝙩𝙤 𝙉𝘼𝙎𝘼'𝙨 𝙋𝙚𝙧𝙨𝙚𝙫𝙚𝙧𝙖𝙣𝙘𝙚 𝙍𝙤𝙫𝙚𝙧
"Past Mars rovers have used proprietary OSes, largely from the software company Wind River Systems. The same is true for the Perseverance rover itself."
"However, NASA settled on the Linux OS for the rover’s helicopter-like drone, Ingenuity, which was built using off-the-shelf parts, including Qualcomm’s Snapdragon 801 processor, a smartphone chip."
MIT launches new initiative to secure Bitcoin.
Apart from making me regret not investing in Bitcoin even earlier than I did... this article made me realise: investing in legit cryptocurrencies is a way to invest in open source - and hence invest in what I believe in.
(One can also buy shares of IBM because IBM owns Red Hat, but they also do a lot of stuff which is not open source. So, not enthusiastic about that option.)
Good to see robots being deployed for dangerous police work. Not robocops though - no weapons.
A formal proof of safegcd bounds - this algorithm is not yet used in the Bitcoin community, but it could be, and this machine-checked proof could help it gain acceptance! https://link.medium.com/30F3mFcN1db
"The AI Hardware Problem" - is a return to analogue circuitry on the cards, to support demanding machine learning applications?
I love that this virtual Scala conference - Scala Love in the City - has 2 virtual talk tracks named Happiness and Joy.
Very appropriate for the material being covered.
And also comforting for those of us - and I'm sure there are many of us - who are having a challenging time emotionally during the pandemic, for various reasons
If a webapp has not been careful and has used GET requests for non-safe actions, it can be exploited by other sites using forged requests. If does not even need any user action because CORS is not enforced on <img> tag where the src attribute can fetch a resource on the victim domain.
Twitter’s decentralized future – TechCrunch
I think things are moving in the right direction here, although obviously it remains to be seen how things will pan out.
Though if decentralised social networks continue to become more mainstream, moderation will become more and more of an issue, I think.
GHC 9.0 released, supporting linear types
"Modern storage is plenty fast, it is the APIs that are bad" - great article on changing the programming model (yet again, making it more async/parallel) to really get the best #performance out of NVMe storage devices
https://itnext.io/modern-storage-is-plenty-fast-it-is-the-apis-that-are-bad-6a68319fbc1a #Rust #io
"From Essays to Coding, This New A.I. Can Write Anything" - but should we be worried? Not really. It lacks understanding.
Lenovo is now offering a greatly expanded range of Linux PCs to the general public https://twitter.com/AlternativeTo/status/1309155388269436929?s=09
My fellow developers:
Why are some of you putting your blog posts behind the medium.com paywall?!
What happened to the tradition of free-to-read blog posts in the programming world?
Don't you realise this will hinder your posts going viral on social media and/or Reddit/HackerNews?
My argument for not subscribing to Medium remains the same: it's a grab bag of random stuff of uncertain quality. There's no guarantee it will be worthwhile.
Our #fosstodon community has definitely grown. It used to be a small village and today it feels like a bustling town.
With the release of iOS 14, we started to see a toast message whenever an app pasted (read) clipboard content. Clipboard snooping was a known problem but we just learned how serious it is. We don't get a toast message on Android doesn't mean it doesn't happen.
Why is it bad?
Auto-filling credentials from password manager isn't perfect. We may need to use clipboard as fallback. That means the keyboard, home launcher and other apps running in the background will read your password in clipboard.
Programmer interested in Scala, Haskell, Linux and Docker/Kubernetes/Helm
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.