skysight-inc/HackerNews huggingface dataset:
Every system has problems. Capitalism is the best we have found at managing resources at scale. The problem of course is that wealth tends to create wealth, which causes wealth to accumulate at the top. This leads to a completely distorted economy, civil unrest, and eventually a crash. The usual solution is to task a government with making sure that wealth is taken from the top and reinjected at the bottom to keep the system from crashing. It's an ugly hack, but it's the only thing that has worked. The big problem with this is that wealth also tends to accumulate political power which weakens this check on capitalism. There's no easy solution, but the first place to start would be strengthening campaign finance rules and conflict of interest rules. The legislators should never be cozy with industry. In fact the heads of industry should be angry with government pretty much all of the time, if they are not then the government is probably not doing its job. Apple should be on a massive propaganda campaign about how cruel and unfair it is that all of the world governments are taking away their profits and giving them (indirectly) to poor people. They should be crying about how greedy governments have stolen like three quarters of a trillion dollars from them. Hedge fund managers should be angry about how the government is always there when they make huge windfalls. It should seems super unfair what the government is doing, because what capitalism does to the poor is just as unfair.
The sci-fi series Three Body Problem sustains the argument that intelligent civilizations evolve into being compelled to mask their existence from interstellar detection, as a matter of survival. General idea is there are always bigger in the ocean, and the time required for interstellar travel is so long that non-zero probability of any newly detected life being hostile becomes intolerable. I.e. civilizations survive over Gyr timescale by concealing themselves, and destroying any neighbors who make themselves observable.
There was an interesting article I read a few months ago that observed that the ease of communication that the internet provides has actually crippled movements for social change. In the past building the infrastructure to coordinate and communicate to a movement was difficult, and you had to master that before you could manage a big attention-grabbing protest. You needed leaders, cohesive ideas, and a plan; and you needed them first. That meant that those movements had the staying power to get things done. Today? People organize massive protests spontaneously on Facebook and Twitter, based on the emotions of the moment, and get tons of attention. Then the members are forced to confront the question of "what next?" in an uncoordinated and leaderless way, and all the energy fades away.
I think the deeper problem is that labor has no pricing power. Capitalism works for more people when people who earn a salary can buy things that increase real demand for companies. But workers are strapped for money, and have no real political assistance or prospects for a better future. Earning a living is increasingly a sucker's game.

Unfortunately, America's political system doesn't allow for a nuanced solution that gently puts the brakes on rampant globalization. Instead, talking heads who only play for ALL THE MARBLES see this as an either/or situation. I believe in the inevitability of globalization. The question we need to ask ourselves is, do we need to get there next week? Can we get there just a tiny bit slower? Can we create an economic space where people not living on space station Elysium (the 2013 movie) can have a life not defined by exasperating financial anxiety?
If you're talking about humans, absolute time is much more important than "3X". Everybody would notice the difference between 1 second and 3 seconds. Nobody would notice the difference between 1 ms and 3 ms. 100ms is perceivable, but not a problem in most situations involving a web request.
> Memory: 16 KB Instruction Cache, 16 KB Data Scratchpad

This is about as anaemic as I am. When I can get RISC-V silicon with a DDR4 and PCIe interface, we'll be talking, but this is pretty weak stuff.
I think that is the point, rather than the flaw, of this article.
+1
Best post on the whole thread.
Desperate opioid users are pawns in lucrative insurance fraud scheme
Nice to hear some sense, I'm surrounded by tiger parents sending their kids to STEM summer camps & after school classes because it'll help them get into MIT or whatever. Its pretty sad as most of them would be much better off if they had some fun and had some friends.
It is 100% placebo because a 60 hz screen can only render 60 fps. If you're getting 150 fps, then if you're playing with V-Sync enabled, only 2 of every 5 frames is being shown to you. The other three are being thrown out, never reaching the monitor. If V-sync is disabled, then you're only seeing about 2/5ths of every frame with a tear in the screen when the next frame was shown, causing rendered objects to shear.
Then charge for the upgrade by doing the standard major version bump (Foo2, just like Foo but now with more Bar!) and don't try to bullshit us. Companies don't need recurring revenue to survive, they need to sell product to survive. If their biz model consists of trying to bleed their current customer base one drop at a time I will look elsewhere.

-current 1password user and evangelist who will drop it in a heartbeat if forced into a subscription
The trouble is that we really have no way to make faster than light travel, and probably won't for hundreds or thousands of years, if ever. Meanwhile, our ability to see and detect our neighbors gets better and better every year.

