skysight-inc/HackerNews huggingface dataset:
> these algebraic demonstrations are not rigorous proofs because we have not shown that elementary rules for addition and multiplication extend to repeating decimal numbers too. They do but we have not demonstrated that here.

That's why I don't like proofs. There are many things that are not demonstrated here. The same can also be said about the other proof that is presumably complete. Unless you build everything from axioms up, any proof will be incomplete. And building from axioms is too verbose.

From the practical perspective it's like proving that 1 is equal to 1.0000...
I'm surprised to learn there is no test suite that would test the overflow case. I also realize I have no idea about the extent of testing in the kernel.
Analysis of Giant Marine Reptile Graveyard Suggests Site Was Birthing Grounds
Public healthcare, schools, universities, decent infrastructure. With proper checks and balances, those things are possible.
I'm extremely uninformed about this, but isn't it the purpose of international atomic energy boards to physically review all plants frequently to reduce this? I'm not suggesting it's a perfect solution, and I suppose Fukushima proves that, but the incentives are a much lesser issue than otherwise.
Rumor has it that Steve Ballmer wanted people to refer to the new Xbox as "The One" because it was supposed to tie all these capabilities together and be the centerpiece of the living room. Additionally, Microsoft was going through a branding phase of "One" at the time.

As a personal pet peeve of mine, whenever a corporation chooses "One" for its marketing or branding it indicates an uncreative and unoffensive marketing team that can't think of anything more creative to convey a sense of product cohesion.
Yes, it is probably important to highlight the fact that it was not an event that led to much loss of human life, unlike the normal operation of coal and even natural gas. I agree. I don't think too many people realize this, because the deaths resulting from pollution are both normalized and indirect.

However, when I said costs, I meant it more literally. Aside from the obvious cost of relocating all of those people, cleanup efforts, and so forth, it's also only fair to include the psychological toll as well. It certainly didn't help atop the massive tragedy that was already sweeping away lives and homes.
I wonder what he would have thought of the people 3-d printing Curta-alikes a decade ago.
> Nuclear takes hours to days to respond to load change

Days? Seriously? You know that is not true, don't you? The French nuclear power plants are an existence proof of that.

Nuclear does need to be supplemented with something else with low construction/fixed costs for handling the rare, extreme peaks. That will most often be some sort of gas-powered plants. This has nothing to do with nuclear powers "inability" to "respond to load change" and everything to do with the cost of building enough nuclear power capacity that will almost never be used.

On the other hand, we are still very, very far from being able to do really large-scale battery storage. We don't have the manufacturing capacity for the enormous number of battery cells needed and even if we did, the cost would be prohibitive. This will of course change for the better in the future but that is how things are for now.
The 'plague' - the one that feels utterly needless, is deplorably bad quality crap.

The key is that there are 2 completely different things going on and I think it's very bad that we keep conflating the 2:

* Bad quality crap, which took shortcuts which impair repairability for no reason other than to save a cent, make it impossible to find replacement parts because it's a fly by night operation that didn't think about it in the slightest, and which in general is going to break down on you within the year.

* Devices which are hard to repair.

That second category contains a lot of reasons ('save half a cent on a screw' is one of them, as is 'planned obsolescence' / 'make sure our pricey resellers get plenty of work'), but some of those reason are GOOD - such as 'it is a heck of a lot easier to make a robust product if we don't make the battery swappable (e.g., iPhone, which got plenty of flak for this)'.

For the first, the only 'good' reason to do that, is to ensure some product is available even to those who have _very_ little to spend, but, [A] environmentally this isn't a good idea, and [B] how 'available' is it when the only category you can buy is dinky crap that doesn't work well and breaks down within 6 months?

So how do we get rid of _that_?

