skysight-inc/HackerNews huggingface dataset:
Maybe your comment was misunderstood. This is absolutely correct, freedom of speech is not freedom to say things that make everyone happy
risk(dying while (driving while having sex)) >> 0...
Oh. I forgot to mention this... Marketplace / Make Me Smart did a podcast on the metaverse last week: https://www.marketplace.org/shows/make-me-smart-with-kai-and...
One of the best ways of knowing is by analyzing a large number of bets made punters from multiple sports books - it's easier to spot irregular betting patterns in this regard.
India is derived from the river Indus. As in the land around and beyond the Indus. Hindus came later as a way to describe the people and religion of the people in the region. Now it refers to the religion alone and not the people.
TSMC recently tried to poach me & offered paid on-site training in Taiwan before heading back to the States for the actual position. I reckon it's the modern job-hop game that killed this phenomenon outside of "lifer" companies.
I mean, when it's mostly stupid people playing the lottery, all that money isn't going to make them magically smarter.
If you are really struggling to get a job lot, the link below may be an option. Its something which could become a lunchtime/after school club/activity to get them fixed quickly but it can also help your students learn about repairing stuff because the Right to Repair is now a thing in the US, UK & EU so becoming familiar with repairing circuit boards will be a life skill, if not a hackers life skill. :-)

https://blog.jmdawson.co.uk/i-bought-200-raspberry-pi-model-...
Meanwhile the police are solving the lowest number of crimes on record: https://www.thetimes.co.uk/article/burglars-go-unpunished-wi... Less than 5% of burglaries are being solved, and some places less than 1 in 30 crimes reach court. Perhaps policing mean tweets is not the best use of our limited law enforcement resources?
Heaps of us.

A stack of manuals several feet thick...
> which they think is a logical error

This is FUD designed to discredit intuitionistic logic.

An instance of LEM is not "a logical error"; it is merely a claim which requires justification. For the claim at hand -- i.e. some natural number G is a member of a finite, constructed set, or it is not -- the corresponding LEM instance is perfectly true [and proven]. We say that the claim is decidable. So (given that we have a proof the claim is decidable) there would be no problem in intuitionistic logic with this part of Euclid's proof even if it took the form of a proof by contradiction (which of course it doesn't).

To make a more general rebuttal of the FUD, proofs by contradiction are not automatically invalid in intuitionistic logic; they just require one extra piece of evidence.

Furthermore the claim that whether something is a proof by contradiction depends on one's position on the logical validity of LEM is ridiculous on its face. There is a fact of the matter as to whether any given proof is by contradiction. There may be disagreements as to the definition of "proof by contradiction", but the definition which includes proof of negation is completely useless. In mathematics we usually treat useless definitions as in some sense "false" in order to facilitate communication - e.g., 1 could be prime depending on definitions, but that would be useless so we facilitate communication by treating "1 is prime" as false. Likewise here we should treat as false the claim that the quoted section of Euclid's proof is by contradiction.

Source for claims about LEM/proof by contradiction: https://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016...
Wardle had a number
> the poorer you are, the more you pay.

No, the more debt you own and the more savings you hold, the more you pay. Precisely the opposite. Wages rise under inflation.
Bimetallic Coin System Arbitrage FTW!
Honestly, the fact that 4 STDs are incurable still frightens me.
Not that much addery on https://www.nytimes.com/crosswords/game/mini
I agree. In another forum someone was asking what level of competency you should be at with a language to put on the resume. Most responses were related to the language itself, but I argued it was more about the knowledge around the language. Knowing testing, tooling, packaging, and standard library is way more important than syntax. In turn, I think it's easier to write an article about syntax since its likely to be correct forever. While an article about dev life cycle is much more tied to the time at which it was written.
Coinbase exposes an api that lets you do some pretty interesting and powerful strategies. Let's see a bank do that. No, seriously, I'd sign up tomorrow for a bank like that.
It's poor management if you have nothing to say and the 1on1 goes on for the full block anyway. With my reports in the past I'd hold the block open for a long conversation if they needed it, but if they showed up and really didn't have much, then that was it, end of meeting. This is pretty much how all meetings should work, imo.

