skysight-inc/HackerNews huggingface dataset:
How much longer would the C specification be if it were fully formalized? And even then, a formalization isn't enough: it has to be useful for actually proving theorems, e.g. “such and such pattern is portable across conforming implementations”, and the size of the proof better not be much larger than the size of the program itself.

If the C standard is so useful, try programming using the C standard as your sole debugging tool.
Formlabs | Boston, MA | Onsite | Full-time | Software Engineer

Sound interesting? Get in contact with us here: http://grnh.se/uj0s1o1

THE COMPANY:
We are a passionate team of engineers, designers, and problem-solvers who make 3D printing tools for professionals. Started out of MIT in 2011, Formlabs is committed to bringing innovative and sophisticated fabrication tools into the creative hands of designers, engineers, and artists around the world. We just raised $35 Million in our series B.

JOB DESCRIPTION:
If you’re passionate about systems, can seamlessly move from one platform to another, and want to have a big impact on the backend side of a complex product – we want you on the Form Team as a Software Engineer. Design bigger software systems to support our 3D printing desktop software Seamlessly integrate all or our backend system architecture Get your hands dirty in all kinds of code

YOU WILL:

* A talented generalist who is passionate about backend functionality

* Are a full stack software developer, from systems level software to user interfaces

* Love to work in diverse environments (Windows, OSX, Linux)

* Code extensively in C++ (Qt) and Python

* Know Git inside and out

* Can architect and implement complex software products

* Can lead projects and work closely with a high-caliber team

* Are excited to dive into a huge variety of challenges

Sound interesting? Get in contact with us here: http://grnh.se/uj0s1o1
When you have nothing else to eat. Also diarrhea beats dying of hunger.

I'm not the "check your white privilege" type but c'mon...
Found the insulting novelty account. Please do not do this. Thank you.
Well, I'm all for John Martinis- he's following a reasonable path.
but many suburbs don't have a HOA at all. I think some of the issue here is specifically upper-middle class problems. In my suburb its been just as it was when I grew up. Kids can play on the road easily, they live within walking distances of schools, etc,
Your evidence of "material reality" is just you repeating your claim.
Well your analogy is not a good one :). The contract offered by America to Immigrants is not: come here and get this pile of money! Its always been: come here and you get an opportunity to work hard and possibly make a pile of money.
Google said 90 calories to an apple for me.
Thanks that's very informative! There are many elements of it that might have been interesting to include on the Journal site itself. It's great to see new open-access Journals opening up!
What, it is insane to ban someone for speaking the truth. Isn't it true?

In fact, all of the comments of the thread are delusional. Saying that it is fair competition, that USA is not a nation... what the hell is wrong with people.

India has BILLIONS of people... even if only the 0.01% get it to the US they are bound to be the best. Local competition is impossible. Add to that the lower wages and you have locals out of the market. No wonder San Francisco and San Jose are how they are.

If it becomes a demographic competition then China and India are bound to get everything just by their sheer numbers.

Come on people...

Am I the only one who knows about the fake universities set up in San Jose to get "students" from India? Students that immediately start working for some company in the area and course no subjects at such University.

I don't know the ethnicity of the people commenting but I get some idea...
Readability is not problem in PHP either. Follow PSR-1, PSR-2 and PSR-4 and use a command like tool like codesniffer in your build step to guarantee code standard on each commit (or use Upsource)

And in PHP7.x you have even more type hinting than before and with an IDE like PHPStorm refactoring is a breeze.

And with the release of PHP7, PHP is future proof. The community will continue improve it with the major features, they have shown it. Interest in the language have increased. More RFCs is contributed to the language than before. https://wiki.php.net/rfc

Multiple teams on a large code base is not really a problem in modern PHP. I do it every day. We follow modern design patterns, code reviews, code coverage over 80% of the system (old as new code). New code is probably over 95% coverage. Deploys regularly multiple times every week.

