skysight-inc/HackerNews huggingface dataset:
Ultimate Software | Ft. Lauderdale, Atlanta, San Francisco, Toronto | Onsite/Remote | http://www.ultimatesoftware.com/careers

Ultimate Software has been building HR and Payroll software since 1990. We moved from selling licenses for on-premise installations to a cloud-based/subscription model in 2002. We are passionate about building awesome tools to make people's work lives easier. Our motto is People First, which describes how we treat our customers and our amazing company culture.

Ultimate Software is hiring for a large number of full time development positions, including:

-	Software Engineers (C#)
-	Software Test Engineers, and more.

About 20% of our Product Development team works from home. We have an unbelievable benefits/401K package, so apply to Fortune’s #1 Best Tech Company to Work For in 2017 today!

Here is a link to our job postings: http://ulti.pro/29PRPAj

You can also email resumes to techcareers AT ultimatesoftware.com
a) source?

b) this precludes developing an entrepreneurship culture as a related and desirable goal.
Ideally a custom codeword or name, but subjectively, names like "Alexa", "Siri" or words like "xbox" are easier to say as part of a command.

"Hey Cortana" isn't as bad as "Ok Google", but has a similar problem.

"xbox do the thing"

"alexa do the thing"

"hey siri do the thing"

"ok google do the thing"

There's something in the mechanics of saying "ok google" that makes it feel kind of awkward.

That's aside from the fact that having the brand name be a required part of it that rubs me the wrong way.
Micropayments don't scale either. Public funding for information. It's a public good. Treat it as one.

https://www.reddit.com/r/dredmorbius/comments/2vm2da/why_inf...

See GC Presents, "At the Graduate Center, we believe knowledge is a public good. This idea inspires our research, teaching, and public events. We invite you to join us for timely discussions, diverse cultural perspectives, and thought-provoking ideas.".

https://www.gc.cuny.edu/Public-Programming/GC-Presents

See GC President Chase F. Robinson, introducing a conversation between Paul Krugman and Olivier Blanchard. A rare moment where the introduction itself contains some provocative thoughts. At about 50s into the video. (The remaining 72 minutes and 20 seconds aren't bad either if you're interested in discussions of global economics.)

https://www.youtube.com/watch?v=zndOEQnMC44

Joseph Stiglitz, "Knowledge as a Global Public Good," in Global Public Goods: International Cooperation in the 21st Century, Inge Kaul, Isabelle Grunberg, Marc A. Stern (eds.), United Nations Development Programme, New York: Oxford University Press, 1999, pp. 308-325.

http://s1.downloadmienphi.net/file/downloadfile6/151/1384343...
If you think about it and abstract a bit, this is sort of the point of ads. Seeing an ad or two on display is like a micropayment of X cents to the content owner.
Yup, love that about statically typed languages. This happens all the time for me in C#. I have several libraries I like that do a lot of code generation. When the project is young, directly handling the generated classes works well but as the project grows, I inevitably want to wrap the handling of the generated classes. It's awesome to be like, welp... it's time to handle this one type differently. Change the return type of an interface or the type of a container and just have the compiler tell you everything you broke.
I am. I think the OP is fundamentally right about the sweet spot being pretty far from either extreme, I just disagree slightly about where exactly :)

Subjectively, I use ordinary generics all the time, but see the need for HKTs only occasionally. It's entirely possible I'm not experienced enough to see most of their possible use cases, but then I'd wager most programmers aren't.
How to Create an Alexa Skill with Node.js and DynamoDB
Away | Lead Full Stack Software Engineer | New York, NY | ONSITE, REMOTE | https://www.awaytravel.com

-

Away is modernizing the travel experience, beginning with your luggage, while striving to set the example for how socially conscious companies should conduct themselves.

We're looking for a forward-thinking Lead Full Stack Engineer to join our team. The ideal candidate will be a passionate thought-leader that is adept at creating elegant, future-facing experiences and technologies.

If you're working with any of the following, drop us a line!

