Show more

I've really taken to property-based testing recently and this quote just really helped me crystallise why property testing is worth the extra effort over example-based unit testing: "Instead of thinking about whether my code worked I began to think about whether it’s correct." jrsinclair.com/articles/2021/h

I'm really starting to think that anything short of a WW2-scale government-led mobilisation effort to fight climate change is just a bit of window dressing. Individual actions like flying less or going vegan, or corporate actions like carbon offsetting are just not going to scale fast enough and are probably just a distraction from meaningful change. The technology is there and the transition will (probably) happen eventually at this point, we just need the political action to drastically reduce the timeframe.

Eu, bitcoin 

@stevelord Hear-hear! Crypto assets aren’t inherently wrong, I think we should just regulate to make them better. We should tax excessive energy consumption regardless of use case to fight climate change and we should ensure crypto assets adhere to the same finance regulations as other securities to avoid repeating past financial crises

rlamacraft boosted

Boss: your leave request broke the system
Me: uh sigh
Boss: why do you want to take the specific week off in 2038
Me: for this exact reason

rlamacraft boosted

Reminder, podcasts are just an rss feed with links to audio files.

Not an app. Not some walled ecosystem.

The BBC trying to promote their Sounds app by delaying the publication of a topical news show to their RSS feed by several weeks is just completely absurd. The jokes aren't going to be funny over a month after the story left the news cycle. Just be done with it and kill the feed if you're going to be so anti-RSS. Seriously tempted to listen to the radio broadcast instead, like it's the 20th century. The centralisation of online audio content should be opposed on all fronts, be it from Spotify, the BBC, or anyone else. How long before we need different apps/subscriptions to listen to different music artists, as we do for online video streaming? Ridiculous.

In the same way that a foot soldier is not going to respect a general whose never been in the trenches; whose never so much as fired their gun at the enemy, I really struggle to believe people who talk about data pipelines and synchronised metadata who have never made a cURL request against a Web API, never committed and pushed to a distributed VCS, who don't understand the need for simplicity above all else.

@jasper @mdhughes @aeveltstra The canonical way to do this in vim is to populate the quickfix list with the error messages, which jumps to any already open buffer for that file vim-jp.org/vimdoc-en/quickfix.

Why are we not instigating gas and oil rationing across the continent? This is insane. We'll do everything we can for the Ukrainian people except anything that might have the slightest impact on our lives

@matt @calutron Yeah, either updates are performed silently and people complain or developers have to nag users to update which they also complain about. I think ultimately we need to reduce the frequency of updates so whilst it remains a chore, it’s a chore that is required less often and is more likely to come with new goodies. But that would probably require software to be more long-term stable.

For some daft reason my wife thought it was *more* energy efficient to boil the kettle full than with just water she needs… 😒

rlamacraft boosted

‘Yes, He Would’: Fiona Hill on Putin and Nukes - Putin is trying to take down the entire world order, the veteran Russia watcher said in an interview. But there are ways even ordinary Americans can fight back. politico.com/news/magazine/202

TIL That the symbol inserted by pressing alt+0 on a mac (U+00BA) is not the unicode symbol for degrees (U+00B0)

What a pointless article from the guardian on how to get off Russian gas: theguardian.com/business/2022/

All of the suggestions given require years or decades… We should be instigating policies of nationalisation and rationing across the continent. Who gives a damn if shutting down some gas-hungry industries will send economies into recession when Ukrainians are being bombed in their beds‽‽ People are saying this is the largest war in Europe since the second world war -- let's start acting like it

rlamacraft boosted

Why isn't there a DNS record type for physical addresses? Why can't I have people send me mail to home.rlamacraft.uk and then when I move I just update my DNS record?

Am writing a gemlog post about a BBS documentary using my raspberry pi -- perfect way to spend a saturday evening

I’m actually quite sympathetic to Russian stance on NATO; the US and U.K. governments sure wouldn’t like it if there was talk of Mexico or Ireland joining CSTO. Very reminiscent of the Cuban missile crisis, really

Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.