skysight-inc/HackerNews huggingface dataset:
> Sorry I didn't get that you were interested in my personal opinion on that topic. I just tried to tell you what I would find a reasonable approach to answer that question.

What you're seeing as a "reasonable approach," though, may not be logically consistent.

You asked why equality of outcomes isn't a desirable goal in science and tech. I asked you if it's desirable goal for the NBA but you're not giving me a straight answer.

> Yeah, seems like many of them are still ok with the situation. I'm just saying that it is likely that there will be a problem in the future and its better to fix it now than later.

I'm not sure of this. There are many more female nurses than men and I don't see it as a problem now or even necessarily requiring "fixing."

> Plus, I think you would agree, that this problem is on a social level more relevant than your NBA example.

Of course--that's why I'm driving this wedge. It's more relevant on a social level but not for rational reasons. If you can acknowledge that differences in outcomes are inevitable among individuals and not inherently indicative of a problem (as in the NBA), you'd have to question whether or not differences in outcomes in science / tech are necessarily the result of sexism or even bad.

And that answers your question. If we can acknowledge the end result of individuals freely making their own decisions will not be equal outcomes, then pursuing equal outcomes is not necessarily a desirable goal.

EDIT: Added a necessarily.
> Are you asking for studies? How would you even rigorously define the hypothesis?

Preferably studies, but even intuition would do at this point. You don't need to rigorously define the hypothesis, just demonstrate which kinds of patterns susceptible to commonly applied automated reasoning occur more frequently when the same application is written in a TC or non-TC language. The thing is that it's often easy to recognize special cases even in TC languages (e.g., deducing that a function is total in a TC language is easy in those cases where the function resembles those used in non-TC languages).

I'm not saying languages can't make verification easier. For example, recognizing a terminating loop may be a bit easier in a language with `for` loops than in a language that only has a `goto` construct, and a language with less/no aliasing makes local reasoning much easier; I'm saying that that help does not stem from restricting the computational model (just as removing `goto` does not reduce the computational power). Turing-completeness in itself is a red herring when it comes to the question of how languages can help verification.

But I don't understand even the general line of your argument. Even supposing that SATing a CNF formula automatically generated from C is easier than other approaches (it isn't), this does not show that writing CNF directly is more advantageous than writing C. After all, a simple mechanical translation exists, so why should I write CNF formulas if writing equivalent C code is easier?

> you'll find that automatically SAT solving a CNF model works much better than applying an automatic theorem prover to the C program that generated the CNF model.

It doesn't, though. Many automatic problems are easier to verify using abstract interpretation than SMT.

> So? How does that invalidate my example?

That a magical 50-year-old algorithm that no one understands to this day happens to exist for the very simplest of intractable problems does not mean that we can hope for similar success for much, much harder problems. When it comes to program verification, SAT (used in SMT) is effective only in a very controlled and limited way (I know because I use formal verification). No one believes SMT solvers could be extended to verify full programs.
It's just the other side of the same absurdity coin (ooo next ICO?).
> "Ayn Rand basically turned enjoyment of other's suffering into a philosophy"

I'm no Randian by any means, but I'd still treat her ideas honestly. By your statement, you either haven't read her works, don't understand them, or understand them and you are simply being dishonest in your representation of them. In any case, her philosophy, whether it is correct or not, is not one that "turned enjoyment of other's suffering into a philosophy."

It turns out you can treat her Objectivist philosophy like any other philosophy and actually attack the premises of her arguments. Disagree with her supposed solution to the "is-ought" problem, fine, present an argument against it...in my opinion, that is a much better route to take than completely misrepresenting her philosophy.
VDC: Microsoft Should Revitalize Windows Embedded to Compete with Amazon/FreeRTOS
I checked the character, it is anything but weird. It is a valid character in a language used by millions of people.
For those curious: It is a Telugu character; Telugu is one of several widely spoken languages in India.
> Women are simply more sensitive to work/life balance. For whatever reason, our industry seems to think it's normal to work 12 hours a day.