React, JS-In-CSS, Animation/Motion, GraphQL, Universal app builds, Rails

https://boards.greenhouse.io/away/jobs/823596
IntelliJ/WebStorm is also pretty good at this (with JavaScript at least) by indexing a whole project and its dependencies. Refactoring doesn't work that well, though.
It is a communication problem, but it needs a good filter because you can generate so much information through the EMR and other systems feeding into it (even plain-text sentence generation which just string-interpolates data -- naturally this takes time to read and it builds up quickly). Plus, multiple people can contribute to the medical record simultaneously.

Unfortunately the definition of a good filter is going to vary as much as workflows from hospital to hospital.
You mean there’s an ide with that feature? It’s never as good as with any statically type language.
Most contraband is not hooped (stored in the butt). It comes from crooked sheriffs and police officers whose union prevents their being searched properly before entering and exiting work.
And "what the hell is this?" when you see a data structure called "options"
FF 9.3: Graphical Route Advisor, Perf-Based Step Climb, Flight Notifications &c
Tech Leadership: the basics
In the current fast paced scenario of tech companies, it’s easy to destroy the motivation of your team and consequently increase the amount of time to deliver value to customers. There are some good advises which I’ve learnt during the last years that I think would be worth reading and that’s the purpose of this article.
> Toxoplasmosis in particular seems intuitively like the perfect combination of new research plus massive prestige for whoever publishes papers on the topic

While I absolutely agree with the general sentiment, some of the findings related to toxoplasmosis are well-replicated and supported by meta analysis, especially the link to schizophrenia and reaction time.

Flegr was mostly ignored for a decade and his findings are only now reaching mainstream recognition, after replication by independent teams.

Some of the recent "toxoplasmosis linked to X" papers are indeed of low-quality (low sample size and worse).
> It gives one something to think about the next time one is taking a plane trip or attending an event with a security checkpoint. If prisons cannot keep banned items out or from being used, how can airport security or event security do so when their powers are much more limited than the powers of prison authorities?

I mean, it's been amply documented that they can't. I wish we'd drop the security theater; there is no way it's a good tradeoff.
Formlabs | Boston, MA | Onsite | Full-time | Robotics Engineer

Sound interesting? Learn more here: http://grnh.se/txorfk1

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: As Robotics Engineers at a 3D printing company, we apply an interdisciplinary approach to solving technically hard problems. We write software for precise motion control & accurate sensor readings, whilst making design decisions that allow us to move quickly and develop systems faster.

YOU WILL:

* Can share a strong portfolio of previous work
* Engineer electro-mechanical systems for 3D printers
* Have experience working on multi-disciplinary engineering products
* Write software, build electronics, and design mechanisms
* Experience in using Python or a similar language to analyze data
* 3+ years of industry experience

Sound interesting? Learn more here: http://grnh.se/txorfk1

We're also hosting a 'How to Get Hired in Tech' event at Formlabs HQ on Oct 10. Let us help you up your application game and kickstart your career in tech: http://bit.ly/2wuEqbU
Well, the easy answer is that dependently-typed languages like Agda and Idris aren't very mature yet. They're still missing many commonly-needed libraries, compile times are slow, the tooling isn't great, etc etc.

Getting a language to the point where it's workable for serious projects is a lot of work. Rust is getting there with the backing of Mozilla, Haskell has made some decent strides too (but still has a way to go, and I think has some pretty fundamental flaws entirely apart from the type system). It'll be probably another decade at least before we see any dependently-typed languages getting a serious foothold, but I do think they're going to become a lot more common eventually.
ZenMate | DevOps Automation Engineer, QA Tester and Automation Specialist, Client Developer(Android, Windows, iOS, macOS), Sr. Backend Engineer (Ruby) | Berlin, Germany | Onsite, Visa | Full-time | https://zenmate.com/jobs

We want to make the internet a place of freedom again and we need your help to achieve this goal!
And unlike other start-ups, we don’t just copy what’s already out there but work hard to stay on the cutting edge of web and network development!

