skysight-inc/HackerNews huggingface dataset:
It's a shame that Twitter (referring to the Twitter community, but especially the corporate entity) has conflated identify verification with a sort endorsement, including with policies like the one in this article that elevate what blue checks have to say. If they could have avoided that, the solution you propose would be fine, but human nature is to turn every distinction into a symbol of merit.
Good point. Perhaps I shouldn't have said "read only" in #1. Just plain "document centric", including editing of documents and text.

There will always be some overlap, but that doesn't entirely diminish the value of focus. It may be possible for a given window or panel to select which focus-standard it uses to make mix-and-match a bit easier.

A given "starting" browser, typically the document-oriented one which will contain menus and lists (such as an intranet) could be configured to select the user's or org's desired GUI and Art engine. And each "engine" will contain a minimal common sub-set, mostly around existing HTML.
Cluster of Death Found at Wuhan Nursing Home Near Seafood Market
But then you'd lose all the interesting cultural insights you can infer from comparing the way different language versions describe the same topic. The texts are supposed to be neutral, but even neutral can mean quite different things. And when you have a topic that is prone to be suffering from edit wars in one language (e.g. a company you suspect of paying someone to "clean their wiki"), escaping to a different version can often be worthwhile if you have the language skills.
He's very clearly mocking right-libertarians, who are very prone to having outbursts of "Actually, it's just hebephilia."

https://www.reddit.com/r/EnoughLibertarianSpam/comments/7obs...

It's a meme intensely common on imageboards, and reddit as well. Here's an /r/copypasta thread mocking these people:

https://www.reddit.com/r/copypasta/comments/53fkty/
Those are marginal rates though. A couple making $325k would pay about $98k per year in taxes.
I realize that... the issue isn't necessarily tethered to your paying status, and it could just as easily happen to someone with a high value business account.
I work at a FAANG-type company.

My effective tax rate is much closer to 30% than 40%, but I'm married so I get a bit of a break vs. being single since there's a big gap between my income and my wife's income.

Even so, $135k per year post-tax, post-expenses is a fantastic amount of savings.

This is much more than I made pre-tax, pre-expenses earlier in my career.

Just having access to $135k means you're more or less a millionaire if you invest it and never need to dip into your investments.

The S&P 500 has averaged around 10% or so over the last 90+ years. Over 30 years, at a 7% growth rate, you'd have $1 million in savings with no additional contributions, assuming I didn't screw up my math.

With such a high income sustained for just a few years, it'd be hard to screw up later in life so long as you avoid the hedonistic treadmill.
Look at the sentiment analysis of Twitter the day after Trump was elected if you want to see how skewed it is.
I think that is different from what is being talked about. I think it is something called high context/low context culture. I'm no expert of this stuff but I was educated about it in many jobs. Its not like any one way is right.

http://www.culture-at-work.com/highlow.html
It doesn't really matter what you or I think about it individually - if enough women are unhappy with the experience (whatever it is) on other sites that they move to this one and then find it superior and stay it's a pretty strong market signal. If it fails, that's another signal.
Would it be possible to Uber-ize the gatekeeping? Somehow find, train, and trust contract workers to vet candidates somehow.

How big would your legal team need to be??
Unfortunately, I've seen this example before and already know the answer. It comes down to this:

> To justif a yes answer we need to provide a credible argument that for every t and x the program sets Result as it should.

Is there a "reasonable" t or x which breaks the program? We can write test cases all day and never really discover what "t" actually breaks the program.

Now spoiler alert: here's the answer. Overflow when t is large, such as a 16GB array with 32-bit integers. At ~4-billion items, the m := (i + j) // 2 does NOT result in a binary-search step correctly.

Lets say i is 2-billion, and j is 4-billion. m = 2-billion + 4 billion == 6-billion, but this overflows to ~2-billion or so. As a result, m = (2 billion + 4 billion) // 2, with 32-bit integer math, results in 1-billion.

For all array sizes less than 2-billion numbers, I expect the code laid out in the example here to be correct. But in the obscure ~2+ Billion sized array case, you get overflow error.