Right-to-repair laws are barking up an entirely different tree, e.g. fighting the kind of bullshit where a farm tractor manufacturer intentionally makes it impossible to work on computer-guided stuff basically just to be dicks and get more money from their official repair/reseller program. And to a lesser extent, acts where a manufacturer makes a device significantly harder to repair with as only goal to save a cent or two on an errant screw, or cheaper glue or whatever.
I distinctly recall the existence of television repair shops, which suggests there was a time when market structure / incentives did not encourage planned obsolescence.
I disagree that standard exceptions are fine for recoverable errors.

Recoverable error states are part of your function's interface. Languages with exceptions make this implicit: in order to know how to interface with a function's error states you have to go digging through the docs, which hopefully document the exceptions it throws. If they don't, then you either have to trace the entire call tree or just wait for the library to throw something so you know what you're supposed to be catching.

On the other hand, if a language requires that recoverable errors be documented in the function signature (either as a checked exception or error-as-value), you know that you're either handling the exceptions or intentionally letting them propagate. There are no surprises at runtime because the set of all possible error states is known statically.
Same thing happened to me. Lol
BTW some of the cost cutting measures:

- Not paying outstanding invoices for flights, software licenses.

- Not respecting current partner contracts.

- Selling furniture and equipment from the offices for peanuts.

- NOT PAYING RENT.

- Not paying severance for many (not all, but many) of the laid off employees.
When I wrote a lot of C I used Yoda Conditionals because the compiler catches some typos. I'm skeptical of increased readability of them.
True embedded software is a lot different. Smart TVs are desktop or phone class computers, and even then, the glitches are usually "A power cycle fixes it" or "One feature that wouldn't exist at all without software stops working" type of thing.

