skysight-inc/HackerNews huggingface dataset:
> I truly believe that stop and go is caused by automatics.

If that’s the case then it should eventually be solved by a critical mass of vehicles with adaptive cruise control (assuming they optimize for fuel efficiency and/or smooth acceleration/braking)
Strangely enough my ex is so lazy that it's been 9 months since the divorce finalized and the QDRO hasn't been filed. If I was an asshole I'd cash out my 401(k), turn it into BTC and move to some country with a nice beach and no extradition treaty.
Didi Chuxing: China carpool service suspended indefinitely
Did NICTA or Data61 do the work w/ x86 that they did with ARM (the Cambridge model stuff) to be able to assert equivalence between the C code and the resulting asm?

If not, then it wouldn't surprise me that there's a conformance problem between the Isabelle, the Haskell, the C, and the asm.
You are right.

If everyone merges early, the cars that could have been in that mile of unused lane, will instead be in the full lane, moving the entire queue backwards a mile, clogging up more exits and onramps, and making the jam worse.

Use all available road, that's what it's there for.
well, if you are on the buy side, you can have the vendor demonstrate interop via rfp etc. that might be one way to go about it...
Thank you for being so open about this. The information helps me a lot. Thanks again.
You can't do the upload
yourself, but it's pretty straightforward to prepare a package and ask someone to upload it. (It is not too different in theory from, say, needing a Homebrew maintainer to hit "merge" on GitHub; it's a little more work on the sponsor's side than just hitting a button, but not much more, and the bulk of the work in either case is reviewing the new package.)
So exciting! A bit tangential to what you're doing but I strongly believe that the first company to come up with single button press mapping with a drone will capture a lot of the market.

Looking forward to see how your project evolves!
CUCI GUDANG +62812 9497 0606 – Pengrajin Alat Drumband Terlaris
It’s not that “incredibly weird.” Medicare doesn’t reimburse for residents unless a teaching physician is also present. Because that dramatically limits hospitals’ incentives to train physicians, Medicare pays hospitals a certain amount to support training residents. To limit how much is paid under that program, the number of residents Medicare will pay for is capped.

It’s not irrational, but an example of how a series of government interventions, each seemingly rational on its own and aimed at reducing costs, can end up creating a systematic problem.
Why is a stick and three pedals the optimal number of controls for “driver engagement”?
Oh, and as a side note, my new car with an automatic transmission and a 400+ HP engine accelerates from zero to 60 faster and smoother than any one of my previous cars.

Yes, automatic transmissions have a big advantage in acceleration which is why they're so common in drag racing. The torque converter means there's an "extra low gear" to provide more torque from a standstill, and there's no need to operate a clutch that can take repeated slipping without quickly wearing out --- cars can "slip" the torque converter at full throttle for a moment and launch with the engine already running near the optimal RPM for peak power.

In fact, one of the most popular transmissions in drag racing is a two-speed automatic from the early 50s:

https://en.wikipedia.org/wiki/Powerglide
Google Fights Plan to Extend 'Right to Be Forgotten'
Just anecdotal evidence, but during my divorce 2 other SW engineers I know also got divorced and another one asked me for advice on how to get it started. I know lots of SW guys with stories of horrible divorces and insane legal bills which took decades to pay off. Maybe it's because I'm in Southern California where the divorce rate is something like 75%.
I have benchmarked a single Postgres node performing comparably to a six node Cassandra cluster on timeseries data (using TimeseriesDB). The more I’ve had to deal with the limitations of other databases, the more I’ve come to think that people should just start with Postgres and only pick something else if Postgres doesn’t work out
>Is it the feeling of hopelessness that envelops you when you realize you made a mistake and married someone who won't contribute to the partnership?

Did you marry my ex? ;-D

In all seriousness... I've been looking for the words to impart to my children someday about this. There is a beauty in persevering despite financial hardships, medical hardships, and even just the mundane drudgery of everyday life. I firmly believe that is the true basis of this word love, where mutual partnership is formed in soldering through it together. That said, these commitment vows and frankly, the likelihood of financial ruin in divorce, keeps people in relationships long past viability. It's no different than watching someone on life support, knowing they aren't coming back but yet no one willing to pull the plug. I think what the parent commenter was really saying is, many enter into marriage with a misguided belief that it is all good times and romance, without the faintest understanding of the undertaking.
Second that. There's an effectively five-way intersection near me, where I need to turn left from a side road onto a state highway that's busy during the day. So I basically drift from a standing start. I shift from first to second in the middle, which shapes the drift. And at no point do I exceed the speed limit.
Mildly NSFW
Also it’s almost impossible for private entities to compete with heavily subsidized public institutions on price, so they need to compete in other ways, like superior marketing, ease of financing, or “quality”