Almost all (>95%) of my problems stem from design decisions made in the past, not the language itself.

I'm not saying that you should not use Go (or Java). Both are fine languages. Use the right tool for the job. If you don't do a realtime stock trading system or some embedded system, but some web stack, I can't really see that the majority of the problems stem from language choice (whatever you choose). It is in the team, the culture, the understanding of the domain. There should be your focus.

Personally, the most two important things I look for in a language/platform is tooling and community.
As I said, var was introduced with type inference. Before type inference you had to declare it twice, which you never had to do in VB, even in VB6.
The majority of humans have very few natural predators, and to even be exposed to animals like bears, mountain lions and sharks usually requires a bit of effort. (What's going to eat me in a city? Maybe my cat, if I die in my apartment.)

And while there are more people that starve to death that should, and more people who cannot get affordable health care, I would still much rather live in the modern world than head out into the forest and try to survive by myself, or as a subsistence farmer on a manor lord's land.

What animal would you trade places with? For that matter, would you be willing to roll the dice and change places with a random "free" human being living 5,000 years ago?
As a keen cyclist, I often find myself thinking "I should lose 2kg." This amount of weight does make a difference for getting up mountains fast. I'm quite thin already, but it would clearly be possible to lose that much fat. But I've also found that losing these last kilos is quite hard.
I posted a gist [0] sorry it's not really made for public scrutiny, it's an old pet project clock, a video of most of that code is still there: https://plus.google.com/+MichelPollet/posts/ARDMrY4jSxp

That code does timer, radio clock decoding, scrolling, blinking and all that using multiple 'protothreads'. As you can see the main loop sleep() and wait for a timer interrupt (or anything) to fire to wake up, so it's not even running most of the time; only when the 'tick' timer fires.

[0] https://gist.github.com/buserror/9407adb6d52153e16caad5e8a08...
Follow author and millionaire Evon Latrail
Follow writer, producer, & millionaire Evon Latrail on Twitter, Facebook, and Instagram
Search, Evon Latrail
I am on an F1 visa in the US. When I first came to the US, I was excited to become part of this country and stay here and go the H1B route. As I learned more and more about this program over the years being here, I got more and more disappointed even to the point that I just gave up on H1B altogether and will be going back after I am done studying.

It really is just not worth my time investment and trouble, if I have a great alternative at home. Sure, this might be different from people who are from poor countries, but in my case I weighted the pros and cons between H1B and going back, and my home country "won."

>Undergo TOEFL and GRE and apply to various universities

Which is an expensive scam, imho.

>Adapt to a new culture, study hard while working part time
Working part time might not be worth it for certain majors. In my case, I'd have to take 1 less class each semester to have more time to work. However, at the lousy wage it would end up being more expensive in the end than not working.

>Finding a job (While its definitely easy for a CS graduate its not the same for other majors) but yet, cannot be eligible to many companies that don't want to sponsor visa in long term, not eligible for small startups with no e-verify.

My experience has been that it is not easy to find a job, even as a CS graduate if you are not an American. Could be different if I went to Stanfrod or MIT, but with a regular school, I feel like being an American (i.e. not requiring sponsorship) is a huge advantage. I think that at this entry level companies rather choose Americans than people who would need sponsorship. Maybe this would be different if it wasn't a lottery

> Make sure you do all the paper work with OPT, be updated on travel requirements and other stuff

They even recently increased the fees of applying for OPT to $410.

So all in all, H1B is just too much uncertainty for a way too long time for me to be worth it.
Yes, in the same way as there is no shortage of Bugatti Veyron for 100k. They simply cost more than that.

We live in a capitalist society where price is how you communicate demand. Now, if you are willing to pay X times median wage in the US and still can't find people then perhaps there is an argument. But, saying you can't find people when you are not willing to go that far suggests you are not willing to pay market wages.

PS: And yes I chose an undefined X, because there is no clear point when that happens. However, a reasonable lower bound for that X is probably ~3-5.
Loser's lament.
Netbanker who got bought by Finnovate used to be the most intelligent place to find fintech related news and analysis.

It's called http://finovate.com/blog/ now and is still pretty good.
Some political parties already have quotas in their statutes for a long time (Die Grünen (Green Party) - 50%; SPD - 30% I think).

Since Januar 2016 gender quotas for the supervisory council of the 106 largest market-listed companies were introduced. For restaffing in the supervisory council there is a quota of 30% for both gender (or the position has to be left vacant).

Wikipedia link:

> https://de.wikipedia.org/w/index.php?title=Frauenquote&oldid...

Here a Reuters article about the topic:

> http://web.archive.org/web/20160619090749/http://de.reuters....

Here an "official" article by the Federal Minestry for Family Affairs, Senior Citizens, Women and Youth ["Federal Minestry for everybody except men" ;-) ]:

