skysight-inc/HackerNews huggingface dataset:
Thanks - did you try it in windows? I use CygWin at work, but it would be great to use it natively also.
Although you make no citations of your claim, I think you mean a trend towards static typing over dynamic typing. Strongly typed languages are already pretty common.
These maps literally show Atlantis resurfacing out of the middle of the Atlantic ocean.
Because there are people with behavior that do not conform to the agreed upon norms.

My ethics? I never said mine.

And yes, there are inherent dangers (like tyranny of the majority), but there are trivial ethical issues where there is no good solution for allowing the [or any] minority to self-determine. (Like rules regarding sex with children, just to throw in the classic think of the children. But of course the age of consent is not a magical line somehow creating an overnight transformative event for every resident of that state.)
Any recommendations for starting a podcast?
Any recommendations for starting a podcast?
Actually I meant that the formal proof to code and the strongly typed code camps would eventually meet, as the type system grows richer it may approximate a proof.
You can write code like Hemingway (simple) or like Shakespeare (dense). Hard to say whether one is better than the other without some attempt to quantify and measure things. Seems more like just a preference.

In regard to boilerplate the author brings up an interesting point that with a good language, the boilerplate can effectively disappear once all the code has been written. If people are worried that boilerplate violates DRY, I think they worry too much.

The best way I've found to determine whether a codebase is good or not is to take someone who's never worked with the code before and ask them to fix a bug or make an enhancement. If that's an excruciating task but would have been easy in a greenfield project, the code sucks.
I doubt Uber's US market is subsidized much, if at all. The financial analysis that's been done can't break down the cost of investment in international markets and new businesses from actual operating costs in the US ride share market.

Uber's service costs pennies per ride to provide, drivers pay them dollars per ride to participate. There is almost no chance Uber can't be profitable at current prices. The only question is whether prices need to rise to ensure a decent supply of drivers.
A Mathematician's Secret: We're Not All Geniuses
You're assuming war will involve armed conflict from the start. If we go to war with China that will be the end of the war.
Go read The Dictator's Handbook.
Well, I've learned some things.