------------------

Understanding this example is to understand bugs: how and why they form. A "bug" works in the exceptionally common case (say, all array sizes less than 2-billion), until decades later, 16GBs of RAM becomes common and people start to actually run into the bug in practice.

Similarly, most of the code we write is implicitly fragile, even if well tested. There may be a time, sometime in the future, where the use case assumptions no longer hold (ie: it becomes reasonable to assume 4GBs or more of RAM on one computer) and suddenly the bug appears.
Byuu multi-system emulator v1 released
Every Atari game ever made is right around a gig.

When CDs became game media, content size exploded, since it was cheap.

> While any programmer can code a functional NES emulator in a weekend, it is not the case for these more sophisticated platforms.

Any programmer can code an NROM-compatible NES emulator in a weekend that will play Super Mario Bros., Duck Hunt, and a few other 8K or 16K games. The plethora of mappers that exists for NES turn the NES into a complex platform even if you don't account for perfect graphic and sound accuracy.

PS3 is harder to emulate because it had that Cell BE, but PS4 and XBone have gone the way of arcade hardware - it's all basically a PC now, and will probably remain so simply because it's cheaper to have one real platform. Emulation in the future may disappear because it won't matter--it's all a PC anyway so you might as well just play the PC version of the game, and if none exists, you're going to port it, not emulate.
As an SE in King County (they really should include Snohomish County too) I’ve noticed comps for this line of work really going up over the past 5-6 years. I attribute it to Amazon and Facebook’s growth and Microsoft paying people more to stay-put.

What I don’t know is when it will end. Smaller established companies that don’t have the RSUs to give-out in lieu of cash comp are already feeling the pinch: one small company I worked at recently is certainly circling the drain because they can’t afford to attract talent.

However, given Amazon’s famously short employee tenures, do people decide to do a 1-3 year stint at a $250k/yr job and then retire or move-back to a slower-paced job, or do they get established locally? I know there’s a LOT of new startups in Seattle lately that were founded by former Amazon people - but we don’t see this happen anywhere near to the same extent with Microsoft’s people. Perhaps it’s self-selection-bias: the people who want/choose to work at Microsoft want a stable career and not deal with the stresses of moving every couple of years?
Steve@apple.com worked amazingly for me back when I bought apple products. Both times I literally get a phone call from someone who has already talked to my local store and has his proposed solution set up for me.

But that was like 10 years ago. Not sure if it's still good.
Maybe it's as simple as ex-TWTR ppl tending not to jump ship with their networks to Republican and conservative publications.
DevOps Is a Performance Profession
In the next paragraph from the article

> This time, AMD is inside. We were particularly impressed by the 2nd Gen AMD EPYC processors because they proved to be far more efficient for our customers’ workloads. Since the pendulum of technology leadership swings back and forth between providers, we wouldn’t be surprised if that changes over time. However, we were happy to adapt quickly to the components that made the most sense for us.
Back when I first played with Javascript I don't think anyone even used the name. Tutorials were all about "DHTML", where you were building "Dynamic HTML" by writing Javascript to move items around.
I am quite excited to see facebook and Twitter's opposing takes on this problem play out over the next few years.
"We trust journalists" - you might be wise to not do that blindly. Journalist get paid from somebody.
Of course this is sarcasm.

But after all, most of the newer Google products really seem to be there just to entertain their own people and give them something to do. No one can tell me, for example, that there was a serious business case behind Google Allo.
Also, at least in the state my grad school is in, graduate students are not employees which means that they aren't bound by worker safety laws preventing them from working in a lab setting for over 40 hours a week.
Sorry, New York Times, but America Began in 1776
How Do Ants Keep Warm in Winter?
> I can’t help but wonder if that strong bias has seeped into her articles...both in what she’s writing to me, and in what she’s omitting.

