skysight-inc/HackerNews huggingface dataset:
I wouldn't say it causes UB. It causes the problem to halt, deterministically, and safely - but maybe annoyingly.

Yes, it's not as good as a static guarantee. But there are tradeoffs where it makes sense. Again, RefCell in Rust does the same - it's a useful technique.
>I always assumed it was his real name, but I suppose that was just an unexamined assumption.

Occam's Razor suggests it probably is his real name. There are a few other biographic details online which I suppose someone could verify if they cared enough, especially if they were local and he actually lives in Perth. He's certainly been using that name since the early 80s.

It's mostly that he just completely avoids fandom and publishing circles and he's of an age where photos of you mostly didn't randomly show up on the Internet unless you deliberately put them there. And he is apparently determined to keep it that way.

This is actually a pretty good example of a person who could probably be found pretty easily if someone, and certainly the government, really wanted to but they keep out of the public eye except for their books and the occasional interview.
I expect it's meant to pronounced like "through SSH" and maybe should be renamed with a hyphen to "thru-ssh".
I'm learning about the history of ideas and the arguments used to defend or challenge them. Reading philosophical texts is the way to do that.

Understanding such a text often is an interactive experience - you formulate your own claims and try to relate then to the argument that the text contains. It's challenging but very satisfying.

Nevertheless, it helps to have teachers - joining courses lead by people who learned philosophy in academia is a common way to find them. YMMV, and it depends on what's available to you locally.
“For most of the problems that I’ve solved, I can identify the moment and tell the story about the moment where a certain solution came into my mind,” Spielman said. “But that’s just because I’ve spent an absurd amount of hours working on them.”

I feel the same way, if I've ever come up with impressive results in my work it's only after I've spent absurd amount of hours on the problem.

I feel like a fraud until suddenly it all comes together. Like an idiot savant, because the results, often the best amongst my peers, are beyond my normal intelligence. Is that common?
Shinkansens run on electricity. Oil is mostly in the manufacturing and plastics industry, unlike other countries where domestic consumption is a significant share. (Tokyo power sector is mostly thermal and nuclear.)
Thanks. This puts some light into a shadow :)
Heard about the day 1 thing? It also applies to people. I feel Amazon views Human Resources as tissues to use and discard. You know it needs to be discarded and you know a fresh one is better. Might as well use it up fast and toss it out. The next person coming in will be full of optimism and enthusiasm about their “day 1”.
> The prototype delivers 100% heating at 5°F at double the efficiency, and 70% to 80% heating at -5°F and -10°F

So, 2 EER (2x of resistive heat) at 5F, 1.8 at -5F and 1.6 at -10F? Is that right? Seems awkwardly worded.
Experts once predicted full employment when interest rates went to 0%... yet here we are
I agree with the overall sentiment. I taught for awhile and was happy with the approach I came up with. Students start out with the basics of learning how to loop through a list to transform some data. Once they have looping down, they are introduced to map and other built in methods. But, before using these methods, they are tasked with rewriting them using the looping they've learned.

Once they've "earned" the usage of the built in methods, they are tasked with rewriting them again, but this time without using any kind of looping. I give them a bit of time to think about how they may do this. Very few students get it but the plan is to live code it myself as an introduction to recursion. The task is still the same: to rewrite the map method. So the context for their intro to recursion is something they've become quite familiar with. It seems to have worked well.
This looks like a double edged sword. Legit businesses may honor the unsubscribe request but all the dodgy people will see this as confirmation of a live account increasing its resale value. What percentage of emails with an unsubscribe link are from a legitimate business?
GB virus C: the good boy virus?
Yes. That doesn't necessarily invalidate their points, but as with any information one has to consider the bias of the source.
What about the AMC ou GME stocks? And if as you seem to imply, crypto is useless, then why isn't everyone shorting it to 0? Obviously you'll concede the stock market is not solely rooted on the underlying assets or dividend, but also on hype and future promise. Same thing for cryptocurrencies, only less utility and more speculation.
They keep on proposing stuff that will break this. Usually it is claimed to be an attempt to solve the problem of someone supporting a creator who uses Patreon to create a paywall, snagging everything they can, and cancelling before the monthly charge ever hits.

