skysight-inc/HackerNews huggingface dataset:
Chief, it does not have to be this hard. 3.4 clearly states:

This anomaly occurred even with read concern snapshot and write concern majority

3.5: In this case, a test running with read concern snapshot and write concern majority executed a trio of transactions with the following dependency graph

3.6: Worse yet, transactions running with the strongest isolation levels can exhibit G1c: cyclic information flow.

3.7: It’s even possible for a single transaction to observe its own future effects. In this test run, four transactions, all executed at read concern snapshot and write concern majority, append 1, 2, 3, and 4 to key 586—but the transaction which wrote 1 observed [1 2 3 4] before it appended 1.

Like... if you had read any of these sections--or even their very first sentences--you wouldn't be in this position. They're also summarized both in the abstract and discussion sections, in case you skipped the results.

4.0: Finally, even with the strongest levels of read and write concern for both single-document and transactional operations, we observed cases of G-single (read skew), G1c (cyclic information flow), duplicated writes, and a sort of retrocausal internal consistency anomaly: within a single transaction, reads could observe that transaction’s own writes from the future. MongoDB appears to allow transactions to both observe and not observe prior transactions, and to observe one another’s writes. A single write could be applied multiple times, suggesting an error in MongoDB’s automatic retry mechanism. All of these behaviors are incompatible with MongoDB’s claims of snapshot isolation.

It's OK to stop digging now!
Pubmed has needed an upgrade for at least 15 years. The fact you could search for the exact article title in the old version and never find it says a lot.
recent comments, https://news.ycombinator.com/item?id=23058716
Okay, everything in your lengthy post was exactly NOT what I was seeing. And I finally figured out the reason for it: the site behaves completely differently if it doesn't think the browser accessing it is running on Windows. Then you get the actual installers for download. But if it DOES think you're running windows, the site hands out the wrapper executable. My guess is that the wrapper only works on Windows and they don't want to appear broken for users on other operating systems.
Delivery cost is different in that you normally avoid it as a customer if you go in person. So it's not actually abstracted away from you. You can't avoid their rent, wages, etc.
You are the one who jail-breaks the phone, but now third party apps you install can have much more unprotected access and you cannot be certain what they are doing behind your back.
I think your being facetious, but in case not I'll emphasize that you it is indeed terrible. The way these predatory companies go after restaurants until they're added to the roster or create fake restaurant websites and phone numbers is ridiculous.
It's safe to assume Apple will not be embracing a permanent shift to remote work.

2million sq/ft of glorious open floor plan seating.
I bought a 2400G last year, which I've been pretty happy with - but I'm very much looking forward to dropping a 4xxxG into the same socket later this year!
I’d recommend something more like $0.25/order and a $10/mo minimum. You are going to have per-order costs and the restaurant is almost surely happy to realize that and pay them.
Citation needed. I never see the same level of dedication in big Google or Facebook projects as in well run smaller projects like SQLite.

You are directly rewarded for "new" features (i.e. plagiarizing or rewriting old ones and selling them as new).

So I don't think the engineers are particularly talented, and the incentives are not the same as for SQLite.
What really boggles my mind is to consider the next "milestone". The US lost 116,516 in WW1. We're probably less than 2 weeks from reaching that on paper, and probably past that in blood.

We passed 9/11 (on paper) on Mar 28. We passed Vietnam (on paper) on April 20. We're now passing WW1. This is the true scale that's completely evading our imaginations.
Golang Screencasts
> > the average person doesn't understand that types exist in dynamically-typed languages

> Again, this is needlessly uncharitable as to what people mean when they talk about type systems, which is obviously about the capabilities of defining new types for program analysis, not that the runtime has an internal conception of types.

There is nothing "internal" about the example I gave. That's valid Python code that creates a type.

My definition (which happens to be the actual definition of the word) charitably assumes that people know dynamic type systems exist, so I don't think you can really accuse me of being uncharitable. If anything I'm being too charitable, as evidenced by this conversation.

