skysight-inc/HackerNews huggingface dataset:
> a proof by contradiction is specifically a proof which shows that P is not false, and concludes that it is true.

And this proof matches that description exactly, with P = "√2 ∉ ℚ". The only case where these would be different ideas is the case where ¬¬P ≠ P.

And of course, that can never happen.
And, yet, millions already do. The point of AI for customer support is to handle the very simple requests (maybe half). The rest, you can escalate. If AI doesn't know what to do, "Hmm, I'm not sure. Let me escalate your question/request to my manager." For most normies, this will work well.
Its very very good to name these scams with strong language.

It reminds of people to not be the 'pig' to be butchered, to know that their greed or lust could be manipulated by an organization behind that screen, and that they are a pig walking into a slaughterhouse willingly.
> I don't think you are getting downvoted for supporting crypto

Still, every of my post that is more or less supportive of crypto gets downvoted. And I am the first to tell the ecosystem is one of the worst in tech so that's always mild support.

But yes, you're right it's probably sem web people overreacting to _my_ rant :)
Curious if like internet cable - can there be redundancy built?

Also the way data packets go - they can go literally from any of the lines and get assembled together somewhere in the network layer. But same doesn’t hold true for 3 phase power. So same that works for internet wouldn’t be applicable for power distribution.
> Python-esque experience if you make many one-off programs as you can simply write Main as python script

For simple scripts, you don't even need to bother with a `Main` method anymore; you can just write statements outside of any structure like in PHP or JS: https://learn.microsoft.com/en-us/dotnet/csharp/fundamentals...
NeoAxis Engine 2024.2 Released
NeoAxis has released a new version of the NeoAxis Engine, a versatile game engine designed for creating video games and real-time apps.

This release includes improvements to the content import pipeline, a new visual prefab editor, the ability to create complex objects, and improved editor stability. More game specific functionality now includes a full-featured vehicle editor, a new gate component, updated interactive objects, and new demo scenes.
> in a crisis and had me sent to 72 hour hold

Oftentimes it's not even that, or can go to the opposite extreme. It can be "or until evaluated by a psychiatrist or MHP".

I'm a paramedic in Washington. The biggest example of this I remember was a 14yo, intentional pharma overdose. We brought her in, "invol". Four and a half hours later, call goes out, same address, 14 year old girl, overdose. We checked with dispatch, was there a glitch?

Nope. Psychiatrist had spoken to her, determined she was "no threat to herself". Parents drove her home, and within fifteen minutes she'd locked herself in the bathroom again, and taken more of the same meds.

Was furious. Between the psychiatrist, parents not locking up the meds, hell, the ER, she probably still had drugs in her system.

"Maybe hold on to her for more than four hours this time."

Also, tangentially, if EMS wants to transport you involuntarily, we actually need Law Enforcement involvement - they don't even necessarily need to talk to the patient, but they do need to complete the paperwork that takes them into custody, which they then "assign" to us. EMS generally has no power to treat you against your will (however, if you are actively a threat to yourself, we can act on that, usually restraint and sedation. Or there is 'implied consent' where if you lose the ability to effectively consent, the law assumes that a rational person would want aid to be rendered).
> Just sell me smart bulbs goddamit.

I mean, you can buy the bulbs and connect them to any zigbee bridge, right?
A directory of angel investors in AI startups
Sounds like a cylical business. When times are good you buy equipment and then it is relatively new when times are bad so you don't have to buy more.

contrast to food which people need a relatively constant amount of. (even then you buy less expensive food when times are bad)
Why was the bank owner completely culpable for getting scammed?
"- Invest in good docs..."

In my experience, end users don't read the docs or FAQ's or help search - they send you a question.
Microsoft's latest security update has ruined dual-boot Windows and Linux PCs
Ummm... that's PoC to you, and conveniently it now covers all of "the others".