Please apply at https://zenmate.com/jobs
> We've advertised for a senior programmer position for months and had very little local(national) uptake. Almost nothing. Then we hired someone from abroad, but 99% because they were one of few people who actually applied.

What pay are you offering for the role?

> What makes it more complicated is that it's extremely easy for someone to say "just offer 2x the salary and someone will come" - and that's probably true, but it's extremely ignorant of other market factors in the area.

It is easy to say that when labor law isn't favorable to importing labor from other countries, which as a US citizen I am in favor of. If your business can't support a wage that attracts talent without importing someone from another country, perhaps that's a problem with the business fundamentals.

As a citizen of my country, my fellow citizens are my primary concern, not someone's business. We all have our ideals that have been shaped by our life experiences.
Eh, I don't blame them, but I also don't blame the high-income highly-educated immigrants for feeling derisive toward people whose only asset is that they're American. I think Tom Lehrer's 1967 observations are still remarkably on-point:

https://www.youtube.com/watch?v=aIlJ8ZCs4jY
If you can't print your way out of debt (fixed money supply), the corollary is that you would be forced to cut in times when debt was in short supply (not able to borrow, no surplus), you wouldn't be able to simply create debt out of thin air as all the central banks have over the last decade, with yet to be seen side-effects (aside from the asset bubbles).
This is something international flights are partly to blame for.

If I take an 8 hour flight to Europe, overnight, I'll be served dinner and breakfast, but much closer together than 8 hours. I'll sleep maybe, and by the time I get there, my body is truly confused.

Last time I flew, I stayed up the entire flight and didn't sleep until midnight, destination time. I was the most adjusted person in our group. Next time I'll try your fasting recommendation.
Formlabs | Boston, MA | Onsite | Full-time | Technical Recruiter

Sound interesting? Learn more here: http://grnh.se/e5qb241

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: Our People Operations team focuses on building a culture where the best people can do their best work. From electrical engineers to software developers, we are building a team so talented and diverse that we can tackle any challenge.

YOU WILL:
Keep Formlabs an amazing place to work by finding/growing people
Find, interview, and hire the best candidates for our engineering teams
Can prioritize and organize tasks
Passionate about communicating with people
Successful track record of recruiting high-caliber engineers

Sound interesting? Learn more here: http://grnh.se/e5qb241

We're also hosting a 'How to Get Hired in Tech' event at Formlabs HQ on Oct 10. Let us help you up your application game and kickstart your career in tech: http://bit.ly/2wuEqbU
Great idea! That's exactly what the author of the article says at the bottom.

(Edit: reworded.)
"I mean it can drive at night"
So can I :D
I'm aware of whatever gets popular press or a write up in nautilus/aeon, and I browse /r/science daily. Please provide links to these interesting, under-shared studies.
Yeah, I'll admit these are good points (I upvoted your answer). However, I'd propose that having a teacher who could sell other topics and make them interesting too might make the other stuff less boring- ultimately forcing your students to memorize material they find boring is a failure on some level or another.
Bytemark | Platform Engineer | York or Manchester, UK | Remote OK | Full Time, £32-40k

https://careers.bytemark.co.uk/positions/14

Edited hilights from the full ad:

We're looking for a Linux expert to maintain our cloud hosting systems and raise the bar for our internal deployment systems. You'll be keen on measurement, monitoring and reliability, and want to be a creative member of a new & growing team within our company (you'll be #4 in this new team; we're 30 in total).

The big issues you'll be solving are how to manage a growing hosting platform, redeploy some old internal applications to better support our engineering team, and generally improving our reasoning about failures and reliability.

The low-level work is picking jobs out of a work queue, carefully rearranging and documenting hundreds of servers to improve reliability and performance, communicating reliability issues to both our support team and our customres.

The company is centered in York, but none of the team are based here, so all its practices are remote-first.

Bytemark is a 15-year old hosting firm in the UK. We've built our own cloud hosting platform since 2012, our own data centre in the UK, and even our own free Debian-based distro for that "shared hosting" vibe. So we do everything in the hosting stack from top to to bottom.

