skysight-inc/HackerNews huggingface dataset:
You could put it in the bitcoin blockchain. Or if you don't need that level of complexity and cost, you could put it on twitter, which doesn't allow editing tweets (but does allow deleting).
No. HTTPS doesn't provide non-repudiation.

HTTPS does not sign the content. It MACs the content.
With multiple people in the car you get to split the cost.
In technical terms, I think there is the economical vacuum present with the entrenched taxi business, which nature abhored hard enough that someone came along and "shot the moon" so to speak, by exploring business models on a large enough scale that the validation could occur before regulation could even understand the disruption, let alone protect innocent bystanders from the inevitable downsides.

Take for instance the case in michigan, where the Uber driver had a psychotic episode, and killed the people that were hiring him, over multiple rides over multiple hours, simply because he was the nearest driver. Uber had no infrastructure to locate a driver, or assist law enforcement in any meaningful, real time manner. Imagine if that happened in 2018, and the lack of critical infrastructure was laid that bare by a multi billion dollar tech company testing out it's latest business tweak.

In some ways, it's not much different from an organized crime structure. The main reason organized crime is able to get away with all of their crime for long enough to even establish itself is good legal representation, to help stay ahead of their regulators.
I mean it would seem to be comparable to turning a computer on with no mouse, keyboard or screen attached (or any peripheral).

The idea of a disembodied brain doesn't really make sense as the brain is only one piece of the conscious experience, you need the rest of the nervous and perception systems (or robotic proxies) for it to actually be capable of anything or respond in a way that would be illuminating to a researcher.
> It’s a moral imperative to be dishonest to a woman if pumps her state

It's not. And if you do this, you're likely doing it at least as much for yourself and the increase in social capital you are afforded for playing along as you are to actually make the other person feel better.

The truly honest person or the person that really was just looking to help the other the most would probably look for a middle ground where more truth was used, while possibly attempting to minimize pain.

This doesn't necessarily mean stop doing it (society runs on this), but at least own up to "pumping her state" because you get benefits for being the one that did the "pumping".
Your edit does not clarify the fact that you are incorrect - what is sold as 'milk' in the US has no stabilizers or chemicals in it. Those are only present in milk-based products and milk-based drinks.
Tips to Generate CSR (Certificate Signing Request) in Linux
Exactly. So if people claim that they are "lactose intolerant" and can drink A2 with no bad effect, they are not making much sense.
> death is such a remote possibility that most people can disregard it

Even with highway fatalities declining it remains one of the most likely ways to die for younger age groups.

There's a bit of a "paradox" in that likelihood of death per mile driven is extraordinarily low, likelihood of your dying this year from a motor vehicle accident is very low... But if you die this year, the likelihood you died in a car accident, rather than from something else entirely, ends up somewhat high.
THAT'S IT!

Thank you for finding that.
> Are you really telling us Slavs[...]

Absolutely not. My argument was that Kazakh is far from unique in having ”extra letters”, which my native language’s alphabet also has.

On a personal level I far prefer latin-alphabet Slavic languages since it makes it easier to approximate an understandable pronunciation.
1. It has been shown that time and again, the volume of car traffic grows to match the increase in capacity, keeping commute time constant.

2. People like to bike, and unlike cars, you can make the case that not very many people bike because the infrastructure doesn’t support biking. If less than 5% of the people are biking, but the politician who promotes biking is popular, that tells you something about reality vs. what people want.

3. Car companies have undermined attitudes that made driving a secondary mode of transportation (not to mention the streetcar conspiracy). It’s due time for a correction that allows North Americans to live a lifestyle less reliant on cars.
It ridiculous that waze is sending people into some of these neighborhoods. There’s no way people are saving time.

Waze is definitely a contributing factor. Blame can be shared.
I touch type, and I don't understand how important some people find keyboard switches.

Yes, there are some keyboards I don't like. But they are pretty rare and almost everything else I'm fine on.