Frankly, I think these are developed by HR so that they can more easily write inoffensive copy without considering their bias or the audience. Most people I've worked with know whether they're black, indigenous, european immigrant, ESL, partially blind, suffering from PTSD, paraplegic, etc. The problem is that those things are just too specific to quickly gloss over in an anonymous uninformative screed. Easier to have a catchall phrase to abstract and dehumanize the issues.
> Prestige, signalling, membership to exclusive club, etc dominate the consideration.

So? These _benefits_ also fit into a bog standard cost/benefit analysis. For example, Singapore would need to weight this project against buying everyone a luxury handbag..

Btw, in any case keep in mind that the project is privately financed and will make money selling electricity to Singaporeans. The electrons that power my gadgets at home don't have any colour, so I can't even tell if my electricity comes from a particularly prestigious source. It's all intermediated by the wholesale market.

> Reserves are cash in hand and represent immediate and hard spending power.

That's about on the same level as arguing that having a money printing press represents raw spending power.

Most central banks around the world conduct monetary policy via domestic interest rates and affect these interest rates by buying and selling domestic government bonds. Thus they will have lots of government bonds on their balance sheet. But it doesn't mean that they can just take these bonds and use them to buy solar farms.

The Monetary Authority of Singapore is (almost?) unique in foregoing interest rate as a channel of monetary policy, and instead working via the foreign exchange rate. They affect the foreign exchange rate by buying foreign currencies via freshly minted Singapore dollars (or selling them to remove Singapore dollars from the market).

And just like the American Fed keeps the government bonds they buy on their balance sheet (and pretty much has to!), our Monetary Authority of Singapore keeps the foreign currency on the balance sheet, and they show up as reserves.

By design, Singapore has at least as much in foreign exchange reserves as we issued domestic currency.

In a sense, most of the eg Euros in our reserves are already 'spent', but they are spent in the form of SGD in circulation. (I say 'most', because we have more reserves than we issued SGD. Singapore is cautious like that.)
Many cities don't allow diy. I know how but I'm not allowed.
How about:

> The gravitational coupling of the probe to the Earth absolutely changes the characteristic energy with respect to the sun of the probe.
No, the whole thing has not been overblown; you are of course correct that remote access needs accounts, and perhaps there are valid usecases for accounts locally, but requiring accounts for local access is absolutely not reasonable.
> The main problem with blockchain is identical to the one with LLMs. When snake oil salesmen try to apply the same solution to every problem, you stop wasting your time with those salesmen.

+100

Rule in blockchain: Whenever there is money beyond paying for services/infra like AWS, there is a problem.
I think any project is going to need some form of capacitor as a grid would just become unstable if you dump a huge amount of peak solar onto it without the consumption.

So either way you need batteries, and all the problems they bring. Just about "how many".
> As many have learned, the people actually paying you money are usually pretty reasonable. It's the people who haven't paid you a cent who have all these crazy demands.

Real question: I wonder if this phenom has been part of a case study for MBAs. It makes sense to me. If you are paying customer, you have already convinced yourself it is a valuable product. Deeper: Is it every worth trying to convert the "crazies" using sales strategies? Example: Well, if you sign-up for our enterprise package, we promise your needs in X months.
Android is already known to be less secure than iOS, how much worse will it get now?
Sure, but that how many is a critical factor in the overall cost of energy delivered
"419" refers to the Nigerian criminal code section which defines the type of scam:

<https://web.archive.org/web/20050308040611/http://www.nigeri...>

Much as with other toponyms, the origins are in fact region-specific, though the term has become more general with time.

The generic term is "advanced-fee scam":

<https://en.wikipedia.org/wiki/Advance-fee_scam>
My thought exactly. “in-pavement electric car charging system” reminds me of those back of magazine ads selling “solar powered clothes dryer” only for it be a simple clothesline.
the major difference is that COVID for a lot of industries represented a one-time-sync event. people used to be more spread out but being stuck at home really made certain activities much more attractive.
> Okay? I'm not surprised that a conservative judge is part of a conservative ideological legal organization. That doesn't mean the same thing as saying they're a politician who is funded by someone.