If states let their subsidies flow to private institutions on a per student basis, you could get some interesting results, but frankly I think community colleges are already so efficient it’s a crowded market.
Not a candidate, someone we had already hired through an agency. Two someone’s actually. Never again.

They were great people, but couldn’t distinguish a string from an int.
Just get an electric vehicle or hybrid, and drive in B or L. Same thing, no clutch
Are you sure you're not thinking of the "hairy green ball thing" from his discussion of visualizing topology examples?

https://books.google.com/books?id=_gA_DwAAQBAJ&pg=PT87&lpg=P...
This is THE example of why any website that has “relevant” or “best” as a filter type is absolutely shit...

I have really loved Amazon but their practices lately to drive growth are driving me away. My Prime membership is coming up soon and this may be the last year I renew if I do at all.

Ads are half the problem, counterfeit goods are the other... I actually could careless about things being counterfeit but it’s a risky proposition with electronics and often risky...

As long as they got Gran Tour I’ll probably subscribe... because Clakrson, Hammond, and May are worth the $99 a year alone. Everything else... not so much.
The illegals are all picking strawberries for below minimum wage so we don't have the bear the true costs of our food. Remove them and there would be serious repercussions for those at the lower strata of society.
There's the aging population and that there are costs associated with improvements in modern medicine. If we save someone from the first expensive-to-treat thing that in the past would have killed them but the second (or third) thing does get them, they have two-to-three times the end of life medical costs. We're able to keep people alive longer, but it is costly.