I have a 2014 MPB I like, a MS Wireless Keyboard 700 I use as my daily keyboard, a Logitech K260, and various Dell, HP and Acer keyboards. All are fine for me.
Haha, I was about to write the same, including the "again" :)
I'm reminded of when Sweden shut the country down for a day to switch driving on the left side of the road to the right.
> Compatibility with the Redis protocol means you can migrate your applications with zero code changes.

Does this mean they don't actually use Redis, but have an alternate implementation of the protocol? In such a case, wouldn't it be different it terms of performance when compared to the original one. Also, keeping up with new versions should be a major overhead. If Google is still doing an alternate implementation, I wonder what could be the reason.
The Basic Art of Sales for Founders and Startups
> AFAIK pattern-matching is not a historical Lisp feature

Aside from full packages like what lispm mentioned, implementing pattern matching (and later, full Prolog-style unification) in Lisp is a very common exercise in beginner Lisp textbooks, going back decades.
See also: https://physics.stackexchange.com/questions/535/why-does-kin...

There's a LOT more energy being transferred into whatever the car hits both because it's going much faster and because it's much heavier.
> When it comes to roads, why is increasing capacity to resolve the capacity problem always automatically dismissed?

Because those people are going somewhere and increasing capacity of one road typically just moves the bottleneck. The only exceptions to this are when the traffic is going through the area with the new capacity and other other side has excess capacity. So something like increasing the capacity on a city bypass will reduce congestion, but increasing capacity into the city wont.