Doesn't it make it looks like he is a ideologue supported by ideological organisation that happens to be a judge and uses this occupation to further his ideology instead of basing judgements on law?

And that organisation conspire to promote judges that are ideologues first?
If Linux kills SSDs in 5-6 years then it's not a good sign.
Acela from NYC to Washington is a piss-poor excuse of """""""high speed rail""""""", certainly rock bottom dogshit tier travel times when you compare it to other city pairs with similar GDPs and similar distances
Not quite.

The vast majority of Singaporeans live in apartments they own, and don't pay rent. However you are right that most of these apartments were built by an arm of the government, see https://en.wikipedia.org/wiki/Housing_and_Development_Board

There are grants for lower income people to make it easier for them to buy a home. Some people also rent directly from the government, but that's the exception. Most own.

Housing ain't cheap in Singapore. Whether you measure that in terms of rent, or in terms of monthly mortgage costs, or in terms of the opportunity cost of capital (for those who own their homes outright). As everywhere else in the world that's mostly a function of supply and demand, and where that supply comes from (public, private, etc) doesn't really matter too much.

Singapore has been building a lot of housing, and is still building a lot of housing. Both by public and private developers. But we are living on a small island with lots of people, and thanks mostly to immigration our population is still growing. (I myself am an immigrant here.)
For a while I thought this was going to go the way of the whispering earring: https://web.archive.org/web/20121008025245/http://squid314.l...
No, they shouldn't. Iterability was not avoided to enable the inverted representation (where an object that is a key in a WeakMap stores a hidden WeakMap entry inside it). And I suspect even with an inverted representation, there's a decent chance there would still be an internal collection of keys for a given WeakMap in order to optimize tracing.

WeakMaps aren't iterable because that would make them a different data structure with different purposes and footguns and forward compatibility. The existing WeakMap is very nice in that there is no observable behavior change if GC starts triggering at a different time. You can't write an application that breaks in a new browser version because the internal GC scheduling was updated, or if your allocation patterns change from when you tested, or whatever. If you have the weakmap and the key, you can get the value. If you don't have one or the other, you can't, and the fact that the GC removes the entry behind your back makes no difference to anything but memory usage.

If you can iterate, then suddenly you can start racing the GC. Let's say your values are shared with some other data structure that uses them, and you have a lastUpdated timestamp on them that you update by iterating over the WeakMap. If you lose a key, you may or may not update lastUpdated on its associated value, depending on when the GC runs. (In this scenario, the value's lifetime is not dependent on the WeakMap; it's always reachable through some other path so you can observe lastUpdated.)

These sorts of footguns now exist via WeakRef and FinalizationGroup, but the entire purpose of those two is to be GC-sensitive. The existing, safe, forwards-compatible WeakMap has many valid uses. Adding iterability would defeat some but not all of those uses. Which means that rather than changing WeakMap, you'd want both WeakMap and IterableWeakMap.

