skysight-inc/HackerNews huggingface dataset:
It at partially is. For example, humans' blind angles get blamed for quite a few accidents. Pointing attention in the wrong direction for another decent batch.
Beauty of hash tree is that hash(commit) = hash(parent commit) ∘ hash(changes). You could compute that by hand if you wanted. But you can't compute merge by hand since it involves basically rebasing commits to a different tree which is non-trivial and prone to introducing errors. If there is 3-way merge you add some changes on top of that.

I don't know what's FF merge, what's no-FF and what you do when your FF merge turns into no-FF.
9/ For many people there is little difference between what is legal and what is moral. This mindset is especially dangerous when it is held by people in power, such as Google's executives. The mindset is: if it's a legal requirement to censor, then we should do it.

Except when standing on a moral pedestal does not hurt your bottom line. Then apparently it's ok to dictate what is moral and what is not, what is good and what is evil and use your power to force your agenda. It's not google's (or any company's) version of morality that gets me, it's always the hypocrisy
Compared to many cities, London is actually pretty good for cycling now days, at least in central areas. We’re no Amsterdam, but there are some high-quality dedicated cycling routes and plenty of quiet side streets to use. Traffic speeds are relatively low and the vast majority of drivers are considerate and cycle-aware (occasional white-van idiots aside...)
Pasta Cooking Image Classification Dataset
> The thing about Lisp's power is it allows the production of complex program quickly but doesn't particularly have a standard way of gluing these programs together.

I'd argue Clojure is setting some new standard here with its powerful literal notation for basic data structures (list, vector, set, and maps) and its practice of integrating/composing first on data. Most of the time that's enough to get some libraries work together. If not enough, integrating/composing on functions is the next stage. Only after having covered data and functions should you consider macros, which should be easier to write if you have done a good job at the data and function levels.

If such powerful and ubiquitous data structures work so well for programs written in clojure(script), why would that not be true in the larger picture for integrating systems? JSON worked much better than XML because it actually represents simple data structures, not objects talking to each other. Redis, Avro, and similar tech are continuing that story while Kafka adds a fantastic transport and storage mechanism. Sounds like we're closer to having better foundations for integration in the small and in the large.
Do you have to prove that you are a Sikh in order to avoid being charged, if you are given a ticket?
Have you tried using Tweetdeck? It puts that kind of stuff in a separate column which you can show or hide as you wish. The main column is chronological.
On the other note: Google's new 'research centre' in Beijing looks to be much more than it should be, much more like a smallish campus.
Tesla's have 12 camera's I believe. So ... yes, it does.
Well, I can't see you but I would wager Paul Allen made the world a better place than you do.

The real leeches are the ones you don't condemn because you've never heard of them. They amass their wealth and live lavish lifestyles in private, never doing anything worthwhile that would bring attention.

Someone with real wealth tries to use it to make some positive impact on the world - Oh look, he has so much money! Kill the leech!
Coq but with the ease of
Java or Typescript

Don't hold your breath. There is currently no technology on the horizon that holds a promise to bring use even close to what you ask for.

Note also that Coq/Isabelle/Agda and their successors will still suffer from a variant of the oracle problem: where should the specifications come from?

Finally note that almost virtually aviation software is formally verified in with interactive theorem proving as of 2018. The extreme levels of reliability in this space have always been achieved with other software engineering methods, including rigorous testing.
Make a web app in addition to your native apps? Then if they pull the native app you can direct people to the web app. I think Uber has this?
The Therac-25 is the go-to example because it is the best documented and least-contested case. Also, software usually isn't in ultimate control, most systems have additional (mechanical) safety controls.

Mars Climate Orbiter, 1999: http://articles.latimes.com/1999/oct/01/news/mn-17288. Undetected metric conversion error (though unclear if this was a manual process or software).

Toyota unintended acceleration, 2010: https://www.edmunds.com/car-safety/for-toyota-owners-uninten.... Toyota maintains that it was not caused by software error.