It could be that we go 100,000 years without ever being able to reach other stars, but spend the entire time passing messages, like prisoners in individual jail cell passing notes to friends in nearby cells.

... Damn, that would be a really great setup for a sci-fi story...
The purpose of https://github.com/babel/babel-preset-env is that it handles all this automatically (not run when it's supported natively)
Somebody tried to explain evil mode to the writers but they didn't quite get it.
Looks like even Purism is not interested in certifying compatibility with Qubes anymore. That's sad.
There are older papers that describes Lean's meta theory, https://leanprover.github.io/publications/, the first paper, and the one on elaboration. Unfortunately they both describe the version present in Lean 2, which still had the HoTT support we removed in Lean 3.

The new tactic paper, set to appear at ICFP '17, also briefly describes Lean's meta-theory. https://leanprover.github.io/papers/tactic.pdf

At a high level our meta-theory is very similar to Coq's with a few important departures, a big difference the remove of pattern matching and fixpoints from the kernel, we instead have
primitive recursors/elminators/recursion principles.

The lead author of Lean (Leo De Moura) has built some of the worlds most advanced automated reasoning tools, and his goal has always to unify type theory and automation. Our goal is to have the benefits of dependent type theory coupled with the high level of automation present in SMT and from tools like Isabelle.
True. My assumption is that there's a complete lack of the usual consumer protections because (a) no ability to shop around and (b) no political will to fix it because most bills go to insurance companies who (i) are expert at questioning medical bills and (ii) have a negotiated relationship with providers so they don't pay sticker price anyway.
Racing the Beam: https://mitpress.mit.edu/books/racing-beam

Its about how hard it was to program the Atari 2600 and the clever tricks required to get the most out of the machine. One of my favorite anecdotes was that in I believe Yars revenge, one of the sound effects was produce by reusing a section of code as sound data because it sounded good enough.
It's parseable in Babel 7, issue to implement the transform is https://github.com/babel/proposals/issues/2
https://en.wikipedia.org/wiki/Dysgraphia

There's a very specific part of the brain responsible for the movement planning and fine motor control required for writing. Some folks have it underdeveloped, and need to spend an inordinate amount of effort and concentration in order to write. And even then, their writing will often degrade over time as they fatigue.
Everybody knows that capitalism has problem. The trick is figuring out what the next better bad system would be. And as far as I can see the richest, smartest and most powerful people are currenlty all thinking hard exactly about that question. So far nobody has found the answer, but suggestions are welcome.
Fk it, lets move to china
PayWhirl has released another sdk, this time Node
I dont think corporations profit from the H1B in an economic sense. Some can, but only very few: that is, copmanies whose H1B situation allows them to have a higher range of profits than other companies in the same space that wouldnt have access to the same visa.

If immigration where free, or almost free, then these companies would hire even more people, and all others would also do it. The amount of immigration the tech sector would have if people could go to the us, stay 6 months to acclimate, learn and pick jobs, would skyrocket and would increase the talent pool for companies.

The great supporter of such restrictions are the people that think their own wage would be reduced if more competition were brought up. And they would be right to fear that in the short term. In the longer term, lower wages would also mean higher profits, thus higher capital which would eventually rise wages again.

Any immigration policy is more often than not a problem of bias and misunderstanding from the public, and a matter of voters for the politicians.
Live robotics feed for any questions or feedback you may have on a project
Ok, you seem to have the same taste as me.

I'm currently on KDE Neon at home and at work until I switched jobs a couple of months ago and I also liked Mint Cinnamon a lot.
But the ones who learn, will become better programmers.
Functional programming has already been proven out in the field, since the late '60s. In fact, there is a recent trend to more use of functional programming, just as in the 90s, OOP was all the rage.

What is hard, is to use a purely functional language.
You mention Venezuela, but what about India? France, Sweden, Belgium, Canada, Finland, and Denmark are all arguably socialist -- certain much more so than the US.

Any economic system fails when practiced by corrupt or incompetent governments. There are many failed capitalist states, too.

Edit: if you want to talk about scaling, China and India are debatably doing well (or at least improving rapidly), and both countries have 1.3B people.

China had an interesting idea with special economic zones: let people opt out of socialism if they want to, but stay within the country and get basic protections.
I don't think this is an argument for requiring plans, though: you can always encourage them, but in the end it should be up to the person doing the design. Otherwise you end up with the absurdity of having to write a detailed plan and wait a month for approval just to change the positioning of a button slightly.
I think you and I have a different view of the type of entrepreneur this visa would apply to.

I don't think a foreign startup with 1 or 2 employees is going to attract $250k investment from US investors. (source: I once started a tech company in south america, US investors rarely invested outside of the US in early stage businesses) I think this would just be too risky for the US investor.