(It would be nice if WeakMap had a different name. It's not "weak" in the sense that WeakRef is weak. A WeakRef says "I won't keep my target alive, but if it's alive for some other reason or GC just hasn't run yet, I'll give it back to you when you ask." A WeakMap says "if a weakmap and one of its keys is alive, I'll keep the value associated with that key alive." It says nothing about whether GC has run. It doesn't care whether something in the rest of the object graph is keeping the key alive.)

Whether engines should support a built-in IterableWeakMap is arguable. It's hard to implement correctly in JS using WeakMap + WeakRef, which argues for its inclusion. But it's also a lot of internal complexity in the engine for something so footgun-shaped. Yet it's really useful when it's what you need. But if it existed, people would be tempted to use it, and probably many or most of those uses would be incorrect (why use the nerfed WeakMap when IterableWeakMap exists? Just don't iterate it, if it bothers you!) But it's not the JS engine's job to prevent coders from writing bad code. But tests could fail intermittently without being buggy. Et cetera.
Note that random data is not a common case for sorting algorithms. It'd be interesting to see how the numbers change on partially-, mostly-, and fully-sorted data.
> Probably the daytime temps in Texas right now drove the high solar production and high demand.

Probably?

> High temps usually mean clear, sunny days and everyone huddling near an air con.

Or all of those mandatory RTO forcing large open spaced cubicle farms to run AC in a building made of glass. Not sure of the image you have in your head being the reverse of homeless huddled around a barrel fire.
Ahhh, my misunderstanding. You're saying playing video's (eg from mplayer) as a background is the already-existing equivalent?
When unemployment was at all time lows, I saw people on Reddit complaining that they couldn’t find a job and applied to 500 places.

I have to think it’s a personal issue with some of these people. Either their standards are too high, or they have a major flaw preventing them from getting hired, which they leave out of the post (or can’t see themselves). They are also likely applying without even reading the job descriptions… spray and pray is going to get a lot of ignored and rejected applications… as it should.

Reddit is not a good place if you’re depressed, or prone to it. It’s full of other depressed people and they feed on each other and validate each other, and it creates a downward spiral that’s hard to get out of. It is probably in your best interest to find other ways to fill your time.
Its nothing more than marketing/rebranding. Capitalism bby! Gotta get those clicks!
Because the concept of variables must be learned before the concept of scope.
Seems like a reasonable idea. With this in place, why are Mozilla using telemetry instead?
They did though. Alyx is HL3.
The Mouse Forced Swim Test
> Generally, if the patient is cognizant it’s extremely hard to force them into an involuntary hold. Sometimes patients will agree to a voluntary, involuntary hold to force themselves to commit to a treatment plan, but if they’re fighting it from the start, it’s hard to get it approved.

That is absolutely, entirely inaccurate. As a paramedic, I've cared for and transported probably hundreds of cognizant and lucid patients who nevertheless were a danger to themselves or others, or gravely disabled (i.e. not self harm, but unable to effectively care for themselves).

The judge is specifically a judge who has received extra training in mental health issues, and the patient is appointed an advocate and a MHP who must present the risks. Describing overcoming that obstacle as "extremely hard" is not a sentiment that I've seen.

> Further, “he checked himself out” isn’t necessarily a thing. He could leave against medical advice or he could have simply told the staff that he decided against treatment.

I think this is being overly pedantic. Yes, he may have AMA'd. Most non-professionals would consider that "checking yourself out" regardless of the formalities of discharge process.
Checklists have been demonstrated to improve care quality because when it's the not-so-nice nurse that's on shift, and the doctor's been awake for 60 hours straight, the stuff that's on the checklist still gets done.
what city do you live in? How are you "not allowed"?
Python 95 :)
Better link: https://archive.md/6Un3E
Maybe so, but think of the shareholders!!!
I killed projects in Clojure when I took over the company. Then again, I killed projects in Scala, and Python, not only including but starting with the ones I had spent more than a year building. About ten projects were killed.

My cut-off criteria at the time were: are they bringing revenue and what technical risk do they open us to (hiring, training, debt, etc.)...

As hinted, the first one I killed was in Python, and I had written about 70% of the codebase.
> They actually wouldn't let my wife walk herself down - they had to call Transport, and she had to be wheeled down in a wheelchair with the baby's carseat on her lap, and I had to be waiting at the designated curbside to pick her up. She was perfectly capable of walking herself down, and we were both capable of putting the carseat into the car in a normal parking spot, but everything had to be done in the presence of an orderly.

I have tonic-clonic seizures; at least 4 hospitals have wheeled me out that way, suffering no argument otherwise. I guess it is common.
ok.. thanks.. but the reaction in this thread seems to slightly contradict that? I didn't see anyone say "we use pip + venv, it works fine".
Heavy equipment operators start at around $100/hour where I live. A more extreme case is that I know a union AC tech in NYC who makes the equivalent of a Google salary (about $300-400k/year) and he doesn't pull a ton of overtime to do it.
Um- obviously the untested and unregulated synthetic hallucinogens are making people sick. Pretty sure this isn’t a “don’t know” situation.

It is funny because actual mushrooms would be fine. People have been taking psilocybin for thousands of years. If you don’t overdose on them they’re safe.
"Wiring to a crypto wallet" isn't a thing. It'd be crypto product of the century if it existed.
Armin advocates for 'uv' to dominate the space, but acknowledges it could be rug-pulled due to its VC backing. His solution to this potential issue is that it's "very forkable." But doesn't forking inherently lead to further fragmentation, the very problem he wants to solve?

Any tool hoping to dominate the Python packaging landscape must be community-driven and community-controlled, IMO.
Turning wastewater into valuable proteins with genetically modified yeast
$10 gas encourages people to economize, for example by having the family evacuate in the smaller rather than the larger car. Prices send valuable signals, and price controls destroy that information.
Why are they getting worse?
Probably not much. Main risk on Android is from shady apps. The reward program was only aimed at very popular apps.
That's actually an awesome feature!

It means that you are working on something that no one else has ever done before...

...or you aren't able to describe your problem correctly.
I see, that makes sense, thanks!

So, after the patient died, what is the mechanism by which the family should have been contacted?

Later, if that failed and the family came to ask the hospital, the correct answer was "they're dead", not "we can't tell you" (and especially not "they were discharged against medical advice"!). How does the hospital authenticate and authorize the inquiry party?

Edit: also, is being dead PHI?
We definitely have a safety-focused culture (for now - it's eroding). And sometimes that can be overbearing. But I disagree in the context of DYI. The culture that makes DYI intimidating is, "you don't know what you don't know - you are going to fuck something up". Physical danger is only one possible consequence.

And to be fair, there is a good reason this warning developed. I think a better solution than simply saying something like "don't worry about what eggheads say, it's safe", or, "man up and do it yourself", is to instead focus on giving people the confidence to try things via better access to quality information, and, crucially, teaching the basics in school. Shop class needs to make a comeback in a big way. We've lost the engine of generational teaching, so we need to kickstart it again.
Show HN: Converse with AI buyer to practice important sales calls
We built Peak Mojo, an AI-powered, hyper-realistic sales roleplay training platform.

Our platform leverages AI and voice interactions to provide experiential learning that closely mimics actual sales call scenarios with almost same interface with Zoom.

Sellers will be provided with personalized feedback and performance scores after each practice session.

Sales managers (Founder, Leaders) will then review which skills to focus on during coaching sessions, or AI can help coach sellers by surfacing areas of weakness.
Elements-lang – effortless geometry visualization
Salvatore Sanfilippo (author of Redis and Redlock) wrote a response to Martin Kleppmann's analysis that is worth a read (though it is a bit dense and hard to follow at times): http://antirez.com/news/101

I think I agree with Kleppmann's analysis, though.
Cast iron water supply piping, cast iron gas supply piping, or cast iron drain/waste/vent?
From TTY, how did you get back to complete installation?
The sad thing is that she’s one of the smarter ones in the Biden-Harris administration.

Let’s not forget that the Biden-Harris CHAIR of the Council of Economic Advisors doesn’t have the faintest idea of how government borrowing or expansion of the money supply works.
https://x.com/findingmoneydoc/status/1786050601236779078?s=4...
An extremely interesting and in-depth post about the subject:

https://www.astralcodexten.com/p/give-up-seventy-percent-of-...
He wasn't. If he lost only his own money, he'd be a victim. He stole tens of millions of dollars from other people, ruining them, and sent it to scammers. (Because he thought he could keep the profits from the scammers.)
It depends on which way you're going on the escalator! Since we started with treadmills, and then switched to escalators, I just assumed the author had in mind a person walking up the down escalator.
This looks awesome! will try it out
The only restrictions they have are that you can't imagine President Xi, nor can you mention anything PG-13 like bathing suits.
Death certificates can be shared with parents, siblings, and children of the deceased in every state; and most states they are public records that everyone can access.

Obviously the death certificate here was quite delayed, but this shows that generally the fact of death is something that can be shared with those suing.
Batman. Any Batman movie but specially the cartons.