Most people in tech don't work 12 hours... it is not the norm. Maybe it's a Bay Area or early startup thing, but I never have.

Even if you were right, a lot of other office/"professional" jobs work just as much or longer than us. My friends (female and male) working here in NYC in other industries (finance, marketing, accounting, etc.) usually work 9-10 hours and don't take a lunch break (work while eating). Some careers like nursing are known for their crazy hours.
Is it ironic that we are having a discussion about diversity of thought in SV on an SV-based platform that says if you don't agree with something, then you should downvote it into oblivion such that fewer people will see it?

That should be your response versus asking questions and engaging in actual thoughtful discussion?

Does that promote tolerance and diversity of thought? Or does it reinforce the notion that we should stick our fingers in our ears and balkanize ourselves in the face of ideas we don't like? And, worse actively work to prevent others from seeing those ideas?
This article is about the UK, where adult ADHD is very rarely diagnosed, let alone medicated, compared with the US.
Fair point on the snark.

I wasn't however assuming bad faith, I was attempting to use humor to jolt someone out of uncritically adopting what I consider an asburd position (that there is any danger of a metaphorical "war on men", in any sense other than as a talking point).
Thinking about this:

For 'Object x', x is nothing but a (typed) pointer.

Pointer manipulation is heavily limited, but technically, Java has pointers.
I'm the Product Manager on the Core Server responsible for the multi-document transactions project. For those of you interested in learning more about how we're building transactions in MongoDB, I suggest checking out this video that discusses creating WiredTiger timestamps to enforce correctness in operation ordering across the storage layer. The description is presented by Dr. Michael Cahill, the co-founder of the WiredTiger storage engine aquired by MongoDB. https://www.mongodb.com/presentations/wiredtiger-timestamps-...
The crucial point was the sacking of Constantinople. Basically Western Christians sacking the city and raping and destroying center of Eastern Christianity. If Christians would have instead united history could have been quite different. The era of crusades is very interesting and complex. Lots of very important historical events that shaped the world history afterwards happened during those times. Lots of parallels could be drawn even to our current time we are living (hint hint).
I download IDM from this site

https://www.idmcrack.ml/

it's good

Is it faster than torrent?
Not here in Vietnam, even modern houses in large cities have them, we call them "blood sucking stink bugs". They just lurk under the bed and wait until we are sleeping.
https://i-giadinh.vnecdn.net/2013/06/20/bo-xit1-1371721027_5...
Neural network AI is simple. So… Stop pretending you are a genius
Have you checked out Insomnia's environments feature? It seems like what you're looking for. You can create an environment for production/staging/etc, define a variable in each one, use that variable in the header value, and switch between environments any time.

Also, Insomnia supports autocompletion of GraphQL query attributes. Maybe you have found a bug?

https://support.insomnia.rest/article/18-environment-variabl...
Those are your requirements.

Dirk is saying yours is one of a long list of very specific requirements people have requested in the past. You asked about a startup idea, so he is generalizing the problem to make it applicable for more users than just yourself, and pointing out how complicated it would be.
Frankly I'm wondering if 5G will ever take off. One problem with 5G is that it uses higher frequencies, which carry more bandwidth, but don't go through obstacles so well. So you need much more hotspots, which A is creating zoning nightmares and B is an expensive proposition. Really performance is similar to that of wifi. So the question is why not just use wifi? There's a bunch of wifi hardware already installed, we can assume in the future that more will be installed, and that wifi will continue to improve. Really the big problems with building a wifi based cellular network are incentives, software, and ISPs. We need a way to incentivize people to open up their routers so that strangers can use them and software so that the people using these routers aren't getting snooped on by the people who own the routers. Software and incentives aren't that hard to fix and could be an interesting startup opportunity. However, ISPs could quash any company that tries to do this.

[0]https://www.fastcompany.com/40468468/the-debate-over-neighbo...
The second source about apartheid is nothing but a political hit piece. Let's break it down:

- One source from 30 years ago where Thiel said that the moral issues of apartheid were irrelevant to their economy. He did not say "apartheid is good", he just said it didn't matter to their economy. I wouldn't agree with that statement, but even more important, I would make the link "Thiel thinks apartheid is good".

- The first source has the standard "this has been a lump in my throat for 30 years". Thiel has been in the media for far longer than that, so I guess it's just a coincidence this was timed during the Trump campaign.

- The second source seem irrelevant. She simply says Thiel said "morality and governments shouldn't be connected". Hardly a statement in support of apartheid.

- Note both sources are from individuals who had separate conversations about hot political issues 30 years ago. I have no doubt they were upset, but again that doesn't mean Thiel supports apartheid and he has already stated he doesn't.

I'm not really surprised by the article because politics in the US has become a "win at all costs" and "score points whenever you can" game. Rationale, logical discourse is gone. It's all about how many negative sound bits you can get and how many people believe them.

If this is the worst they can dig up about Thiel (30 years ago), he's got a cleaner record than most people in politics.
Oh, a note: "Latency" is a bit ambiguous because I don't really know how the sisoftware code works. If they measured latency by performing one operation, then perhaps RL + tRC (15+7.5 nanoseconds) would be closer to the expected performance of the RLDRAM3.

If they measure latency by randomly jumping around Ryzen's L3 memory and determining the delay, then RLDRAM3's performance would almost never stall and you effectively can get an answer on every clock cycle (~1ns), with a worst-case performance of waiting tRC if you visit the same memory bank (7.5ns). That's why I focused on tRC last post.

Thinking about it now however, maybe the 20ns figure for RLDRAM3 is a better comparison against Ryzen's measured 40ns L3 latency. It really depends on how SiSoftware's benchmark is coded.

In any case, its clear that RLDRAM3 has incredibly good latency metrics, rivaling that of Ryzen's L3 cache. Expected 22.5-ns of realistic latency compared to 40ns measured means RLDRAM3 is still way faster than Ryzen.

Plus, you know, the ability to hold a 9MB data-set or larger. An ASIC would be able to chain up as many RLDRAM3 chips as they have pins, so you can probably hold upto 640MB or so (assuming you have enough pins for 10x RLDRAM3 chips)
Why are bedbugs so horrible? They're irritating and hard to deal with, but they are not very dangerous. Certainly not to the point where you'd destroy the environment to protect against them. DDT isn't even the only way to deal with them.
There is the flip side too. I wouldn't want to be known as the diversity hire. I want to be judged on my work and my skills. Not on what chromosomes I carry or what my melenin level is.

The more we keep framing things in the context of hiring to meet gender based quotas, the more people will see us as diversity hires. I would hate that more than knowing someone doesn't like me because of my gender because that persons mind I can maybe change via my skills and work.
Develop strong out of sync (OOS) detection tools early, and learn how to use them.

The way lockstep work is that the clients gives themselves a rendez-vous in the future and agree to compute one turn of the game, given the players' input of that turn, at that moment. It's very clever. The players input are sent to every clients and will be computed in the future in a deterministic way. So every client is computing the exact same game. Now if the clients doesnt compute the same game given the same players' input, the game is OOS and that basically should never happen because the game is dead.

To detect an OOS, a client needs to compute a hash of some relevant game data (ultimately "everything" ends up being represented by the position of the units (plus a dead state)), every turn and send them with its "end of turn" message to the server/clients. If clients disagree with the value of the hash, they are OOS.

The cool thing with lockstep is that you can record every turn inputs (which is fairly light) and then replay the whole game - because that's already how a game is played. So, when you have an OOS - or any bug, you can just replay the game until the OOS and try to fix it. Sometimes it doesnt work though and you may replay the game without detecting any OOS.

