There is a new web interface for @protonmail. Unfortunately, it disabled keyboard interaction, arrow keys, ENTER and DELETE can no longer be used to manage massages.

This usability downgrade is untoward. Not at all in line with the previous philosophy of this company.

Must confess today I spent far more time than I should enjoying the collective realisation by the community that the world's richest person (and greatest market mover) actually does not understand the technology. 🙂

Over the weekend was declared obsolete by its developer. By a long shot the best terminal emulator I ever used.

But no need to cry or worry, its replacement is , a faster, safer terminal emulator with similar goals. And above all, written in .

I am left wondering if I should try a different distribution. Would help in accessing more recently packaged software? Or should I consider a distribution like , based on a different software packaging paradigm?

Please discuss.

Show thread

The past couple of days I spent quite some time to install a pandoc filter on 20.04. The filter is not packaged and must be compiled. Problem is: packaged software available for Ubuntu is old, e.g. haskell-stack is from 2018, whereas pandoc itself is from 2019.

I bump into issues like this every now and then. It is great to have all that software packaged for you, but in most cases it is rather old.

[6] R is dying a slow death, but we already knew that. So is Ruby. Good

Show thread

[5] Note to self: have another look at , there must be something about it.

Show thread

[4] With languages like and Pascal, er ... I mean , on the rise, objected-oriented programming is likely to loose hegemony. But don't count on its demise.

Show thread

[3] is going . I expect it to reach the top tier this decade, and possibly become the programming language of the 21st century.

Show thread

[2] JavaScript is not going away any time soon (for our sins).

Show thread

[1] Successful both as a simple systems language and the go-to for data science, Python will soon become the most used language in the world.

Show thread

Subscribed to some days ago and now I cannot use .

Any tips on getting it back to work are very welcome.

Watched this documentary series the past few weeks. Almost fourty years old but still very relevant, it is now an historical document in itself. Highly recommended.

Show older

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!