skysight-inc/HackerNews huggingface dataset:
I'd be very interested in you providing an example of an MVCC system which is fully serializable. Conventional wisdom is, that while possible, it is prohibitively expensive to ensure a snapshot isolation system like MVCC is fully serializable, and it is explicitly most expensive for analytics / OLAP workloads because you must keep track of the read set of every transaction. It is possible for such a system to exist, then, but it would cost such a performance penalty as to be a painfully bad choice for a workload where OLAP and OLTP would be mixed, bringing us back to the point I originally made.

In most cases, snapshot isolation is sufficient, and some database vendors even conflate snapshot isolation with serializable, but they're not the same thing. I'd be hesitant to believe any vendor claims that they implement serializable MVCC without validating it via testing. As we've been shown by Jepsen, database vendors make many claims, some of which are unsubstantiated. Spanner is very cool technology, however I have personally heard some very interesting claims from folks on the Spanner team that would violate the laws of physics, so again, without a demonstration of their claims, I'd take them with a grain of salt.
Random Bluetooth identifiers rotate every 10-20 minutes, to help prevent tracking [1]. (Of course it's always possible to track phones with their radios on for some time and distance.)

[1] https://covid19-static.cdn-apple.com/applications/covid19/cu...
Well, the article does note universities that are offering discounts. They include Princeton, Georgetown, and Williams. So, it’s possible to give concessions for the short term.
Profit. It's always profit. Higher education is nearly mandatory to get a good position and good salary. It's nearly a gateway. 30% of the population has a university degree in first world countries.

Forcing multiple thousands of dollars is a toll for a bridge where few alternatives exist. And in a country that considers so many things a business, this is of course run like a business ergo profit is very important.
Everyone’s a Day Trader Now
You make a good point. Also I don't like the righteous attitude of the article. That drugs can be safely used (not abused) seems omitted. 'tis about teens though so I wouldn't want them near the stuff, but aren't drugs part of growing up?

“Why not orchestrate a social movement around natural highs: around people getting high on their own brain chemistry—because it seems obvious to me that people want to change their consciousness—without the deleterious effects of drugs?”

If you want an answer to why not, because drugs are not intrinsically bad and can give you more than a life without drugs IMO. Or they can destroy you, I grant.

“We learned through the studies that we need to create circumstances in which kids can lead healthy lives, and they do not need to use substances, because life is fun, and they have plenty to do—and they are supported by parents who will spend time with them.”

'Because they have plenty to do' Hmm - I did spend part of my childhood on some crappy estates and there wasn't things to do, and no money to do it. And you didn't much want to go outside because it didn't feel safe. It wasn't. 'and they are supported by parents' - another presupposition that parents are good and nurturing. Not always. Perhaps in a rich and wise society you can mostly make this possible though.

I like their way of trying to take the pressure off kids so as to reduce the "rat park" effect (https://en.wikipedia.org/wiki/Rat_Park) and I think it's great. Kids don't develop properly in a pressure cooker. Overall, they're doing the right thing. Just don't overdo it.
I mean, the organized crime groups that sell these drugs do harm people, by way of murders, human trafficking, violent crimes and property crimes. Funding criminals and terrorists is surely worthy of punishment, do you not agree?

But I agree that twenty years is excessive. A week of prison or two would be enough.
The highlighting is done by the messaging app, it should be corrected by the messaging app.

The issue is specific to messaging apps, in the context of text messages and copy/pasted URL, where an URL might get an extra dot as if concluding a sentence.
You have a pretty interesting take on that matter however I have to disagree with you.
Firstly you can’t compare nations of the past where the horse or the boat where the fastest means of transportations and where the vast majority people were often bounds to some lands. There are few examples of peaceful long term human migration between established states at the scale of what is happening right now in the US.

Secondly, considering that property, unless of immediate usage, is absurd and immoral is a pretty bold claim. I know literally no one, even monks, who live at the full extent of what it means. Basically ascetism is the only real way of achieving it. Unfortunately I consider one’s opinion meaningful only if one has skin in the game related to it.
I preferred when Mozilla made browsers
Yes making mass-emailing too easy is a footgun. It's incredibly easy to get blocked by common email providers entirely if you make a simple omission or mistake. Third party senders do a fair amount of work to ensure deliveability is maintained (because it's critical to their business). If you don't have a workflow to deal with spam reports and list management then you'll very likely be sending your emails into a void.

Spam has effectively ruined DIY mass-emailing, whether you like it or not. There are multiple other providers if you don't like mailgun.

There are a lot of ways for organizations and non-profits to save money, and I wouldn't recommend doing so with email if it's important to them.
Thanks for the feedback - I figured presenting the exact Coq proofs directly would probably be too dry, and thus was trying to give some context for the work to make the presentation more interesting. In hindsight, I can see how this has been detrimental to some other parts of the article.

If you look at the related work section of the paper, we actually present a multitude of papers in the literature (even some recent as 2019) that actually still incorrectly refer to Bloom's expression as an exact bound, so I thought at the time that the "debunking" title was not inaccurate.

I'll keep your advice in mind the next time I write an article about research work.
their moral stance ends in their wallet
What's the best way to make them red torches?
I'm just guessing. I don't work in retail but I'm sure all sorts of scams happen, ones we can't even imagine. Was this recent?
Asia has solved a lot of the issues surrounding the pandemic months ago. While American and European economies will be crushed by Corona (it's I bet it's not even half time) due to conspiracy theories, ignorance and egoists and adult babies crying about wearing a mask, Asia is getting back to ramp up their economies.

They are far more capable of shutting new clusters down AND CONTROL IT. When we send people into quarantine in the West, we plea for them to stay home and everything is trust based because we want to keep our free society. Effectively, only very large local outbreak cases enjoy oversight by authorities.

Taiwan's pandemic game was on point before WHO finally let the rest of the world know about what has been suppressed in China for weeks if not months. Due to China's pressure they aren't part of WHO or UN and had no "official" global way to tell the rest of the world. They did, but were dismissed due to the massive hubris in the West and the geopolitical game China is playing.

SARS 1 is still on everyone's mind in Asia while many Americans outright deny Corona's existence even in July 2020. It's nuts.
I also do it, because sometimes the parser does the 'right' think and sometimes it doesn't, and it's easier just never to rely on it. It's tough to fight when the parser thinks it's doing the right thing but isn't; for example, I literally couldn't find out how to send someone a link to

https://en.wikipedia.org/wiki/Only_the_Super-Rich_Can_Save_U...!

in Slack; the trailing ! is part of the URL, but Slack resolutely refused to recognise at such. (I don't know what HN's parser does, so I guess we can regard this as an experiment! EDIT: HN also refuses to recognise it. I tried the <> wrapper suggested elsethread, with amusing results: it makes HN's parser gobble both the ! and the trailing > as part of the URL! Maybe a percent-encoding would have been the way to go.)
Running DOS Apps on Windows
Have you tried fish (eat wild-caught)? Mackerel is tasty if you don't like salmon. Those two are both very oily, you can eat one or two servings a week and get enough omega-3. B12 is present in any animal product usually so I recommend eating more meat, cheese or other dairy. You really need the full B spectrum, but B12 in particular is the one to focus on.

I am not an expert, experts may disagree for other reasons, but I do know my math and read the studies for my own benefit.
First off, you're probably earning more than 115k in the Bay Area.

I moved from Canada and went from $90k CAD to $180k USD. Even with the high cost of rent, I can save more here than what my take home pay was in Canada. I'll admit though that I don't have kids and I don't have health conditions. That would change the equation a lot.

Additionally, the ceiling is higher here. I felt like I was approaching the ceiling in Canada unless I wanted to move to Toronto.
Setting Up Haskell: The Basics
Thank you for pointing that out.
I wish I could believe some new form of surveillance would ever "replace a lot of far more invasive tracing" and not just increase the overall scope of collection. This type of BT-based "offline/historic" mass-snitching just gives privacy-conscious people another thing to have to hide from in addition to the cellular network itself.
Truly crimes worthy of being wounded, maimed, and killed without either indictment or trial.
> State funding was increased for organized sport, music, art, dance and other clubs, to give kids alternative ways to feel part of a group, and to feel good, rather than through using alcohol and drugs, and kids from low-income families received help to take part.

By contrast, how to create America today: reduce recess, remove athletics, reduce participation in arts, teach to the test, pave over green space, fund/segregate schools by property value, avoid project-based learning.
Following Many Patches, Linux 5.9 Finally Switching to HTTPS Links En Masse
LSD is a stimulant as well as a psychedelic, and can cause some vasoconstriction.

It might take a lot but physical harm from overdose is likely possible, with determination.
brought to you by company not willing to implement even optional pull down to refresh for 5+ years

one of the reasons why U don't use their buggy slow browser on Android (use outdated Kiwi Browser, since it's only non shady browser with extensions support)
Do it please
Depends on the country the VPN provider is based out of.

While there are many soft power actions like blocking payments etc to outright hacking American LEA can do to extract data from other countries orgs but legally there are no tools like NSL and FISA courts to get it .
Why are Americans so obsessed with freedom? It's the catalyst for peoples freedom to not wear masks and go to the beach during a pandemic.

Freedom has pros and cons. The historical foundations of Freedom in America is an idealistic notion that should be tempered with modern knowledge about the price and complexity of freedom.

My friend in China has told me that the crisis has largely been contained in in their country. The irony here being they have less freedoms than we do but they can now go out in public without worrying about transmitting or receiving covid.
This is typical of today's divisive atmosphere. Do you remember the other BLM (Bureau of Land Management) protests in Oregon?

I recall outraged partisans demanding federal intervention, while claiming that the ranchers were enjoying special privileges due to their race. I believe they called them "vanilla ISIS".

Of course individuals within any movement will vary, but generally speaking, partisans want to use the power of the state against their ideological opponents. When it is used against them, they predictably cry foul.
The US government subsidizes the home mortgage market in the US. I don’t known of any other country offers people 30 year fixed rate mortgages.

Fixed mortgage rates help consumers because they can always refinance down to a lower rate.
Working with partially-completed forms is a completely different type of state management than storing and loading state from a datastore.
Thanks for the comment.

I think that was actually a mistake in my writeup, I just copied the latex from the paper without adjusting it to the notations used in the article. I'll make sure to fix it.
There are many free themes, try searching for "bootstrap enterprise theme"
Being eligible does not mean that you will get the visa, I had friends rejected even when they have secured a place in a college in USA.
Specifically, it seems that adoption rates are so low as to render the application nearly useless.
Watch Live Brescia vs. Parma 25-07-2020
I applaud your efforts but you have to think of some other pricing model or none at the moment.
I agree they're relatively cheap, but I think they could go a lot further and just be free. A few hundred dollars for a class is still a lot, and we all benefit from people being able to get educated.
Joe on founding Mythic Markets- A stock market for your favourite things
I think the presidential system is also a factor; it makes it a little too obvious and immutable where the blame lies. In a parliamentary system, there’s much more scope for the ruling party to resolve this sort of thing by, say, quietly sacrificing the minister for justice, without much blame attaching to the PM (even if it’s their fault to begin with). In a presidential system it’s harder to do this without criticising dear leader. I can’t imagine many republican leaders are actually very happy about this whole mess, but very few of them are willing to publicly break ranks and they have limited ability to check the executive even if they do.
This is looking at it from a technological angle. However, what about the social/financial aspects?

If I am told to self isolate for any duration of time, will the government provide 100% of my lost wages? Will they support businesses who could be put in real trouble from someone having time off? What about potential repeated cases of isolation?

Most people (including myself) will do anything to avoid being on their radar, and will not cooperate under any circumstance due to the reality that losing money is simply not an option for me, or my employers (where I could be replaced within a day, and that's my job gone).

Sadly, most governments haven't got well thought out policies, thus reducing the potential pool of users who'd engage with contact tracing (whether done via smartphone or manual like the UK).

We desperately need a UBI, for everyone, every month, forever, regardless of status (though, if you earn over a certain amount I'd agree with limiting the UBI, like for million/billionaires).

Otherwise, as we saw recently, someone infected over 70 people because she didn't isolate, because she needs food and a roof, it was a case of infect people (and risk them dying) or...dying because she can't afford rent/basics?

Yeah...This pandemic has exposed that capitalism is fucked, and during the worst virus outbreak this century there's no support for those that need it.

Even if I wanted to isolate, I couldn't afford to. Therefore I cannot comply with any contact tracing efforts.
Huxley did 200 micrograms intramuscularly and supposedly it was a nice 6 hour trip before he died of cancer
Related to these mysterious federal agents in unmarked cars, I've often wondered how private citizens are supposed to protect themselves against someone impersonating law enforcement.

In this case, the 'officers' were not even dressed as law enforcement, and either way, it is not very difficult to produce a reasonably convincing replica of a uniform. How can you make sure that you are dealing with actual law enforcement, when you submit yourself to them, they cuff you, take your stuff, drive you away, etc.?

"Can I see your badge?" doesn't seem very effective, given that a badge can easily be faked, but more importantly you'd probably, for good reason, be too afraid to even ask. Is
America really such a police state now that you are just supposed to submit to anyone in a uniform? And does this not seem ripe for abuse to everyone else?
Netty.io Draft – io_uring – GSoC 2020 #10356
I mean, HN has an explicit rule about not claiming others on the site are part of state campaigns, so flagging seems like the correct response?
For another view, can read the comments of Disqus user JLM at the blog

https://continuations.com/post/624305968188145664/help-stop-...

There the relevant law is quoted and explained.

So, in short, the DHS has the FPS (Federal Protective Service), and their job is

> "... safeguarding Federal owned and leased facilities and has been since 1790.

The FPS is part of the DHS.

...

The Customs and Border Protection unit is legally supporting the Federal Protective Service because the particular unit -- the Border Patrol Tactical Unit -- BORTAC -- is highly trained in riot control operations."

There are lots more details by JLM there including quotes of the relevant laws, e.g., 40 USC 1315.

So, the FPS was in Portland to protect Federal property as in 40 USC 1315.

In simplest terms, the Federal work there in Portland was protecting Federal property. Policing Portland in general was not part of the work.

The article mentioned "secret police": To set that aside, just read the JLM quotes and explanations of the laws.
Fidelity and other major online brokerages do this with their money market accounts. It doesn't chase an optimal yield like what you are proposing, but that would be interesting. Instead, they use a large basket of money market and savings accounts at US banks and interest payments on your savings are drawn from a random bank in the basket each month. Because the federal reserve sets interest rates, it's difficult to chase yield in bank savings accounts. You'll always do better with bonds and stock dividends.
The only reason such an inhumane black market can exist is because no one is allowed to produce it legally. I would argue regulators are responsible for the harm caused by the trade.
We have definitely moved on from the stagnation era of CPU development, if the advancements of AMD are anything to go by.
https://twitter.com/netty_project
I take advantage of that complexity though. For example, I practice intentional vocabulary acquisition by adding cards in my own custom note type called 'Vocab.'

I installed AnkiConnect add-on which allows me to communicate with Anki over a simple HTTP API and complimented it with a CLI tool which automatically fetches the audio or whatever is needed to fill in the fields for the card and adds it to Anki.

So all you have to do is open the terminal and write "add [word]". And the magic happens:

1. A card which the agent is prompted to pronounce the word, followed by the correct pronunciation.

2. A card which the agent is prompted to write down the word after hearing the pronunciation.

3. A card which requests a random example sentence featuring the word, served by a local server. (https://i.imgur.com/11E3IqE.png)

The last card is the most helpful, it provides comprehensible input in the form of unique sentences that uses that word, so you get acquainted with the word's collocations, the context in which it is used and etc.
The issue is really with dioxin, you need to source your fish from somewhere where they are fed properly and there's no pollutants like dioxin.
https://www.progress-index.com/article/20130708/NEWS/3070899...
Brescia vs. Parma – Serie A – FootballGH – Video Highlights
More like Servo in Unity... And from what I recall, Servo is not even an alpha at this point
That's absolutely fair, and I admit, I wouldn't be fundamentally opposed to it. The little magic 8-ball in my mind I use to gauge the plausibility of a particular political direction of development simply sees far too many endemic issues with American institutional philosophy to see something like this gain traction. Mind, I've worked in that space. It's a ridiculously profitable industry for those that operate in the space (usually with customer hostile profit generating models, and demographic engineering to ensure you're hitting the most vulnerable folks for revenue extraction; part of the reason I ended up getting out and refuse to look back).

As it turns out, the profitability per employee person in the company can be extremely high, which means there is a lot of lobbying potential to keep a cohesive National government maintained/specified banking infrastructure from coming into existence.

I'm not just trying to take cheap shots or be dismissive of the idea. It's just experience tells me this is well within "everyone stops being a dick" territory in terms of probability of realization through organic development short of some higher being deciding I need a lesson in being more humble today. There is some synergy or likelihood of an indirect development in that direction with the whole Stimulus boondoggle going on in Washington, but the resulting implementation will almost guaranteed be challenged as soon as any hint of the present crisis having resolved comes around. Private industry in the U.S. as a rule will raise hell to destroy a public alternative as unfair competition on free market principles, notwithstanding the self-referential inconsistency the private actors demonstrate at the first chance they get. This is why there are only really 3 public trust quasi-Corps I'm aware of. Post-Office (Constitutionally guaranteed), Freddie Mac, and Fannie Mae. Okay, technically the Federal Reserve, but to be frank, their track record is so spotty, it feels more like the most elaborate financial shell game ever perpetrated than an institution to consider seriously effective.

It hurts frankly. I hate that the sector is as big as it is because we can't just all agree that maybe this thing is pervasive enough to warrant folding into the basic Public Trust toolkit. That's just the reality on this side of the pond though. We measure the trustworthiness of Government as a repository for broad sweeping social power based on the least virtuous operator in living memory. Unfortunately, we just haven't had a long enough run where people could be trusted not to abuse anything more functional than what we have. Quite the opposite. Gives me a headache just dwelling on it most days.
There is a few mechanisms through which hardware can get the OS to execute code, so it is possible for the BIOS to cause software to be installed. E.g. the easiest one is probably the "Windows Platform Binary Table" in ACPI.
https://www.youtube.com/watch?v=eXWhbUUE4ko
This would mean server side rendering is back end development. Traditionally working in templated languages was considered a front end job despite being translated server side.
Must be just lovely for pets at home or is it outside of the frequencies that cats can hear (up to 79 kHz)?

Also this thread is filled with people complaining about bluetooth spying capabilities and now you post an app with bluetooth always on AND microphone always listening?
So he is against bailing out business too? After all they are classified as people in the US.