To be fair, I do still think it's worth showing up to the meeting even if you think there's nothing to be said beforehand, since sometimes breaking out of the routine gives you the opening you need to get something off your chest. Sometimes it's possible to get overly caught up in the flow, which can be useful for solving the immediate problem, but might hide other stuff that hasn't been given room to breathe. Meetings like 1on1s and retrospectives are opportunities to take that break.
The judges explanation makes the ruling sound even more ridiculous

This is a man who had become known as a national hero, who stood for the resilience of the people of a country struggling with a pandemic and the services trying to protect them.
Reminds me of Count Dankula, the guy who dressed his dog up like hitler and got arrested for it.
You can see what happens in an already dying sport that has its largest event tainted by a cheater (KY Derby & Bob Baffert). The cheater sues the company that issued a temporary ban due to his cheating. The fans are in the wind, the horse is now deceased (probably attributable) and the offender will probably end up with a shorter ban/wrist slap. He, and others, have been caught numerous times for the same types of offenses, but it normally gets swept under the rug until it boils over and hurts the sport even more by occurring on the largest stage of the year.
I see the point but you could argue the same for nicotine dependence, diabetes, depression & anxiety, vision problems, allergies, etc.

Maybe you can't afford the treatment, maybe you have side effects, maybe you don't know you need it...
Raptoreum Founder David M Resilient Ecosystem That Allow Everyone to Participate
Wow definitely want to pick your brain. How large/# of LOC were the Agda, Isabelle, and Coq specs? What industry was this?
I've used a VPN to get the original PDF (reachable from Japan only) https://kowa.co.jp/news/2022/press220131.pdf
and below's the Google Translated version. They are running a clinical study based on a fact that non-clinical study shown antiviral effect.

Kowa Co., Ltd. (hereinafter referred to as "Kowa") is the investigational drug "Ivermectin" used in Phase III clinical trials (development code: K-237) for the treatment of new coronavirus (SARS-CoV-2) infections. From a joint research (non-clinical trial) with Kitasato University, it was confirmed that the Omicron strain has the same antiviral effect as the existing mutant strain (alpha beta gamma delta strain). I did. As announced in July 2021, Kowa directly from Professor Satoshi Omura, a special honorary professor at Kitasato University, who won the Nobel Prize in Physiology or Medicine, about conducting clinical trials of ivermectin as a therapeutic drug for new coronavirus infections. I received a request. New Co. He believes that it is the mission of the pharmaceutical company to contribute to the treatment of coronavirus infections and protect the health of the people, and clinical trials to confirm the efficacy and safety of ivermectin against new coronavirus infections. We are conducting a test. Ivermectin has been distributed by WHO to infected areas for over 30 years as a treatment for parasitic infections. Especially in some African countries, it has been confirmed to be safe enough for volunteers to distribute directly to people. In addition, ivermectin has been reported to have the effects of suppressing the invasion of SARS-CoV-2 into cells and inhibiting replication, and is expected to be applied as a therapeutic drug (tablet) for new coronavirus infections as drug repositioning. I am. In this clinical trial, the dosage and administration are different from those already approved for the treatment of parasitic infections, but the efficacy and safety are being confirmed in the clinical trial. Kowa will contribute to the treatment of new coronavirus infections by confirming the clinical effect of ivermectin on SARS-CoV-2 and providing it to the public as soon as possible. * Overseas, it was reported that patients use high-content ivermectin for animals, which is dangerous to humans, and harmful events occur. Kowa is the standard for conducting clinical trials of pharmaceuticals in humans. Ivermectin clinical trials are conducted in accordance with the strict standards set by GCP (Good Clinical Practice).
It's weird it took her so long to realize what was happening - I knew as soon as I read the first paragraph what was going on.

