cypheon boosted
cypheon boosted
cypheon boosted
cypheon boosted

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

cypheon boosted

📣 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!

cypheon boosted

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*

cypheon boosted

🌼🌼🌼🌼🌼🌼 - 126 Blumen für 126 Unterzeichner!

Weiter geht's!

Steuergelder nur für freie Software - Digitale Souveränität statt Abhängigkeit von Großkonzernen - Online-Petition -

Show thread
cypheon boosted
cypheon boosted

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.


cypheon boosted

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.

cypheon boosted

Ach herrje, jetzt ist auch noch der vom WDR gelöschte Beitrag über #Laschet|s händeringend konstruierten #Vorwand, den #HambacherForst räumen und roden zu lassen aufgetaucht:

cypheon boosted

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

cypheon boosted

if you feel bad asking for help remember how good it feels to give help

cypheon boosted

Can't stop laughing since I saw this. 🤣

Definitively the best idea I had for #Sengi. 😶

Watched this really nice intro to building a Parser / Parser Combinator from scratch:

Even if you have worked with a parser combinator before, it's amazing to see, how little "magic" there is, by "inventing/discovering" the underlying concepts along the way.

This also helps to build an intuition for `Applicative` and `Alternative` and shows how these abstractions can be practical and useful in a real-world scenario. I really enjoyed watching this :)

I just published (e)certmon, a tiny exporter to keep track of certificate expiry dates, written in :

cypheon boosted

We're finally ready to reveal the future of innovation & there's no better moment than the week of #blackfriday.

Introducing to the hands of users: Ownership. Repairability. Longevity.

Seriously though... Repairing your stuff makes the world of difference! 😉 🌱

cypheon boosted

Warum Apple, Google und Microsoft in Schulen nichts verloren haben, begründen wir in unserem #Bildungspaket und nennen freie Alternativen.

Kostenloser PDF-Download oder schön gedruckt per Post:

#digitaleBildung #GAFAM

Show older
Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!