I'm still confused about '(1. . #\#)

So it's a pair containing 1.0 and pound?

It's the 1. I find surprising. You can omit the number after the dot?

Oh, and what's improper about `(1 ,@2) ? Wouldn't it evaluate to (1 2) ?
This is insightful. One test we can apply is to ask ourselves, "If I needed to stop working and quit my job permanently because <put compelling reason here, e.g. illness, old age>, could I do so without enduring a financial disaster leading to <something horrible, e.g. homelessness, relying on the kindness of strangers, suicide>?"

I suspect that, for many, if not most of us, the loss of the ability to earn income would be an unspeakably grave event. This puts to the lie that we have any real choice about employment, assuming we are one of the vast majority of people who is not financially independent.
No, it's necessary
>"I believe that Facebook now understands the political difficulties the news feed creates, but if Facebook were truly a dictatorship, they wouldn't be spreading multiple oposing propaganda, would they?"

Of course they would. They claim to be simply a "platform" for "diverse" opinions. Yet, at the first sign of someone being offended against something that's not popular, they shut it down. Even if they do it to the left and the right, what they're then essentially doing is forcing everyone into this average middle area where no one can say anything wildly-diverging from the mainstream narrative. But, from my point of view, the "mainstream" is currently rampantly left-leaning. So any "in your face" right-leaning points of view are very easily deemed to be in contradiction of some sort of "community standards", and are promptly shut down. I follow pages that have to regularly make numbered "back-up copy" Facebook groups/pages so that they can contact their followers after Facebook shuts them down, which is inevitable.

It really is all or nothing when it comes to free-speech. People self-censor and avoid the things that naturally make them uncomfortable. But if you shift the responsibility for that to some centralized entity, you're going to have problems that alienates many.
I don't necessarily disagree with the premise, but I take pause at the notion that the American state does not have its own agenda.

We've seen the state infiltrate encryption standards to deliberately weaken them. We've seen the state deny and attempt to suppress dissident truths. We've seen the state spy on its citizenry using loopholes and non-standards. We've seen the state fund drug cartels, collude with the media to influence the public, pass cronyist legislation to benefit campaign donors, etc.

Why should their agenda be considered any less self-serving than that of a corporation's?
Handy Resources to Learn Kotlin Easily
No, I meant what I said. I'm talking about mindshare, with e.g. typescript gaining ground on javascript, or php 7's strictly typed style gaining ground over php 5's loose style, which is all in the dynamically typed camp.
I think this is a good article. It works well for internal "sales" too, where the main budget is developer time instead of dollars (which translates to dollars eventually of course). I've worked in these sort of teams for the greater part of my career and I've learned that the word "permissions", as referenced in the article, is an immediate trigger for asking for more capital i.e. dev resources to complete the project.

As the classic xkcd comic[1] implies, there is a large difference in difficulty for certain tasks that may be seen as roughly equal in effort to the end user.

[1]:https://xkcd.com/1425/
You're assuming our current goods and ills are somehow inherent. This is what happens when people don't study history.
Ask HN: How do you manage your projects in vim?
Luckily for the government, Google's innovation in mass surveillance helps them fill in the gaps.
How can society improve by having less freedom?
tldr; dunking became a thing, the three point shot eventually balanced it out.

Color me disappointed.
How did I not already know Microsoft had a working x86 emulator.. this is a massive game changer for the laptop space if it's fast and reliable enough, as afaik ARM chips are so much more power efficient for similar perf
I agree that certain functions can cause problems. Actually the biggest culprit in my kind of work is VLOOKUP(), which I know could be replaced with INDEX()/MATCH() but less conveniently.

I find that filling down with a function like VLOOKUP(), whilst you have multi filters on, is the real killer. And yes you can rethink your workflow so this is not necessary, but if you have to do that you have immediately reduced the utility of Excel, which is easy manipulation. If you have to 'paste special' your subset into a new sheet first, then it means you can't easily test different filters or scenarios. If I have to do something more complex to get my answers, then I would begin my manipulations in sql instead.

I still find that once Excel gets anywhere near its row limit (circa 1M), there is a big increase in memory usage, which I have found can cause a big slow down on ordinary desktops that normal office workers have (i3/i5 4GB ram). Curiously (and without extensive testing) I feel this is much worse in later versions of Excel (after 2007 and the BIG change), and my Excel colleagues agree.
They are pretty dumb, to be fair. Attacking random people without personal reasons hoping it would change the bigger picture is incredibly stupid if you think about it. Which they don't.

They seem to take inspiration from revolutions and such, still not understanding that it took way more than a few incidents of violence and death to actually change things.
This sounds like something James Taggart would say.
The tunnel becomes something like a stone oven right? I imagine you'd have to let it cool off before trying to approach it.
True, but be warned, that fseek is not a real example. You cannot fseek/lseek on character devices. You would have to use a different technique.
where are they building reliable systems with the smallest amount of software and complexity and possible?

every place I seem to look people are turning trivial problems into huge and complicated problems by throwing more and more software onto the pile.
Whither Software Engineering [pdf]
The two have already met. In Python you have optional typing [1] . Or in JavaScript you could use Flow [2] for static type checking. Also you could interface JavaScript with Typescript [3]

[1] https://docs.python.org/3/library/typing.html

[2]https://flow.org

[3] https://en.m.wikipedia.org/wiki/TypeScript#Compatibility_wit...
Read that out loud and tell me you really think you'd rather someone starve than create a social network for mass surveillance when it's use is entirely optional whereas NSA surveillance is not.
I made a similar point upstream from this, but I believe you said it better, so I've linked to your comment from mine.
This paper is over 30 years old. Are there any recent studies on how learning to programs changes the way people think? I assumed in my high school teaching, that any student can learn the beginnings of algorithmic thinking and be able to write interesting, if simple, programs. Since two semester courses (one in basic computing and office software; the other a broader computer "fluency" course) were required for graduation, it would be nice to have evidence that there are positive cognitive changes that accompany new programming skills.
How does the choice of language prevent that? Sure different languages might make that harder, but I don't know of many that don't allow arbitrary code, written by a random developer, to execute poorly defined HTML parser to possibly exec some hostile code.

There are facilities and standards in most languages to help prevent this, but can you point out why this is not possible in Limbo? I'm not personally familiar with it.
Top Motorized Shades and Smart Blinds for a Fully Automated Home
You can find papers more easily one "Google scholar", I found it there:

https://news.ycombinator.com/item?id=14528514
This is bs. Entrepreneurs go bankrupt all the time, it's the "creative destruction" part of capitalism, risk and reward. And 10,000 people in the chicago would be a drop in the bucket.

But it's not 10,000 people. Lots of those medallions are owned by businesses, and they leased the medallions to drivers. Most drivers can switch to Uber/Lyft if they have or want to buy their own cars, or get other jobs. Driving a cab wasn't lucrative, the owners of the medallions were the ones reaping the monopoly profits.

The best part of the shattering of these monopolies was the lesson it gives others investing in government shielded businesses. Hopefully they will fear their own bankruptcies soon.
The difference is that when my former cab driver sits to drive an Uber/Lyft he knows he will be rated at the end and he also knows he can't rip me off in the fare or refuse to pass a receipt in the end.

Most of all, is the accountability I care for. The accountability that he didn't had to care about as a taxi driver but that cares very much when he drives an Uber.
I just wanted to take the chance to say thank you for the course. As someone who is interested in the topic but isn't a practicioner, just watching it all work in practice has been fascinating and highly enlightening.
They're definitely optimized for drama. The new water areas are pretty much selected based on population​ and not much else.
All the way through that article I was waiting for the point of it and then it ended. What it's doing on the front page mystifies me.
It's not getting any harder though.
It's here: https://pdfs.semanticscholar.org/3a6b/0506b8b922d7e6cc933a39...
We detached this comment from https://news.ycombinator.com/item?id=14523014 and marked it off-topic.
You missed a word in jon-wood's comment (emphasis added):

> Do they fire you if you're not testing positive for cocaine?
Your bank can do this if it's really too labor-intensive for you to manage on your own.
> They're glossing over the recent rules that tourists aren't allowed in the inner market before 10am, largely after business is done for the day.

>...

>The market is worth visiting, especially if you're coming from the US, meaning the jet lag will have you wide awake at 3am your first morning. Embrace it and head on over.

But what's the point if you can't visit the inner market? Is there a big difference between the inner and outer market?
TypeScript brings static type analysis to JavaScript, not strong typing. I'm not sure what you mean by PHP 7's "strictly typed style" but I assume you mean its type annotations, which it's had since PHP 5. Those are neither a case of strong typing (PHP is duck typed) nor static typing (since it's evaluated at runtime).
Ravens Hold Grudges Against Cheaters
How does that apply to rolling auctions?
Sure, but it's -1 atm gradient, which is how we commonly measure pressure. I.e., when you fill your car tires to 32 psi, that's 32 psi over atmospheric. When you're talking about pressure, it's the gradient that matters.
I'm verklempt at the joy of having discovered Thoreau in mid-life. Like many American students, I read Civil Disobedience and Walden in high school and then forgot all about either. Maybe I even absorbed some of the atmospheric disregard for these works. In the past few years, I read all of Dickinson (what a genius), and then all of Emerson's published writing. And, then picked up Thoreau last year. And I haven't been able to put him aside. Walden, all his essays, A Week on the Concord and Merrimack Rivers, his Cape Cod and Maine travelogues, now deep into his journals and letters. Thoreau -- Henry! -- is like this amazing friend. I can hardly imagine anyone who has dismissed him has spent any serious time with him. I have marked thousands of thoughts in his writings as beautiful, profound, puzzling, delightful, or surprising. He's much funnier than most people realize. He had a genius for "the examined life". I really cannot conceive who would be so arrogant as to judge such a person negatively. His prose _is_ American English at its best. I can't really care too much about the posted article but can't resist evangelizing my beautiful friend. If you love to read, read Thoreau.
The internet ate into profits of paper media, the car ate into profits of horse carts, the mechanical loom ate into the profits of those operating hand looms (hello Mr. Ludd), the printing press ate onto the profits of scribes.