I suppose it's because I am younger (and thus have memories of being a kid) and was rather short as a kid, so I know what sorts of limited visibility you can have as a kid, and more recently I'm also used to driving at confusing intersections where it's not clear which light applies.
There is no equivalent to the first amendment in the United Kingdom, hence, a person being jailed for a tweet
I think we can avoid genociding millions of unarmed people for lebensraum personally.

To that point I think indigenous societies were doing just fine. It wasn't a fact of life to lose a language or entire culture within a generation before settlers arrived. You didn't inherit a position of serfdom. Property rights weren't a thing. Women could get divorces and had political authority. In many tribes non-binary genders were accepted or even the norm. Tribal warfare did not kill millions indiscriminately.

Entropy may be a fact of life, you don't have to contribute to it more than necessary. If we are already warring with things like flatworms and COVID maybe warring with each other is counterproductive and a "dark pattern" to be worked on. Food for thought
> And, yes, I use various advertising channels to find customers.

Money well spent, I'm sure. https://gizmodo.com/facebook-announces-its-fake-ad-numbers-a...

> It is nothing less than delusional to convince yourself that you are entitled to the entire web without paying for any of it.

I never said I'm entitled to the entire web for free. Don't try to make it seem like I'm brazenly pirating my way across the internet. There are plenty of services behind paywalls and subscriptions that I choose to support with my actual dollars.

> Do you know what happens at this end of the scale when your 100% ad-blocked utopia becomes reality? Do you have any clue?

Yes. Actually I do. I'm old enough to know what life was like before the internet. We all got along just fine back then. One could argue we were better off than we are now.

For a brief shining period the internet was a blank canvas, full of actual wonder and discovery. Seriously, it felt amazing to connect and just explore. But look at what it has become; a wasteland where 2 advertising giants waged a war of psychological manipulation.

> Along with the jobs and everything else it created.

Eyeballs for dollars. Its a grotesque machine. If it all burned down tomorrow, nothing of value would be lost. Not even the jobs you claim. (Except, of course, the ad networks, the PII data miners, the blog spammers, and the rest of the seedy by products that sprout from these networks...so, like I said, nothing of value lost.)
FTFY: If you are a business open to the public, you can discriminate based on gambling skill the same way you can discriminate against other types of customers, so long as the basis is not a legally protected class enumerated in public accommodations law (for most businesses), or the specific law applicable to your business (for businesses in industries with indistry-specific anti-discrimination law instead of being subject to general public accommodation law.)
I don’t think any country that charges people for such lamely crass jokes as this can reasonably criticize North Korea for their lack of free speech. The only difference is the severity of the consequence, for now.
This is the inevitable result of rejecting the principle of free speech.
Thanks, I didnt realize those shares were text and wondered how to export them. How cool!
It's both time and cost really, in vivo studies cost a lot of money.
> Call of Duty is valuable, but Microsoft has already said they don't intend to remove it from PlayStation.

Maybe printing free revenue from the franchise is more valuable than printing revenue with high overhead console sales :)
Or, to put it another way: The principle of "freedom of speech" only exists to protect offensive speech, because speech that no one found offensive wouldn't need protection.
I don't know, making up easy to clear crimes and then solving them seems to be a pretty common MO. If they want to up their stats they are likely to do more of this.
Bound to the radio spectrum?! Most astronomers work with more energetic photons than the puny things you get get from radio sources. Talking about being bound to the entire electromagnetic waveband is more correct, but we've not been bound to any narrow subset of it since like the 1930's.