Lastly - we've got a very anonymous hiring process. That means we don't want your name or CV up front, just an alias and a few questions about your interest and ambition. We'll arrange remote, anonymous interviews and only ask for your identity and CV at the 3rd stage.

You can read more about the process here:

http://careers.bytemark.co.uk/full-process

We're an equal opportunities employer, provide 25 holiday days per year (+ UK bank holidays + 1 extra day per year of service), we pay for your broadband, administer a pension, provide a health cash plan for dental & optical, provide 16 weeks enhanced (full) maternity pay, run a childcare voucher scheme, and pay for 5 days out at conferences alongside other relevant training.

If you think Bytemark could be somewhere you want to work, the full description and big "Apply" button is here on the ad:

https://careers.bytemark.co.uk/positions/14

Happy to answer any further questions here.
>Moving from a MAC pro workflow to a Wintel (i9 Xenon or AMD) is non trivial

So what do I earn from "biting the bullet"?

I go through a non trivial process for merely the possibility that the iMac Pro might not have continued new models (which will only matter to me in 2-3 years at earlier if I buy it).

And that when there's already another Mac Pro model announced for 2018.
The username and password are case insensitive btw :)
None of that has anything to do with Apple's own profit margins.
Embracing Functional Programming in Ruby
I agree that static typing helps reading comprehension and that IDEs like pycharm help getting into big code bases, that said, at the end of the day, when you know the code both the IDE and static typing are getting in the way. Actually, I never saw anybody as quick as people using simple editors like emacs and vim. GUI is getting in the way of the programmers intent. Static typing is a hindrance in front of refactoring. Unit tests is the only truth that matters, static typing or not.
Online amnesia seems to be a problem with the design of karma-based forums. I used frequent a London bike forum where folks were notorious for answering common questions with "UTFS" (use the fucking search). It was refreshing to be among more "responsible" forum folks.
You also have to look at the baseline in these papers. Many of these studies do daft things like compare 24 and 28 hour shifts, neither of which is likely to be anywhere near optimal performance.

Hand-off also seems like a thing that could be improved in many different ways, while fatigue is driven by fundamental limits of human physiology.
Back in high school and college I spent a lot of time reading code. I was on the Amiga, and remember reading Matt Dillon's stuff (a C compiler with library, the DME editor, and Dnet), Tim Budd's smalltalk, David Betz' "advsys" (which inspired me to read a book on parsing and automata), and other stuff that I've since forgotten.

These days, it's hard to find time between work and an absolute deluge of interesting stuff to study and play with.
I always ask the same question about huge American tech companies. They have almost unfathomable amounts of cash, but complain about the lack of qualified American talent. If there really is a shortage of qualified American talent, then American tech companies should use some of the cash to train American citizens.

H1B and similar really are about labor arbitrage. It's amazing that anyone thinks the best paid jobs in America should go to hundreds of thousands of foreign nationals. (There are hundreds of thousands of H1B workers in America right now doing jobs that Americans are imminently qualified to perform.)

Not to mention, non-profits are exempt from the annual cap on H1B. This includes virtually all hospitals and universities. If Democrats are serious about the middle class, then they really should do something about this.
Correct and useless programs are useless. Quite simple.
Location: New Hampshire

Remote: Yes (open to onsite/partial remote in Boston)

Willing to relocate: No

Technologies: Javascript, React, Node, Blockchain, Solidity

Resume: https://www.mlangley.net/wp-content/uploads/2017/10/resume-l...

Email: mike@mlangley.net
Except that advertising itself sets up perverse incentives and numerous negative externalities. It's also not free -- the world collectively pays over $600 billion for it, much of that from the advanced industrial nations, numbering roughly 1 billion people, so about $600 per person.

Contrast that with direct media expenditures of about $125 to $150 or so per person.
Rocketmiles | Chicago, IL or Brooklyn, NY | On-Site