If you dont detect an OOS after a replay, you're basically in deep shit. I mean needle in a haystack of c++ kind of deep shit. Every client needs to dump every data of every function that ever ran in a log file, and then you need to reproduce the OOS and then compare the log files and then guess what caused the data to differ.
If you don't fall into any of the affected cases, what exactly is the vulnerability? The security aspect I get, and happen to agree with 100%, but if I roll my own sub-optimal username classification system for my CRUD app that gets 80 users in its entire lifetime, so what? I will have certainly learned a lot more than just typical `npm install usernames`.
Hulu is a non-starter for me for the same reason I'm cancelling Google's Youtube TV: mandatory commercials. Netflix, Amazon Prime with the Starz and HBO uplifts yields more programming than you can reasonably consume and is cheaper than cable. People like me will keep Netflix in business as long as they try to keep some kind of compelling content available.
Fuzzing finds bugs, using a safe language precludes them.
or not, as the case may be https://www.mongodb.com/compare/mongodb-postgresql
The most significant demographic change for the city was actually not the Ottoman conquest, but its destruction and rule by the Western Christians ~200 years prior. These events took the population down from about 400,000 to about 35,000. It never recovered. By the time Mehmed II came along, it was only 50,000.
Lest we forget, we should wait for an Aphyr/Jepsen analysis before jumping to use this in production: it could go either the way of https://aphyr.com/posts/284-jepsen-mongodb or https://jepsen.io/analyses/mongodb-3-4-0-rc3
I agree, I worked in IT and was the last one to move from 8.1 to 10. I loved 8.1, it was rock solid. People on my team were always complaining about Windows 10 and I'm just sittin' here with my rock solid stable OS like "amirite?"
yeah they're 50Mbps seems awfully low, heck I can get 100Mbps on 4G and I live in a rural village in Scotland.
ADOBE PHOTOSHOP LIGHTROOM 2018 7.2 CRACK DOWNLOAD FREE
Out of curiosity, is there any overlap with objectives or performance of accelerate https://github.com/AccelerateHS/accelerate?
Yes and Mongo helped us a lot to get thinks off the ground, but we're now moving everything to postgres with JSON for some time.
I was badly burned by Mongo hype back in the day, and as a result I won’t touch it with a 10-foot pole for the rest of my life, no matter how many times people say “No, really, it’s good now”. Falling for that was how I got into trouble in the first place. I know a lot of other devs like this.

If they can be successful despite us, more power to em I suppose. I’m a little annoyed that their path to success was built on the flaming wreckage of so many products that fell apart because of Mongo, by using us as their beta testers instead of building a non-shitty product, and I’m at least going to get this comment in so we aren’t completely forgotten among the congratulation.
For things that are legitimately tied to your physical identity as opposed to an email address it makes sense not to let you do this.
Diatomaceous earth is great stuff for nuking arthropods from orbit. Carpet bomb and then vacuum it up later.

Just wear a particle mask when handling it; it's safe to eat but not to inhale.
And if it get's in your history, it'll crash every time the character shows up again. I ended up having to delete the entry manually:

$ sqlite3 ~/Library/Safari/History.db
SQLite version 3.19.3 2017-06-27 16:40:08
Enter ".help" for usage hints.
sqlite> delete from history_items where url = "https://pastebin.com/9Tr8ytTr";
What you drive says a lot about who you date apparently
Modern cars have tons of advanced features that require a decent amount of computing. I mean just look at the evolution from radio cassette players to modern integrated GPS/media player/bluetooth/etc systems. Also things like automatic parking assist, rear view camera, computer vision algorithms to detect if the driver is falling asleep. It's feature creep all over the place.
In chrome I can see the character for a while before it crashes. That leads me to believe that the actual crash is not in the text rendering code but in some component above that receives some garbage at some point.
When motivation in business is needed: best songs with videos
Should Congress Create a Crypto-Cop?
I don't get why should people be tolerant of bullies?
I don't have anything more specific about later history

The History of Byzantium podcast picks up right where the History of Rome left off. It's mostly about the east Roman empire, but also covers the all its neighbors.