> https://www.bmfsfj.de/bmfsfj/themen/gleichstellung/frauen-un...
A liberal democracy is not a tyranny of the majority (aka ochlocracy). Checks and balances exist, inter alia, to protect the minority who didn't vote for the president. (And in this case, possibly a majority.)

Plus, there's the problem of a gradual (or even sudden) erosion of checks and balances when one person has too much power and the distinct possibility that the electorate did not foresee all the long term consequences of getting such a person elected.

Of course, you may also go for Mencken's view that "democracy is the theory that the common people know what they want, and deserve to get it good and hard." But that would require a fair amount of cynicism.
For B2B: be local. Have presence where your customers are. B2B relations are so much easier if you are local, so you'll be rewarded if you are able to open up offices close to strategic customers or in potentially big markets.
Python Functions Aren't What You Think
Really? What you know about my consclusions? How can you check that you control them? By looking at my behaviour? Ha-ha.
How you can control them if you have no precise knowledge about them and processes leading to them?
Oh... And how can you control my input data, if I'm not reading your ads?
The REPL transcript at the end shows the `Idot` verb in action, by applying it
to an array of shape `2 3 4` (that is, imagine two "layers" of matrices, each
containing 3 rows, each row being a vector of 4 elements). The `I.` operation
finds the indices of 1's in a vector, but the `Idot` shows the indices of 1's
in a higher-rank matrix (in this case rank 3, i.e. a three-dimensional array).

Compare the locations of the 1's in `array` (the output with 0's and 1's) with
the final output (`0 1 1` is the index of the first 1, `1 1 2` is the index of
the second 1).

Does that help? I mainly wanted to show how the base conversion <=> array
index relationship could be used in practice.
> Now that it's not in his favor, though, ignore?

I've never payed attention to them. They seem to be used more for the political purpose of manipulation, than for producing an innocent, yet unnecessary, prediction of results

> And you can absolutely win an election with both minority vote share and a lack of popularity.

No, you still need a certain amount of voter popularity, with the right distribution; unless you are talking about something else.
If your assumption that a 10MB JVM kills the cache were true, then the alioth benchmarks you have posted wouldn't show a speed difference of ~3. I suggest you learn a bit more about how CPUs work and what benchmarks mean before posting bold claims.
How to Manage Pods with Replication Controllers in Kubernetes
There is a book called Traction that outlines more than a dozen plans and emphasis on trying more than one to see what works for your case. What works for StartupA isn't what works for StartupB. Try and test
If you are hungry then you eat.

And I'm not sure it would affect you negatively anyway unless you were doing it right after a high protein/fat meal.
> it is very normal(and healthy) to become a man and get some weight. I personally met Michael long ago and don't remember thinking he was fat at all.
The last photo worries me, it does not look healthy, quite the contrary.

