Magnus @magthe@mastodon.technology

A yet another Yesod rant: I introduced bugs into a code base because I wasn't aware of mandatory presence of two request headers that I should have validated values of. Hence, instead of me encoding this requirement via Haskell's type system (the Servant framework empowers you to do so), incidentally I had others waste time in fixing bugs I have grown.

#Yesod #Servant #Haskell #typesystems

Halloj! 😍💕

Denna veckan tittar vi på nya #Ubuntu, #Edge på #Linux och #Git. Vi diskuterar även #GitHubs kontroversiella nedstängning av #youtubedl och huruvida det finns andra alternativ. Detta, #foss, #opensource och mycket mer, häng med! 🚀

https://trevligmjukvara.se/s05e02

#NixOS 20.09 released • 𝕿𝖚𝖝 𝕸𝖆𝖈𝖍𝖎𝖓𝖊𝖘 ☞ http://www.tuxmachines.org/node/143729 •●• #GNU #Linux #TuxMachines #News

Do you remember those times when medicine ‘professionals’ refused the idea of hand washing?
We are in this very phase when software ‘professionals’ refuse to use proper type systems.

Youtube-dl is a legitimate tool with a world of a lawful uses. Demanding its removal from Github is a disappointing and counterproductive move by the RIAA. https://github.com/github/dmca/blob/master/2020/10/2020-10-23-RIAA.md

Dear Free Software and Privacy-loving individual,

If you care the slightest bit about freedom of speech, please take 10 seconds of your time to run the following command into your terminal:

git clone https://codeberg.org/polarisfm/youtube-dl

That's it. You're saving a very important piece of internet history that may be necessary later.

Thank you for your attention. Your effort makes the internet a better place.

#censorship #youtubedl

...and while we're at it:

I think following only specific hash-tags of a user would also be nice.

I can't be the only one?

That would also mean people probably start using hash-tags in a sensible way again (I would hope) and would bring a whole new semantic level to the content here.

Announcing the 2020 Go Developer Survey:

https://blog.golang.org/survey2020

#golang

Hey, cool, the GHC steering committee is thinking about introducing a new pragma that would enable a lot of common #Haskell extensions: https://www.reddit.com/r/haskell/comments/je1t82/does_the_idea_of_xghc2021_excite_you/

An excellent idea IMHO. A new standard would be even better, but with the current world situation it apparently lost momentum.

I wrote a lot of #elisp over the years, both small hacks and some stuff that could potentially be published as packages.

But one of my favourites is still this little thing:

(defun shruggie ()
(interactive)
(insert "¯\\_(ツ)_/¯"))

I find myself using it all the time.

#emacs

One time I generalized from a single data point and, well, let's just say it ended embarrassingly for me. What I learned from this experience is that generalization is always bad

"Whoever registered the company name with valid XSS injection and caused Gov UK Companies House to sent this email: I will buy you a drink"

H/T @Petzlux (anonimized, added OCR alt)

Why does #github _NEVER_ jump to the new comment when I click on the notification?

Instead it jumps to somewhere in the middle of the page, somewhere random. But NEVER to the new comment that caused the notification.

Wouldn't have happened with #email on #sourcehut - right?

"What do you do to make yourself fit for work?"

"Cut my fingernails!"

#justOfficeWorkersThings

Headmistress of a middle school where one of the first @CoderDojo was set up told me today the kids are really advanced now. Robotic education vendor came to her school and said their gear looks like children's toys in comparison. Self directed education is powerful.