https://thehistoryofbyzantium.com/
Unfortunately it applies to almost every topic now.
It seems like you can't have a nuanced opinion on anything, you're either pro or anti, right or left.

In the end the people with an actual opinion and interesting things to say don't talk, and the idiots throwing bullshit around scream louder and louder.
only nanowatts? With an antenna, could this low level of power be drawn from radio/TV signals? It is enough to power a crystal set radio receiver.
I would expect that the former Deputy Administrator of NASA would know people all up and down the current chain of command at NASA. Garver appears to still be active in that world. It makes sense as well, considering NASA's massive investment in the SLS program; they've put billions of dollars into it so far.

She has pretty serious credentials to be saying it:

https://en.wikipedia.org/wiki/Lori_Garver
Here's a good introduction: https://www.motherjones.com/politics/2017/03/silicon-valley-...

There's nothing definitive in this article specifically, mind you; but for one you can read more about his and his buddy Yarvin's toxic philosophy here:

https://en.wikipedia.org/wiki/Dark_Enlightenment#Summary_of_...

... and then read various essays by Thiel himself, where you'll encounter more dog whistles than in a dog training center.
Even considering that those working on the specs were fundamentally engineers who didn't think in grids like print designers, it took an awful lot of ignoring how people were actually implementing commercial websites in the late 1990s to leave grid layouts out of early CSS specs.
I've been using MySQL 5.7 since its release in production. I used to store JSON data in a blob, but when they released JSON support - I just couldn't wait to use it. It's working really, really good. JSON support solves a ton of problems we used to have, and we used EAV model to tackle those problems (I won't get into details, the discussion will go the other way). I deal with a few hundred MySQL deployments ranging from 1GB dataset size to several terabytes, with multimaster and MySQL cluster setup to in-app handled sharding. There are several notable pieces of software that never caused any problems in our use scenario, and MySQL is one of them. The other is nginx. Can't really remember the third. I often wondered why anyone would use MongoDB or similar, but I always keep forgetting that developers are usually inexperienced hipsters who are looking for magic unicorn to solve their lack of knowledge / experience.
The way private visibility is handled is actually pretty useful for data-structures like Linked-Lists or trees where one creates more of itself and needs to adjust internal pointers without providing an external interface for anyone else to do so.
> Cynical? I'd call it realistic.

That's what all cynics say.

> If anyone wants to fight the problem, delete your account. That is the only value that you can take away from that company.

No, that's clearly false. You can use your account to spread an understanding that Facebook is bad (lots of stuff in the news to share, like this), or you could abandon your account but leave it up with a profile pic saying you don't use it anymore (sort of like a reverse take on broken-windows theory). Politics and lobbying representatives is slow, but does have results (all the lobbyists in the world can't counter steady constituent calls on a non-partisan issue). But you're a cynic, and probably gave up before giving much though about what could be done.
Because WiFi sucks.

If I'm riding a tram and leave WiFi on, the continuous connection and disconnection of networks (I pay for a WiFi service with a bunch of hotspots) makes my internet useless.

If it wasn't for iOS's restrictions on some types of data usage I would never turn on WiFi on my phone.

> we can assume in the future [...] that wifi will continue to improve

WiFi has gotten faster over the years but none of the fundamental problems have been solved. Heck, WiFi routers still hijack your DNS and HTTP connections just to show a ToS or let you log in! Why is this not an adopted part of the standard?
It sounds like you might really like the announced (but not released) Oculus Go. Standalone device, no PC required, inside out tracking, somewhere between a GearVR and a PC connected Rift.

https://www.oculus.com/go/
Going by your numbers and my best guess, I think the processing of self driving cars needs 1/4 hp. The first few generations will need more than that. (you can get by on less if you are willing to sacrifice safety)
All the Hacks from Stupid Hackathon Sweden (2018)
Connecticut Hunting Down Online Shoppers Who Didn't Pay Sales Tax