skysight-inc/HackerNews huggingface dataset:
> In my opinion, 2-SAT is just barely in P because of the extraordinary restriction that each clause have 2 variables. As soon as you relax that condition, it's easy to do arbitrary computation.

I think your intuition is wrong here. The number of variables in the clause is not the reason why NP is difficult. XORSAT also has arbitrary number of variables per clauses, and is doable in P. Furthermore, the 2XSAT reduction shows that you can represent any 3-SAT clause only with 2-SAT and XORSAT clauses.

> To my eyes, if this can be short-circuited, it's essentially saying that for arbitrary functions, there's no actual reason to do computation as it can be short-circuited. In other words, you're saying one can do better than raw simulation in every single case. While potentially true, it seems like a pretty bold statement.

I don't think that's what P=NP would imply. Remember, if P=NP, the algorithm is polynomial in the worst case, it can still be true that for a portion (even a majority) of actual instances, the simulation is faster than applying the algorithm. (Also it's possible that for some instances, functions that already have been properly "inverted", the decision algorithm and the simulation are equivalent, this is similar to linear equations, once you have factorized the matrix to the upper echelon form, then application of the matrix is the same process as solving it.) What the result will say that you don't need to be exponential in the worst case.
What does 'lambda calculus' mean? I read that lambda refers to binding to variables - so is 'calculus' really just a way to refer to calculating generally? I suppose I only know the word contextually from the math class that shares the name.
I assume you're referring to Asahi Lina, who I believe presents as female.
A 9-5 would pay more if they all pooled their money. Casinos invest considerable $ in fraud detection, and are very close with law enforcement and DAs despite the matter being more civil than criminal. Casinos hate to lose even if it's not that much money. They will review the same tapes hundreds of times to catch even a small cheat.
If I remember correctly, MSKey4in1 (or one of the other keygens with similar functionality) was released with source code, but in general, you said it yourself: after all, "cracking communities" are effectively people who don't need source code to understand or modify software.
I'm confused. The conservative position should be that libraries, being maintained by the government, have a requirement to provide any and all media requested, unless it is strictly illegal. If I and my fellow citizens ask my library to maintain a collection of literal erotica, what right do you or anyone else have to prevent that?

Isn't doing so a violation of the implied first amendment right to access to information?
What is the source of these maps? Toponyms in Crimea are shown in Russian.
Inside the Edge most likely
If you don’t get caught you win ;)
It can be built: https://news.ycombinator.com/item?id=24640878
If you posted this message on the door of a casino, I imagine not many people would go inside. What people think is: "I could be rich and never have to work again."
I am surprised the people running the table didn’t call this out. When I first played craps it was at a busy table in Vegas. I was passed the dice to roll and I didn’t throw them hard enough to hit the back wall. The people running the table said the roll didn’t count and asked that I make sure they bounce off the back wall.
How is this viscous? I mean certainly we tend to rinse and wash viscous items because we don't want our things to be sticky or covered in syrupy liquid. But the rest of your comment doesn't seem to have anything to do with viscosity.
> using it to advance your own pet position is transparent and irritating

It's extremely poor form and extremely intellectually dishonest to claim that other people said something that they didn't.

"they removed the dislike counts purely because of the ratios of the YouTube Rewind videos" is not a claim that I was making in my comment - it was clearly an example of another position with zero evidence behind it, and the fact that I explicitly pointed out that there was no evidence makes it pretty clear that I wasn't adopting it as my own position. I suggest you read comments more carefully before responding to them, especially if you're going to put words in other peoples' mouths.

> Then present your argument and evidence if you like

No, that's not how this works. I don't need to present an alternative argument. As far as I know, there's no way to present any argument because there's no evidence for them, and even if there wasn't, I'm under no obligation to present an argument while debunking another.

> treating the absence of evidence outside of a court room or a scientific inquiry

