Notices by LisPi (lispi314@mastodon.top)

@foone I wonder why it doesn't.

Does the network get renamed or something?

@newt @mjg59 @a1ba Incidentally this is part of why Ada SPARK has support for such checks too.

@newt @mjg59 @a1ba OpenGenera had no issue supporting guest languages (https://en.wikipedia.org/wiki/Genera_(operating_system)#Programming_languages), so you're not technically stuck with a single language.

You can make a lot of guarantees insofar as hardware side-channels aren't involved.

Especially when you don't rely on static guarantees and permit for dynamic checking (a whole lot of the theoretical problems for static solutions can be handled this way, although in many cases imperfect heuristics are still required).

@Pawlicker @mjg59 @newt @a1ba Not sure which incident that is, but it sure looks it was never tested and/or unsafe shortcuts were taken.

Or was that the test device (why not use a simulator? That looked expensive)?

@aral By the way, I think your RSS feed might be broken.

It doesn't contain any article newer than the 2023-02-20 Kitten Chat one.

@aral Ah yeah, sorry about that. I actually was wrong and it's just one of your older articles that's been doing the rounds again.

(It felt new and fitting to current news.)

I was wondering why elfeed wasn't catching it and missed a spot check.

@roboneko @edwiebe Not enough chances of crashes, that won't work.

@iska Yeah, it weirds me out reading that page you linked like... why not just write some minimal runtime/VM/whatever with capability addressing & enforcement... and that's it?

Why are capabilities mentioned nowhere in the entire page?

@hayley

https://health-infobase.canada.ca/covid-19/wastewater/?dateSel=customrange&sdate=2023-08-01&edate=2023-10-02&sort=asc&grid=2&regions=16,1,2,12,3,13,14,46,43,50,44,42,33,32,35,45,34,47,49,38,41,39,37,36,4,5,6,7,15,20,25,26,27,29,28,8,21,22,23,24,30,31,9,10,17,18,19,11&showDailyValues=false&thresholds=false

Well now, look at them values in a bunch of places.

Sure, Covid is over⸮

#Covid #Canada #Wastewater

@izaya Wireless is a bad idea for anything you don't want trivial injection and eavesdropping on (or want any reliability whatsoever).

As for ethernet vs USB, ultimately you're just going to get USB-IP that way, because one of the many benefits of USB is the sheer number of object classes that are standardized so that you can be sure they'll work as intended everywhere and that standard expects the networking layer to be USB.

Otherwise pending re-standardization we'd need drivers for each.

@izaya Apparently the idea was *exclusively* about the USB2 vs USB3? I did miss that part, yes.

I have less to say on that topic, but I dislike that USB3 controllers require some BIOS integration (security risk ahoy) that USB2 & USB1 don't.

@coolboymew I love these traditions.

So, other than the obvious writing things in #C in the 21st century, how did #Google fuck-up on the #webp implementation?

#Security #Programming

@foone So why are they supposed to shutdown?

@roboneko @davidho Why do you need parking?
Why is work 5 miles away?
Why is public transit not fixed?

A *lot* of countries less fucktarded than the USA & Canada manage it. Surely we're not so uniquely moronic (more so than our ancestors, we had such infrastructure in the past) as to be the only ones incapable of fixing that.

> good luck reworking the road system now that everything is built up
Look at the Netherlands, who did exactly that.

It's profoundly disturbing how much regional media and authorities are downplaying the pandemic.

Even official announcements make *no mention whatsoever* of inconvenient facts & statistics (that are yet publicly available and published by associated organizations).

Meanwhile of course various organizations also note "oh would you look at that, stroke & heart disease rates are inexplicably climbing even across age-ranges where they're very atypical".

#Covid

@nosat Your desire for avoidable organ damage is one I do not share.

It's interesting to present those as weights though, given that they're largely unnecessary when you're not a normie weirdly obsessed with meatspace interaction.

Are you perhaps weighed down by your earthly desires?

@aral In connection to this https://ar.al/2021/12/18/the-three-laws-of-personal-devices/, I think it is also important for #RightToSilence or other self-incrimination avoidance rights to cover personal devices as well.

As currently there is this bizarre situation in many nations where mind-rape/mind-reading through one's devices is somehow considered not to be in flagrant violation of one's rights.

Of course some nations are just awful and have no such rights whatsoever and they're rightly called police states.

Reading some of @aral's articles, this one in particular is quite interesting to me as it brings back an issue I've ranted about a few times: https://ar.al/2022/11/09/is-the-fediverse-about-to-get-fryed-or-why-every-toot-is-also-a-potential-denial-of-service-attack/

I've semi-frequently mentioned that admin piss fights are a problem because #ActivityPub is instance-centric, not #MessageCentric, and doesn't propagate messages via #GossipProtocols (https://en.wikipedia.org/wiki/Gossip_protocol).

As it turns out, this is a second issue that gossip message spreading would greatly mitigate if not solve.

@coolboymew @alex @graf@poa.st @Moon And once more I'm vindicated in my statements that hosting anything #federated or #p2p on the #clearnet as non-corporations is unsafe and made intentionally so too.

(That specific incident feels like old news at this point, but anyway.)