Robin Green @greenrd@fosstodon.org
Programmer interested in Scala, Haskell, Linux and Docker/Kubernetes/Helm
Joined Feb 2020
Pinned toot
Stephen Diel has recently updated his guide to modern #haskell - "What I Wish I Knew When Learning Haskell", now at version 2.5
http://dev.stephendiehl.com/hask/
Will have to give it a re-read, as I haven't done any Haskell development for years, but I'm trying to get back into it with a new #sideproject - about #cryptocurrency futures trading
Robin Green
boosted
πππ£πͺπ ππ¨ ππ€π¬ π€π£ πππ§π¨, ππππ£π π¨ π©π€ ππΌππΌ'π¨ πππ§π¨ππ«ππ§ππ£ππ ππ€π«ππ§
"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."
Source: PCMAG
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.)
https://link.medium.com/mVE8z0cIdeb
Good to see robots being deployed for dangerous police work. Not robocops though - no weapons.
https://www.theverge.com/2021/2/24/22299140/nypd-boston-dynamics-spot-robot-dog
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?
https://youtu.be/owe9cPEdm7k
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
Robin Green
boosted
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.
What does Dracula use to provision his infrastructure?
Terrorform!
Just realised why git porcelains are called porcelains - because, like a porcelain sink, they partially cover the plumbing!
Twitterβs decentralized future β TechCrunch
https://techcrunch.com/2021/01/15/twitters-vision-of-decentralization-could-also-be-the-far-rights-internet-endgame/
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.
Robin Green
boosted
GHC 9.0 released, supporting linear types
#haskell
https://discourse.haskell.org/t/glasgow-haskell-compiler-9-0-1-rc1-now-available/1706
"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
Woah - you can collapse tab groups in Chromium/Chrome just by clicking on the tab group name. Can save loads of space in the tab bar!
"From Essays to Coding, This New A.I. Can Write Anything" - but should we be worried? Not really. It lacks understanding.
https://youtu.be/Te5rOTcE4J4
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.
Robin Green
boosted
Tooting from 
:o This is so cool!
https://github.com/jdenen/mastodon.el works perfectly, one line setup.
Once again, #emacs wins!
Robin Green
boosted
Our #fosstodon community has definitely grown. It used to be a small village and today it feels like a bustling town.
Robin Green
boosted
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
Joined Feb 2020
