skysight-inc/HackerNews huggingface dataset:
The key is, I think, the "opinionated" part. Something like "how long should the DB statement timeout be" isn't really something people would have a general opinion on.

Also this stuff is all heavily Postgres specific; I think @nateberkopec's estimate of 300 gems is probably too low, even if you limit it to only say the top five most popular datastores.
fb isn't anonymous
You're showing NYC bias. 24-hour transit is not a requirement for living car-free at all. And you can get around the cities you listed pretty easily without a car. A bicycle helps in any city. Chicago's transit is good enough to do without a bike, too. Either way, you're not going to be able to bring home large furniture or a cartload of stuff from Target any more easily in New York than in Boston or Chicago. So access to a car (in the form of a taxi, Uber/Lyft, or ZipCar) is useful no matter what. I've lived in cities that only have a skeletal light rail and bus service without a car, and was just fine. If you're willing to bicycle, most major US cities without severe winter weather are quite doable without a car. You'll find many, many people in the cities you listed living carless and doing quite fine. Boston and Chicago in particular are cities where having a car is considered more of a liability than an asset. I wonder if you've actually lived carless in a city other than NYC (college campuses don't count).
> We are nowhere close to understanding our field well enough to define it as carefully as that. There have been lawyers since the Roman Empire. We've had software development for a few decades.

That's an important point, but even so, not knowing a lot doesn't mean we know nothing. We certainly know that using source control is important, we know some languages, some APIs and some practice are inherently unsafe, and projects using those should implement stringent security audits in particularly vulnerable deployments. They largely don't, and it's hard to argue that this isn't unethical.
I'd suspect probably not as many per person, and certainly not as many overall due to population.

It's easy to think of Nordic countries as "big" because they are, after all, "entire countries", but they're really pretty small population wise. Denmark has as many people as Detroit. Norway is similar, Sweden has about twice that population (the total of all 3 being around 20 million people). China has maybe 20 cities that each have more population than Denmark, overall China has about 250x Denmark's population.
Interesting that they picked Star Craft over something already open source like Warzone 2100. Star Craft is obviously much more popular but picking something already open seems to me like it would allow for better control.
AFAIK both Fedora and Ubuntu support it.
I'd hate to see what letting my mind drift does to a flying ship.
Section 9 of that document defines "collection" to mean what you would expect it to mean.
paralysis via NIMBY is the key problem in the US. many urbanists would be happy to grid every city with subways. we talk about it, wistfully.

but we don't have the political leverage today, and the little we have is with the Democrats, not the Republicans.
It's all four, They aren't mutually exclusive.
Isn't AleydaSolis involved in that project? Or perhaps it's someone else...

Also who are the big leaders in the influencer search tool space these days?
This is personally true for myself. I have been buying more books lately!
I think there is nothing more boring than reading a bunch of people who never propose anything point out flaws.

You all sound like Balmer.

This is a CONCEPT!!

Elon is THINKING you all are pointing, laughing and adding no value to the conversation of "What comes next?"

If your idea is "the metro works", a 150 year old system, then this video is not for you.

To the video, I like the concept of combining public and private transportation in the same path.

It also makes sense as a way to directly link far distances. To me, this is a modification of the hyperloop concept. Something more feasible in the shorter term and definitely less risky.

Of course all this depends on the economics and physics of boring becoming cheap and 10x faster. keep thinking Elon.

Earth needs more of your "fantasies". Let the pointers keep pointing.
Why not turn that argument around to yourself?

You should know from ... the 1200+ days you've been around, the huge number of shut down notices in that time, the other posts here, and every single comment that's ever been made about how you should communicate with users, ... that the shutdown notice here isn't great.
Are you guys all serious? Just give it a word which you can remember. They are not going to cross check it.
It's not really taking advantage if they gave it to you consensually. You're not taking anything from them, they're not losing anything, they gave you info voluntarily, you're just selling it.
Global Data Bisiness
http://search.cpan.org/~gnb/Devel-Plumber-0.3.4/lib/Devel/Pl...
The filter on XKS that prevents US hits on selectors has been enhanced to satisfy ruling of the court.