They would do that regardless, now at least you can find out their biases.
If I get it right (from posts I've seen before and the docs on the project [1]) Reason is not really "OCaml for JavaScript" but just a parser for a more appealing, mostly compatible, syntax for the OCaml. So one should be able to compile to the same targets as with traditional OCaml.

Re: Mostly compatible: I remember there were certain things that were not easily expressible with Reason (but available in the OCaml syntax) a few years ago, not sure if it is still the case.

Subjective: OCaml syntax is definitely on the weird side, although I would not call it ugly. This coming from someone who enjoys writing clojure and xslt, go figure :-p.

1: https://github.com/facebook/reason/blob/master/src/README.md...
I can confirm, in those rare instances where it’s required, similar email addresses still work. Just keep it nice and polite. I’m sure they have manually maintained spam filters...
>True, and I’m surprised the POTUS has yet to announce the closing of air traffic from and to Italy.

You're surprised that the guy who tweets every all time high in the DJIA would be hesitant to do anything that might compromise the only thing (confidence and irrational exuberance) that is holding up a bubble trading at a Shiller PE of 32?
> I'm not spending months practicing

However, 10,000 other people are ready to.

It's just a game of supply and demand.
Yeah, I’m super annoyed that no one else even tries. It seems like there’s not a lot of revenue in this model!
I'm sorry for being blunt, but is it possible that the `very brittle "exact match" method of evaluating whether an answer is correct` means value equality? Is `==` the secret sauce?
Few is probably 6 at faang, if you're investing and budgeting and getting promoted. Even if you start at the bottom.
I take it "60 hours weeks" comprised of a 40 hour per week job + course work; was that on 2 courses per semester then? And did you maintain 2 courses per semester throughout the program?

Are you willing to share a little about what made the difficult courses difficult? Heavy math component? Hard algorithms? Time consuming programming? I'm considering this program (and UT's), any additional information would be much appreciated.

Congrats on completing your last semester btw; no doubt a significant commitment and accomplishment.
$45k/year is an absurd estimate of expenses especially in silicon valley.
While all of this is true, there's an incredible amount of guesswork in other medications that impact mental health. Many drugs come with warnings of suicidal ideation and other dangers.

In my own experience as a patient it was always a case of "let's see how this one works for you."

My point is simply that every drug carries some risk and that every one of us can react differently to them (including ourselves as we age).

I'm pro-psychedelics but agree that they should be treated with utmost respect.
VT-100, IBM 3270 terminals, X-Window, Tk, Qt, Oracle Forms (with some caveats).

