skysight-inc/HackerNews huggingface dataset:
In my experience, strong human players can consistently keep track of random-bags and plan out holds, and do so at surprisingly high speeds.

I'm not sure if a computer SAT-solver is needed to accomplish any of the tactics in Tetris-Guidelines.

Maybe it'd be a fun exercise, like using SAT-solvers on human-level Sudoku puzzles. Or for maybe inventing "harder" versions of Tetris, designed for computer players instead of human players.

-------

I've given some degree of idle thought in how a SAT-solver can maybe discover patterns that would help an intermediate-player develop the eyesight / instincts that strong players have. (Ex: SAT-solver to see the patterns an intermediate player is using, and then analyzing which patterns the player doesn't see yet).

Its a vague / idle thought however, I never seriously attempted to solve the problem. But "training exercises" exist in many video games, and developing tools for human-training / self-training are always useful.

Ex: if a SAT solver could see that the human _COULD_ have performed a King Crimson at some point (https://harddrop.com/wiki/King_Crimson), but the human-player made a mistake and only saw an easier TSpin-Triple setup instead (https://harddrop.com/wiki/T-Spin_Triple).

Such "computer automatic advice" into which elements of your play was possible, and solving it automatically (and determining if it was a good strategy or not) would be very helpful in training.
By reporting I actually meant showing images, sorry my bad. However I'm pretty sure it was during the 2nd gulf war, not the 1st.
That's the standard every other platform has moved to. If I buy a game on the play store I can use it on any android I own. If I buy Banjo Kazooie on the Microsoft store I can play it on my 360 or Xbox one or series x and probably the next five consoles Microsoft puts out. Nintendo's rabid anti-consunerism will bite them one day.
Once they know how inappropriate you are they will be able to discontinue service for their most problematic users. History of using objectionable language in your gmail, texts (for Android users), and gmail? Maybe some of Google's activist employees will decide the company should discontinue service for the bottom X percentile of users.
Why not a two person crew deployed UUV with an explosive payload? Like an autonomous torpedo. Something one could transport in a pickup truck.
My first idea was namecheap + an email provider, but I'd like to recommend a service where you don't even have to think about spf, dkim, dmarc.
I think Netflix has honed in on the "have something for everyone" strategy. Just about everyone has a show they like on Netflix, but for most people it seems like there's only a few. On your list I only liked Ozark and Money heist, plus Bojack. Meanwhile HBO creates a great show every year, and actually renews their stuff. Disney is a necessity for kids. Apple TV+ costs 25% as much. It really feels like netflix has diversified far too much, and now people are realizing that there are cheaper options that just make the stuff they like.
Straight up: it's too expensive.

At $8-10/month it was an always have whether I watched it or not, particularly before all the "me too" balkanized streaming platforms limped into existence.

I understand that in this changing world, Netflix needed to produce original content. IMHO how they went about it was completely wrong: they just threw money at the problem and that's just not a way to effectively create good content.

A really hard problem to avoid is to have all your content feel a bit "same-y". Netflix has this problem. They have a proclivity for one-word names (some executive think sthey'l be easier to remember), for example. Your favourite restaurant can get this way too.

Here's what they should've done: create studios to make independent localized content for particular languages. Have a studio in Spain (and probably Mexico) producing Spanish-language TV aimed specifically at Spanish speakers. The indepedent part cannot be ovverstressed.

But here's where scale comes in: for content with wider appeal, you dub it and push it to a wider audience. Some of Netflix's most interesting content has been foreign language (eg The 3%). So Netflix is doing this to some degree but it's not their core strategy. Instead they're seemingly spending most of their money on big-budget productions. Movies in particular are a loser (IMHO). Theaters is what makes movies profitable.

For some reason the voice actors that end up getting used for dubbing are (IME) universally terrible and it seems to be like the same 8 people. They're awful. This could be done so much better.

The point here is that lower-budget locale-specific content is likely to be more appealing and what becoems popular is a good indicator of what might have wider appeal.

But anyway, Netflix is now $15.50/month for HD (who is going to pay $9.99 for 480p?!?!? Or $20/month for 4K?!?!). That's more than HBO and HBO is still way better at producing original content and has a much deeper library of such content.

Personally I'll now just sign up to Netflix for 1-3 months a year to catch up on things I care about instead of having it all the time.
Last British Steam for Raj [pdf]
I wonder if other studies like this have been done with other infections?
I suspect that many infections lead to worse outcomes for surgery. In this case it would be most interesting to see how this manifested. Was it blood clots, heart or organ failure or just undefined cause of death.
My understanding is Netflix does not pay in RSU's, they pay all cash. This has been one of their main draws.

To answer your question, using Meta as an example, nothing happens. The employees are exposed to both the upside and the downside of RSUs.
See also:
https://news.ycombinator.com/item?id=20872110

"A history of Tetris randomizers (2018)"
Anything more than 45 minutes is too long.
I'd be curious to know what the current average q ratio is for the median size home, both in terms of BOM and labor.

I've talked to hundreds of contractors personally, so I have some skin in the game. I frequently get quotes that are orders of magnitude apart, so I have a great suspicion that there's just tremendous slack in the housing market.
T-Mobile subsidizes Netflix. I was paying $3 per month for Netflix. This morning I got a text from T-Mobile warning me that they were about to start charging $4.50 a month. After getting the text, I thought about how often I watch Netflix and realized I haven't watched a single thing in the past month. Subscription is now cancelled.

Price hikes, lack of quality content, and increased competition are going to hurt Netflix in the long run. I find myself watching quality shows on Apple TV+ and HBO Max.
> But high school should provide that.

No argument from me
Atari token falls 70% just days after public sale concludes
No I don’t think that argument holds. A hand out is not a loan. It’s also possible that even if loans raise home prices, that there’s a floor to this effect if loans are shrunk.

Many companies and people buy homes currently for investment rentals. They’re competing with homebuyers. Strictly speaking I would expect the share of homes owned by landlords to rise even if prices fall.
This reminds me of a wonderful mathoverflow answer about desirable properties of math notation, authored by none other than Terrance Tao:

https://mathoverflow.net/questions/366070/what-are-the-benef...
> The Magic Mouse and the Apple TV remote from a couple years ago are two of the most beautifully-crafted examples of bad input devices that you can possibly find

I love this. Yes, those were horrible. The current Apple TV Remotes with the touch surface area is practically unusable by any but a twitch video gamer. Every time I watch my mom try to select anything I'd see her try to push the button and the touch surface would end up moving the selection. Eventually i bought her a 3rd party remote so she could stop being constantly frustrated.

It's really hard to believe apple actually tested this with real people.
Here is one Russian meme from 1973: Cartoon (1973) - Submarine Neptune discovers a fascist ship marked "Z" (English Translation) https://www.youtube.com/watch?v=g5GlDj016Io
There's the serverless framework which is easy to use and there is terraform which is more powerful.

Relevant: https://xkcd.com/927/
You said that America became a superpower because it had a lot of people, unlike Canada which had comparatively few people.

To which I added that America was different to the countries in Europe that had large populations as those large populations were busy cleaning up the mess made by several wars that took place during the rise of America.

It stands to reason that if your people are busy cleaning up, they aren't moving you forward. There is only so much time in the day. That's a tremendous advantage America had alongside its large population.
I believe this side of the debate is way too exaggerated. I really dislike this language policing, but slippery slope is a logical fallacy for a reason.
Go Woke Go Broke, that's how it goes.
Same question from me. I have been meaning to cancel it because the content is just lacking. What am I missing?
Sure did! Many of the original comments were tough but fair, and I appreciated that. And if you play around with it some more and end up feeling like it's still rough around the edges, don't hold back.
With mystery auction winner, .sexy prices go from $25 to $2,500
There's a new acronym - by the same TV host - that doesn't include Netflix: MAMAA

https://fortune.com/2021/10/29/faang-mamaa-jim-cramer-tech-f...
How do people here see quality content (I happen to love the more innovativ and artistic stuff) without subscribing to all these different services?

Netflix seems to have the best general collection for my tastes - genres, various countries, etc. I read about things on other services, but I am not subscribing to everything.
> It will be cheaper to write an AI to coordinate those attacks, rather than building larger engines to break the hypersonic barrier.

'Cheaper' has to factor in all costs, including salvo launching platforms and logistics. Not everyone has (as you speculated on in another reply) an abundance of aircraft carriers and their F-35 squadrons and those that do will still place a high value on having the choice. This is why those than can are all developing hypersonic weapons and no amount of arm chair theorizing will stop it.

In any case, my original question, prompted by our brand new Moskva data point, was can surface ships be protected? They've already proved vulnerable to existing anti-ship missiles and the future will inevitably include hypersonics and flocks of AI missiles and anything else we here can dream up to make already poor defense even less viable. The implication being that they can't, and that this is the important question. If one seeks a clever way to save money perhaps the costly floating targets that are large surface ships should be at issue.
Interesting. Not the case in the UK!
Are there any improvements in there that would allow for more efficient bytecode interpreters in WASM?

As far as I understand, something like e.g. a high-performance JVM would be hard to do in WASM due to its machine's Harvard-like architecture.
I'm not sure what's more authoritarian, the "authoritarians" that you decry, or the implication that we should educate people so they vote on the correct side of the "voting divide".
https://simon.lc/the-history-of-tetris-randomizers
Check out knative, it’s used for Google Cloud Run: https://knative.dev/docs/
And 8 year olds across the world collapse in giggles every time this story is mentioned. Similarly to the discovery of a ring…
Well, this show ML models should receive the scrutiny regular software. But of course regular software often doesn't receive the scrutiny it ought to. And before this, people commented that ML was "the essence of technical debt".

With companies like Atlassian just going down and not coming, one wonders whether the concept of a technical Ponzi Scheme and technical collapse might be the next thing after technical and it seems like the fragile ML would more accelerate than stop such a scenario.
A bit OT: Simple frequency counts (this page, @ 104 comments).

Netflix -> 103
Apple -> 39
HBO -> 24
Disney -> 19
Amazon -> 14
Hulu -> 5
The Apple TV+ catalog is not very deep, but the quality of what they have is really good. It was easier to find something really good to watch on Apple TV+ than Netflix, and I think that's just a consequence of them having far fewer shows, but generally very high quality shows. Their catalog is so small that I'm out of things to watch.

I never would have signed up for them if a subscription hadn't come free with my MBP. Now that the machine is a year old, the free subscription has expired, I cancelled it. I'll pick it up again in a few months when there are new seasons of what I watch.
https://cloudflare-ipfs.com/ipfs/QmYqh8z4hoFhJPko6TvjBEWQqGZ...
I've just found another publisher of classical interlinears: http://www.classicalbooks.co.uk , and a journal paper about it from the proprietor, "Using translation-based CI to read Latin literature": https://www.cambridge.org/core/journals/journal-of-classics-...
This sort of thing comes up a lot in card games like mtg. Some players are convinced they're naturally unlucky. I like to phrase it as "bad decks get bad draws". To improve one has to be luck oblivious: improve what you can, accept what you can't. Bit of a serenity prayer approach
Remember times when one spent $15 on video rentals on a month.

(Not sure what video rental prices were globally.)
Funny enough, I have both XPS 13 and X1 Carbon, one bought by myself, another by my previous company. Have no complains about any за them, both are solid high quality machines. Like the X1 keyboard more because of longer key travel.
I think you've hit the nail on the head with their strategy. The problem is that when 80% of the stuff they create is content that there is no chance I'd enjoy I'd prefer to just go to a streaming service that focuses on the content I want to consume. Netflix's strategy works when they have a tech advantage, but now that there are other players in the game Netflix is too expensive for the amount of content they create for each person to enjoy. They only way to justify it is to split between like 5-10 people imo, which they are trying to crack down on.
How does a red squiggly line make a problem here? In a non-English language I get tons of false-positives on actually correctly written words and I just either ignore them, or “add to dictionary”. I assume dismiss or something similar is just as easy to do here, it really doesn’t worth raising our heart rate over.
Squid Game and Tiger King (which has a second season right now BTW) were huge. Stranger Things was huge and keeps promising (but not delivering) a fourth season.
It should be totally deterministic with the use of random seeds, I think.
We're an FDA regulated medical device startup, with a pretty low budget for the moment. Our current setup is two pronged, in-house, and automated.

The first piece is the specification documents, which are simple word docs with a predictable format. These cover how the software SHOULD be implemented. From these documents, we automatically generate the mission critical code, which ensures it matches what we say it does in the document. The generator is very picky about the format, so you know right away if you've made a mistake in the spec document. These documents are checked into a repo, so we can tag version releases and get (mostly) reproducible builds.

The second piece is the verification test spreadsheet. We start this by stating all assumptions we make about how the code should work, and invariants that must hold. These then are translated into high level requirements. Requirements are checked using functional tests, which consist of one or many verification tests.

Each functional test defines a sequence of verification tests. Each verification test is a single row in a spreadsheet which contains all the inputs for the test, and the expected outputs. The spreadsheet is then parsed and used to generate what essentially amounts to serialized objects, which the actual test code will use to perform and check the test. Functional test code is handwritten, but is expected to handle many tests of different parameters from the spreadsheet. In this way, we write N test harnesses, but get ~N*M total tests, M being average number of verification tests per functional test.

All test outputs are logged, including result, inputs, expected outputs, actual outputs, etc. These form just a part of future submission packages, along with traceability reports we can also generate from the spreadsheet.

All of this is handled with just one Google Doc spreadsheet and a few hundred lines of Python, and saves us oodles while catching tons of bugs. We've gotten to the point where any changes in the spec documents immediately triggers test failures, so we know that what we ship is what we actually designed. Additionally, all the reports generated by the tests are great V&V documentation for regulatory submissions.

In the future, the plan is to move from word docs + spreadsheets to a more complete QMS (JAMA + Jira come to mind), but at the stage we are at, this setup works very well for not that much cost.
Your video store lacked a recommendation engine. IME, it completely transforms the discovery process. Look at a list of random content without a recommendation engine, and you may realize how accustomed you may have become - for me, 99% is laughably, depressingly, completely uninteresting.
If you want to test a strategy against an adversarial tetris opponent: https://qntm.org/files/hatetris/hatetris.html

The method by which the AI selects the worst possible piece is extremely simple to describe (test all possible locations of all possible pieces, see which of the pieces' best-case scenarios is the worst, then spawn that worst piece), but quite time-consuming to execute, so please forgive me if your browser chugs a little after locking each piece. If you can figure out a way to accelerate the algorithm without diminishing its hate-filled efficiency, do let me know. The algorithm for "weighing" possibilities is to simply maximise the highest point of the "tower" after the piece is landed.
How is it better? I'm curious.
The Psions really felt ahead of their time. I got a Revo for Christmas and good luck convincing 12 year old me he wasn't James fucking Bond.
Netflix is an outlier because they pay mostly cash. But I'm currently at a different company that had a huge stock dip, and during the perf review they gave top performers a huge stock refresher (enough to get them back to their original TC, sometimes more). And well, if you didn't get one, that's like the company saying you're worth X% less now.
You don't think people care about $120 a year? The average American can't afford a surprise $500 expense. Netflix is in most households in America. These aren't just white collar workers with money to spare. I think people are extremely price sensitive when it comes to entertainment.
Most? Maybe. Certainly not all.
Power10 has prefixed instructions. These are essentially 64-bit instructions in two pieces. They are odd even (particularly?) to those of us who have worked with the architecture for a long time, and not much otherwise supports them yet. Their motivation is primarily to more efficiently represent constants and offsets.
Congrats! If you decide you want to monetize this, truebill sold to rocket mortgage for something like a billion dollars. I could see your features supplementing their current product nicely.
There are many countries this could apply to. For example, landlord, as in someone who rents out a property is considered gender neutral here in Ireland. The term landlady exists, but is only used for female publicans, and only rarely, as publican and vintner are both used more frequently in that context.

"Guys" is mostly male oriented, but wouldn't be unheard of for a mixed gender group, and similarly "Lads" here is often gender neutral despite it being the most male of working class male stereotypes in the country that is our nearest neighbour.
I'm not sure we've all stopped using it, have we?
> One of the issues is how much Netflix content just reflect whatever crap is a fad in California politics. I am not even from US, I don't want to hear about Californian political themes in the media I consume

What are some examples of this? Of all the issues Ive seen people have with Netflix, this is definitely a very new one.
Netflix Estimates More Than 100M Non-Paying Households Use Shared Passwords
It’s not “context”. Context implies a universal truth or law of nature level of absolute. This is a highly subjective, fundamentalist, quasi-religious definition of “context”.
I'd genuinely like to see the data on that for younger millennials and gen Z. From what I've seen, employers will keep their older staff at higher compensation rates, but will not match them for new employees, reducing their labor expenses across the board with new generations of workers.
He is probably going to buy more, Netflix is in deep value territory at $260 per share
“#msnbc”

Am I the only one who finds tv network fanboyism bizarre? I can see having a preference for news source, but to spend personal time promoting a news channel seems like a peculiar affectation. “Go #CBS news! #andersoncooper”
Well… the 737MAX seems to suggest it doesn’t catch all the bugs.
If you find this interesting I'd recommend Florian Cajori's "A History of Mathematical Notations" (1930; I have the 2 volume combined one reprinted in 1993).
> a family can only have a handful of subscriptions

My kids beg to differ.
Postgres dump and restore tooling is very poor performance-wise , easily 10x slower compared to SQL Server. I love Postgres dearly and prefer to use it despite that, but I wish Postgres devs renewed their interest in improving neglected dump/restore tooling.
> but the people involved trying to pretend they weren't is ehhhhhhh

Nothing wrong with removing information about yourself in some random online profile. When the only thing that is coming from that is angry people yelling at you, I'd just as soon do the same thing. I'd get awefully bored of repeatedly pasting something like, "Per a legal agreement I have with my former employer I cannot comment on this issue," and then blocking the sender for their inevitable rage-reply.

Better to just let the rage subside and then quietly add that back in your profile so you can tell a good story about an acquisition gone wrong in a future job interview.
Soft agree. If you're in STEM you actually learn things (or you don't pass). Those were the only classes that challenged me; the only ones from which I took anything more than trivia.

But college was realllly fun.
> Surgery performed ≥ 7 weeks after SARS-CoV-2 diagnosis was associated with a similar mortality risk to baseline (odds ratio (95%CI) 1.5 (0.9–2.1)). After a ≥ 7 week delay in undertaking surgery following SARS-CoV-2 infection, patients with ongoing symptoms had a higher mortality than patients whose symptoms had resolved or who had been asymptomatic (6.0% (95%CI 3.2–8.7) vs. 2.4% (95%CI 1.4–3.4) vs. 1.3% (95%CI 0.6–2.0), respectively).

https://associationofanaesthetists-publications.onlinelibrar...

I'm really curious, is this surprising? How would these numbers look like for people who had a bad flu and were bedridden for a few weeks?
> but should work the same at the infrastructure layer in a year

Serious doubt, there. This brave new world seems to be entirely focused on making it an incredibly fragile world with your code scattered to the winds. It's bad enough dealing with library semver breakages in a monolithic app. I can't imagine tracking a dozen serverless functions running god-knows-where with whatever resources some cloud service decides to allocate for you today. Billing is opaque as a black hole. Which I'm sure is more a feature than a bug, for these cloud providers.

> and auto-scaling happens automatically.

wheeze