The other problem is induced demand (https://en.wikipedia.org/wiki/Induced_demand), when driving is quick and easy more people will drive until that's no longer the case.

> A politician that says "I'm going to spend billions on new cycle paths" is somehow going to be more popular than a politician that says "I'm going to spend billions on new roads".

How many (non-dutch) cities in the world have spent billions on cycle paths? They should be more popular because they're doing something that will actually reduce traffic and save money long term (cycle paths require a lot less maintenance), but IME it's the ones promising new roads that keep getting elected.
What's new in node v10?
Most dissapointing famous books IMHO:

3. Lolita

2. Catcher in the rye

1. Anne Frank diary
What a pointless waste of time and money. Funny that they link halfway to another pointless waste of everybody’s time and money, Sweden’s switch to right-hand traffic, instead of actually addressing the problem of steering wheels being on the wrong side, which could have been solved simply by mandating new cars have the wheel on the appropriate side which would have cost the taxpayer practically nothing.
Has California become and island already?
I’ve encountered so many people that assume someone has to come to any meeting they’ve invited them to and it never fails to blow me away. I can understand the mindset a bit with managers but it seems to have little to do with title.

It always starts with a message or a call asking where I am. When I tell them where they let me know I’m late for a meeting. When I tell them I declined it or I was tentative you can practically hear the gears in their heads grind and seize up. The thought seemingly had, up until that point, never occurred to them to check the attendance on the invite before the meeting starts. “But... I booked it in an open spot on your calendar. Aren’t you available, can you come? Here’s why I need you here...” This is where it becomes clear to me that they’ve never considered populating the meeting with more than a subject and a conference link. They treat an open calendar like you’re some kind of reservation system.
Someone else is always making the rules. Because we are always only one amongst billions. Why would I expect to make the rules?

And many of the rules we have to follow are handed to us by nature.

What matters is what we do within the rules that exist. Which can potentially be a lot if you don't hobble yourself with self-made rules that aren't really valid. The rules in your head are the biggest challenge.
> When it comes to roads, why is increasing capacity to resolve the capacity problem always automatically dismissed?

There's a large body of evidence [0][1] indicating that adding road capacity does not alleviate congestion. In the short run, one tends to see immediate rises in traffic on the new infrastructure. Over a longer period, the amount of traffic utilizing new infrastructure increases until all added capacity is being consumed. This is known as induced demand [2].

Congestion pricing [3] is a more economically viable manner of reducing congestion on shared infrastructure, but it comes with its own set of concerns [4].

[0] https://www.citylab.com/transportation/2015/11/californias-d...

[1] https://www.wired.com/2014/06/wuwt-traffic-induced-demand/

[2] https://en.wikipedia.org/wiki/Induced_demand

[3] https://en.wikipedia.org/wiki/Congestion_pricing

[4] https://www.nytimes.com/2018/04/09/nyregion/congestion-prici...
I'm asking for productivity. I want to develop for 3 platforms and I don't have a lot of time!
I've been there several times, and I'm aware of how difficult it would be. My comment wasn't predicated on the idea that improving traffic in LA would be painless—quite the opposite. In order to commit to proper urban planning, there are tradeoffs and the construction is disruptive and inconvenient for a time. But it must be done. And LA can afford to do it.
how dare the users use a product not like the designers intended...
In the US there is also https://www.railstotrails.org/ which is trying to convert old railways into trails suitable for e.g. bicycles.
Driveways/sidewalk crossings are not necessarily designed for cycling speed traffic. Motorists do not expect bicycles when crossing sidewalks.
Fraport, IATA team up to test virtual reality training platform for ground ops
So don't give them your private data. Just lie to them.

https://www.fakenamegenerator.com/

This will give you everything facebook wants.
Gaia mission releases map of more than a billion stars
>> A clean, automated way of compiling code for specialized hardware from TPUs to mobile chips

If it is so good at that, why are we waiting so long for expeditiousness on run-of-the-mill industry-standard non-specialized non-Apple linux machines?
Because of induced demand.

Increasing road capacity can cut commute times, for like a week. When people know they can get somewhere more quickly and more reliably because of increase road capacity, they drive more, which in aggregate, causes the new roads to become as gridlocked as the old roads, and the old roads are still gridlocked.

Single occupancy vehicles are just not efficient for moving large numbers of people around. In order of preference you basically want people to 1. not have to commute (telecommute) 2. walk 3. ride a light vehicle (bike, electric scooter, whatever) 4. take a train or Ferry 5. take a shuttle 6. take a bus 7. carpool 8. drive 9. take a plane.

(Actually not sure where Lyft and Uber fall in that stack given there's evidence that ridesharing platforms seem to be increasing traffic in the areas they operate in.)

Of course you can mix any and all of those but your city's transportation infrastructure ought to accommodate each of them and prioritize each in kind.
Swift? Um, okay... Good language, yes, but it's still very iOS-centric. I generally agree with the assessment of Python, but I'll stick with R for everything it can do. I use Python for everything else. If Swift breaks out of the iOS box then maybe I'll think about learning it.
The problem with that is that you only know that 'so much money' is being bet because you know who owns the money. But you only know who owns the money because that same money was bet earlier by people that you know owned the money because the same money was bet earlier by...

It's completely circular. It's like the Bible trying to proof itself. With no anchor to the physical world, you can't actually ever know
> How do you send cash to your drug dealer on the internet, instantly?

By instantly you mean "up to 200 hours"? https://blockchain.info/charts/avg-confirmation-time (at the time of writing this comment the spoke on the chat was at 12000 minutes).

> the only thing my bank knows is that I sent money to coinbase. And coinbase only knows that I sent money to a different exchange.

Money laundering is as old an art as the banking services themselves. I guess blockchain made it easier then? True innovation.
hm, no! data scientist are not using only Tensorflow... in the article libraries like Numpy, Scipy, Pandas are mentioned and swift does not have it or not in that maturity at all. It's not only about the beauty of a language, especially for data scientiest it's the variety and maturity of third party packages designed for data scientist and Tensorflow is only ONE part.
Don't get me wrong... swift is beautiful and it is great to have Tensorflow natively running on it for certain scenarios but I don't see swift as a bright and good language outside the apple ecosystem (look at C#, great language, still mostly Windows).

If you are starting with Python definitely start with Python 3 and you are future safe...
I think the presentation is different. In Twine you have multiple pages of text, linking and branching using hyperlinks. You can publish your game as a html file.

Whereas, in Ink, IIRC the flow is like scrolling text. New passages appear below the older ones, depending on choices made. I don't know a lot about Ink to be honest.
Tesla's Autopilot Chief Keller Steps Down After Two Years
Congrats, you are part of the problem.

-Fellow soon-to-be Ex-Lithuanian.
It's probably built on top of Google's standard production software and hardware stack, the same thing they use to run most of their standard services like search and Gmail. This tech stack tends to have evolved earlier than and separately from the public equivalent.

It generally scales and performs better than normal tech stacks, but its components are so different and so mutually interdependent that it's bad at directly running normal software. The protocol, however, can be implemented just fine.

To be clear: Even though I worked at Google in the past, I don't now, am not speaking for Google, and know nothing secret about this product. I'm extrapolating from widely known general knowledge about Google's technical infrastructure.
Fwiw bitcoin error log is a real human being who attends conferences and has met many people in meatspace.
Why do you think cyclists make up <5% of commuters in LA? Hint: it's not because of the weather.
I'm very much not at the level of accomplishing formal proofs. But isn't his challenge different than what he's trying to prove? I guess my objection is in the category of "even if formal proofs aren't easier in FP, it doesn't matter". In particular, when people talk about the advantages of FP and "correctness", they aren't literally talking about formal provability - they're more talking about a spectrum of correctness, that the purely functional approach catches moves more buggy behavior from runtime to compile-time, that the functional implementation is more correct, etc.

If you adopt the strict definition of "correct", then "more" correct makes no sense, of course.

I recently ported a fairly hairy lengthy algorithm from python to scala. From something with a ton of mutability, scope confusion, exceptions serving as GOTOs for business logic - into scala pure functions. The python was inscrutable with a team of people treating it gingerly. The scala is easily refactorable and each time we take another crack at it, it shrinks into smaller and smaller code (and not by using crazy Scala) and I suspect that much of the confusing hairy complexity will disappear. I don't really know how to quantify this, but I don't think it's captured from an exercise that compares difficulty in formally proving methods in IP and FP.

So yeah... it's an awesome exercise that showed a lot, and I really want to dig more into provers, but I just don't see that his "therefore" follows, that "it's (not) easier to reason about FP than imperative".
Well, Turkish didn't have it's own native script, merely adopted and adapted the arabic script which wasn't a good match https://en.wikipedia.org/wiki/Ottoman_Turkish_alphabet
OpenShift is a fork of the Kubernetes code base: https://github.com/openshift/origin

I.e. it’s not using the upstream distribution of Kubernetes like the public cloud vendors or Heptio etc.

It’s great it’s a Certified Kubernetes though!
Internal combustion engines didn't have research papers explaining why they were impossible.
Surprised nobody has mentioned zkat's "fork", which contains a lot more detail:

https://github.com/zkat/proposal-pattern-matching

zkat (who is also an npm employee) is a leading committer to the tc39 version, so I think there's some chance that many aspects their version will be adopted into the proposal.
I walk commute often, and especially when I'm traveling. Sure, cars are dangerous, and bicycles are often irresponsible, but pedestrians are the worst. They'll walk four abreast, gather in large groups at chokepoints, block traffic to take photos, stop for no reason. And no one really cares because most of this bad behavior is limited to sidewalks, so it only affects other pedestrians. But it makes it damn difficult to walk at a decent clip. I'd really love to see "walking lanes" introduced, like bike lanes, for people who are actually walking and not treating the sidewalk like a goddamn park. </rant>
FLOSS looks like a system built by somebody who has seen a forklift in their life :)
A gallon is 3.8 liters, so GP's math is not far off.
I always think of this story when I see axolotls.
Do you think PoS is as safe as PoW when dealing with irrationality?
I know companies like e.g. Airbus which replaced Matlab with Python.
> Would you say that Americans would more readily pick up Danish? Or Finnish? Or Latvian? Or Polish?

I would say that Americans (and people in general) are more likely to attempt taking up those languages, if given a fairly equal choice between them and others that also require learning a new alphabet. For the same reason (although on a lesser scale) that they might shy away from Chinese or Japanese.

It's one more hurdle.
For bicycles in California, this is the law: http://leginfo.legislature.ca.gov/faces/codes_displaySection....

CODE TEXT
VEHICLE CODE - VEH
DIVISION 11. RULES OF THE ROAD [21000 - 23336] ( Division 11 enacted by Stats. 1959, Ch. 3. )
CHAPTER 1. Obedience to and Effect of Traffic Laws [21000 - 21296] ( Chapter 1 enacted by Stats.
1959, Ch. 3. )

ARTICLE 4. Operation of Bicycles [21200 - 21213] ( Article 4 added by Stats. 1963, Ch. 479. )

21202.
(a) Any person operating a bicycle upon a roadway at a speed less than the normal speed of
traffic moving in the same direction at that time shall ride as close as practicable to the
right-hand curb or edge of the roadway except under any of the following situations:

(1) When overtaking and passing another bicycle or vehicle proceeding in the same direction.

(2) When preparing for a left turn at an intersection or into a private road or driveway.

(3) When reasonably necessary to avoid conditions (including, but not limited to, fixed or moving
objects, vehicles, bicycles, pedestrians, animals, surface hazards, or substandard width lanes)
that make it unsafe to continue along the right-hand curb or edge, subject to the provisions of
Section 21656. For purposes of this section, a “substandard width lane” is a lane that is too
narrow for a bicycle and a vehicle to travel safely side by side within the lane.

(4) When approaching a place where a right turn is authorized.

(b) Any person operating a bicycle upon a roadway of a highway, which highway carries traffic in
one direction only and has two or more marked traffic lanes, may ride as near the left-hand curb
or edge of that roadway as practicable.

(Amended by Stats. 1996, Ch. 674, Sec. 4. Effective January 1, 1997.)

For motorized scooters, the only thing I could find is in the vehicle code: https://www.dmv.ca.gov/portal/dmv/detail/vr/scooters

A motorized scooter is a two-wheeled device that has handlebars, a floorboard designed to be
stood upon when riding, and is powered by a motor.

The Vehicle Code (VC) does not require registration, license plates to be displayed or the
scooter to be insured. Local authorities can regulate the registration for these scooters
pursuant to VC §21225.

Even though insurance is not required, owners of these scooters should contact their insurance
company to determine if coverage is available.

An operator of a motorized scooter must be at least 16 years old, possess a valid drivers
license or instruction permit, and wear a helmet.

A motorized scooter may be operated on a bicycle path, trail or bikeway, but not on a sidewalk.
On the roadway, it must be operated in the bicycle lane, if there is one. On roads without
bicycle lanes, motorized scooters may operate where the speed limit is 25 mph or less, and shall
be ridden as close to the right hand curb as possible, except to pass or turn left. VC § 21226
(D) prohibits alteration of motorized scooters.
Complete introduction to async functions and ES6 modules in Node.js
> "the person being sentenced is doing good work"

No good deed goes unpunished.
Most fMRI toolboxes are written in Matlab or Python unfortunately. You don't really want to go down the path of trying to rewrite (most of them) too.
Longer than minutes. It's not NYC. I'm guessing that these companies just eat the loss for now.
Whatever happened to the new friendly Microsoft?
https://download.wpsoftware.net/bitcoin/pos.pdf

This paper does a pretty good job of laying out a formal, mathematical proof that pos doesn't work
Free command for OpenBSD
> Reach out to us to let us know what kinds of managed database services you’d like us to offer next.

Hey Google friends,

I'm not ready to move over to GCloud but I'm interested in prototyping a few applications. Here's a few things on my wishlist:

* Wrapping the cli tool for common db tasks in the way heroku does (ex: heroku pg:push - push local database to production database, heroku pg:pull - pulls production database to local).

* Simpler integration of Cloud SQL with AppEngine flex. It's not a lot of work (https://cloud.google.com/appengine/docs/flexible/python/usin...) but it would be cool to build a flex environment / provision a sql database / setup connection strings in one swoop.

* While you're at it, better AppEngine flex introductory pricing ($40 / mo for 1 vcpu, 512 mb ram) :)

Not related to managed databases but hopefully helpful. TLDR Heroku but on GCloud.