The GP was making strong claims in their post ("it isn’t hard to justify Youtube’s choices on this very specific issue", "clearly being abused by troll hordes") and it's extremely reasonable to ask for some proof. "Extraordinary claims require extraordinary evidence" and so on.
We made abstractions successfully, world changing abstractions.

Do the NAND to Tetris course and see that tech is abstractions on top of abstractions. Electronics today is frequently represented by code. Check out Verilog or VHDL.

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

Where electronics stayed interesting is in the realm where code meets reality -> robotics and art.

Playing with LED's, robotics competitions, quad copters, cosplay. Maybe adjacent to SDR. Raspberry Pi's and Arduinos.

Check out ADAFruit: https://www.adafruit.com/

or Sparkfun: https://www.sparkfun.com/

Check out sites like: https://hackaday.com/

There is also the greater cultures: Maker culture and hacker culture. Maker Faire is super interesting and has many many attendees.

I would say that in America, it is harder to work with electronics because the number of maker spaces and places you could buy parts (RadioShack/Fry's) greatly diminished, but afluent folks can definitely have an electronics hobby supplied by online vendors.

(Disclaimer: This isn't my hobby, this is just my understanding)
You could also think of reversible blocks. For example, if you had an half-adder, you each constituent gate could be thought of as doing something like erasing in normal operation. If instead the half-adder was reversible, and you perform the operation, save the outputs, reverse it, and then erase the inputs, at least you only have to pay the Landauer tax on the input bits (rather than each intermediary bit). The bigger the block, the more you save.
I have my suspicions about that, but it doesn't change the way they choose to present.
There's usually a film production or two every summer in my neighborhood because there's a lot of iconic craftsman bungalows and such. These aren't AAA blockbusters just smaller dramas or Disney live action stuff for kids.

They hire a local production company, it's usually the same company cuz they're the best here but it's a non trivial amount of money going in locally.

One of the shows paid the owner of the convenience store to shoot some exterior shots at his spot. They painted a mural for the movie, then repainted his whole building after they were done along with cutting him a nice check.

They definitely eat food from all the neighborhood spots.

There's certainly plenty of shady BS in hollywood but I think you're painting with too broad a brush.
Are you kidding me? Amazon, on their biggest day of the entire year (Prime Day), reached peak traffic of approximately 290m requests per minute through CloudFront. I would bet that loading a single Amazon page uses much less than a minute and serves more than 10 requests per page load.

If you're not going to be as big as the entirety of Amazon you don't need to serve 20 million concurrent users. Ever.
You loop the LLM with code execution, or a simulator, or a game environment. And use feedback to learn.
It’s not censorship for the voting public to decide what books will be purchased with taxpayer dollars. That’s a complete inversion of the reality.
The Gold Selling Underworld of Classic WoW
Youtuber MetaGoblin investigates the ecosystem of real money trading in World of Warcraft. Explaining demand, the supply chain and with the help of a new subscription given by a community manager he even takes a look at the underlying bots that do the tedious job of generating in-game gold.
Just a recommendation, but learn Rust first. Once you have a good intuition about mutability xor aliasing (which is what the borrow checker enforces), you'll actually write better C and C++ code should you need to.

Personally, I think Rust is the future of systems programming and there's no more reason to learn C / C++ than there is a reason to learn FORTRAN or COBOL (specifically, the reason is only ever "I need to get a job using those languages"). But, you know, feel free to take that with a grain of salt and see for yourself.

Rust isn't going anywhere any time soon given how many big companies use it, so even if you learn C/C++ first, you'll likely need to learn rust as well eventually if you want to do systems stuff.
I've found it to be pretty performant, but I rarely push it so who knows. SBCL is often good at avoiding allocations if you type hint things, which I'm usually doing when I need performance (messing around with sims mostly). But of course if you're doing unavoidably allocation-heavy work that doesn't do anything for you, so I'm not sure how much the gc hurts
"outsmart" is an anthromorphic term - no smarts in a virus. The suckers just keep mutating because their copy mechanism is buggy. If we imaging a virus that isn't as effective but isn't affected by the antibody injection, it will profit from the more effective viruses being cleared. Normally, it would be totally outcompeted, now it's the last virus standing.
whenever you walk into a casino you are constantly being watched, but the dealer isn't the one who does it
It makes me feel ill to think we eat them.
Not only are the games designed by the casinos to their advantage but if someone actually starts consistently winning, they just get banned and sometimes refused a payout. It's set up to be heads the house wins, tails the customer loses.

It is not sometimes. They will strait up not pay if fraud is suspected.
And anti-sticker movements lest their children be secretly vaccinated against the parents wishes. Schools will stop giving out stickers to grade schoolers, or anti-vaxers will push schools to require opt-in sticker permission slips without which their child cannot be given stickers.
Being a taxpayer doesn't grant you the right to censor access to information for the public at large. You'd think we would've long ago passed the simple idea of book bans, but we haven't run out of simple people yet, so here we are. Citizens are free to ban books in their own homes, versus censoring books for others.

Illinois tilts strongly to the left above I-80, so outside of a few rural western or southern counties, this is an immaterial policy change.

(i have children, and they are free to read whatever material they select from a public library)
> computers are already made by machines, just with a modicum of human involvement.

Then it's simple, we just order some machines and then we don't have to work so much. /s
But it doesn't sound like it actually happened?
Falling in or out of love is really a lot of fantasy BS though really. Disney marketing. Anyone in a long term relationship doesn’t love the other all the time, wether married or not. Marriage is about declaring to your social group and each other you’ve decided to strive and commit to something greater than yourself.
Yeah, why are the official rules of table craps part of the US legal code?
Is there any reason to think that quantum computing can fundamentally do more computation than classical computers? Consider this a leading question rather than a stupid one.
Wasn't ITA Software using CCL before their acquisition by Google? I wonder why they switched to SBCL. Right now CCL seems to be rather understaffed but this wasn't the case when they switched, as far as I know.
Besides missing the point, this is also pedantic and quite boring.
io_uring, as mentioned in the title, implies Linux.
I am tired of these comments. What is not right, this?

https://www.nature.com/articles/srep14914
The Quantum State of Affairs
SIMD support is huge, and if you're willing to do a little hacking (SBCL is very easy to extend) you can even use it without the intrinsics
Is everyone forgetting WHEN the dislike counter was removed?

It was shortly after the CEO of YouTube posted a video in which she gave herself the Freedom of Speech of the Year Award.

The video was nearly 100% dislikes.

I guess it was a coincidence that dislikes were removed "due to being abused by troll hordes" shortly afterward.
Well, they built a 58 megaton hydrogen bomb and I'm sitting here typing this so yeah, they can safely build something that can kill me. Cars are another example, as motor heads are still alive and kicking.

Whether you will survive those who control such devices is another, more pertinent question.
> this is a game designed by the casinos to their advantage.

While I more or less agree with everything you said, could there really exist a casino where players have an advantage against the casino? I feel like even a casino that tries to be perfectly fair, and make a profit on other things like food and alcohol, would eventually go belly up because they would logically attract more 'cheaters' than any other casino, even if they did their best to stop them.
The same argument could be applied to loan sharks, “ if you don’t like it, don’t get the loan” and yet this is illegal because it’s predatory behavior and I agree should be illegal.
Tree islands enhance biodiversity and functioning in oil palm landscapes
I hear this sentiment sometimes on this discussion. Even if it is true, it most often wasn't gamed.
We use the OpenStreetMap name attribute: https://wiki.openstreetmap.org/wiki/Key:name
No fork: No change.
$200k is a lot of money for many (maybe even most?) people.
North Korea intends to launch satellite between May 31 and June 11
Europe is trying to ditch planes for trains. Here’s how that’s going
Isn’t this just being good at the game?
Not following the games rules to gain a monetary advantage is criminal. If the casinos owner would do the same while dealing cards, you would be saying the same.
God _is_ a bit of an asshole though, as evidenced by :waves vaguely at all of Creation:

So that may not be an argument in favor of it being the moral choice.
It's based on the first of 3 novels by Jeff VanderMeer, although it's definitely influenced by "Stalker" and/or "Roadside Picnic".
Charlie Wilson's War was an interesting movie... but in reality, it was William Casey's War. Which created the Taliban and Osama bin Laden as well, leading to Al Qaeda and 9/11... and then Al Qaeda became an 'ally' in the effort to overthrow Syria's government. Weird, isn' it?
i swear, with the exception of china, no country has had anything remotely resembling a lockdown since early 2021. what are you still complaining about? you won, no one likes a sore winner.
The title says 'could'.
Octopuses May Have Vivid Nightmares, Video Suggests
You need to add to go keyword to change a normal function to a goroutine.
If you would remove async/await and Task/Return from the C# code example, it would perform pretty much the same as Go.

If you want to show that async/await calls are expensive, than you should have shown two code samples of C#, one with async/await, and one without.

Or could have done the same for Go, show one example with goroutines, and one without.

But I think everyone already know that async/await and goroutines has it's costs.

The problem is more that you are comparing Go without goroutines (without it's allocation costs) to a C# example with a poor implementation of async/await.
Not a lot of 9-5 jobs pay $225k for one week with four people working.
Related:

https://www.thefp.com/p/your-iphone-was-built-with-child

Does anyone have numbers of resource usage of an EV compared to, say, an iPhone?

Or, for better perspective, compared to an electric bus divided by its average number of passengers per day?

I know, there won't be a single definitive answer to the latter question.

But I think the problem with vehicles is mostly their numbers and artifical abundance.

I'm all for EVs, but against any state subsidies to purchase one.

After all, the list price doesn't even include any "externalities".

Taxing the s.. out of individual vehicles (in other words, cash the externalities) and going strong on public transport, that would be "Better for the Environment"

The current dichotomy is a self-imposed dilemma with no right answer
What is “it” and what makes you say that?
Submission statement: Quantum computing is in the unique position of having received a large amount of private investment relative to its technological maturity. This editorial poses the question of whether government funding will pick up the slack in the event of a “quantum winter.”
Ooh, the third is out?
Fraud, probably. The rules of the game require the dice to tumble.
Blindsight, by Peter Watts (free to read), is a very interesting read if that's your cup of tea (give it until they reach Big Ben). The book explore how counciousness can present itself. I don't want to spoil it - give it a read!
And yet they didn’t seem to notice right away. Dice not rolling seems like you could spot it.
There are 85 studies… The science has always been there. A Salon article hasn’t been though. Is that it?
why?

upon what basis could you possibly make this claim?
Certainly if you translate x86 machine code to RISC-V code, instruction by instruction with very little context[1], you're going to see a lot of code size expansion.

The same is not true if you take C or other high level language code and compile it to each ISA using a modern compiler (gcc, clang) with at least -O1. RISC-V rv64gc code is significantly smaller than x86_64 code. It uses a few more instructions, but a lot fewer that you'd naively expect [2], and the smaller average instruction size more than makes up for that.

[1] thank goodness they're at least figuring out (most of the time) when the condition codes from x86 instructions are immediately overwritten, so don't need to actually be calculated, as that takes a lot more work than calculating the explicit result of instructions.

[2] mostly because of common subexpression elimination, strength reduction, induction variable optimisations, and movement of constant calculations out of loops (the latter doesn't decrease code size but increases speed)
I sleep badly and I found that anything I play on my phone doesn't hand enough "depth" - whatever you'd call it - to really cover external noises. I bought a (mechanical) white noise machine, which is better, but I found that runnjng the HVAC fan was much better still because (I assume) the ducts create a much more deep and filling sound that properly overwhelms other stuff you'd hear. It's not about the volume, but the frequency response somehow.
I'm not sure I could go quite as far as super ambivalent but I can certainly get quite ambivalent about it 8)

The whole point of a casino is for the house to eventually win. That is the nature of a business. However we are also talking about gambling - the taking of odds and rules of the game and paybacks etc.

So someone outflanked the house, via dextrous skill. Now here's where it gets a bit murky: where do we draw the line between fiddling the odds potentially into your favour via skill and otherwise? I think that skidding the dice was always an available option and hence should be accounted for say with a trip obstacle that the dice must cross.

I think that skidding in this case is different than earpieces and card marking and other cheats. I also don't think that counting in Black Jack is wrong - fix the bloody game.

Gambling is often painted by the industry as a game of skill. Please don't penalise skill but do have the good grace to realize when you have lost. Pick yourself up and adjust the rules and crack on. You have destroyed so many lives over the centuries, so why not own it and grow up?
I’m not even talking about AGI. We can be in deep trouble long before that. And then where do you draw the line?

Human cloning is a distinct and clear line. Ever more clever AI agents is not.
Nothing obtained by civil forfeiture should ever benefit anyone, let alone any government office, most of all the police. I don’t know where it could go that wouldn’t be subject to abuse some how, it shouldn’t exist at all.
This wasn't unique to France. You can read (fictional) stories of similar behavior in Patrick O'Brian's Aubrey–Maturin series where Aubrey in particular is often avoiding creditors via various schemes.
_Weird_ indeed.
> Americans seem to be kindly, trusting and helpful towards members of their own sub-group, and quite the contrary to those they deem "lesser" in status - the poor, the disabled, people of color.

As a European, I can assure you we share these traits. Try asking one how they feel about local Romani, African or Syrian refugees, foreign beggars, etc.
In my travel experience, using a plane requires: 30-60 minutes to get to the airport, 60-120 minutes in the screwing around in the airport, a flight, 30-60 minutes screwing around in another airport and then spending 30-60 minutes getting from the airport into the city. That's like 2.5-5 hours in addition to the flight time (which includes pooping about on the tarmac). So a car (N America) or a train (Europe) is a greatly preferred alternative for 2-4 hour travels, possibly longer. And the stations are usually already downtown.
My understanding of developing health systems (who stand to benefit the most from this) is regrettably limited but colleagues who participate in global health initiatives tell me that material costs are the biggest barrier rather than local labour which is relatively cheap in these economies.

Perhaps I'm a bit too jaded but I'm always skeptical of [new drug delivery technology for old medicine] as being a cash-grab since this is almost certainly more expensive than injections.

It's more that I'm pleasantly surprised this will greatly simplify the supply-chain and hopefully offset the added unit cost in a non-insignificant way, in addition to making delivery of care easier and the other benefits you mention.

Painless is nice but a subcutaneous injection isn't really that painful so I'm skeptical payers will see the value-proposition for that benefit in isolation if the vaccine costs substantially more per dose. As an example we've had intranasal flu vaccinations for a while now but my hospital still gives me the injection every year, presumably as it's cheaper.
Dentists are the ones who are pro-fluoridation … at least it was a dental trade group that fought the release of this report (maybe they are funded behind the scenes by a different interest group)
Australian buildings generally have "G" for "Ground" level (or something similar), then level 1 above that, so they're basically 0 indexed.
Use webcam from laptop on desktop PC
Focus on history books around events and people, not theological works.

The Vedic period.

The decline of Rome and rise of Christianity from Judaism.

Scandinavia's gradual conversion from paganism to Christianity.

Charlemagne, the Great Schism and the Holy Roman Empire.

Late Vedic period when Romani left N. India.

Dhimmi of the Caliphates and Ottoman Empire.

Massacre of the Cathars.

First Sichuanese massacre by Kublai Khan.

The Mongols' laws regarding faith.

Spanish Massacre of Jews in 1391.

Martin Luther nailing his theses.

Massacre of Han/Sichuanese by Jingxuan.

Henry VIII.

Bloody Mary.

Brevísima relación de la destrucción de las Indias (in Spanish, or an English translation).

Dzungar genocide of Tibetans by the Qing.

Armenian massacre.

Holocaust.