Pinned post

Stephen Diel has recently updated his guide to modern - "What I Wish I Knew When Learning Haskell", now at version 2.5

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 - about futures trading

C++ versus Haskell (ignore the Russian hashtags - there's no dialogue)

I just watched the talk "Integrating SLF4J and the new LogService 1.4" from EclipseCon Europe 2018. Pretty much what it says on the tin. Recommends a library to tie the two together. I will check it out.

Those who, like me, have worked on one or more big projects involving multiple repositories with dependencies between them - please share your experience and expertise on this question of mine: softwareengineering.stackexcha

π™‡π™žπ™£π™ͺ𝙭 𝙄𝙨 𝙉𝙀𝙬 𝙀𝙣 π™ˆπ™–π™§π™¨, 𝙏𝙝𝙖𝙣𝙠𝙨 𝙩𝙀 π™‰π˜Όπ™Žπ˜Ό'𝙨 π™‹π™šπ™§π™¨π™šπ™«π™šπ™§π™–π™£π™˜π™š π™π™€π™«π™šπ™§

"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.)

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!

"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.

Show thread

What does Dracula use to provision his infrastructure?


Just realised why git porcelains are called porcelains - because, like a porcelain sink, they partially cover the plumbing!

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.

"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 out of NVMe storage devices

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!

Show older

Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.