Its still collected in perpetuity, but under the Schrödinger approach to surveillance it no longer exists.

Maybe nothing can truly change, just as one cannot uninvent a technology -- telephony, broadcasting or social media are with us forever. Maybe true to for global passive surveillance.
Visualizing Concurrency in Go (2016)
I'm probably doing something wrong but I can't find the open source code from it's awesome replay watcher.
Scrapinghub writes some useful blog posts at https://blog.scrapinghub.com/. It obviously has to do with using their frameworks and services, so it may not be very useful in your case.
True but I've heard other magicians critique him for overstating the psychology aspect.
Music is not my area of expertise, but

1. It looks like there are limitless possibilities in that area of technology.

2. Magic Mode reminds me of Omnichord. It looked like with the Omnichord, you could do certain things more easily than with an analog instrument, but other things became harder or impossible. So it was a trade off.

3. In addition to allowing anyone to create music, it would be especially interesting if you could create new possibilities for expert players. For ex: some kind of augmented drum could allow you to create and play more intricate rhythms than would normally be possible, perhaps by having ML extrapolate and combine patterns in ways that are too complex to even write (I used to play drums). It seems like the ear can hear patterns that are beyond what can be played or even created by a person.
> If he's looking for mega-good, Musk would do significantly better to drop a full subway network.

Agree, except that while many ridiculously wealthy people would be willing to help pay for private access to some tunnels — _perhaps_ subsidizing a system that is later available to others — many fewer wealthy people would help pay for a subway.
> If you're trying to compare costs with Boring,

Actually I'm not. I just want to point out that public trains cost huge amounts of money for investment, they need special infrastructure which many US cities don't have, and the only way they work feasibly is if the population density is high enough so the taxes will support them.

In other words, there's a huge upfront cost to even considering building a system that most cities/governments will choose roads over rail.

A bus on the other hand is $300,000, holds around 60 passengers, and uses the same infrastructure the city already has, and doesn't incur the need to have right
of way fights with land owners.

What would you realistically do given the choice?
I'm studying in Germany and Jodel is in my experience astonishingly popular among students. At a University with about 40.000 students there is an active community of 1000-4000 users and definitely more group communication than on Facebook or another place online. I'm curious how the will be monetizing as well but I do not see the decline you are speaking of.
Metaphors and Analogies in Product Design
https://www.amazon.com/Sophies-World-History-Philosophy-Clas...

Philosophy has a really strong "begat" narrative that helps if you're interested in learning the bases. E.g. A begat B begat C...