Now let's list some cases where the software did have ultimate control:

Schiaparelli EDM lander, 2016: https://newatlas.com/esa-schiaparelli-mars-crash-inquiry/496.... Faulty decision-making in the automated descent system due to input saturation.

Tesla auto-pilot crash, 2016: https://www.theguardian.com/technology/2016/jun/30/tesla-aut.... Faulty decision-making due to incorrect image analysis. In this case, the additional safety controls (the driver himself) failed too.

Uber car crash, 2018: https://money.cnn.com/2018/03/20/news/companies/self-driving.... Faulty decision-making due to incorrect image analysis, though the investigation is still ongoing, so no definite cause determined (FAFAIK).
We’re staying silent out of fear
This is what needs to happen a lot more - just let nature do its thing. I'm seeing too much cultivation on the one hand - maximize yield and convenience for farmers, and of course mass deforestation - but on the other, overcompensation or wild ideas to overcompensate - from planting forests (which is fine as long as they're left alone for the hundred years afterwards) to wild ideas of covering glaciers and the north pole in reflecting plastics, or what China's doing, creating artificial rain at a huge scale.

Intervention just doesn't work; just leave your land barren and unattended, that'll give the best results. Maybe not the most desireable for you personally but that's just not important.
Ducksboard, it was a prettier geckoboard alternative which worked better. Acquired by New relic to integrate into insights IIRC.
Agreed, it is getting increasingly harder for me to understand why intelligent people can read stuff like this and not see it for what it is.

I've seen Alzheimer's first hand and if I get it my treatment will be finding a way to die before my family has to deal with me.
In the same vein, I really miss Bullfrog, and the company that was formed after Bullfrog was shuttered, Mucky Foot. They made some of the best casual RTS games I've ever played, particularly Dungeon Keeper and Startopia.

I still play them to this day despite having spent thousands and thousands of hours on both, to the extent that I know them inside out, and yet they've never stopped being fun.
My new place to look for ICO market data https://www.trackico.io/ico/augur/#market
Adding to this marvelous answer:

Shareholders > Board of Directors > C-Suite ( CEO, CTO, CFO, etc ) > Management > Employees
And before Assembly there was VHDL and Verilog, and the eldritch instruments that turn them into baroque patterns of silicon that cannot be contemplated by man (well, not since the 1970s...)
Does this make it a publicly traded member co-op?
As in previous threads on this, I'd like to remind people of the role of radio stations in the Rwandan genocide: https://en.wikipedia.org/wiki/Radio_T%C3%A9l%C3%A9vision_Lib...

These and other tragedies lie in the past. We would do well to look for the warning signs of these in the future: what media organisations are publishing propaganda about ethnic minorities? What incitement to and tacit endorsement of violence is currently being broadcast or circulated on Facebook and other places?
Sure, start here: https://www.braveclojure.com/clojure-for-the-brave-and-true/
Beyond the Buzzword – Why “Attention” Counts
What happens to Google in 10 years if they don't move into the China market? Can Google survive without moving into China? Will some upstart move in there and dominate the market? Will the stock market punish Google for not moving into China?

Why is it OK to have all our devices, etc. manufactured in China, but it's not OK for Google to offer services there?
"HDFS and S3 are designed around large blocks (optimized to overcome slow random I/O on disks), while new NVMe hardware supports fast random disk I/O (and potentially small blocks sizes). "

