Huh? A little CR2032 or similar cell has minimal short circuit current. A LiFePO4 18650 may not set itself on fire if shorted, but it could still set the rest of the badge or your shirt on fire.
Completely agree about working with companies in the same country so you actually get support, I learnt the hard way and now try and avoid overseas companies for this reason.
Calling out one company in-particular that we just got over an absolute nightmare of a messy divorce with, Freshworks. They are Indian-based, and their support in India treated us like we didn’t have any consumer rights at all after signing their SaaS contract (you know, one of those 1000 page things you have to sign when starting any random SaaS) and starting sending us random ludicrous invoices and refusing to ie downgrade the number of subscription seats or switch from annual to monthly billing, claiming that because we didn’t give them 60 days notice of reduction in seats we had to pay a whole year for the extra users blah blah blah, which might be legal in India, but is completely illegal in Australia.
I’m sorry but I can’t help to hate it. It feels like the start of a kind of capitalist cancer, eating its way through the ecosystem, taking away the freedom of maintainers and turning them into slaves for maintenance fee-payers, and eventually goodware into crapware.
How can one simultaneously be paid for maintenance and also be free of liability? And should someone forking an open source project now be treated as a criminal for interrupting someone’s livelihood?
Finally, it feels that paying a recurring subscription is against the ethos of the “open source forefathers” so to speak. Open source software originated from a world where we paid once for software, like DVDs, not like Netflix. And I would have hoped the world has realised this was a bad idea and is trying to circle back, not undo the path backwards.
One nice thing about GitHub sponsorship is that there is only one bill for the sponsor, and one can support NN projects/creators there. I think it is even bundled with the regular Github invoice?
depends where the puncture is. too close to the sidewall and you have to bin them. if they've already been plugged once and theu get another puncture its off to the bin.
I plug shoulders in large part because it drives certain people up the wall. I'd say maybe half the time they last the life of the tire. Frequently they're finicky and unreliable. Less often than that they start a tread separation bubble. In either latter case I just trash the tire since that's easy enough.
Yeah a proper internal glue on patch would likely perform better in the shoulder but ain't nobody got time for that, that's like 90% of the work of changing the tire.
> if they've already been plugged once and theu get another puncture its off to the bin.
Again, that's your personal choice.
We've got off road and on road tyres we still use with four to five tyre plugs in them that have lasted a few years since their last puncture.
I'm in non urban Australia and have cars actively used with > 500,000 km on the clock. We were raised to maintain gear; be it cars, trucks, aircraft, excavators, bob cats, etc.
It's a choice in so much as I would be gambling against how likely I am to get knocked back at a safety inspection for having plugs on the side wall. I'm in urban NSW and whether I'd get by a safety inspection would be a gamble on how particular the mechanic is. One of the mechanics I go to warned me about a single slightly cloudy headlight for my next inspection, which is comical compared to some of the cars I've seen on the roads in Sydney. I'm sure he'd be a big fan of those tyres.
What I can say is that properly fitted plugs in the tread can last a long time with little leakage and that three or four plugs in the tyre tread (widely spaced, not all jammed in a big hole) seem to last a fair few years.
Yes, this, it depends. It has to be in the middle 100mm or so of the tyre, and not between the treads, otherwise they won’t plug it.
Annoyingly, plugs are not perfect either: after a tyre has been plugged I’m putting air in it like every 2 months, so anecdotally I guess the plugs leak really slowly.
Well, Haskell has GADTs, new type wrappers and type interfaces which can be (and are often) used to implement formal verification using meta programming, so I get the point he was making.
You pretty much don’t need to plug another language into Haskell to be satisfied about certain conditions if the types are designed correctly.
Those can all encode only very simplistic semantics of the code. You need either a model checker or dependent types to actually verify any kind of interesting semantics (such as "this sort function returns the number in a sorted order", or "this monad obeys the monad laws"). GADTs, newtypes and type interfaces are not significantly more powerful than what you'd get in, say, a Java program in terms of encoding semantics into your types.
Now, I believe GHC also has support for dependent types, but the question stands: are there any major Haskell projects that actually use all of these features to formally verify their semantics? Is any part of the Haskell standard library formally verified, for example?
And yes, I do understand that type checking is a kind of formal verification, so in some sense even a C program is "formally verified", since the compiler ensures that you can't assign a float to an int. But I'm specifically asking about formal verification of higher level semantics - sorting, monad laws, proving some tree is balanced, etc.
I can think of a few hypothesis, but I’d hit all the reasons we already know that people in their 30s are getting cancer first, like:
Natural gas burning inside with poor ventilation (solve by pushing electric everything, paid for by carbon tax paid by big oil)
ICE car exhaust (solve with EVs, subsidised by carbon tax paid by big oil)
Second hand smoke (ban smoking in public and within XX distance of a child, and make support for parents to quit free from cigarette taxes)
Microplastics in the water and the air including tyre dust (start regulating this/coming up with a long term plan to reduce it and filter it out, and put a government subsidy on certified and professionally installed under sink microplastic water filter products… paid for by those who put the plastic there in the first place)
Poor indoor air quality/high VOX (mandate air flow minimum levels for all new builds and make extraction fans for offices a normal requirement, and give tenants something to lobby against their body corporate to improve airflow in uselessly designed buildings since “sick building syndrome” is real but often impossible to know before you sign the papers)
Because smoking is down, and with it, smoking-related lung cancer. Nonsmoker lung cancer numbers OTOH remain steady and its percentage is therefore higher.
These cause cancer after many decades so for example people who were 10 when this started becoming a big issue are now getting cancer in their 30s and 40s.
This is a professional medical opinion from scientists that was aired on the news recently in Australia.
Matthew 5:28
“But I say to you that everyone who keeps on looking at a woman so as to have a passion for her has already committed adultery with her in his heart.”
reply