Also, I think one of the difficulties in talking about philosophy is that specialized language in the field has incredible compression efficiency. It's a lot easier to say Kantian than to take 1,000 words to recap his arguments and beliefs.
All you need is vanilla JavaScript! Seriously. Email me at john.has.come@gmail.com I will be glad to discuss my approach to completely avoiding these frameworks.
Every self-driving car video I've seen is set in a place built for cars, not people. Not a coincidence.
Europe and Japan seem to have solved that problem with public transit.
People in general don't care about efficiency, and it's not even irrational. Transportation planning tends to treat people as little AI zergs that are going to take the most collectively efficient route to their individual destination. It's best to have a system that's as agnostic to how people want to get where they're going as possible, but I have no idea whether tesla's idea is good.
I still can't believe it took until rails 5 to land.
uh duh??? Ever heard of a concept? How many concept cars actually get released as the "marketing fluff" that you see in auto shows?
Not always. Suppose you are writing a stand-alone kernel, for instance. That's much easier to debug in a VM than on real hardware.
Some of the pollution is Mercury, they list the degree of pollution as 1000x permissible maxima when it comes to heavy metal pollution of that water.
Debian still supports UEFI, just not Secure Boot (which is not very secure these days if you're using a Microsoft-signed key).
Major, well-funded contests entice students to consider cybersecurity careers
If you have total control you can cheat a little and not do other things like analyzing what's being displayed on the screen, but that's just my thinking. It might be more valuable to some to actually analyze the data on the screen.
The flash was a lot larger than the RAM, but I think you could only store programs there, maybe. Data tables, strings, and such might've needed to be stored in RAM.

I feel for your loss though, whatever the circumstances were. The first graphing calculator I had access to was a TI-81. No flash space, RAM only. And since it had been my mother's when she went back to college, by the time I was using it, the button battery was pretty "iffy".
Javascript is a buffet, not the enemy [video]
I love the second and last lines of your comment.

Surprised to hear they put chili in confectionery (assuming that is sweet items).
This question is difficult to answer in general, because TLA+ is a very particular kind of formal verification tool (it's a model checker designed more around concurrent hardware/software than e.g. pure mathematics or general proving, or equivalence checking, etc). There are a lot of verification tools out there, many of them substantially different in scope, intent, and design. It's a bit like asking "What prerequisites do I need to drive a (boat or a motorcycle)?" They're very different beasts, and it's a very big field.

On this note, "non-trivial" formal verification can often be very, very non-trivial, depending on how you approach it. And I mean that in the sense that actually writing the specifications and proving them can be extremely hard, depending on the tools -- even if the problem itself may 'seem' easy. Think "I have a 1000 line program that needs 10,000 lines of proofs". (1-2 orders of magnitude is probably a good ballpark estimate, if you're doing things with tools like Coq.)

Luckily, TLA+ in particular is pretty easy to learn and you can get productive in a few weeks I think, and it's geared more towards engineers than e.g. general mathematicians or whatever. This introduction is pretty good:

- https://learntla.com/introduction/

If you want a more general background... Go pick up some books on logic and computability. The things you learn here will apply deeply to nearly every approach to formal verification you can think of. Start with simple propositional logic, and you can move up to first-order logic, higher-order logics or type theory later on. This will help you understand logical systems, how to prove propositions, their relations, what can be decided etc, which will be deeply useful, forever.

If you want the book on this stuff, I strongly recommend the following one. It is dense but it is, in short, the bible of automated computer-based theorem proving, as far as I'm concerned, and has substantial code to back it up. (The author does formal verification of FPUs at Intel):

https://www.amazon.com/Handbook-Practical-Logic-Automated-Re...
Well, that's because no one opened a PR until now.
Got a friend at ITAR, when I asked him how many people work there, he said about 10%
"The Green Bank Telescope searched for these signals using its “L-band” receiver, which gathers data in frequencies ranging from 1.1 to 1.9 GHz ... they conducting three five-minutes observation periods, while also conducting five-minute observations on a set of secondary targets"

Does this seem like a really short timescale to anyone else?

Of course, anything on human timescales is but the blink of an eye on geological, never mind astronomical timescales, but it still fells like you'd have to get awful lucky to catch something in just the 5 to 15 minutes you happened to be listening on a narrow range of radio frequencies.
No idea on what this tool does, but I guess you could emulate what a (terrible) GC does and bruteforce stack and memory for valid pointers. You know which pointers are valid from analyzing the heap management info, hence why this only works for glibc malloc (would have to implement on a case by case basis).
Explore – Explode – Exploit
I'll stand by my statement, I didn't say they were failures as lawyers they just simply are not what legal professionals would call the most successful lawyers.

A compliment on Lincoln's cross examination skills does not make a successful lawyer, though he did practice and litigate and unlike the others (that I know about) established case law. As far as Hillary, I wouldn't put to much stock in The National Law Journal - it's like the national dean's list, rising star lawyers, AV rating. What do you really know of her career? Did she take cases of first impression; set case law; argue before SCOTUS; set a record on a monetary judgment/damages; become partner at an AM100 firm or white shoe firm; hold a meaningful judicial clerkship; become a federal judge?

These are all smart people, successful politicians, but as lawyers I'm not sure anything ranks them in the upper echelons ...that certainly doesn't mean they were failures, which is being read into my statement, I think. Despite the thread opposing me, I don't see any merit based support they were the most successful lawyers.
Note to self: when fishing, send multiple invoices of $4000.
If you're in a city that's not explicitly designed around cars, a car is a total hassle. America's gone all-in on cars, but even then the current generation is abandoning them and instead doing something crazy: Living close to where they work.

A car is a massive investment of time, money, and emotional capital that an increasing number of people are simply unwilling to make.
Scandinavia and Beijing has approximately the same population, and Denmark is about a fourth of that.

The poor danes would have to eat oysters 24/7 to compete with China, and even if they certainly appreciates good food a bit more than most, it might still actually be too much oysters :)
If you ever get a chance to try "carolina reaper" peppers I strongly suggest giving them a try. A friend grew some and they have amazing flavor imo. Very hot but retains lots of flavor when dried. If you can grow them, even better!!
I think this is actually more of a fix for the problems with self driving cars, specifically: other traffic.
By creating a new category of infrastructure the selfdriving parts can be far more reliable and simple.
Its Android client is so-so. I'd suggest Matrix/Riot.
Human evolution would surely change direction after a few millenia of living underground in lower gravity
> that the shutdown notice here isn't great.

That's your opinion. I disagree with it.
Protein! And fats, for that matter; there's much more to milk than sugar.
The Adaptive Radix Tree: ARTful Indexing for Main-Memory Databases (2013) [pdf]
What a huge waste of resources for individual transport options.
Would something like this lead to text-centred sites coming back?
They stopped turning a profit because the government regulated their profits (after throwing money at them hand over fist, which was naturally exploited) and then federalized it when it fell apart when they decided finally to go to war.

During World War I, regulation prevented the rail industry from properly responding to an uptick in rail demand for exports to fuel the war's various foreign factions (ship capacity had been greatly reduced by German submarines). After the rail companies asked for a rate increase in order to help deal with the increased traffic (which was rejected), the President seized the rail network in order to sidestep the debacle and get their exports out.

The rails were de-nationalized when the war ended 2 years later. After that, the use for passenger travel steadily declined as automobile and bus transportation grew, and the rails never recovered (except during WWII). In 1971, when the entire network was about to collapse, the government created Amtrak. Amazingly, most of the network is still limited in capacity and speed due to regulations from 1947. And most of the improvements in the system have come since 2000. Any subsidies that could have upgraded the network or increased capacity or efficiency over a period of 80 years went into building highways and airport control towers (but not more efficient public buses or light rail).

Of course, Amtrak still leased its rail lines from the railroads, so the old rail companies became the new landlords and freight providers, while Amtrak serviced passengers. Amtrak basically cut passenger service and available rail lines in half, with whole corridors becoming freight-only. Later Amtrak bought bankrupted railroad track, and currently something like 25% of the rails Amtrak travels are owned by it.

The parent is half-correct. The freight customers don't have the same needs as the passengers, and "more convenient" methods of transportation exist for them, but for some reason the government demands that passenger rail remain (for the next big war?) so it got bailed out and nationalized.
Seems related to Chinese people looking for imported sea food due to water pollution:

http://www.bordbia.ie/industry/manufacturers/insight/alerts/...
Well.. it's been a long-sought dream

https://en.wikipedia.org/wiki/History_of_autonomous_cars
If they're not residing in America nor are a threat to the US, the 96% should be ignored.
Maybe he can. The construction industry has explored a lot of options, but let me tell you something: If there's one group of people that are necessarily conservative about these things it's civil engineers.

A rocket can go to the moon and come back safely, that takes an abundance of caution and significant attention to detail, but it's a fixed-length trip. Civil infrastructure has to exist for decades, or in the case of many American undertakings, well over a century. That requires extreme caution.

If you invented a concrete alternative today it'd take at least twenty years for it to be considered a viable alternative to concrete because long-term studies of the mechanical characteristics of it under a wide variety of conditions will have to be taken out.

Concrete is an extremely complicated material, I know people that have gotten a Ph.D. in aspects of it, and it's very well understood. This hypothetical alternative you're talking about has a lot to measure up to.
"real solution" =! "it's impractical"

Decide which one is it.
That is a very good point.

At my work if you work more than 8 hours in a day, they just won't pay you for the extra. It looks bad on reports, and doesn't matter if the job must be completed by midnight you still can't work 12 hours on paper. What you have to do is split off anything you work in overtime, and put it on the next day's time sheet.

Legally, if your time sheets are inaccurate, you open yourself up for all sorts of legal action including significant fines and imprisonment, so what they've done to cover themselves here is require you to sign it as a true and accurate record of your hours worked. (They refuse to pay you if you don't, which in turn is illegal.)

I think I will follow your example, and find myself another job in a business that follows a basic code of ethics.
Euclidean?

Then nearest neighbor itself is rarely what you want:
https://link.springer.com/chapter/10.1007%2F3-540-49257-7_15. Quote from abstract:

"We show that under a broad set of conditions (much broader than independent and identically distributed dimensions), as dimensionality increases, the distance to the nearest data point approaches the distance to the farthest data point"

In the end - in the physical world - everything maps to 3D give or take a few dimensions that are very small if we have to believe some physicists. You just have to find the mapping. :-)
But those exist for above ground systems too, right? Earthquakes damage roads, bridges. Road and rail impact the environment as well.
It's amateur hour. There's a sort of paradox: It's actually easier to steal a lot more money. The problem is that draws eponentially more attention and the likelihood of getting caught grows to the point where it's pretty much guaranteed.