For non safety critical stuff it's much better to crash every week than to wear out in 5 years.
The Christmas Movie That Became a Classic Because of a Mistake
The 2nd one is "default"? In the U. S., I don't I've ever seen a peeler that wasn't like your first link. That, or I just never recognized the second link as a peeler. Looks kind of like a cheese slicer to me. :-)
Mode's SQL school is the best I've seen: https://mode.com/sql-tutorial/
As someone who studies propaganda (especially disinformation), I'm amazed that I've never encountered the term "Gish gallop" before. Having researched it now, I'd say you've described the phenomenon perfectly.
When you clip in continuous time you're pushing additional energy into the harmonics of the baseband signal being clipped. Since spectra in continuous time is infinite, you don't get any aliasing (a better way to say it is that "aliasing" isn't as meaningful in continuous time)

When you clip in discrete time, the spectra is finite (more technically, it's periodic with a period of the sample rate frequency). That means the energy that would go into harmonics past nyquist gets "wrapped" around.

This is the big difference between analog and digital distortion. In analog, it's really quite difficult to create energy at non-harmonic frequencies of the signal. In digital clippers like you have here, it's trivial, and the design problem is figuring out how to deal with it. Most products will use some kind of anti-aliasing strategy (usually oversampling before clipping) to handle it.
The law dealt with these issues a long time ago. McPherson v Buick was 100 years ago and 402A is from the 60s.
I can do both high inclines and knee push-ups (declines a bit less effectively), but somehow when I try to do a single pushup on a flat surface, I end up feeling like a Buffalo unable to bend my elbows.

Is there a solution to transition to flat push-ups?
Unfortunately, it’s a simulation.

Coin flip is pure luck, so there’s no accountability in losing the game. Hence, redistributing the wealth sounds like a fair idea.

The catch is that some people actually believe in luck, so they believe accountability doesn’t count.

Plus, taxing the rich will (and rightfully so) make them leave. And then, who will pay the taxes? Who will create jobs? How many people will lose their jobs?
Classic case of someone bringing some elaborate 'problem' to the IT department, demanding some elaborate solution that they've decided is the only way, only for the IT staff to simply ask, "What are you trying to do?" and only then arriving at a much simpler, sustainable solution.
>People want to drive

I seriously question that as a general statement.

I don't mind driving for the most part and there are situations where I even enjoy it. But the congested drive into the 1 hr+ away city for an evening event or long boring highway drives? (And certainly a commute if I did one?) If there were an AI chauffeur I could engage for a price not that much elevated over driving myself? Sign me up. Not that I expect to see that anytime soon.
> I'm not in favor of this kind of law but I've also seen shade-tree mechanics show a complete disregard for the environment: dumping oil into the dirt, releasing freon into the atmosphere, etc.

"I'm not in favour of banning alcohol, but I've also seen how easily minors acquire it".

So? That's an argument for enforcing current law, not implementing a complete ban.
I'm part of that range (late millennial to gen-z) and I feel that lost hope.

I don't speak for everyone in my cohort, but from my experience, I lost my hope when orange guy took the chair. Him and the people who follow him seem to have a penchant for "fsck you, got mine" and because it was never corrected early on that attitude became the beating drum of the nation for 4 years. For 4 years the worst behaviors of people went unchecked out in the open and now those same people yell and scream censorship when you try and correct it.

Our generation has been the punching bag for everything and finally we've just had enough. Our outlook for the future has never been worse. We were told growing up to always hope for "a better year" but that "better year" was more often than not better for everyone else but us. We're on track to be worse off than our parents in both generational wealth and opportunities [1] and people are just finally done blindly hoping for things to get better. Most people in my generation have stopped planning for the future because this country was too concerned about giving money and tax breaks to the already obscenely rich.

Elon's purchase of Twitter and subsequent actions have only dampened my hopes of anything getting better. When billionaires can piss away 44 billion dollars and cause all sorts of chaos just because they feel like it, meanwhile people in my generation are forced to work two jobs just to barely make a living wage, yeah I don't have much hope left for a better future if this is what the new normal looks like...

[1] https://www.cnn.com/2020/01/11/politics/millennials-income-s...
The Farewell Dossier
You seem to have a problem with the correct use of words.

1. Ignorance is not error.

2. There was no correction. I simply suggested it would have been somewhat polite to point people in the direction of their original sources, considering the very literary post.
The Elimination of Harmful Language Initiative Website – IT Community
Implementing the MySQL server protocol for fun and profit
You can still buy a Coldfire (now from NXP, after Motorola and Freescale) and I suspect it would have used that strcmp() implementation. The 68k family is not completely dead.
Even without seeing other people's faces, you start to notice car "body language". For example, a car that is sticking close to a lane divider is probably about to try to change lanes. I always wondered to what extent (if any) self-driving AI tries to take this into account and whether, even legal, maneuvers by self-driving AI might be surprising to other drivers looking for these kinds of subtle signals.
That’s the reason why more didn’t die from them meltdown.
Yeah, I think it would be great to have a mentor with both of those domains, but even one in each would be awesome.

I've had small pieces of advice given to me. I've never had anyone take an overall view and help me put together a game plan. Even the small pieces of advice sometimes turn out to be bad. Like what worked for them doesn't necessarily result in the same success for me.

For example, I given vague bad feedback from my manager. I asked if there was someone of my level that was highly regarded that I could ask what types of things they do to get a good rating. Well... they told me all the stuff I was already doing, and I was even doing more. Someone with political knowledge would have been so helpful, because I already had the technical stuff down.
^Yes, Zotero is definitely worth a look!
I find it really frustrating that the discourse around taxing the super rich does not emphasize how absurdly rich the super rich are. Even if you are worth 500 million dollars, own a mansion, fancy cars, etc., you are still extremely poor compared to a billionaire. And even among billionaires, someone like Bill Gates is massively more wealthy. On /r/nba some people were remarking about how even among NBA owners, not exactly a poor group, Steve Ballmer is so absurdly rich that he could probably buy the entire NBA (obviously not with his liquid cash, although he did literally buy the Clippers in cash).

Like the phrase "tax the rich" makes people think of their neighbor George who as a nice house or even themselves if they make six figures. Nah man, tax the person who can literally buy the NBA and still be a billionaire.
You should look at the specific appliance and not just the brand. Even known "good" brands mess up.

For example and speaking about grinders, I had a Mahlkönig Vario at first, 370 Euro (https://www.mahlkoenig.com/de/products/vario-home). Mahlkönig is a brand for professional-grade coffee grinders, with some few expensive top-consumer-grade ones in the mix. It's their cheapest coffee grinder.

That particular model wasn't their own, I think they got it from Baratza (https://baratza.com/grinder/vario/), probably to extend their presence in the top-segment of the household market.

Too bad, that model is not a good fit for them at all. Lots of issues. I had mine repaired and it went so badly they sent me a brand new one after I complained with pictures. It's not bad per se or terrible, it just does not quite deliver what one expects from that brand. For example, the seal that prevents the espresso-grade finely ground coffee to get into the machine is just some barely attached rubber ring. Leakage into the machine is an issue. Also, lots of plastic. Very hard to disassemble, soooo many steps and parts, bad for repairs and maintenance.
Have you ever heard of the curses library? There are use cases where you want to provide a graphical interface of sorts to a cli program.

https://en.wikipedia.org/wiki/Curses_(programming_library)
Sadly, this won’t be possible until Safari supports the Bookmarks API. I remember reading a reply years ago where they said it was being worked on. However, nothing has yet to materialize. It’s anyone’s guess as to when this will be available.
Just like a browser curl is parsing, processing and making decisions based on untrusted input. There have been exploits against web clients using malformed headers, status codes, using buffer overflows, broken parsing of character sets and more. Curl just happens to have a really good developer that has avoided most of these pitfalls. To find some examples of the exploits one could pull down all the metasploit modules, glance through the OWASP database or look through the change logs for all the major browsers.
The good old "if it's not working it's because you're not using enough of it" ;)
How does this "solve" anything? Do you actually think that if rich people start paying more, then that will result in a reduction in what poor/middle class people pay?

You are treating the government as if it had even the tiniest bit of fiscal discipline, as if it says, ok, we only have $x coming in, therefore we can only spend $x this year (or alternatively, we plan to spend x, therefore we're obliged to collect x in revenue, but no more than that.)

US government hasn't worked like this in decades. Our debt is out of control and growing exponentially. The government has the green light to spend spend spend without any caution whatsoever. Joe Biden has a 4000-page, $1.7 trillion spending bill working it's way through Congress right now that nobody has read. Do you think any politician actually cares how it's going to be paid for? Do you think there are enough ultra rich people in this country, that even if taxed at 99.9%, will dig us out from a 30+ trillion hole?
Not to mention decent welfare payments to reduce inequality, publicly funded healthcare, etc.
For a moment. But remember that the US was in the middle of the Vietnam War, and anti-war protests were really starting to ramp up at the time.
The difference is that the error states are explicit rather than implicit. The function's signature tells you what the possible errors you'll need to handle are, so you don't get caught off guard at runtime.

As for stack traces: checked exceptions are semantically almost identical to error-as-value but they do give you a stack trace. They give you all the static guarantees of error-as-value plus the benefit of being able to know where the error came from.
Because without an income stream no one loans to the government, or at least not at current rates. Interest rates would explode.

Funnily enough Britain just demoed that for everyone. the prior pm tried to reduce taxes a ton and everything nearly went to hell in a hand basket.

So at least we can be confident the taxes are actually doing things.
> LCOE is unrelated to systems costs.

Yeah, imagine how great it will be when we can dimension the electricity grid for the average consumption rather than peak due to distributed generation and storage.
But the evacuation wasn't an unrelated event. It was a direct result of the meltdown, so evacuation deaths can be attributed to it.
Well, your opinion is as valuable as mine: I think you're completely wrong and VR will never be mainstream.
Yeah, this was a time when Amazon was in its infancy. :-(
> Potemkin pens, mere props.

I got a wire cutter/stripper recently that gave me that exact feeling: "This isn't a real wire stripper, it's a non-functional replica."

(It's the kind that has a little adjustment screw/slider to set the diameter of the wire you're stripping. Only it's impossible to set the screw correctly because turning it to tighten it forces the slider to shift position. I wrestled with it for an hour and then ordered a different one. The handle plastic is weird too, it feels "icky" somehow.
BTW, the new one, which works great, was the same price as the unusable one.)

The unusable one is not worth returning. And what are they going to do with it if I did return it? Throw it away? Sell it to someone else?

> And the world took the loss. A small one, but they add up.

Again, that's exactly how I feel about it. What a waste, to dig up the materials, forge them into this device, send it who knows how far back and forth over the Earth, just so I can throw it back into the Earth because it's not worth fixing it. It's fucking depressing.

I've got more anecdotes: a brand new soldering iron that doesn't solder; an aluminum folding beach chair that broke when unfolded for the first time; an air fryer with a custom grill that rusted in less than a year and can't be replaced; etc...

As far as I can see, you have to go out of your way to find the manufacturers and retailers that care about quality (and repeat business) and patronize them exclusively. Don't give any more money to the folks who are ripping you off. Instead, reward the folks who are doing the right thing. You're going to pay the overhead anyway either by doing your homework or by throwing away time and money and garbage items.
they are missing a cute mascot

like gophers for go, crabs for rust, dinosaurs for zig
Is the current state of affairs any better for SAML identity providers? I need to integrate SSO into our app and am also worried about having to write custom code for every identity provider we want to support.
I made Brock Turner the “textbook definition” of a rapist (2017)
This depends on use case. SQL is the king for batching process - queries are declarative, decades of effort put into optimization.

For real-time / streaming use cases, however, there is yet a mature solution in SQL yet. Flink SQL / Materialize is getting there, but the state-of-the-art approach is still Flink / Kafka Streams approach - put your state in memory / on local disk, and mutate it as you consume messages.

This actually echoes the "Operate on data where it resides" principle in the article.
UnifiedPush: A decentralized, open-source push notification protocol
Gold very rarely falls on your head while you're reclining on the sofa.
https://twitter.com/ShellenbergerMD/status/16048884298162094...
Finite manufacturing capacity is a factor.

5GW / year @ 90% capacity factor ~= 3 million 200W panels @ 30% capacity factor + 40-60GWh of batteries. It’s not completely equivalent, but they both need roughly the same amount of peaking power plants to make up the difference.

Plus Solar’s costs are front loaded, with China’s rapidly growing economy they can ignore decommissioning or even long term operating costs as largely irrelevant.
I think Apple's decision to mostly name products based on dictionary words is a good one, and well-executed. Google tries this too but usually misses the mark a bit by being overly generic (Play, Chat, Calendar, etc.) and failing to build a brand around the products themselves.

My main gripe with Apple is their decision to not version product names well, e.g. "The New iPad". This is fine for tech-savvy users who will read the specs and know what they're getting, but from what I've seen almost universally confuses less tech-savvy customers and leaves them at the whim of salespeople. Apple doesn't need to use model codes or numbers, but should have something that clearly defines new vs. old. They have relented a bit and now have "10th generation" add-ons on official messaging after years of hiding it, which just seems to be like one-button stubbornness where they won't concede the obvious.
Carefully buy b2b and you can still get to decades of service life for many types of equipment. It is also much more expensive than the most expensive "prosumer" grade offerings you see. But for some of this type of equipment, that's because they staff competent technicians supporting 24x7x365 service calls coming in from shops hiring certified technicians rolling repair trucks any time of the day or night for the right fee.
Are you making a general point or one specific to this? And is your first point (precautionary principle) connected to your second point (financial motivations)? The experiment referenced in the article is a small scale test, so it seems to me that it is following the precautionary principle. As for if the financial motivations are an issue, I don't know.

Are you just being snarky and anti-establishment or do you have a concrete criticism to make? Please make it if you do.