At least in Australia, this is going to go one of two ways - either a user pays system or workers will have to contribute dramatically more tax (it's currently a flat 1%) to the healthcare system to look after people who are no longer working but costing the system a lot. I favour the latter, but the "fuck you, got mine" mentality is insidious and increasingly pervasive.
Not even lategame, they overcommitted at all points in the game. Those tower dives for trades early game rarely lead to an objective or advantage. They were able to trade early because superior mechanical advantage matters more early game.

By the time midgame rolled around, it was pretty clear how naive their strategy was. It has an element of surprise to it since it's not a very human strategy, but just because it's not human doesn't make it remotely good.

It's like watching a a car drive on a sidewalk in reverse uphill and honking to avoid pedestrians. It's very impressive that the car figured out that driving on sidewalks reduces collisions with other vehicles, and honking reduces the chance of hitting pedestrians, and it's doing that all while driving in reverse which is very hard for a human to do. But no one in their right mind would call that good driving.
But if a lambda capture is already just a single pointer in this case, what exactly is on the heap when it's boxed? Like you said, it's one word for pointer to code, and one word for data. Why can't Box accommodate both directly within itself without heap-allocating? Is it the desire to have sizeof Box be a single word? But then why not offer SSO-enabled Box, or maybe even specifically FnBox, in a separate package, same as with strings?
Screaming? Who is screaming? Blacks are a small minority; they do not commit "more" crimes of any sort than whites commit. Yet 90% of the victims of Chicago PD violence are black. [0] In other locations like Ferguson MO, poor blacks are a captive gold mine for predatory police, prosecutors, jailers, and municipalities. [1] You cannot possibly not have heard anything about this. Even if you were right (you're not) about the verdicts reached by such a self-evidently flawed system, how could you trust those verdicts?

As you would know if you knew any statistics, the average black person, just like the average white person, will never commit a violent crime. But still you clutch your pearls. USA has more people in prison in both percentage and absolute terms, than any other polity on earth in history. Crime of all sorts has dropped for decades. If drug prohibition ended, crime would drop precipitously again. In aggregate, justice would be served if everyone in prison today were pardoned tomorrow.

There is no defensible reason, whether that's violent crime or anything else, to fear blacks or any minority. So why do you fear them? You're going to have to answer that one for yourself.

[0] https://theintercept.com/2018/08/16/chicago-police-misconduc...

[1] https://www.washingtonpost.com/news/post-nation/wp/2015/03/0...
The problems of decertification are only beginning to be seen & felt. This is a slumbering monster.
That sounds like the brain atlas created with subjects listening to stories in an fMRI machine.

Here's a Guardian article about it: https://www.theguardian.com/science/2016/apr/27/brain-atlas-...

And a link to the paper: https://www.nature.com/articles/nature17637
Mailing lists traditionally rely minimally on passwords. The "password" field at http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/sqli... has this copy:

"You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext."

This is arguably better security because you can leave the password field blank, and a random one will be generated for you. That protects non-tech people from accidentally using a valuable password for something that is not actually security-sensitive.
Oh, a github repo suddenly validates scientific claims. The presence of an open repo really doesn't bolster the claims of this project.

As if to say "go ahead, try it yourself. you can replicate your own results."

That doesn't improve the premise of this junk science, since the images are fabricated, and poor quality besides.
I still prefer a manual transmission, not the least because it reduces the likelihood of auto theft.
From Hohenschönhausen to Guantanamo Bay: Psychology's Role in Secret Services
I think you might be missing something that 01100011 experienced, which frankly sounds a lot like what happened in my case as well. My ex became very mentally ill and had no desire to do anything about it - because she knew that either I would suck it up and carry on for the good of the kids, or that in the case of a divorce that she would walk away with anything she wanted anyway. So she had no incentive to go back to work, to get out of bed, or to do anything at all. Your words sound much like multiple lawyers I consulted, that somehow it was my fault because I was complicit in not forcing her to work. And like 01100011 said, how the eff was I supposed to do that?
And what exactly does this private insurance cover? In Poland private healthcare is fine for healthy young people that occasionally catch a cold, or have their ankle sprinkled, because it saves a lot of wait time.

Treating any serious illness (think heart attack, cancer, diabeties, etc.) is either insanely expensive or not covered at all by private insurers, so public health care is your only chance here.
From the picture and the text in the article, this appears to be an official birth certificate issued by a Kansas county, not one of those fakey birth certificates with a foot print or whatever.

"Barbara was born in a farmhouse in the 1970s in Leavenworth County. She had a birth certificate. Her father went to the courthouse days after she was born to certify her birth -- raised seal and all."

Furthermore, according to the state department website [1], one of the options for proving citizenship to get a passport is a Fully-valid, undamaged U.S. passport (may be expired). It seems like 100% BS to not accept that; regardless of the quality of the documentation provided for the first passport, it was provided and accepted many years ago (hence the renewal) and that should be allowed to stand.

Edit to add: the requirements for a birth certificate are listed as:

Issued by the city, county, or state of birth

Lists your full name, date of birth, and place of birth

Lists your parent(s)' full names

Has the date filed with registrar's office (must be within one year of birth)

Has the registrar's signature

Has the seal of the issuing authority

The image of the birth certificate from the article is heavily cropped and redacted, so I can't tell on most of these, but the document looks like a standard government document, and I can't imagine it would be missing any of those items, unless it was common practice for those to be missing in Kansas, in which case, Kansas passport officers would probably be aware of it.

[1] https://travel.state.gov/content/travel/en/passports/apply-r...
> and he replied "sometimes you will have to fix your code on the spot"

You should have told him that "every time, you get to use a calculator". If I managed interviews, I'd have 1 person interview 1 person in a full-technical interview, without the personal questions, with 3 additional interviewers watching behind a one-way mirror. When the interview was over, I'd go in myself, and ask the candidate how well they thought they did, and how well they thought the interviewer did, with the 3 other interviewers still watching.
Verizon will launch 5G home internet service starting October 1
> Driving a manual car isn't about efficiency. It is about driver engagement.

Speak for yourself. I have a manual (actually, I've never driven an automatic, come to think of it), and I couldn't care less about "connectedness with the car". My car is a device that takes me, and sometimes my family, from A to B as safely and conveniently as possible. It's a car, I'm not in a relationship with it.

YMMV.
Just a thought,this only proves the code is correct assuming hardware and firmware assumptions are also correct. Is it even possible to prove correctness of hardware? I've never heard of verified firmware as well.
The effect of a doubling of the population depends entirely on who the new people were. Are they native speaking engineers, doctors and pop stars? Or illiterate and sickly old people?

One thing is for sure, housing prices would skyrocket!
So does “staying in your lane” and “maintaining appropriate speed”.

Adding arbitrary other things requiring focus doesn’t seem like it would help prevent accidents.
"I think we should have widely adopted" and "it doesn't make sense to me" is not really "making the case" against the stated end-to-end principle argument, it's just describing a bare preference.

The end-to-end principle isn't some immutable axiom but it's been particularly effective and applicable in secure network communications. So the bar for "making the case" is a lot higher than what you have so far.
Immune Cells Play Key Role in Determining Male or Female Traits in the Brain
And that's exactly why this is garbage research. Point deep dream at an interference pattern of pure noise, after training it on a set of target images.

Don't be surprised when it "finds" the image, pulled from raw static that contained no signal.
Local birth certificates are apparently fine if they were issued by a local government authority.

https://travel.state.gov/content/travel/en/passports/require...

One of the "primary" forms of citizenship evidence is:

U.S. birth certificate that meets the following requirements:

Issued by the city, county, or state of birth
Lists applicant’s full name, date of birth, and place of birth
Lists parent(s)’ full names
Has the signature of the city, county, or state registrar
Has the date filed with registrar's office (must be within one year of birth)
Has the seal of issuing authority

(Edit: I assume that if the State Department doesn't know how to validate a particular local government's birth certificates, it's supposed to contact the issuing authority to ask.)
This seems like government working well. An overzealous governmental employee denies a valid document, for whatever confused or malicious reason. Denied person contacts their congress representative. The congress rep gets the issue fixed.

You can't stop random things going wrong in the government bureaucracy, especially due to the human factor. If this is, however, indicative of a general trend of decertification, that is a problem.
> programming under pressure is the leading cause of programming disasters

I don't want to straw man you, but it seems like hiring someone who is demonstrably better at programming under pressure would mitigate the inevitable situations that force employees to program under pressure.
rely too heavily on the tests

Presumably they are to find it using something besides tests? Intuition? Casting lots? Code review?
> The commenter above claimed prisoners ought to be rescued first.

I think it's implied that they should be evacuated first _in the event evacuation is needed_.
I live in San Francisco and work in Mountain View, CA, with the lowest sector of society. I showed up for work starving and with only 18 years of programming exp., about a momth ago (ie. No low skill, dish washing/bagging as a teen). None of my classmates or former colleagues would help me more than a few hundred dollars, despite 10+ years of shared history. Now I can at least feed myself, grand totaling like $40/day cash income, ie. Too poor to wait 2 weeks for payroll. 2yr ago I was making over $200k and was wrongly fired, destroying my resume. Lowest rung job is the magic bottom step, humbling but I learned the ropes at 14yo so it’s just time to rebuild now, after months of starving/begging for work. I got a bachelor’s degree in 2011 and had old friends/classmates locally who are still here, too.
https://www.intel.com/content/www/us/en/support/articles/000... << Not a total solution by any means.

I have lots of thoughts about proving hardware/software/firmware correctness. Let's just say it's very hard.
The slope counts for something, but the y-intercept should not be forgotten. And in the US, the distribution along the y-intercept is huge, but often ignored.
>Whether this qualifies as exceptional is, of course, arguable, but I'm arguing that it is. I could understand the point that it doesn't have to be, but, to be actually convinced, I'd want to see evidence that it's well understood and well implemented enough that neither rare expertise, substantial engineering effort, nor constrained configuration (hardware or software) would be required to take advantage of it. I'd expect most technically-minded decision makers to think similarly.

Oh. My apologies for misunderstanding your point.

SR-IOV is available on basically any and all server grade NICs, and is quite simple to use. With Azure and AWS it's basically just making sure you have the proper driver installed (gotten for free on basically all modern kernels) and flipping a command switch.

If you're rolling your own virtualization stack, it's generally about as simple as any other task for that stack.

With vSphere it takes a matter of seconds: https://docs.vmware.com/en/VMware-vSphere/6.7/com.vmware.vsp...

Similarly easy for XenServer: https://support.citrix.com/article/CTX126624

A little bit more work with the common KVM management options, but still a very simple task as far as Linux sysadmin tasks go: https://access.redhat.com/documentation/en-us/red_hat_enterp...

OpenStack is a bit more complicated, but frankly, less complicated than plenty other tasks in OpenStack: https://docs.openstack.org/mitaka/networking-guide/config-sr...

All of the real setup work has to be done at the hypervisor level, but you're primarily just doing two things: Creating VFs, and assigning them to VMs. The driver does all of the rest of the hard work. I would argue that any Linux or vSphere admin with any real amount of experience should be able to read any of the documentation I linked and be able to confidently work through it in an hour or two.

For the guest, just making sure the driver is installed should be all that's required. For ixgbevf, the ubiquitous commercial option, it's been in-tree for the Linux kernel for at least half a decade.

Once VFs are created and assigned, it largely "Just Works". The only real caveat I know of is that seamless live migration of the guest is no longer an option, because now all of the network virtualization is handled in the hardware instead of the hypervisor.
>Why should a spouse with no earning power be given a free pass on having obligations?

Completely agreed, and yet having just gone through this, I assure you the State has no problem telling you just that. At least in my state, the view is that each party should be put into a situation as much like what they had during the marriage as possible. Unfortunately the way the courts have interpreted this is that a non-working spouse is deemed to have been the childcare provider, therefore they have more rights to the children plus should be compensated with the same quality of life as before. This of course means that the working spouse cannot possibly ever have the life they had previously, because they will now be forking over nearly all of their income (seriously- I know of a local case where their child support obligation was more than their actual income) to that non-working party. Likewise, it's silly for the court to think things will ever be "the same" - unless there are sizable assets, of course the non-working spouse will have to go back to work!

So yes, I would like to agree with your statement that "Claiming that being married disqualifies someone from the workforce is a relic of an era that is long past" but unfortunately this is still the case in some (many? most? I don't know) states. Even nominally progressive ones.
Also, in which textbook is it stated that capitalism requires joint ventures of the government with every multinational company that tries to operate whithin its borders?