Interesting solution presented here - keep the block size constant, but put the small files on NVMe disks.
Deep Work (https://www.amazon.co.uk/Deep-Work-Focused-Success-Distracte...) concisely sums up many feelings I've had about distractions and how this always connected world affects the way I think. I believe the teachings of this book are especially applicable to knowledge workers.
Ever seen Death Note?
Best Food Ordering Software – MintTM
How Employers Track Their Workers
You're not wrong; insect populations can grow enormously in a very short amount of time (just like e.g. mice). But they need to have had the chance.

I wonder what would happen if a country banned the use of pesticides for one year. Probably a huge imbalance at first, but over time things would stabilize - that is, huge bug explosion, but in the span of a few years, bird population would be restored which keeps the bug population in check. Well, in my climate anyway, not much to be done about huge locust swarms by some birds.
The danger of building a better bee
What got me to love JS was probably learning about variable scope, closures, and async programming.
5 tips to reduce churn by better targeting your SaaS users
> 3. Creating containers From Scratch

I read that as "creating containers IN Scratch (a visual game programming language from MiT)." It wasn't as impressive as my expectations, only because my expectations were so very high.
I love how I'm being downvoted for saying that there's no scientific proof that Lisp is superior. Come on, show it, I want to see it. I want to see thorough, statistically representative studies that show Lisp's superiority :)
I get this dependency argument.
I'm actually very familiar with it. There is still a level below where you become part of the story.
Megadantic
Practical State Management with React Easy State (ReactJS Article)
For the record, it was an anecdote about people from different cultures not understanding each other. It was not intended to be a criticism of Asians. It absolutely wasn't intended to blame Asians for the misunderstanding.
Binance Uganda to begin accepting deposits in shilling
Sun Microsystems, especially after hearing more about the company, it’s culture and products from this [0] talk posted in this [1] comment in this [1] thread.

[0] https://m.youtube.com/watch?v=-zRN7XLCRhc
[1] https://news.ycombinator.com/item?id=18217952
[2] https://news.ycombinator.com/item?id=18217762
Large shareholders have corporate values (ethical, etc) that they will push onto companies they own shares in.

Blackrock[1] has said social responsibility is important to them.

Companies looking for investment need to operate with principles aligned with investors or investors will look for alternatives.

[1] - https://www.cnbc.com/2018/01/23/blackrocks-push-for-social-r...
Veblen services.
I can also recommend this (free) course:

https://palousemindfulness.com/
For me they peaked with the Lumia 925. The swiping keyboard had an accuracy unmatched by anything since, including the Lumia 950 I'm using to type this, which sucks (win 10 mobile rebuilt it for some stupid reason. It was perfect!)

I still think about going back to the 925. Battery life was great, camera was decent, and it was the perfect size for hand and pocket. Only the browser lets it down and that's mostly because modern js sites don't support ie mobile and a lot of stuff breaks
I think the test to find out if a programmer can eventually learn to work on a Lisp codebase lies in his/her opinion about the conditional (ternary) operator.

If the programmer hates the C(T)O because it is too confusing, that programmer is hopeless about using Lisp.

If the programmer sees the C(T)O as a trivial syntax that helps to make the code short and neat, then that programmer will love Lisp.
Absolutely loved the windows phone for what it was.

The UI and UX were both extremely well thought out and worked smoother than any Android phone on equivalent specs. (apart from the confusing settings menus)

My dad's 100$ nokia 840 still runs like a champ. I can't think of any $100 Android phone with that sort of smoothness over 4 years.

The lack of adoption from both devs and users killed it.

I woul love to see it being revived at some point, but I doubt we will see that day.
ESLint seems useless to me. Should I use it?
Pretty much the only thing westerners can agree on when it comes to China is that authoritarianism has been getting worse in the last five years.
I live in a ruralish area in Brazil... And while talking to someone on webcam I noticed a couple hugs wandering around the person room and the person in question not caring at all...

Then we I was wondering about it, I realized that been some years that my house despite being near some woods and rivers, is not plagued anymore by insects. I think last time we bothered with anti mosquito candles was 3 years ago...
Auto Register Global VueJs Components Using Webpack
It’s getting worse. Before the recent change to the Politburo succession rules the Party was run on a College of Cardinals basis. There is now clearly a Pope, and an incipient cult of personality. It’s pretty mild and there are as yet no actual believers but the cant people must mouth in order to get ahead politically and at high levels of business has been disseminated. If you feel like speaking out against it there are escalating levels of consequences. If you’re interested Christopher Balding and T. Greer are both good.

baldingsworld.com
@BaldingsWorld
scholars-stage.blogspot.com
@Scholars_Stage
Reading the above comments, it seems that companies don't have much say when the government comes knocking.. Which is precisely why I think privacy should be a requirement and not an option in the design stage. The company heading towards that right now with the most advancements in technology is Snips. Data is stored on the device primarily. To help with AI(As an option), your data will be encrypted and sent to the developer along with all the data from other users as a whole big data(Data generating).
Amazon feels like a a regular store to me. I find things that I would expect. Alibaba always feels like Amazon with no rules, and it is awesome. If a vendor wants to sell a house they can, and if a consumer wants a kit house they can just contact them. I think the marketplace feel makes it a lot more interesting.
Honest question: Should a company like google take the lesser evil route and still provide neutered service simply because target audience is huge? Google could still bring a lot of good to the people. Sure it doesn't exactly subscribe to the Western ideals, but is distancing from China throwing baby out with the bathwater?
Serious question.

Why is there so much "whataboutism" whenever anyone brings up these issues?

Sure Russia has rights violations.

China has censorship and Uighurs.

The US has all kinds of toddlers in internment camps.

Etc etc etc. Lots of bad things happening in lots of other places.

But right now we're talking about the number they're doing on the Rohingya. Sheez.

If you want to talk about Russia, or Brazilian death squads, or immigrant toddlers, or whatever submit a link and we can talk about it.
Sounds like peak employee engagement to me! I’ve heard this is what companies should strive for.
In my view, a good developer writes maintainable code. Easy to understand, easy to fix, no spaghetti.
Best real estate agent Burlington County
Beautiful footage, but the transitions almost gave me motion sickness. Is there a longer, slower cut?
Seems pretty easy to blame them to me.
Why wouldn't Google survive without China?

> Why is it OK to have all our devices, etc. manufactured in China, but it's not OK for Google to offer services there?

Because manufacturing our devices there does not directly enable their oppressive practices, such as political censorship. But offering services there does, since China demands that all such services come with censorship tools built-in, and (per this guy's Twitter), actually wants the companies to take down content on demand.

TL;DR: it's the difference between doing business with a known criminal, and assisting them in commission of their crimes.
The free market does have a tendency of weeding out those companies that act morally beyond legality, because less moral competitors can outcompete them. So as a survival bias, less moral companies are just more likely to be left standing. Likewise, morality beyond legality is much more likely if it doesn’t yield any ground to competitors (ie effect the bottom line), so what you see as hypocrisy might again just be survival bias in a free market.
Socket - yes. But you can walk into an official Apple store, buy a brand new MacBook Pro + an "apple approved" LG USB-C display, and guess what - the USB-C cable that is bundled with your MacBook Pro cannot be used with the display that you just bought. What's worse, MacOS won't tell you why it doesn't work - it just won't. It's the worst and most user-hostile design in computers I have seen in years.
Google’s CEO Defends Potential Return to China
>It is a bit of a stretch to paint them as simple-minded Germanic folk

Not them (as people), their doctrines (and eventual audience). It was a simplified and fundamentalist approach to theology -- and owes a lot to its translation to common folk language and the political interests of the day for its quick adoption.

>Instead of a strict separation of church and state, the Byzantine emperor Justinian appointed 3 successive popes after re-conquering Italy from the ostrogoths.

That was a power move, in an always tense political climate in the Eastern empire. There were the opposite moves as well -- the patriarch at war with the emperor, criticizing public policy, and so on, depending on the balance of power.

Such incidents aside (across a millennium of state history), they remained two separate domains, not a single unified source of church and state power.
Modified Bayes' Theorem
Even though it doesn't look like it, I could've sworn Prolog was homoiconic.

Smalltalk can also do a lot of the cool lisp wizardry. I know Alan Kay (a user on here who was on the team that designed Smalltalk at Xerox-PARC) likes both langs. I've never heard him describe what he thinks are the pros and cons of both though.

You can write a lisp in a few lines of Forth. I've never done it, but people talk about it a lot, so I'm going to assume fact.
In general there seems to have been a trend away from trying to enable users via personal computing. I'm sure you'll get a bunch of responses to this post linking you to someone's web-app builder, possibly some that are hold-your-work-hostage subscription services. It's not the same, and people who didn't live through the 80s and 90s, when the future of computing was still bright, won't even see why it isn't the same.
Blockchain trends this autumn. Summary
Tell HN: Wow, RyanAir.com has really messed it up this time (load time 1,3 min)
On the second load of the page (in FF):

125 requests
7.29 MB / 3.15 MB transferred
Finish: 1.32 min

For half of the time I see a plane flying circles on the white background. Then half rendered page shows up along with the departure and destination fields but I am still not able to use them until the page has finished loading.

In Chrome the page fails to load (the plane keeps flying circles).

I think that this is the new low at least for me.
From the perspective of Google it is obviously important to be present in the largest market on Earth both commercially and strategically, and not to let its competitors have it all for themselves.

From the perspective of the US (Google is an American company) it is obviously tactically and strategically important to have the best information possible on what is going on in China. This is much, much easier to achieve when American companies are present "on the ground".
For example, I am sure that this project gives the US a pretty good insight on what the Chinese government does. It would be much more difficult to ask Tencent how the Chinese system works, wouldn't it?
Restricted and illiquid shares are rightly valued at a discount to the same shares with a liquid market, so while you pay taxes on them, it's on their fair market value (which can be low as above).
> The only people

There is at least one exception in me.
Thought experiment: If Google doesn't move in, someone else will eventually fill the vacuum. Who?

Suppose that Chinese-born-and-bred search-engine-and-advertising-company, through virtue of having access to a massive economic resource, succeeds broadly and then enters the western markets. What then?

Not trying to justify any of this, but it's worth discussing.
They are both very different, technically, but culturally they are very similar. Both of them are extremely simple and build complex programs from a few fundamental principles. Both of them are disengaged from the more mainstream languages. Both of them broaden your perspectives as a programmer. Both of them have excellent books that were written a long time ago but are still relevant today. Both of them gave rise to specialized hardware (stack computers and Lisp machines). Both of them encourage you to write your own interpreter when you are learning them... Although both languages are very different, learning one or the other actually is a quite similar experience.
I also learned recently that if you search for a quoted string in gmail and there are no matches it will just show a few partial matches, instead of just telling you there were no hits. The google behavior you describe got so annoying for me, along with the inability to copy the link in the results, I switched to DDG. It still provides results that don’t include one of my search terms all the time. It’s really annoying behavior.
How do you find out you have it if it is asymptomatic? Should we be getting blood tests for leukemia right along? Or is it too rare to consider...?
Luther certainly was not a simple-minded German folkperson, however in his time the Mass was commonly in Latin, which was not understood by the folk. One of important results of the Reformation was the translation of the Bible and liturgy in the language of the people (this happened in Czech lands already at the time of Jan Hus, but not elsewhere). The Catholic hierarchy was also perceived to be highly corrupt and the teachings not accessible by the common people, so the Reformation aimed to change all that. This is sort of what I feel where the OP is going with his comment.
Not if you plan and architect it well. BT back in the day wrote a billing system for its dialcom / telecom gold online service in mostly Fortran 77.

Apart from one module which our US colleges wrote in a completely different language (PL1/G) we only found that out when it was delivered.

And at my first job at BHRA /BHR Group our fluid dynamics simualor was written in Fortran and was well structured I certainly don't recall any major problems