If they'd done $1M nobody would have heard about it, nobody would bother investigating too thoroughly, and they'd just shrug and move on.

The "pro" thing to do is to take your $1M and walk away even though you know there's more money at that tap.

There's a lot of casino cheats that talk about their craft. The good ones work extra hard to give the constant illusion of losing money which helps them win a little bit more without drawing too much attention. There's a whole art to knowing where the line is and not crossing it, flying completely under the radar.

That's what professionals do.
A local Thai restaurant was my favorite too, until a real Sichuan restaurant opened up. The numbing of the Sichuan peppercorns allows you to eat even more chilies. So addicting.
Yeah, you definitely can't argue with hydroponics for yield. But if the goal is spicy hot peppers, I can't see it being the best approach.

Good to know about using a strong fan for indoor pollination. Might have been the missing element last time I tried.
Sporadic errors 504 on AWS ELB
You don't need to. You're never forced to solve really thorny problems to make your code run faster by a constant.
When Debian 9 (aka Stretch) goes stable then time to install sid:)
I thought Disney wouldn't want that shown much any more. But no. It's on a big display screen at Disneyland for the queue at Autopia.[1] Nuclear reactor scene and all.

[1] https://www.youtube.com/watch?v=uA82TQmMUvU
At a guess, I would say no, Turkish was not a model. At least if we limit ourselves to language.

It is telling that the linked thread throws up three completely different near-eastern languages as candidates. Hittite a (distantly) Indo-European language, Turkish - a turkic language and Hurrian which is something completely different.

Even if there is some "non-genetic" similarity among all these near eastern languages, then consider that all of Tolkien's non-elvish languages sound vaguely near-eastern to my untrained ear. This includes even the Common Speech, which sounds completely different from the English that it was translated into.

But if we broaden our view from language to culture, then yes, I suspect that the Ottomans loomed large in the minds of Christian Europeans for so many centuries that they (or rather the western caricature of them) has influenced many evil empires of modern fantasy.