And just because "web" more or less works doesn't mean we should stop trying. Web UI's for typical CRUD are expensive to build and maintain compared to 90's IDE's. Yes, I realize it made deployment simpler, but programming has at least doubled for the same feature set at the average shop. (There are exceptions, I know, I'm talking average.)

If somebody can justify "it must be that way", I'd like to see the logic. I'm highly skeptical. We just accepted our CRUD Rut as an industry because it's good job security, not because it's efficient. That's somebody else's bill. A good GUI-over-HTTP standard would make a boatload of dev problems float away. I really miss state, for one; it was a good thing. Oh Darling State, I surely miss thee, wherefore art thou? Jetsons tech was yanketh from my finger, and replaceth with Flintstone fiddle diddleth.

(And why are my posts getting bad scores? I don't get it. Ask first, and then neg.)
This is what I do. Domains are at Porkbun and domain registration is the ONLY thing I use them for. DNS and caching are at Cloudflare. Hosting is wherever makes sense.

Consolidating domain registration, DNS hosting, and site hosting under the same account is a terrible idea and a big risk IMO. Always ask yourself “what if this account gets banned?” All of the big tech companies have automated systems that could turn you into an outlier with no support.
> I now order basically everything directly via aliexpress

I would argue that in some ways, AliExpress is better than Amazon. Vendors seem really responsive, even for tiny purchases, and they are eager to avoid negative reviews.
If my friend sets me up with a scam artist, they’re at risk of to losing a friend - and potentially be ostracized by their entire social network for it. So they’re a lot less likely to recommend a scam artist, because they have skin in the game.

Same if they set me up on a date with their friend who ends up being abusive.
> We are considering using other unused address ranges, including the otherwise wasted 0.x.x.x

0.x.x.x is currently incompatible with WordPress:
https://github.com/WordPress/WordPress/blob/641c632b0c9fde4e...

To put it another way, 0.x.x.x and 100.x.x.x don't have equivalent properties in WordPress. 0.x.x.x is blocked in some cases to prevent SSRF attacks. 100.x.x.x is considered a "normal" IP address.
Interest and Purpose
Not really. That's about what I paid last year.
Why do you hate it? It’s one of the friendliest languages in current use, a nice mix of OO and FP, with top-notch tooling everywhere, and incredible performance for an interpreted language.
NASA Wants Your Help Designing a Venus Rover Concept
Inside the GitHub Load Balancer
Rock climbing has worked for me. I had mild wrist pain in college and worried that it would get worse, but it went away soon after I started climbing.
Awesome, thanks, I'll check this out and the other one too.
I don't know why they felt they had to mess with OCaml's syntax - one of the nicest around AFAIC. With F#, even MS didn't feel like they had to add extra braces and other baggage and change keywords ("match" to "switch ()", etc.) to make C# programmers have an easier first ten minutes of transition time.
Whenever offshoring comes up I'm reminded of my experience trying out an Indian development firm some years back. I decided to give it a try with an extremely simple feature for autotempest.com, just opening up a modal window with some advanced search features. Specified what exactly should be included, and it was nice and encapsulated so I figured it would be a perfect test.

To summarize, the results were literally comically bad. All kinds of hand massaged spacing using nbsp's and weird off by one pixel issues and such—things that to do wrong as they did must have taken an order of magnitude longer than it would have to do them correctly.

So, I went through several rounds of pointing out really obvious issues and asking for revisions. They would apologize profusely and say essentially that the person who had been working on it previously had been a junior developer, but they'll put someone much more senior on it now. Never really made a difference.

But here's the one that really blew my mind. The site color scheme at the time was greens and whites. For some reason though they decided that the heading of the modal box should have a thick orange underline. How did they create this ~4px underline? By embedding an enormous image of a sunset and cropping it to a 4px orange line.

No exaggeration. This was like a 2560x1440px image of a sunset, which they'd cropped to a sliver in the top corner to show an orange line.

I have to assume the developer(s) got sick of my nitpicking and decided to do something so ridiculous I'd just go away. It worked.
It always seemed like a mutation of whatever lobe or gland makes us interested in the arcana of computer systems, or makes kids get obsessive about dinosaurs.

They have some kind of construct that generates happiness when they have some secret and/or contrarian knowledge. it's just disconnected from the actual truth value of that "knowledge."
I pretty clearly stated $60k/year. $45k/year was someone else's suggestion. But $45k/year isn't "absurd" at all if you live with a housemate.

Heck assume spending $70k/year on $205k/year after taxes and 401k + match. It's still $135k/year. I don't know why you're arguing against arithmetic.
That's how ad targeting was done before Google and Facebook. Now that you can buy valve buyer eyeballs while they are browsing cat pictures all those multitudes of specialisation are prone to do extinct.

(and to GP: perhaps one day we might discover the remains of ancient Roman Valve Magazine!)
This may have been true 15 years ago when they were a small company. Google now employs ~60K engineers and the majority of them are "Bog Standard".

Disclosure: I worked at Google twice.
> Bad managers will never admit they're bad; they have bad employees. It's really hard for upper management to tell the difference.

Speaking from upper management, I don't care for managers who blame their employees when things go wrong. They should have replaced those bad employees before things went wrong. That manager is on the way out if he's working for me.
That wasn't just the first large scale use of it, that's when AJAX was invented.
This website has a bit more of a modern look, plus it shows me a screenshot of the product right at the top of the page.

Testimonials are shorter, single sentences which means I read them :)

I'm not sure why there should be a distinction between selling desktop and other forms of software, if you can look past that, my company site that I co-founded is a good example https://audiencerepublic.com of a site that converts well.
> I take "Twitter is run by anti-conservative SJWs because they kicked off Milo and Richard Spencer" with more than a few grains of salt. :)

