Magnus boosted

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

Maybe I should add that there seems to be nothing wrong with the buttons themselves, they all work, but the scrolling doesn't happen when holding the tiny left button... instead Firefox has gone back to the old back-in-history behaviour that's the default on that button.

Show thread

I do wonder what changed in a few weeks ago. All of a sudden the config of my , inspired by the wiki page at bit.ly/34Aej6T, stopped working. I can't seem to figure out how to get it working again 😞
Help!

Magnus boosted

Halloj! 😍💕

Denna veckan tittar vi på nya #Ubuntu, #Edge#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! 🚀

trevligmjukvara.se/s05e02

Magnus boosted
Magnus boosted

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.

Magnus boosted

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. github.com/github/dmca/blob/ma

Magnus boosted

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 codeberg.org/polarisfm/youtube

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

Dear @GitHub, where can I find out how I log into my company account on _before_ everything else in Action?

It'd be really nice if biz critical Actions would continue to run despite rate limits on ...

How do I make sure that I'm logged in to DockerHub before my action builds?

Thank you for making yet another really strange CI service!

Magnus boosted

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

Show thread
Magnus boosted
Magnus boosted

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

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

Magnus boosted

I wrote a lot of 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.

Magnus boosted

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

Magnus boosted

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

Magnus boosted

Why does _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 on - right?

Magnus boosted

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

"Cut my fingernails!"

Magnus boosted

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.

It went rather well, if I may say so myself. Participants seemed to enjoy it, though I still have to see if I get any private feedback later on.

Show thread
Show more
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!