On the other hand if there was a startup that were within 2 years reach of $500k recurring revenue and 20% growth and were derisked to the point that US investors were interested in putting up real money then they are probably established enough that they wouldn't want to make the move for such a short time frame.

I think when people first read about this visa rule they imagined it'd be more ycombinator hacker types ("infant startup company with maybe the founder and 1 or 2 other people") when in reality that wasn't the case.
My experience with this comes from college, but I disagree. I added a math major late into my education (I was one course from a minor, then 4 more from a major so why not?). I ended up in several math courses at once that were often taken separately, but specifically abstract algebra and a higher level (4xxx) linear algebra course.

I pretty much aced both, though I probably would have gotten an A in them taken separately. The reason I did better, though, was that they were both algebra. They were both expressing the same concepts, but on different types of objects. The moment that that clicked in my head, my Monday lesson in linear became the clarified by my Tuesday lesson in abstract, which was further clarified by my Wednesday linear.

If you structure it correctly (particularly, with programming, by selecting appropriate problem domains for programming exercises), I'm quite confident you could create a better math and programming education experience by properly pairing the two.
Neither is actually bad. Problem is always in people.
Zero Packet Inspection
Replacing coordinates with MGRS
Actually, it's udevd itself doing that. A regular child-killing rampage is built into its main loop. To avoid it, one must arrange to not run the desired program directly, but rather to make udevd activate another service that in turn runs the desired program.
Yup, that too.
But your "intermediate specifications" are not part of your specification! The specification says that the result is a sorted version of the input. It does not care about the induction hypothesis in your program. It might be technically necessary depending on the verification condition generator you are using. When you verify a functional program using Isabelle, Lean, or Coq your statement is that the output is a sorted version of the input.
The Three-Body Problem by Liu Cixin. Chinese Science Fiction, really different perspective of hard questions particularly from a Western perspective.
The news must be covering up the ongoing massacres in Norway.
Last time I checked, he did not win the election, just the Electorial College, which is skewed toward low population states.
USA spends 50% of its budget on health-care and social security. Looks pretty socialist to me.
Bringing a brick to a gunfight seems even less intelligent than bringing a knife.
I'm pretty sympathetic to the ideals behind Distributism[0]. I just don't know, particularly, how to make it work usefully with sectors that benefit from economies of scale (like ISPs)

[0]https://en.wikipedia.org/wiki/Distributism
How much have you tried it? My impression is grogginess doesn't really set in until after being asleep for >40min.

Sometimes when I try to nap I never go fully under, but the relaxation and slipping away is still refreshing.
Can I create 5 more HN accounts just to +1 this some more?
So you agree, we don't need visas.
You can have capitalism and globalization without having policy that favors capital over labor.

The problem we have is that people consider existing policy agnostic.
This time they'll get it right. Don't worry comrade, ignore that in order to make it work, the government will take property from one person and give it to another at the barrel of a gun, whether they agree or not.

This is more equitable.
I worked at a place where a junior developer announced shortly after starting that he was moving 3 time zones away. The company decided to continue to employ him. It was probably doomed no matter what they did, but they also insisted he work on a VM at the company headquarters, and didn't have him visit the team in person on a regular schedule.

Edit: In this situation, he was hardly local first, given the short time between his hire and his moving far away. All of which is to say I agree with the poster I replied to.
That goal is not in conflict with what I said.

Say that a company needs $X to have "enough runway." The VC firm can either invest $X and pay for the firms legal fees themselves or invest $X+legal_cost and have the company pay the fees. In the latter scenario the VC firm will probably end up with a greater ownership percentage.

It is worth noting, however, that it might not really make any difference. Much like tax incidence who directly pays for the lawyer really might not matter much in terms of where things end up in the end. The cost will always, to some degree, be shared by the firm and the company.
I'm really interested in the answers to those questions, because I have experience working in Python and JS shops and I haven't noticed much of a difference in terms of engineering quality between the groups. I suspect it's because most JS and Python engineers lack experience working with "non-magical" languages, and thus they frequently lack the ability to make good performance estimates or balance competing priorities. Or maybe the non-magical thing is a red herring, and it just happens that non-magical languages tend to be employed in domains where "just make it work; we'll solve performance with hardware" isn't acceptable.

This isn't to hate on Python or JS engineers; just that I don't see the same jump from JS to Python/Ruby that I see in dynamic to static languages (esp static langs with manual memory management).
All of your options encourage a monopoly on the specific patent and ignore the possibility of licensing.
SigOpt | Software Engineer | San Francisco | Full time/Onsite