They probably not, just regular progressives, although they could have friends in those circles. Btw taking too much salt isn't good for you.
Fake?

https://www.doorindustryjournal.co.uk/
> Twitter has removed the blue check almost exclusively from public figures on the right

Do you have a source for that or is it your opinion?

Some of my friends and family are very quick to note that the overrepresentation of black and brown people in prison populations is not evidence of bias, because you have to look at who is committing the crimes.

But when it comes to right-wing personalities getting suspended or banned from private platforms, the same people are very slow to comprehend the same logic.
Are you referring to Reason? I don't see anything related to messing OCaml syntax in the OP.
This is a really amazing visualization; very encouraging to see.
Thank you for the answer. I've been studying a lot, Leetcoding like crazy but lucky cases like that just demoralizes me.

Anyway, I guess what I can keep trying is to roll the dice. Thank you for the answer, it motivated me.
I believe metallurgy was a serious issue for any possible Roman steam engine.
Zettelkasten – How One German Scholar Was So Freakishly Productive
Single Track means there is just one vehicle width shared both directions, if you meet someone coming the opposite way too bad, the next size up is Single Track with Passing Places (at intervals the road is wide enough for vehicles to pass in opposite directions). Not many Single Track A roads left in Britain, the A roads have mostly been upgraded even in Scotland. You're likely thinking of single Carriageway, which means there's only one road surface but it has separate lanes in each direction. Lots of those.
UK Met police chief: facial recognition technology critics are ill-informed
I was thinking of a smaller electrodynamic tether that would be floating in space rather than anything anchored or as long as a space elevator. I’d assume the stresses would be significantly less/more feasible to overcome, but that’s a naive assumption. Maybe a power generating, floating electrodynamic tether would have to be similarly super long and strong to generate meaningful amounts of electricity; I know fairly little about them, but they sounded more plausible than a space elevator to me.
Microsoft DeepSpeed: a deep learning optimization library
And since I'm being snarky anyway, there's two subdivisions to AI:

supervised learning => remember this

unsupervised learning => approximate this

This doesn't make any sense at all.

Both are "remembering" something under some constraint, which forces generalisation.

Supervised learning just "knows" what it is "remembering". Unsupervised learning is just trying to group data into patterns.

Both approaches don't put much emphasis on intelligence

Seems like most "intelligence" relies a lot on pattern recognition.

And both approaches can usually be implemented more efficiently without AI, if you know what you are doing.

The evidence is that you are wrong on this for a number of pretty important problems. I don't know much about optical flow, but in the image and text spaces you can't approach the accuracy of neural network approaches with hand crafted features.
It's about 38% last year on that gross, as I noted elsewhere (including FICA and state). But assuming no 401(k) or match isn't realistic either so it's actually lower.

I'm not really sure why you keep pushing back on all of this. It's just how the math works.

The short version is, if you make $300k year if you are careful with the money you can have 1 million in savings in (conservatively) 6-8 years just by doing the obvious things, assuming reasonably similar market conditions.
Covid19info
Wouldn't that still be better than the current situation? It seems like a lot of these laws, in an attempt to define the acceptable minimum as middle class, just end up pricing lower income people out of the market altogether. I think it should be alright to allow for lower minimums as long as the main priority of fluid class mobility remains high.
Italy applied travel bans long time ago, apparently didn't work?
It seems like an entirely harmless belief system, so I'm not sure why you'd want to try and talk them out of it, unless it's leading to dangerous behavior on their part.

It reminds me of Sherlock Holmes, on being told that the Earth goes around the sun:

"Now that I do know it I shall do my best to forget it."
[...]
"What the deuce is it to me?" he interrupted impatiently; "you say that we go round the sun. If we went round the moon it would not make a pennyworth of difference to me or to my work."

Better a flat-earth obsession than getting into colloidal silver or those shoes with the little toes.