cypheon @cypheon@mastodon.technology

Wow, after 25 years of Unix experience, I learned that you can filter output in #less.

Press ampersand (&) and enter a regex to show only lines matching the regex.

Press ampersand (&) and then exclamation mark (!) to apply an inverse filter.

Das konservative Vexierspiel ist seit Jahrzehnten die Diskursverschiebung nach rechts bei gleichzeitig geglaubter Warnung, die Gesellschaft würde zu sehr nach links kippen. Mit Erfolg: Heute werden Grundbestandteile unserer Grundordnung als „Sozialismus“ und „radikal“ begriffen.

"If you don't know Haskell, it's like Idris, but with less fancy types" - @chrismarkbrown

(And with colons in the wrong place :))

Pre-orders for the #pinebookpro ANSI model are now live.

https://pine64.com/product/14″-pinebook-pro-linux-laptop-ansi-us-keyboard/

Microangelo 5 (2000)

FSFE: "Statement on Richard Stallman rejoining the FSF board"

https://fsfe.org/news/2021/news-20210324-01.en.html

"Police are warning students and universities not to access Sci-Hub, an "illegal website" that allows users to download scientific research papers normally locked behind expensive subscriptions."

Very bad indeed. That name again: Sci-Hub. Remember it so you can avoid it. Ahem.

📣 Programming Language World Championships 2021 #plwc2021 📣

A knockout tournament where 32 programming languages compete against each other, and you decide the winner of each round by voting.

There will be two matches per day, and in two weeks time we'll have a winner!

Discussions are encouraged, but please, keep it civil and peaceful.

It's just a fun game!

A mundane use of dependent types... I just tried to add an environment variable to Idris 2, and it wouldn't compile because I forgot to add it to the --help output.

*offers compiler a jelly baby*

#Mars2020 #CountdownToMars #Perseverance

Happy "I love Free Software Day" everyone 💕

We would like to use this opportunity to let you know that K-9 Mail needs your help.

https://k9mail.app/2021/02/14/K-9-Mail-is-looking-for-funding

#ilovefs

Dear people too embarrassed to release your source code:

Nobody cares how ugly it is. Only you can see the ugliness. The code works, it does something, and we just want to learn from it or modify it. Our source code is ugly too.

If embarrassment is the only obstacle, just release the code. Ugly released source code is far, far better than no source code at all.

In meinem Gastbeitrag bei netzpolitik.org habe ich meine bisherigen Erfahrungen mit meinem "Kampf gegen Microsoft" zusammengefasst. Danke an @netzpolitik_org für die tolle Zusammenarbeit👍

https://netzpolitik.org/2021/microsoft-teams-oder-nichts/

Can't stop laughing since I saw this. 🤣

Definitively the best idea I had for #Sengi. 😶