Which is a problem but their proposed solutions always seem to involve things like "now everyone pays on the anniversary of when they started supporting a creator" which just completely fucks up the original value proposition of "we merge lots of little transactions into one decent-sized one", as well as fucking things up for people like me who are just using Patreon as a tip jar for stuff they release publicly. Letting individual creators decide this will work for them and opt into it is never mentioned as an option, so Patreon gets to hear a loud, sustained scream from creators who are normally quiet, and walk it back a week later.
He can, but if we ask why and we find out it's for the same reason a bunch of other people are bad at spelling and the common name is 'dyslexia' then maybe that's a good word to explain why he's bad at spelling?
With natural gas hitting four times it's cost last year, couldn't come at a better time. Next winter, heat will cost more than rent in Chicago.
Shinkansen is electric. Japan total energy mix is about 20% LNG or so.
Anyone know how this compares to a geothermal system?
I felt that should have redirected to https://rawtext.club/FILE_ID.DIZ :)
Does anyone know why there has never been any breakthroughs in air conditioning for 50 years? Windows air conditioners have been incredibly heavy, loud, expensive, and resource-intensive for so long. Even a small room needs one that is back-breaking to install. And pretty much everyone in the world (except those with central air) needs a couple of air conditioners now.

Sure the "efficiency" is improving but it's mainly tricks for turning it on/off at better times. I know there are some U-shaped ones now, but it's just a slightly different styling.

Edit: two commenters pointed out examples of air conditioners which are 77 lbs and 56 lbs. As a comparison, the OSHA recommended lifting weight is 50 lbs. I would love to see someone apply Apple's obsession with thinner, lighter, "revolutionary new design" to ACs.
I know. But stealing a BAYC NFT does steal the right to use that particular image, according to how BAYC is set up. This is supremely stupid, but it is how the project is set up.
> forced participation in dangerous binge drinking

In the UK we just voluntarily participate in dangerous binge drinking
I'm actually just thinking about content. Part of our business is podcasts and selling premium subscriptions incurs a 30% take and all you get is some consideration in placement in Apple Podcasts. And you lose direct access to your customers.
>suicide programming

The autonomous car crashing itself with you on board instead of running over a child. Its what these posts here are about if you look at the initial post. The question is, does the distinction that the rational of implied culpability only applies to civil law have any relevance for this example?

You answered that one gets you thrown in prison and the other sued. I dont see the relevance of this for the question at hand.

I didnt see the relevance of the death penalty either, i was guessing how criminal law might be more applicable then civil law. And its the only thing i could come up with.
Hidden Colors in Water
Common heat pump water heaters (often called “hybrid”) have a heat exchanger on the top of the tank, and pull heat out of the surrounding air.
Name brands tend to be unbuyable by the consumer in Canada, and if you import one, or buy via grey market, the threat is that you have no warranty.
Why don't you already do this? Human drivers generally don't want to kill pedestrians and will stop, but they'll still get mad at you. Just because they're not controlling the accelerator and brake doesn't mean they'll be any less mad about you forcing them to stop.
Does Portland have nice working class neighborhoods?

I’m not trying to attack Portland, I don’t know much about it.
I can appreciate the effort and think it is an amazing idea. However, why build that into Signal which is E2EE and use an API for the speech-to-text?

It would be much more logical to do it with Messenger (for example by injecting JS with Tampermonkey) or to use a local model to perform S2T.
Yes, although it's no substitute for the real thing.
But if you work for them in Barcelona the salary is still pretty bad.
Don't for a second think we would not be one of the hostile ones.

Remember, it's not scientists who will control our interstellar diplomacy, it will be politicians and generals.
The tl;dr here is “just use HtDP” (which I agree with).
They hardly produce any nuclear anymore. Natural gas is the largest source by far.