> Sure! Looking at this, I have no idea what the size of side_length is, whether it's possible for it to be negative, or whether it's possible it to be null.

> Of course, unless you're writing purely square based software, most domains are more complex than this. But I still think it's pretty helpful to know the properties of the parameters being passed to build your square are!

Do you really not know whether side_length can be negative or null? Or are you just saying that to be argumentative? If we're pretending we don't know obvious things, why not just go all the way and pretend we don't know that side_length is a number?

As for not knowing the size: why would you want to have to know the size? The fact that this square will work with any numeric type is a feature, not a bug.

Now, consider this (disclaimer: my C++ is rusty, and I didn't syntax check this):

class Square: Rectangle {
private:
double sideLength;
public:
Square(double sideLength) {
this.sideLength = sideLength;
}
}

Let's evaluate this based on your complaints about the Python example:

1. The size of sideLength. Well, yes, this example does tell you what size it is. Which is rather annoying, since now you have to cast if you want to pass in an integer, and you might overflow your bounds. This is an annoyance, not a feature.[1]

2. We know that sideLength can't be negative because we know what squares are. The type doesn't enforce that. You could enforce that by using unsigned int, but then you can't handle decimals. And in either case, you can't use very very large numbers. I haven't worked in a static typed codebase which has an unsigned BigDecimal type, have you?[1]

3. We know that sideLength can't be null because we know what squares are. The type system technically also tells us that, but the type system telling us what we already know isn't particularly useful.

[1] Haskell's numeric type can actually handle this much more cleanly than C++, as I mentioned upthread. But in typical Haskell, you'd probably just let the types be implicit in a lot of cases.
Show HN: Pixelizator – Quick and Easy Image Pixellation
Suggests to me that perhaps the local pizza joint should get into that same game.
Completely agree. I think you can even ask just 10 per month.
A team of 20 people is sufficient to run this entire business.
I think you'll find the people in charge of automation have no programming background at all. They're likely new grad product managers hopped up on Adderall with no incentive to reflect on the unintended consequences of their decisions
This reminds me of the old SOE/school hotels in China. They generally provide less service than the dedicated hotels, and feel a bit archaic, but that might have just been the era.
Seven Words That Inspired the Writing of a Great American Classic
Apple's "walled garden" experience depends heavily on controlling as much of the software that gets into the user's hands as possible. Web applications just don't give them the control they want.

I wouldn't be surprised to find that if the app store hits some critical mass in terms of offerings that they decide to just get rid of a all mobile browsers. Christ I hope that doesn't happen...
Am I a Graphomaniac?
I wanted to incorporate MongoDB into a C++ server at one point.

Their C/C++ client is literally unusable. I went to look into writing my own that actually worked and their network protocols are almost impossible to understand. BSON is a wreck and basically the whole thing discouraged me from ever trying to interact with that project again.
No, the issue is that the incentives are wrong (features, features, features for promotion) and indeed the engineers (on average) are not that talented.
And that alternative is what? you run no software on your computer? Native apps have way more access to your system then a webpage so I'm glad there are 100s or 1000s of web apps I can run rather then being forced to install native apps to get the same functionality.
Ignoring marketing won't help, since the restaurants aren't inventivised to promote your app. There's huge opportunity cost switching away from the incumbent apps, too much risk for most businesses.
They could add a museum of Apple stuff so that true believers can go there on holiday. Disneyland for Apple enthusiasts would be a revenue earner, you could go there to buy new Apple goodies to spend quality time at the genius bar.
How to Write Fantastic Fiction
Pretty much the only thing I use my banking app for is for making purchases using my phone.

(something not done with a laptop)

There is no spending limit. Protection is important.

You're making a poor argument based on nothing more than a loose generalization.
> The measures we are taking will kill far more than the disease itself

You're comparing (cost of measures) to (cost of disease after taking those measures), which is a nonsensical comparison. It's like saying "parachutes are too expensive; almost no one dies from skydiving!"

How many people would die from skydiving if skydivers stopped using parachutes but continued to skydive? Am I a charlatan if I give a rough number?

Surely there is a continuum of uncertainty between the skydivers and "it's impossible to know." Surely diseases can be modeled, and those models used to predict outcomes with various degrees of uncertainty. Surely those predictions have meaning.
No, there is not. See the article, and https://en.wikipedia.org/wiki/File:Sinclair_Scientific.jpg
While we may not be able to know those exact costs we can get close.

I know that a restaurant in an upscale mall is paying more for rent. I know the minimum staff costs depending on the city they’re in (minimum wage).

What I don’t like is that these companies will flaunt “No delivery fee!” And then in the cart you see a $5 “service fee”. Okay, what’s the difference? Who is actually getting that money? Is any of it going to the driver? The restaurant? All of these factors would help me decide which platform to use, which restaurant to order from, and how to tip.
Perhaps this is partly driven by COVID. A hotel is a great isolation facility. Having one for essential staff would be a massive benefit if you need them close by at short notice.
To add to the information in this story (because I live in the neighborhood), there aren’t a ton of hotel options nearby, and all of the hotel options nearby are along the non-toll road freeways and all require a drive or ride share.
You could start with teaching what you know.

I've been doing that with https://alchemist.camp (screencasts for learning Elixir), and it's been a great side project. It's pushed me to learn more than I would have otherwise, built up a (small) profile online and generally lead to good things.
I've not actually used it yet because I haven't really needed to but I hear a lot of good things about Everything -
https://www.voidtools.com/

Windows search still sucks and is broken so it seems like a good alternative.
Yeah sorry. Text doesn’t carry tone well. I’ve added a trailing /s now.

I feel for every business that’s hurting right now, especially the small business restaurants that have been a staple in their local community. That has limits though, which fall short of barring “if someone else can package up directory services and make a buck off it, they should be able to, because that makes life better for consumers and I care about consumers more than businesses.”

Yellow pages used to charge what I considered obscene rates for ads before the internet. What did they do to deserve thousands of dollars per year from my local plumber? He’s the one who actually got in his truck, got dirty, and fixed my problem! Well, they’re the one who helped me find him...
I have a Tuxedo Infinitybook pro 14 v4, fully maxed out. I love it. It's dirt cheap and everything works out of the box. I was a little concerned about moving from Mac to Linux but I can sync my phone, I can print, I can connect to all my bluetooth devices, external displays work nicely, it sleeps properly, battery life is Ok...
I simply reject the label of "predatory" here. Restaurant owners are sophisticated businesspeople who negotiate supply contracts and such as a matter of course; it's not predatory for delivery apps to offer them a deal, even if they'd prefer a better one.

The fake phone numbers and websites, yeah, I'll grant you those are dishonest. Anyone calling a restaurant's listed phone number is expecting to reach that restaurant.
I expect several airlines have something similar already - Cathay Pacific operates its own on-campus hotel for crew based elsewhere: https://www.headland.com.hk/
I agree. MongoDB has large numbers of peculiarities that you better know before you buy in. It is definitely not so rosy as advertised. In particular it seems the product is not mature (especially if you come from Oracle world) and the features seem slapped on as they go and not thought through.
Flatcar Linux – Linux for containers [CoreOS drop-in replacement]
> To a first, and second, and third approximation, bureaucracies are distributed computing systems; procedures, laws and bylaws are code, bureaucrats are the computing units.

Having spent a fair amount of time working in various bureaucracies, and studying law and government administration, that's very much not true. It's very much the idealized view that many people outside of bureaucracies have of them, especially people in computing, but it's very much not a good approximation of most real bureaucracies, or their governing law and regulation, because the latter usually is written in a way which deliberately relies heavily on discretion within (often deliberately fuzzy) constraints rather than seeking to provide deterministic rules for outcomes, and in many systems regulation is actually written by the bureaucrats enforcing it (who also tend to have disproportionate influence on shaping the actual law).
Analyzing the Simplest C++ Program
If you're willing to include dynamic types, then I really don't know what you're even talking about. Literally no language I know of doesn't do validation at runtime: assembly does type validation at runtime (try dividing by zero).
Ok, maybe not easy to do, but easy to justify. Why not get rid of an expensive senior dev and replace them with someone fresh out of school? They typically can work more hours (no kids) and can do 80% of the work for 50% of the pay.
And an eraser stick with the option to disable the trackpad in the BIOS. This is what keeps me coming back to Lenovo.

EDIT: This is not intended as a shameless plug for Lenovo, I just have so many false touches with trackpads, and I wish eraser sticks were more common, outside of a diminishing percent of Lenovo and a small percent of Dells.
We should have more courage and attempt big things.

Like writing the program we already wrote....again.

We take this option off the table. Cannot rewrite. Definitely not in a safe language! Surely we have ceased to dream?
The problem is that you are equally likely to get a BBBAAA ordering which would give you the same Type 1 error as AAABBB in the case where A and B have the same distribution.

The main key to remember when deriving a p value is that you are computing the probability of seeing an outcome at least as extreme given the null hypothesis, not the probability of seeing your particular outcome.
Peer review is something I've been thinking about a lot lately as an outsider. I've never gone through a formal peer review process or worked in academia, but it's pretty obvious that the process has significant problems.

However, the problem that peer reviews are trying to solve (conferring legitimacy on a paper by the scientific community) is so important that we can't give up on it. Sure, pre-print servers mean science can move faster, but it also means anything can be "science." If we normalize publishing papers as preprints, there's very little stopping conspiracy theorists from publishing a paper and having it look plausible.

The sudden rush of media coverage for COVID research has really exasperated the problem. Journalists should responsibly cover preprint studies, but frankly most don't, and who can blame them when even the scientific community is struggling to review the papers itself.

I volunteer with a group[0] that's trying to address this problem in a small way by creating visual summaries/reviews of popular preprints for mainstream readers. This is a side project, so the review process is just a shared Google doc for each paper, but what I'd like to see:

As a reviewer:

* View diffs between paper revisions
* Comment on papers inline, like a pull request
* +1/-1 a submission, or just leave questions without a decision
* Gain "karma" for good reviews to build my reputation in the community (like Stack OverFlow)

As a paper author:

* Reply to comments to understand and explain context
* Post revisions

As a reader:

* See visual summaries of papers, with inlined reviews (like Research Explained)
* Vote on both studies and reviews to surface the good ones
* Browse profiles of authors and reviewers to understand their qualifications/contributions

I do think https://distill.pub is on the right track. Their papers are significantly more visual/readable than most, and they require contributors to open a pull request against the distill repo. However, their process isn't approachable for non-technical fields.

[0]: https://www.researchexplained.org
I've had a lot of experience in and around this looking after both my grandparents. Would be great to learn more about your experience and what you've got planned - would you be interested in a chat?
https://news.ycombinator.com/newsfaq.html

"Please don't post comments saying that HN is turning into Reddit. It's a semi-noob illusion, as old as the hills."
From UpToDate:

In the general population without a personal history of VTE, a study involving 1690 unrelated individuals from Europe found a prevalence of FVL of approximately 4 percent, and a study involving 356 individuals from Canada found an incidence of approximately 5 percent [47,48]. In a series of 4047 men and women participating in the Physicians' Health Study and the Women's Health Study (both in the United States), the following frequencies for FVL heterozygosity were found [49]:

●Caucasians – 5.3 percent
●Hispanic Americans – 2.2 percent
●Native Americans – 1.2 percent
●African Americans – 1.2 percent
●Asian Americans – 0.45 percent

A higher prevalence of FVL (12 to 14 percent) has been reported in populations in parts of Greece, Sweden, and Lebanon

Compared to a more likely cause for thrombophilia in the patient population, ie inflammatory response, endothelial damage, up regulation of clotting factors; I think focusing on factor V Leiden (and I’m speaking just as a clinician, not as someone who has had to work with covid patients, we’ve had relatively SFA here in Australia thankfully) is a footnote.
And any patient who is admitted is going to be on anticoagulants anyway, nullifying most of any procoagulant effect of FVL in hospitalised patients.

It might show up in the data, it might be a footnote, but treatment would be covered under normal VTE prophylaxis (and seems like many protocols are now stepping up fairly significantly the prophylaxis regime)
> And so the next step would be to actually throw out the written word and replace it with actual code.

That is, indeed, that natural conclusion of the deeply flawed premise that law and regulation are basically computer code written by programmers who have to contend with buggy, sometimes malicious, computing units.

But other than the fact that the word “code” is often used in reference to each, law/regulation and computer code are not the same kind of thing.

> Why let "government code" be subject to all the shortcomings and pitfalls of natural language when you could just use cold hard logic and exact math instead?

The fuzziness in law and regulation is very rarely anything close to minimum required because you are dealing with natural language, and very often deliberate to create room for flexible application. And there is a strong overlap between the places that that is least true and widely perceived gross injustices in the law.

> Natural language is just programming for humans, anyways.

No, it's not.
That's how it is for me here in the states. The Uber eats prices appear to have the markup baked in compared to calling and ordering for pickup. I am having a very hard time understanding why anyone is upset.
One in five Boston public school children may be virtual dropouts
Analogies are a great way to explain things, but not so much a great way to prove things.

If you're writing software that's life and death critical like wearing a seatbelt, you should absolutely be using a strong, statically typed language, because catching errors at runtime is completely unacceptable. But incidentally, none of the proponents of static types on this thread have talked about any languages that I would actually use for this situation. Java or C-family languages certainly aren't strongly typed enough. Type systems aren't a magic bullet.

But in the vast majority of modern software, it mostly just matters that you catch and fix bugs quickly--whether you catch those bugs at compile time or runtime is usually not as critical.
Restaurants are very competitive and few can charge exorbitant fees. They are the opposite of cartels.

With regard to ingredients we can likely guess ~60-70% discount over supermarket prices.

In any case this has been a business model for centuries and people have a decent idea of how it works. With delivery apps the economics aren’t well understood by end users, moreover users don’t fully understand the impact they have in the restaurants they want to support.
Tips for Marketing Your Business on Facebook in 2020
The animation still plays even when the app is loaded and in the background. In that case it really does load instantly.
Oh I'm not scottish ... always thought gaelic languages were native to the islands but not recognised. Glad to see thats not the case. There are not many cultural references to it ... I came across it from the movie - Million Dollar Baby.
Would NYT dedicate the front page to Iraqis? I doubt it. I'm not American, BTW.
It is also quite common for universities to have hotels on campus.
Ended up getting an e595 thinkpad with ryzen several months ago, flashed it with pop-os. Originally there was all kinds of problems; opening chrome would completely freeze the computer, the computer would not come out of suspend mode so I had to shut it down, battery life is probably less than 4 hours. With the latest pop-os everything is fine now.

If I were to do it again I would probably get an intel cpu for any laptop just because good battery life ended up being much more important than any cpu power gain for me. I definitely would have spent a little more on getting one pre-installed with linux just knowing it would have good hardware support. Older laptops seem to always work great, but anything new always has a chance of having some hardware issues.
Hemp flowers or CBD hemp flowers/buds. Although I'd look online for the exact strain you want. Tweedle Farms is a popular and reputable grower, and many of the strains they sell are grown by others, so you could use them as a reference for some of the strains that are out there.