All this says is that you're prejudiced against skinny people. Probably because that's how you grew up.
Object ID in MRI
Even opening the article through Google (via the "web" link) in a Chrome Incognito window refuses to get through the paywall. I think I'm done with WSJ.
I guess this is one of those few times that we can say we were both correct.
Thanks for your response. One thing I got curious about -- are you aware of any liberal or socialist leaning communities in rural Canada?
Yes, but those changes in policy did not usually arrive in the form of executive orders whilst people are in transit between countries. It's way too unpredictable to be workable for any of the parties involved.

Timescale, drastic impact, unclear, possibly not legal what else is there to criticize?
Apple was getting in phone business at that time. Original Android was nothing like Android user saw when it was released on phone. Google had advanced knowledge about Apple plans as Eric Schmidt was on Apple board at that time.
Is it realistic to expect them to only eat fully ripe fruit? Or would all the fruit be eaten by someone else first if they did that?
I'm writing an asp.net core app, my host os is macOS.

I initially setup my project with yeoman which created the footprint for me, but after that I've been manually creating files. You're right that it would be nice if it would create the file footprint for me but its only a couple of lines to add the namespace and class so it doesn't bother me too much, especially if you're used to text editors in general (I've used both a range of text editors with scripting languages and vs.net full in the past).

You can build via cmd+shift+b on mac, I assume swap the cmd for ctrl on PC, run is F5. These require properly configured launch.json and tasks.json files. cmd+shift+p brings up the command palette which lists everything you can do and their shortcuts.

The main things that make it viable for me (and differentiate it from a standard text editor) are intellisense, find references, rename symbol (method name, variable etc) and step through debugging. Without those id probably be leaning towards full VS on Windows or more likely for my particular situation Java being that I need to deploy initially to Ubuntu.

I do like the way Project Rider is going but I've found it a little buggy when debugging, so keeping half an eye on it as it progresses for now.
I think the best way would be to sort the applicants by compensation, and grant H1B starting at the highest compensation on the list until you run out.

For a fixed number of visas, this maximizes the utility of the applicants. This pairs the most productive workers with the most productive employers.

This would be beneficial to both American workers and foreign workers. The only one who would not benefit would be companies trying to get workers below market rates. I do not see why we should prioritize this groups interests over the workers interests.
I'll admit to learning from your definition of nation just now. Sucks that I went well into adulthood never learning the proper meaning of a basic word. On the bright side, google has just given me the green light to continue using 'country' and state interchangeably.

Americans sloppily mishandle a lot of things. That's a common culture right off the bat ;) in addition to everything devmunchies said.
I read Zerohedge from time-to-time. The problem isn't that it isn't liberal - it's that the comment section is utterly and shamelessly racist and antisemitic and the articles have been pandering to this lately.

I'm not exaggerating either: the comment sections are without a doubt one of the most horrible places on the internet that isn't a dark corner.
s/psychological/The field of psychology/

Also, to back this: http://slatestarcodex.com/2014/12/12/beware-the-man-of-one-s...

suggesting you actually need to see the normal curve of study outcomes to see which outcome it converges to...
The author is coming from the embedded world, where saving time in an important loop can determine whether or not your code can operate in the required time windows. Keep in mind that there are a lot of micros out there that are being used for new projects that have memory amounts in the hundreds or even tens of bytes. When you start getting into those areas, sometimes you have to cheat to get things working.
A big performance boost for my freelancing career was when I started to work in an office ( shared office - just a desk ). Compared to working from home, the benefits are enormous.

Just a tiny one : Social pressure will not allow you to play games, watch videos, eat in front of the computer, etc.
HIDDEN FIGURES
I'm not saying that one can be completely rational. I'm saying that you can be much more resistant to mind influencing technologies. Moreover you can be resistant for such a level, that you'll become immune for technologies which targets 95% of population.
I'm not being hypocritical at all.

The Native Americans had an economy, yes. But the economy was much, much bigger after immigration. That's my entire point: immigration fueled economic growth in America.

Skilled labor (and investment capital) played a major part. From horticulturalist to provide plants for early agriculture, to carpenters and ship builders in Boston (and later steel and tools makers), to the physicists and engineers fleeing Europe during the World Wars, to the technology people today. All of these people contributed to the technological growth and dominance of the US.

If none of these immigrants were skilled, the US would look more like China or India than it does.
Only for development right? If you were someone that handled issues for the team, or depended on webhooks triggering builds, you were still blocked.

I'm not trying to skewer Gitlab, I host an instance at home. I've also nuked 30% of the ports on our openstack cluster and screwed up everyone's day. I admire the transparency. I just wanted to call out HN's reaction, vs way smaller (technical) issues involving GitHub. But someone did point out downthread that HN's not a hivemind, so there is that.
HIDDEN FIGURES is the incredible untold story of Katherine G. Johnson (Taraji P. Henson), Dorothy Vaughan (Octavia Spencer) and Mary Jackson (Janelle Monáe)—brilliant African-American women working at NASA, who served as the brains behind one of the greatest operations in history: the launch of astronaut John Glenn into orbit, a stunning achievement that restored the nation’s confidence, turned around the Space Race, and galvanized the world. The visionary trio crossed all gender and race lines to inspire generations to dream big.
About 5. They pretty much blamed the kids present/the parent. They apparently biked down that all the time but also had a lot more bicycle experience.
I didn't care so much for his opening narrative - but the later arguments about (potentially inadequate) check/balances definitely makes the article worth reading. It is indeed chilling to consider how quickly things could deteriorate if media/congressional opposition are coopted/made feckless.
sounds like the internet archive would love something like this.
End-To-End Deep Learning for Steering Angle Prediction
To be fair, NYC is very, very different from the rest of the US. Reading over many of these comments, the people saying that kids can't roam in their areas are living in suburban places where you need a car to go anywhere, and it's simply not safe as a pedestrian. NYC is not like this: everyone takes the subway or walks all over the place there, and many people do not have cars, or use them within the city if they do. It's totally walkable. So I can see how kids walking around by themselves won't have people worried the way they would in suburban areas.
I'm a remote worker (developer) with what is probably a terrible morning routine, but I'll mention it here for balance.

I wake up roughly 10 minutes before start-time at work. I roll out of bed, put on some clothes, and use the bathroom before I stagger out to the living room.

Out there I pour myself a drink and typically move my laptop to my recliner instead of my desk. I find it warmer and far more comfortable in the mornings.

My first 30 minutes at work varies based on things like whether or not anyone has requested something from me (we work from a few time zones), how defined my current task is, and what state I left things in the night before. I usually start in on a development task within a few minutes.
What does "feeds 2,000 households" mean? This is a three acre project. From what I can find it takes about half an acre to provide a single person's caloric requirement for a year.
Software Developers that want to make a big impact in Charlotte, North Carolina
Investor Management Services believes the best technology alone isn’t enough. That’s why everything we build and deliver begins with something else — the best people. Visit IMS careers page to begin the journey with us at https://www.investormanagementservices.com
Why we would want You to join the team?
•You have at least 1+ year of experience in a data engineering, development, or a similar position.
•You understand best practices with SQL. You can thoughtfully design a database to enable performant queries and use advanced features to make those queries fast and clean.
•You have experience with Ruby on Rails and JavaScript, understand the strengths and weaknesses of them, and are curious to explore more.
•You have some experience or a strong interest in continual learning and are always continuing to strive for personal development.
Why You would want to join us?
•We’re dedicated to finding the right fit with our people. We pick people and we are dedicated to the development of those people. We are willing to boosts your strengths, as long as you are looking to do that too.
•Our team works on solving problems. We like to help other teams turn their needs into great technology, and we like developers to tackle the challenges.
•We move fast, with many releases and an interactive approach to developing new features and measuring their success by client feedback.
•We have a gym in the office; cater lunch to everyone, Monday through Friday; Also have 4 rotational beer kegs to celebrate our successes!
•We offer very competitive salaries, excellent benefits (and perks), and a generous PTO plan