Also, arguably the first non photon astronomical detection was the detection of neutrinos from SN1987A by Kamiokande, Baksan and IMB. There's also cosmic rays that we've been detecting for ages, but they don't really point back toward anything so it's really hard to argue you're doing astronomy with them.
That's more of a "sort of". It is V8, but no "webworkers as threads", and then things like the cache api, cron-like scheduling, k/v store and durable objects added on.
Everything you said is true but none of is relevant to whether or not adblocking is piracy.
>we don't actually know what he said, but its safe to assume he's one of those labels we assign to bad people with bad thoughts
NYT isn’t that dumb. Nobody would play this game behind a paywall…
City councilmembers in my city are paid about as much and the price for them is apparently only like 20-50k cash for quid pro quo that could land them prison time, according to the FBI investigations from the ones who got caught at least. That's nothing compared to what could be gained.
Are you still having trouble with this? Let me know, I might be able to help out.
Reddit Enhancement Suite is now in maintenance mode
DOM access? why?
We've already fucked up the idea behind metrics in the SaaS world and now every company is chasing just making people active on their platform instead of solving real problem, why not replicate the same success in the afk world?

Low amount of solved crimes? Make it illegal to be offensive on Twitter and suddenly lots of crimes gets solved.

If you use the wrong metric then people will game it. Now watch governments do the same.
<< Antenna is able to compile daily subscriber sign-ups to most streaming services by aggregating data coming from a series of third-party apps that help users manage their email inboxes or keep to a monthly budget. Such apps keep track of streaming-related transactions and emails confirming users’ decisions to sign up for or cancel a streaming subscription.

This is the most interesting piece in here. Very clever solution by this company to get real impartial data on streaming subscriber numbers. Wish we could see a list of those apps.
Exactly. Inoffensive speech doesn’t need protection because nobody wants to censor it.
I wasn’t a part of the interview process, but I was told some of the details. The interview was remote and they did well on the video interview and on the take home challenge. My best guess is they were being given help.
SPIR is special purpose and can't be compared. JVM in the browser might be a similar comparison, but back then we didn't have the threats we have today. We now have closed hardware, closed operating system, and even closed browsers. The browsers are just extensions of these closed companies. We now more than ever need an open computing stack untethered from the underlying chips, devices, operating systems, etc.
Out of genuine curiosity - would you mind sharing your thinking?

You clearly don't mind paying the NYT for game content historically, and enjoy the game you're playing to this point - and even more than that, you're already paying and will presumably continue to get Wordle even if it eventually gets locked behind the subscription you hold. Why the line in the sand?
Thrown with the astros recently too. Can't believe heads didn't roll for that scandal.
I've been using "How did you figure that out?" which I got from Marilyn Burns and her wonderful interviews with kids.[0]

Her videos are really cool to watch — often the kids will self-correct their wrong answers when talking through their reasoning. Even if they make the same mistake the second time, it gives the listener really great insight into how they're thinking about the question.

And it's a great question to ask when the kid is right too — often I'm surprised by my son's answer, such as when he figured out how to spell "only" by looking out the window at the right-turn only sign painted on the street outside.

[0] https://twitter.com/search?q=ListeningToLearn.com&src=typed_...
You're right, maybe it's all rigged. Maybe the 2020 election was rigged too, and 9/11 was an elaborate case of insurance fraud. Maybe birds aren't real. But unless there is evidence for these types of claims, there's no reason for anyone to take them seriously.
[Scotland]
If I was really that hungry, then maybe I'd walk to the grocery store & get some store-brand pasta instead of getting pizza delivered. It's not like spending money is an absolute thing where you spend all or nothing. If I know it's worth my while to save, then I'm not going to spend as much as I would have if I knew that my savings was becoming worthless.
this was the real endgame of the vaccine mandates, force the whole world to participate in a trial of mRNA technology so that it could start being used in other profitable products.
Monterey Shortcuts for Easy and Fast Image Processing
A boy named GNU!
You can have an illiberal democracy. Democracy is about the will of the people, which can be very especially illiberal, because in a majority rules situation the minority's view doesn't matter. Liberal democracies have strong constitutions or similar norms that prevent tyrannies of the majority.
> No other automaker built a network