https://en.wikipedia.org/wiki/Electricity_sector_in_Japan

EDIT: these numbers appear to be old, since 2019 they’ve tuned reactors back on and stopped relying on LNG as much. I can’t find good numbers on recent data but in 2019 they imported more gas than any other country.
Oh, interesting. I hadn't actually encountered that definition of acute. Looked it up. Seems like medical dictionaries lean towards defining acute as an opposite to chronic, while non-medical dictionaries include that and other definitions like "extremely sharp or severe; intense" - which is how I took it. Good to know, for talking to doctors.
I don't like how after an update my home screen is full of ads. Just show me the two apps (Newpipe, Plex) that I use and get the hell out of my way.
The Day The Standard Library Died (2020)
> I think my brain automatically converted both to the point I didn't notice either.

So, there is a difference.
Hopefully, some strong emotional biases have just affected your brain and not also your I.
I gave it some monologues and expanded the prompt a bit and now it's more talkative, a bit.

--

Cats are weird. They're like little old men in furry suits. Have you ever seen a cat drink? They stick their tongue in the bowl, and they just go "Nyahhh." It's like they're not even trying. Dogs are different. Dogs are eager to please. They're always happy to see you, they wag their tails, they bring you a stick. They're like, "Hey, look what I found! Isn't this great?" Cats are like, "Eh, what do you want?"

--

Why does it seem like every time you meet somebody, they're either a cat person or a dog person? What is that all about? You ever meet somebody and they're like, "I'm not really a cat person or a dog person, I'm more of a snake person." Never. You're either a cat person or a dog person. And I've never met a cat person who's also a dog person. Have you? It's always one or the other. It's very rare. In fact, I've never even met a cat person who's also a human person. They don't seem to like us very much, do they?

--

What's the deal with cats? I don't get it. They're so cute when they're kittens, but then they just turn into these lazy, aloof creatures that don't do anything. Just lay around all day, sleep all day. And they're always like, "I'm not really in the mood." "I don't really feel like it." "I'm not really in the mood for this." What are they in the mood for? What do they want? Nobody knows. Not even the cats. They don't know what they want. They're just like, "I'll know it when I see it."
Idk this "toshiba" AC has a built in heat pump and operates at super quiet levels.
Would I call it a "breakthrough", likely not. But it is a meaningful improvement over an AC released decades ago.

https://www.homedepot.com/p/Toshiba-14-000-BTU-12-000-BTU-DO...
Try over 40%: https://en.wikipedia.org/wiki/Electricity_sector_in_Japan
Bitcoin transfers are faster and cheaper than SWIFT.

Of course you also need to go through p2p on both sides and the volatility is a problem, but both of these are tolerable depending on circumstances.
I once saw a video of someone attaching one of those HEPA filters to a box fan with tape and it works more or less just as decently.

Alternatively, have you done maintenance on your air ventilation system in your house? They should have HEPA filters as well. That should help.

You can also do a mold test. A simple one is leaving a cup of water near a wall and wait a couple days to see if mold grows on it from a free-floating spore.
Check out the inverter type ones such as this one [1] It isn't light but it is quiet and adjusts the amount of power it uses depending on cooling needs much better than a typical window unit making it more efficient.

[1] https://www.midea.com/us/air-conditioners/window-air-conditi...
Depending on your market, Sanden and Mitsubishi make air-source DHW heat pumps where the evaporator/heat source source is remote (i.e., outdoor) rather than integrated with the tank. I can't speak to Mitsubishi's line but IIRC Sanden has the DHW go straight to the outdoor unit, but then you may need freeze protection, which I think Sanden provides via heat trace. When my current water heater bites the dust, I plan on getting a Sanden, and looking in to the feasibility of making a glycol loop between the outdoor unit and an indoor "indirect" tank to eliminate the need for freeze protection.
But what of the massive increase in money supply during the 2010s, which didn't cause the same inflation? If "duh, of course there was inflation because you printed money" was the end of it then why this time and not other times?
The statement was copied wholesale from OpenAI, and the DALL•E mini implementation simply isn't as capable at depicting people, so the biases aren't as apparent. Yet.
Not just proposals: orders have been placed and trains should be in passenger service this year. Google "FLIRT Akku" which is the name of Stadler's battery-electric train.