Should we have kept the scribes?
Concurrency Deep Dive: Event Loops
BALLU: Buoyancy Assisted Lightweight Legged Unit (2016) [video]
AFAIK white box emulation has been around forever. I'd be surprised if it isn't already worked out in the courts, since this has been happening since before computers were around.
What is interesting to me is that according to the article, the five largest companies in the world (by market cap) are all now companies headquartered on the west coast of the US. What a remarkable shift in the world from the way it was just a few decades ago. We are in the midst, of a massive power shift, a revolution. I think it's hard to predict what the results of any regulation would actually be -- everything is changing too quickly.
Ah of course. Thanks!
They did and the 7th circuit ruled that the businesses were different enough that they can be regulated differently. The supreme court declined to hear the case, so that's how it was left.

It's the last two paragraphs of the article.
> the distinction is that there is a willful effort to exploit and to enslave on the part of someone (be it a person, corporation or market

That's right, and it's a shame it's been downvoted.
But then it wouldn’t be called “hacking”, and so wouldn’t pass as software development these days. Instead, let’s have no planing whatsoever, no design and no requirements, have minimal time for actual development, “hack” code together and see where bugs take us. Aka “scrum”, “agile” and whatnot.
No, it's a putdown. This breaks the HN guideline against calling names in arguments (https://news.ycombinator.com/newsguidelines.html).

The account also has a history of being snarky.
Adam West, the actor forever known as TV’s Batman, dies at 88
Yes, it failed to import because of fcntl. Since you can't just replace fcntl with an equivalent win32api call, I suggest using portalocker.
I usually log on *nix servers from a Windows desktop, so ShutIt could be an useful addition to my toolbox - once it works on Windows, that is.
Wouldn't boat building and floating agriculture be a trend in these scenarios?
If you wouldn't [work for a "slave-master"] you'd end up homeless on the street, no option to enter university, change your qualification, travel and get some experience abroad, start a business, nothing, absolutely 0 social mobility. Todays slavery does not need chains, it only needs ideology "on the west"(of which direct application you are a great example of), and an unprecedented murderous machine abroad(which you have no idea about, not the slightest)
> By that logic, all employees should be kept as happy as possible because they might commit arson.

If that's the only logic that successfully gets through to the boss, it's good logic.
He gambled that the cities artificial monopoly would last so he could continue to gouge consumers until retirement. In fact, he gambled the monopoly would stay strong so medallion prices would increase so he could reap a secondary monopoly profit by selling his medallions.

The fact that medallions, which originally cost far less than $300,000, shot up to that price is solely because of the money they allowed you to grift from chicagos citizens. Now you think those citizens should be punished again to pay more taxes in order to redeem the speculators medallions at their highest historical price?

My guess is that if medallions changed hands at $300K, that meant that they could be leased out to cabbies for over $30K a year. That's the monopoly profits the system created for them.

We never should have bailed out the banks without much harsher terms. But politicians were worried about financial collapse. There is no worry about that here, this is objectively good for the economy and the country.
For those seeing "Expect" and not knowing what's going on: https://en.wikipedia.org/wiki/Expect

One of Tcl's first "killer apps". Don Libes' (creator of Expect) book "Exploring Expect" is also one of those technical masterpieces that are very enjoyable, entertaining technical reads. Recommended if only for the discussions of terminals and interactive i/o.

[edit: typo/punctuation]
If you look at China, they have because of their protectionist policies practically thriving clones of many big US tech company. It seems likely that the same would happened in other regions if some of Google services were blocked.
Google is making tremendous strides in AI research, they're betting the company on it.
Examples? The internet, web & search, gene sequencing & engineering, deep learning, self-driving vehicles, VR, 3-d printing, modern batteries, wifi, etc. all followed the same path where massive government research funding and with e.g. the humane genome project or DARPA grand challenge even more direct support.

It's true that private investment was also important but that generally only enters the picture when something is developed enough to the point that investors can see an eventual payoff. As a simple example, Google, Yahoo, and Lycos were all direct results from people like Larry Page getting NSF research grants:

https://www.nsf.gov/discoveries/disc_summ.jsp?cntn_id=100660

That story repeats all over in every high-tech industry.
Predicting the Future – Observations from the Mary Meeker Internet Report
React raycasting first-person engine demo
And actually that's exactly what the FreeBSD Jails paper says too. Their aim was to make uid 0 more granular by segmenting the system so that you have different access control in those jails.

You see some of these ideas in Linux, but as with all Linux kernel technologies they all feel like they've not been written with a design in mind from the start (just look at epoll, namespaces, /proc, and so on).
Yes, but LSTMs are fucking everywhere in the industry so understanding them is crucial
It's more of a show biz now. Its own ability of having one master player for a certain type can both benefit and cause damage to its business. Because master players of a certain type is not easy to find and once there comes one, the expectation for the same type would be pushed higher after the player left. Or customers would leave. So if there is a master player now, do business around him/her. After that, change the game and expect another master player in another type. More fans pay to see their hero in his/her prime.
I don't understand your logic.

If companies are allowed to get as big as they want, then it naturally constrains other smaller companies from competing. It's not a free market anymore, it's a few big fish in a small lake. Good luck not being a predator.

This has happened before. We had massive conglomerates in the late 1800s. Thankfully some leaders with vision (Roosevelt) broke them up.

Egalitarianism does not == the USSR or other failed experiments. Those became anti-egalitarian as soon as the party vanguard took control in the middle of the revolution. Egalitarianism is an ideal state that can coexist with capitalism. What you are advocating is some kind of dystopian future where monetary might makes right and society is run by a few non democratic organizations.
So what would such a curriculum look like? I've tried diving into this a few times and it often feels like hurling yourself against a wall in hopes of picking up bricks. You actually do make progress after a time but it's difficult to determine the curriculum flow.

For me I think it started with reading a throwaway aside on "type verification" and wondering what the heck that was. After a bunch of wikipedia searching into different types of type calculus (not fun), I saw a reference on dependent types, which led me to Coq tutorials, and then, in an effort to be more practical, learning more Scala and a some Haskell - reasoning being that even if they didn't have full support for dependent types, at least their type systems were on the right track.

Failed efforts so far have been learning TLA+ and Idris (I haven't yet found a way to apply any learning), and trying to get through some youtube lectures on homotopic type theory. Maybe next time.
Not really; they're exactly what I meant by "greedy self-interest".
An All-in-One DAG Toolkit: The strongly-connected components algorithm
> If we go to war with China I don't think you or anyone else will care much about your company.

Probably not in the immediate aftermath, but someone might decades later, if the company actually does something valuable.
They already have a tensorflow implementation of SELU https://github.com/bioinf-jku/SNNs
In case you're wondering, this was submitted about 3 hours ago, shot to number 1 on the front page, got flagged to death, was vouched for, but never saw the light of day again. It's here:

https://news.ycombinator.com/item?id=14527753

I'd love to see the story hit the front page again.

Oh, and it's also here: https://news.ycombinator.com/item?id=14528447

Added in edit: Some people really, really think it doesn't belong, and my comments are being down-voted. Oh well.