False. In North America, Electrify America (https://www.electrifyamerica.com/) and Electrify Canada (https://www.electrify-canada.ca/) are automaker built. Trying to claim it "doesn't count" is just childish.

GM is funding EVgo's build of 350 kW chargers: https://insideevs.com/news/546869/gm-evgo-boost-charging-pla...

And of course you have Ionity in Europe: https://ionity.eu/
As long as it pays more to half-ass your current job and take on a second, then people will prefer doing that. 100% effort is rewarded correctly almost nowhere.
Lots of people are taking away "be kind when you listen to others' perspectives", which is right.

But another point we can take away from this is: finding & amplifying the people who see colors that other people can't see — is a really valuable thing we can do, both for those people and your team.
> perhaps the problem has nothing to do with communication

Going for experiments and research and never further discuss the situation with the kid feels to me like it has everything to do with communication...
What makes you think that only gay people support gay rights for their own team? I know a hell of a lot of straight people who vigorously and sincerely support gay rights, not because they're "rooting for the team", not because they're "virtue signaling", but because it's the right, moral, ethical, logical, and decent thing to do.

You should get out more and make different friends, and actually get to know some real live gay people, before you talk so much shit about them like that, and presume to know what their motives are.

>Straight people don't like homosexuality shoved down their throat by all the gay people that want the world to accept it.

No, hateful bigoted assholes don't like homosexuality. Stop talking shit about straight people, too. Most straight people have no problem with homosexuality, because there's nothing wrong with it, and it's no threat to them, so they're not hysterically frightened by it like you are. You're getting rightfully downvoted, flagged, and deadened because what you're posting is wrong, close minded, stupid, and bigoted (and because you're whining and butt-hurt about the totally justified downvotes your earned, too), so the moderation system is working perfectly as it was designed.

Maybe it's because you're a bigot that you said you "have a hard time getting a single opportunity and feel lucky when we get a job". Bigots should have a hard time finding jobs. That's a good thing. Nobody wants to work with them.
It's a little "cleaner" than Lutris, but lacks the ecosystem of init scripts afaict.
You were right eventually!
>To see someone wishing British soldiers dead, it still hurts me.

While I wish for no one's death, being hurt that someone hates professional killers is ridiculous. The hero worship of soldiers needs to end.
It would not, and I wouldn’t apply in the first place! But I could do it if I had to.
Usually the reason is as short as "we can't afford to pay (or don't want to pay) someone to figure out what we need to do to be compliant".
Nice to hear the pulsar timing arrays are getting somewhere!

In what I'm sure is not entirely purely coincidental, I've been waiting and looking for any news from the PTA efforts for at least 5 years, and then yesterday I found a pulsar timing meme account and now here's this update! Nice!
The Wondrous Wordplay of Lunar New Year Food
Please don't. Euphemism treadmills destroy langauge.
I doubt JavaScript will ever be fully replaced here. JavaScript is a pretty good language for these use cases, and it has a huge ecosystem.

But if you want to use a front end framework that compiles to warm then you can do that today. Rust, Go, C# and more all have libraries (only Rust really makes sense though, as the others involve shipping a huge runtime). Just don’t expect it to be any faster than JS.
This is hilarious because when this exact scenario played out with the MLB with the astros and the red socks not too long ago this is pretty much what happened. It certainly soured a lot of fans on the integrity of the league.
So is this still a form of Interferometertry where differences from multiple signals are combined or something else?
Wait. You can download this game?? And, would it still function as once a day?
The Sixth Mass Extinction: fact, fiction or speculation?
The purpose is so they can make rules about complex situations. It’s like how in the US the aviation authority (FAA) and crash investigator (NTSB) don’t really enforce the law, even if a criminal act contributed to the crash. They’ll either forward the information to law enforcement or leave it up to the insurance companies and civil courts to arrive at justice.
Unprecedented images of the Milky Way’s center revealed by astrophysicists
Even if it's weird and designed by committee, at least we have agreement with all browsers. IMO, WebAssembly has got over the biggest hurdle: agreement in a format to feed an abstract processor to program it to do math. Nothing more, nothing less. In the web ecosystem, the most powerful thing right now is agreement. The design might be ugly or weird, but it works and it's done. Lets build on top of it.