https://www.urban-transport-magazine.com/en/schleswig-holste...

"The longest non-electrified section on the diesel network is 80 km. Under optimal conditions, however, a battery range of 150 km should be possible."
You probably should not wait: it will be 2 years of testing according to the announcement, and if you’re doing a retrofit most the cost of installation will be installing the transfer lines inside, mounting the unit, etc (opening walls and closing them back up). Transferring from an old outdoor unit to a new one should be a fraction of the original install cost (basically just the new unit cost plus the cost of hooking it up).

But, if you’re willing to wait or pay extra for the efficiency gains, you might be even better off getting set up with a ground source heat pump now. The install cost is more up front, but because ground temperature is higher than air temperature in winter and lower than air temperature in summer, the differential you need to pump in or out is a lot less, and therefore much more efficient. I don’t think any air to air heat pump in the next 20 years will be as efficient as a ground to air system you could install now. The air to air systems just have lower up front install costs.
You're describing an IPO, not a startup.
Thanks for clarifying this! The best way I've been able to intuitively understand it is that all worlds are internally consistent and causal, but the observation that causes us to split away from some worlds can be after the fact. That doesn't make it possible to come up with a superposition of worlds that breaks causality.

Is that correct(ish)?
> has fired multiple generals and military personnel during active conflicts who have suggested we should use nuclear weapons at all.

So by your own admission, the only thing that's prevented the use of nuclear weapons in the past is a certain military structure enforced by people who, unlike you, believe that there is a possibility.

Incidentally, I don't think the Norwegians are special, any country or group of people will deploy nukes if they have means, opportunity, and the right political climate. Vigilance, not wishful thinking in the form of "we would never", is the only barrier to that.
> You ever meet somebody and they're like, "I'm not really a cat person or a dog person, I'm more of a snake person." Never.

Lol spend some time in Florida for a while.
> Bored Ape #8398

That should have been a clue.
Yeah, it is nonlinear and I did apply three term ploynomial correction as per manufacturers spec sheet.
I’m not dang…But if you can’t see what’s wrong with your comment, then it’s on you.

Comparing the role of middle managers to “house negros” or prison gang leaders is emotionally-charged drivel.
> Isn't it the case that Japanese work culture, "stay until the boss leaves", is what contributed substantially to loneliness in Japan? A lack of work-life balance?

I keep hearing this thrown around, and I have no reason not to believe it, as on paper it makes sense.

But have there actually been studies around this?
Bubkoo/HTML-to-image: Generate an image from a DOM node
Well, I've lived here for the last 15 years and other than getting buzzed by a car once or twice on my bike I have not ever "feared for my life".
User avatars for games or video conferences.

Post fx tooling for movies. Cheaply touch up or add virtual extras to a scene.
Huh, it is higher now. Not quite 40% though, coal and LNG accounted for 26.5% and 31.7% in 2021: https://www.isep.or.jp/en/1243/

Renewables are aggressively scaling up and nuclear looks like it's rebounding some.
GPUs seem like they're the new .22LR in terms of the MSRP being meaningless if it's never on the self.

It always confused me how many people stocked up on the latter, since if you want to actually have a resistance like the founding fathers intended, not just have a series of manchild meltdowns at the idea of a "well regulated" militia, ending with getting shot by the senate sergeant at arms, what I was told you do is run up on them like they're Reinhard Heydrich and use at least a .22 magnum, with hollowpoints, so they enter the skull, split open wide, then bounce around, rather than .223 rifle round or some double plus P bullshit that will go in one side of the head, out the other, and through a wall into the head of someone who's not a totalitarian scumbag.

But I was very drunk and had my phone off when I had THAT conversation. I've quit drinking alcohol with strangers since. Zdraví! :-)

Anyways, to swing it back to gaming or whatever:

>As it stands, the previous generation shows that prices can become arbitrarily high if supply is low

The issue is the supply will always be low if the MSRP is too low and/or folks don't enforce the law when people buy up consumer goods for illegal enterprises to the detriment of the hobbyists and other peaceful civilians the MSRP is meant to be set for.
How long ago did you make that switch? Asking because with things like that, there is always an amazing honeymoon period, but reality settles in a few years down the road.

Not just talking about the urban=>rural switch specifically, but in the opposite direction as well, and when it comes to pretty much any major change of a similar nature in general.
Where, may I ask? The Midwest is a huge place with affluent neighborhoods, but those generally aren’t walkable. I enjoyed living in downtown Toledo much more than I did Sylvania (a more affluent suburb next door).
This feels like a cop out. If this were just a property of imports and US monetary policy, then should foreign inflation be in proportion to US imports?
Depending on your workload, the Mac Studio would be the replacement for a 3900X box. It's not a GPU powerhouse, and lacks expandability though.
Take a look at MakersPlace, lots of traditional artists on there that are selling NFTs. On Tezos there's a budding generative art scene as well.
> So, 2 EER (2x of resistive heat) at 5F

Yes (or double of previous model as another commentator points out-- hard to say).

> 1.8 at -5F and 1.6 at -10F?

They've not told us the efficiency-- just that it provides 70-80% of nameplate amount of heating at those temperatures.
>1. Cost of living in Puerto Rico is quite high. Expect to pay roughly double for the same foods you would anywhere else in the US, in terms of eating out OR the grocery store.

This includes online shopping. UPS and FedEx's rates for delivery to PR are much higher than on the mainland, so almost all sellers that use those carriers won't ship to the island even if the item is small enough for USPS (which does not charge more). Same with Amazon, although there is a chance a third-party Amazon seller will.
Even gods eventually get bored.

https://memory-alpha.fandom.com/wiki/Death_Wish_(episode)
All the quotes I got were for a day of install. I assume it'd be one tech, but let's be generous... 2 techs x 8 hours x $150/hour = $2400 for labour. So that means either the pump itself costs $15k, or somethings wrong in this market.
Do people talk about "inductive definitions"? I mostly only hear about induction in the context of proofs, in which case I'd say that an inductive proof/argument is one that uses the recursive structure of whatever it's about.

A recursive definition is: "natural numbers are 0 or a natural number + 1". An (abridged) inductive proof that uses the recursive nature of natural numbers: "the sum of all naturals up to n is n(n+1)/2: 0*(0+1)/2 = 0, and (n+1) + n(n+1)/2 = (2(n+1) + n(n+1))/2 = (2n + 2 + n^2 + n)/2 = (n^2 + 3n + 2)/2 = (n+1)(n+2)/2 = (n+1)((n+1)+1)/2"
> GPT-3 is actually doing improv, not performing jokes.

This is the kind of anthropomorphism that I'm consistently surprised to read from people with a technical background.
There are some good althernatives, such as https://www.novo.co/ if you are a US resident or https://globalfy.com/en/banking/ if you don't have SSN, international founder.
Omg I think you nailed it. There’s a black mirror episode about this.
Imagine giving a scientist in 1900 a modern CPU. He may be able to disassemble and study it, but it’s impossible to make it from scratch because it takes a chain of steps that lead to complicated modern factories that then produce the chip. It’s hard to skip those steps. We can swap DNA in living cells and produce modified cells, but we lack the tools to create such complicated and microscopic structures in a pure synthetic way.
Just because the existing situation on Linux is terrible from a security point of view, it doesn’t mean we shouldn’t start fixing it.

Not being able to install a keylog from an npm package is already a huge improvement.
A major difference is that the algorithms would be designed by economists rather than software engineers.
I'm into algorithmic and generative art on fxhash and art blocks. I also sell digital paintings and animations on makersplace and foundation. I've released some projects on opensea directly as well.
Maybe or Maybe not, but it took Tesla more than 15 years. Amazon took 10.