Rocketmiles helps frequent travelers take more vacations.
Our team is headquartered in Chicago's West Loop with a satellite office in Dumbo, Brooklyn.

We're currently looking for:

* Senior Software Engineer - JVM (Kotlin, Groovy, Java) (Chicago)

* Software Engineer - FE (Chicago)

* Data Engineer (Brooklyn, NY)

* Senior Systems Engineer (Chicago)

* Manager, New Business Marketing (Chicago)

Apply at https://rocketmiles.com/jobs if you're interested
You can say Hey Google and it works the same. I only say it that way, I prefer it much better.
I have never understood why so many people, including commercial projects, use dnsmasq. Convenience?

With djbdns I have never felt the need for it. Nor do I use DHCP. Or even ARP. At least, on computers that allow control over such things.

I guess I am missing out on the convenience, or perhaps there is an alternative selling point I have overlooked?
Very few individuals pay taxes equal to, or greater than, their costs.
Checker | San Francisco, CA | Full-time | Onsite

modern and compliant background checks, focused on building a fairer future for applicants. growing and profitable, an unusual combination for the Bay Area :) great engineering centric culture. co-founded by engineers. 130+ ppl, 35+ eng.

Forbes Next Billion Dollar Company: http://bit.ly/2q8T5Kk

4+ years relevant work experience

http://bit.ly/eng-fullstack

http://bit.ly/eng-backend

http://bit.ly/eng-machine-learning
Gifts to Federal Employees from Foreign Governments 2015 [pdf]
There's not only tooling and reliability. Don't forget performance, too. Knowing at runtime that a memory word represents, for instance, an integer rather than a reference to a struct that contains both a type tag and a reference to the actual value, makes a huge difference. And I'm not even mentioning the inlining possibilities.
When using languages with static typing amount of refactoring of that type is disproportionately large, so people notice how much the ide helps, without noticing that most of the help wouldn't be even necessary without the complexity added by static types.
This is correct. Both these things (the game and the system) are kind of big, at least in terms of time invested, but what I released yesterday was the game. Technically, it's also the system's first major release (there was another small game 2 years ago [0]).

If anyone wants to hack on this, I'm open to giving them access to the egamebook repo, somehow (I wish there was a github per-user privacy setting...). I just don't yet have the documentation and time to make a full open-source release — not at the quality I'd expect from a project like this.

[0]: https://egamebook.com/lochness/
> * AFAIK, there is no "screen mode" that enables one to use these things as monitors.*

You actually can! It's called Target Display mode:

https://support.apple.com/en-us/HT204592
> What we desperately need is a real, useful micro-payments model where you can pay per-article

The other side of the coin is that if you're a news organisation, "the economics just don't work" with micro payments. You can't fund a month long investigative report based on micropayments, even if it produces a prize-winning piece, if you don't have guaranteed income to support it. What happens if you spend the month investigating and don't find anything?

Micro-payment per-article will only encourage "safe" journalism - articles that you know will resonate with your readers, rather than controversial pieces or in-depth, resource intensive research.
FDA Chief Says High Drug Prices ‘Public Health Concern’ Agency Should Address
Class Type, Relation and Domain in Database Management
Yeah, that would be nice, but as it's not a standard, they probably Apple couldn't even make it work for Danish users -- they wouldn't go build 2 systems and go out of their way to verify data with the Danish government just for a few million people (or, actually, just for a few thousands of developers).
Cleary | Full-Stack Engineer / UX/UI Engineer | San Francisco, CA | Onsite | Full Time | $75-150k, .25-4%

We're looking for a founding engineer to join our experienced team in building software to rethink the employee experience from the ground up.

Founders are entrepreneurs who previously sold a company to Twitter before and are taking the lessons learned in the space to create a new suite of everyday work tools focused on end-user delight, habit forming products, mobile-first design thinking, and machine learning to drive insights.

We have an enterprise client signed up from day 1 and are looking for talented full stack developers (Rails + React experience preferred, but not required). Bonus points for mobile + design experience.

Email ryan@gocleary.com