Small team working on everything from machine learning to javascript.

SigOpt is building a cloud-based ensemble of optimization tools that is proven and integrates seamlessly into existing infrastructure. We're used by globally recognized leaders within the insurance, credit card, algorithmic trading and consumer packaged goods industries.

We're looking for generalists who feel comfortable working on everything from machine learning pipelines to javascript to join our small but growing team. Our stack is built on tested and popular tools like postgres, python, AWS, node, react. We prefer versatile developers over experts in a single field.

Responsibilities:
-Work with customer success and the research engineers to design, build and ship new features in the API
-Design, build and continue to improve the SigOpt web experience, from account administration to cutting edge visualizations
-Champion usability and clean design across the website and API, maintaining the high bar that our customers continue to give us positive feedback on
-Maintain our public API clients in Python, R and Java Showcase SigOpt in code examples from our public GitHub repo, documentation and how-to articles on the website, and occasionally blog posts

Requirements:
-Minimum 1 year industry experience in a software engineering role
-Experience in a wide variety of languages and tools

Pluses:
-React/ES6 experience
-API design experience
-Experience writing and maintaining test suites including unit, integration and browser tests -Machine learning experience
-Strong oral and written communication skills

Please visit our careers page at https://sigopt.com/careers
Antitrust regulators should look into this one.

EDIT: ...because the policy punishes advertisers use of other advertising providers.
Http://Catallax.info

Giving it the old college try.
"Modern Times" and "The Birth of the Modern" by Paul Johnson which cover world history from 1919-1989 and 1815-1830 respectively. Amazing histories written in a breadth and exploratory depth that illuminate so much of the past and make the present more understandable.
I'm not sure the gap is that big when you factor in children and housing.

I have two kids. I get offers between 100k/160k CAD in Montreal. Daycare costs me about 800$ per month for each children and I get kick backs from the governement to bring that down to roughly 189$CAD/month. In San Francisco the average is 1900$USD per child.

Then factor in I live in a 265K CAD house, 40 minutes bus ride to city center. I have 3 bedrooms, one office, a huge kitchen, a nice patio, garden etc... In San Francisco the median house price is 1,194,300$ USD.

I could be making 180kUSD and I wouldn't be saving any more money at the end of every month with housing and daycare alone.

Also... I might pay a good deal of taxes but I have great healthcare.
Jawbone reportedly shuts down, CEO launches new startup
This is extremely workload-dependent. If you have a lot of processes and they have good affinity, you don't mind that the L3 is organized like it is on the AMD chip. On the other hand, single threaded workloads suffer, as do applications with lots of threads that move around a lot.
You say "it's not about numbers, it's about learning how to think," but the truth is it's about both. Without the number skills and the memorization of all those number facts and formulas, a person is handicapped both in learning other subjects and skills and in succeeding and progressing in their work and daily life. The two concepts -- number skills and thinking skills -- go hand in hand. Thinking skills can't grow if the number skills aren't there as a foundation. That's what's wrong with the Common Core and all the other fads that are driving math education these days. They push thinking skills and shove a calculator at you for the number skills -- and you stall, crash and burn.

The article brings out a good point about math anxiety. I have had to deal with it a lot in my years of teaching math. Sometimes my classroom has seemed so full of math anxiety that you could cut it with a butter knife. I read one comment that advocated starting our children out even earlier on learning these skills, but the truth is the root of math anxiety in most people lies in being forced to try to learn it at too early an age. Most children's brains are not cognitively developed enough in the early grades to learn the concepts we are pushing at them, so when a child finds failure at being asked to do something he/she is not capable of doing, anxiety results and eventually becomes habit, a part of their basic self-concept and personality. What we should instead do is delay starting school until age 8 or even 9. Some people don't develop cognitively until 12. Sweden recently raised their mandatory school age to 7 because of what the research has been telling us about this.
Psychopathological - this is not a personal attack, but a doctor's observation that a person has gone far over the deep end into anxiety about a subject that is rationally not panning out, only for his lack of knowledge of what happens if he does get sick unexpectedly and without a solid insurance. I tried to reassure him.

Second, "doctor-bashing" may be an inflammatory phrase, but please look and see how many comments derogatory and unfair to physicians you tolerated without a word. So, one is to conclude that your moderating style allows certain disparaging and humiliating words, towards doctors, for example - but does not allow to call a person using such abusive language a doctor-basher? That is indeed interesting.

Finally, my comments/replies have no more "political" in them than the rest of posts in this thread. The post is about the cost of medicine.