skysight-inc/HackerNews huggingface dataset:
Location: New York, NY

Remote: Yes

Willing to relocate: Yes

Technologies: Haskell, Rust, other FP languages like Scala and Clojure. Open to learning whatever is necessary to get the job done.

Résumé/CV: https://alexeyzabelin.com/assets/resume.pdf

Email: hello@alexeyzabelin.com

Self-taught dev looking for an entry-level job. I've mentioned the technologies I'd like to work with, but I am also open to other ones since I learn fast. I have a blog over at https://alexeyzabelin.com, check out my post about using Type Families in Haskell to build an API wrapper: https://alexeyzabelin.com/haskell-api-wrapper. I also contribute to open source, check out my GitHub profile: https://github.com/alexeyzab.
How to Create a Customer Acquisition Plan for Startups
AFAIK, verifying complex linked data structures is still an active research topic. For instance: https://cs.au.dk/~amoeller/papers/pale/pale.pdf

Edit: or try something like Idris. But I think you're asking too much of today's rustc.
Is it important that I know middleout for this?
Underdog.io | New York | ONSITE | https://underdog.io

Underdog.io, a talent marketplace, is hiring a backend engineer in New York. This role will have ownership over backend and DevOps on our Python (Flask) and JavaScript-based stack. Underdog.io is a small, revenue-funded company where everyone’s contribution and decision-making is directly impactful. Ideal candidates have the skills and initiative to think deeply about everything from code quality to internal processes to the broader market in which we operate. Specifically, we’re looking for someone with:

- Server-side development experience in Flask or a similar framework (Django, Express, etc.).

- Client-side development experience, preferably using a JS library like React or AngularJS.

- A deep understanding of HTTP and RESTful API design.

- Familiarity with SQL databases (we use PostgreSQL) and general data modeling practices.

- Experience managing AWS environments and working with DevOps tools (Jenkins, Docker, etc.).

- A desire to contribute to open-source projects.

Email chris@underdog.io if you’re interested in learning more. No agencies, bootcamp grads, or visa candidates.
I understand that this is a flaw, and indeed a billing-related flaw at that, and I agree it merits fixing and maybe even some refunds/discounts to make up the difference.

But at the same time, you seem to be super-concerned about what is essentially a one-time overcharge of (apparently) between $4 and $48, and I feel like I would struggle to muster the emotion you seem to feel over that. If you're posting this at work you may have just wasted more than $4 worth of your salaried time making these posts and reading the responses.

I get what you're saying, but I raise my eyebrow over the vitrol with which you say it, and wonder if perhaps there's something else you're not telling us?
InComm Digital Solutions | Software Engineer, Senior Software Engineer | Portland, OR | Full-time, Onsite | https://www.incommdigital.com/careers
Come work in a collaborative environment in downtown Portland. Our stack is .NET on the backend and React.js + Redux on the front end. Book clubs, hackathon once per year, lots of pairing and mobbing, and free breakfast and lunch once per week. Email me at rfaaberg at incomm dot com if you're interested. No recruiters or spam please. Hiring mid-level and senior engineers.

Senior Software Engineer, Full Stack .NET - https://careers-incomm.icims.com/jobs/5845/senior-software-e...

Software Engineer (.NET or React + Redux) - https://careers-incomm.icims.com/jobs/6590/software-engineer...

Manager, Production Support - https://careers-incomm.icims.com/jobs/6565/manager%2c-produc...

All jobs - https://careers-incomm.icims.com/jobs/search?ss=1&searchKeyw...
There are no short cuts to good sound, you can buy the most expensive equipment but still have bad sound due to the acoustics of the room. It's also somewhat random, like placement and materials dampening different frequencies. So I guess it becomes a sort of addiction.
Just like in real life, the art of engineering is iteration. So I always get quick and dirty results with my side projects, and iterate if it's worth iterating. But my side projects are just for myself, not for others, so it's things like writing a multi-thread stock strategy backtester, a dashboard for my IoT devices, etc. It's never that I think will make money.
Get a life. Oh, excuse me, was my sarcasm too transparent?
It's not just you; I think the overuse of emojis, memes, and gifs is out of control on Medium.
I write a SVG path string optimizer for fun on the side. So far I wrote a custom decimal floating point type because of the 0.1+0.2 problem which I threw out afterwards, a zero allocation filter for printing rounded f32 without leading zeroes (.1 instead of 0.1) and dropping of unneeded spaces (.1.1 is valid and equal to 0.1 0.1), which I now want to replace with a custom float formatting routine.

All I did I did for fun and maybe learning something. So I think over-engineering side projects is fine.
It is curious for me. I will not do something if I don't want to do it anymore. If my perceived integrity is the only thing that gets hurt, so be it.

If someone else could get hurt, I push through.
Phoenix API Pagination with Scrivener
This is all within the paradigm of convention construction.

The thermal properties of compressed earth brick(CEB) make heating and cool a house a lot different. It would be interesting to see what the financial number are if CEB were used instead of modern stick housing.
Duck it, it's your side project.

You own it, nobody it paying you to work on it, over-engineer the shit out of it if you feel like it.
Thanks a lot for putting time into coming up with the suggestions. Its helpful and I really appreciate it!
Well, it generally mimics your OS settings, so why is it inaccurate?

The worst case is pages displaying in the same language as the rest of my computer.
But 'ls' already has built-in sorting.
Definitely true in NYC but Uber is global, in places like France they are lowering the bar for drivers' working conditions.
Some companies are already doing this. When I worked at Intuit we would have Whitespace days and Innovation days, roughly every month or so where you could spend 1-3 days doing whatever you want.
Duolingo | Software Engineer, iOS or Android | Full Time | ONSITE | Pittsburgh, PA

Email jack [at] duolingo dot com with your Resume

Duolingo software engineers develop next-generation education technology that changes how over 120 million people around the world learn. We’re looking for engineers who bring fresh ideas from all areas in computer science, including natural language processing, machine learning, large-scale system design, and iOS & Android mobile app development.
This is a great point, I did not know it was officially in the build. Thanks!
I'm glad that it's such a priority that it's an OKR now, but there are public Gitlab issues talking about performance for the past 2 years. We did a full migration to Gitlab 3-6 months ago and had to migrate out into Bitbucket only a couple days later, as basic browsing operations proved to be way too consistently slow and was extremely aggravating.

It will take a lot to prove to us that hosted Gitlab is actually good performance "for reals this time".
JP Morgan Chase just got a patent on basic app communications
GeoIP means that Google gives me a polish login page when I am in Poland even though my browser says en-gb.
Codacy | Product manager / owner | Lisbon, Portugal | remote an option w/experience

Codacy helps developers make great engineering decisions. We help thousands of developers ship billions of lines of code per day. We love crafting software and we're obsessed about helping developers and teams have better code.

I'm the CEO and co-founder and we're looking for someone obsessed about developer performance to lead our product team.
If you're down for an adventure, move to Europe and sunny Lisbon, Portugal and help us bring the world's software quality up.

We're also looking for other positions such as Engineering lead and Software Engineer.
Contact me (jaime at codacy dot com) or apply https://codacy.workable.com/jobs/500856
> $1 of stock isn't worth $1 of liquid assets

Er, why not? Only difference is I have to pay a $5 trading fee on Schwab to turn stock into cash. So I guess $10,000 in stock is worth $9,995 in liquid assets.

> even then, you're putting a lot of eggs in one basket.

Only if you hold the stock. Which nothing forces you to do. I can (and do) sell all of my tech company stock on the day it vests and buy other assets instead.

I think you must have the wrong mental model of how RSUs work. Nothing forces you to hold the stock once it vests. It's yours, you can sell it and do whatever you want with the money.

Usually when people at a public company say "I make X", X is the sum of base salary, cash bonus, and the value of RSUs that vest in a year.
Homological Computations for Term Rewriting Systems (2016) [pdf]
http://datastarta.com — launched 3 months ago. The last month was $1350. I spent a month and $29 (domain + bubble) to build an MVP.
That doesn't provide an argument for choosing the lesser of two exploitative systems.
A much better place to post this is in the monthly jobs thread.

https://news.ycombinator.com/item?id=15148885
It's ok to brag on Hacker News.
[ Stealth Startup ] | ML and Systems Engineers | San Francisco, CA | Full-Time | On-site

Deep learning has enormous promise, but developing practical applications powered by deep learning is extremely complex and expensive. We’re working to change that by building software to make deep learning engineers dramatically more productive and efficient. We are a venture-backed startup founded by world experts in machine learning and distributed systems.

We’re hiring exceptional software engineers to play a fundamental role in building the company and shaping the culture. What we’re looking for:

(1) Systems Engineers who are passionate about building scalable, reliable distributed systems.

(2) ML Engineers who have a strong algorithmic and statistical background as well as hands-on experience building deep learning applications.

Tech Stack: Python, Go, Kubernetes, Mesos, Docker, Tensorflow/Keras/Caffe/PyTorch.

Compensation: Competitive salary and benefits, meaningful equity stake.

Contact: For more information, send your CV to machine.intelligence.startup@gmail.com
See, all of that setup, and configuration. For what? Just to have your grandparents running Linux? Trust me, I attempted this multiple times, no one wants to deal with it if something goes wrong, or setting up special configs, or using an emulation layer just to view a powerpoint. I applaud your patience, but I've got better things to do. With that said, I dropped an iMac on my fathers lap ten years ago, and without any instruction, both of my parents were up and running, and they used Windows their entire life.
F*: an ML-like functional programming language aimed at program verification
I am looking for Summer 2018 Internships. Currently a graduate student at Texas A&M University (MS in Computer Science).
I have three years of prior work-experience, so I'm looking forward to hitting the ground running :)

Location: USA

Remote: No

Willing to relocate: Yes

Technologies: Python, Node.js (and standard ones like AWS, Bash, Chef, etc).

Resume/CV: https://aniketpanse.in/aniketcv.html

email: contact@aniketpanse.in
Snapdocs | Rails & Data & Product Engineers | San Francisco, CA | ONSITE, https://www.snapdocs.com

Snapdocs (YC W14, SV Angel) is an early stage, rapidly growing company looking to fill a variety of engineering roles.

We're a small team tackling the absolutely massive mortgage market. We're bringing modern, elegant software to a field that still relies on fax machines and manilla envelopes. We bring security, efficiency and joy to a paper-based pillar of the US economy.

The type of problems we're tackling involve workflow, product design, data, and computer vision for mortgage documents. For data, it decides everything we do. We won't start work on a new feature until we can point to the numbers we hope to move. Snapdocs' culture is one that trusts its team members to make smart decisions. This means we value both independent work as well as seeking collaboration. We're becoming ubiquitous in one segment of the market and we're looking to expand further.

Skills & Requirements

* Rails Engineer. 3+ years experience, but more is welcome. Ideally, you're a full stack coder. But in reality, you probably lean either towards the front or the back end. That's fine, so long as you know (and enjoy) your strengths.

* Being the 15th member of on a fast-growing technical team. This means helping to form a healthy and happy culture. We strive to be respectful of each other's time and point of view. We're learning how to do this together. We want to create a place where it's OK to fail, and that you know the team has your back the whole way through.

* Self-motivated. To us that means when you get an interesting problem, you will rip into it until you understand its nuances and perhaps have a glimpse of the solution.

* Empathy. We work closely with our customers, meaning phone calls, emails, and sometimes lunch. It is important in this job to listen to them so that we can build what they need and want. Apply at https://jobs.lever.co/snapdocs
Course Hero | Senior Software Engineer: Business Infrastructure | $130K - $158K + equity | Redwood City | Full-Time Onsite

Technology is revolutionizing the way we learn, and Course Hero is committed to increasing the accessibility of educational resources so students are empowered to thrive academically. We're growing fast, we're profitable, and we're looking for new team members to help us plot our course towards future success.

We're hiring a Senior Software Engineer on our Business Infrastructure team. Our team is small, so you'll experience projects from start to finish, solve complex technical challenges, and work closely with product managers and designers to craft product features our customers love.
The Business Infrastructure team keeps the engine running at Course Hero-- we do everything from scaling our in-house payments infrastructure to building core functionality for our site and automating processes to help our internal teams move fast! Oh, and we built Course Hero's first microservice. Join us to build more and make your mark in ed-tech.

Apply at http://grnh.se/phbwyq1.
Maybe schedule it like so:

Between 6AM and 8AM: Charge to 100%
All other times: Charge to 75%

So the battery is topped off in the morning right before you put it in your pocket for the day, but otherwise doesn't fully charge to save the cell life.
http://movewellapp.com

Built this as a home physical therapy coach after I busted my ankle running an ultra marathon. It's grown quite a bit in hte last few months.
Tovala (YC W16), smart oven and meal service, is hiring a junior front-end dev
Location: Iran
Remote: Yes
Willing to relocate: Need Visa sponsorship
Technologies: PHP, Python, Nginx, Vue.js, MySql, MongoDB, Redis, Javascript, RabbitMQ
Résumé/CV: http://smoqadam.me/saeed.moqadam.pdf
Email: saeed.moqadam@gmail.com
I solved this puzzle and it turned out to be complete waste of my time. The email provided at the end does not even work. Please stop pasting this outdated crap, and stop wasting people's time.
Many people that count on Android as Linux, just because of the NDK, usually don't have any idea how little of Linux is actually exposed to developers using the NDK for app development.

Basically any POSIX like kernel with enough support for libc and libc++ would do the job.
There's a long tail of mobile browsers out there. I also don't know how many people have OS settings that differ from their real language preference due to poor OS support for their language (e.g. what this article talks about - how many users run en-US to get features that Win10/Android/etc doesn't do well in their language)

I mean, there are reasonable arguments either way here IMO and without actual data, e.g. how often users change their language from one or the other, it's hard to know what is better in the long tail.

And obviously users should be able to change their preference if we get it wrong.
And now to bring things full circle, if tech salaries are very high, doesn't this ALSO imply a shortage of programmers, as demand is far outstripping supply?
SEEKING WORK (parttime) - Boston - Remote OK

Full-stack Developer / designer / product / UX with 9 years production experience. My favorite stacks are Ruby/Rails, Elixir/Phoenix, and Python/Flask on the backend, and Angular/React/Mithril on the front-end.

Portfolio here => https://www.adamconrad.me
and here => https://github.com/acconrad

Always happy to talk! acconrad [at] protonmail [dot] com
Thanks for the link! We are not yet registered on it...
Thank you.

I'm aware that Enterprise Edition exists, although your comment relies on the reader to assume that as well.
Taxi Medallion used to cost more than 500k in NYC.

So half or more of your fare are going to some guy that bought the medallion years ago (or some investors actually), and just rents the privilege for other drivers to drive, it doesn't go the driver's pay, or propper car maintenance, etc...

That is pure rent seeking via "regulation", and Uber and Lyft are cutting through it. (and I am glad they are doing it).
No, it's not a great portable solution, but honestly I thought most audiophiles looked down at portable music listening anyways. They prefer their big hifiman headphones and hifi speaker setups, no? I could be wrong.
Labor costs being essentially 0 outside the developed world ran down wages for over a decade.
> Rather, I'd warn that the compilation might fail silenty on UB.

What do you mean by "fail"? Terminate compilation without producing output code? That's not possible, the compiler cannot detect all (or even most) UB at compilation time. Or do you mean it would produce "wrong" code (as it does now)? That's not what is commonly called "failure", and I think putting it that way is obscuring the issue, not making it clearer.
Quite a few companies are doing exactly what you describe to fill dev positions. The real cost comes when the systems designed and built by those junior devs are so brittle it becomes very time consuming and expensive to add new features. Most of the time, however, those systems built by the junior devs are so buggy there's no time to build new features in any case because everyone is too busy dealing with issues in prod.
Fold | Engineering, Smart Contracts | San Mateo, CA | ONSITE & REMOTE | Full-time & Contract

Fold let's you spend bitcoin in the real world, saving consumers up to 20% at Starbucks, Target, Best Buy, Dunkin Donuts and more when they pay with bitcoin.

We're expanding to new cryptocurrencies (Dash, Zcash, Monero, Ethereum) and launching a new smart contract product.

Tech stack: Python, Django, Clojure, React/Redux, Solidity

We're especially excited about our new work with Ethereum / Solidity.

Interested in breaking into the cryptocurrency space? Email me at matt at foldapp.com.
If it costs $5,000 - 10,000 more to hire an American, so be it. The company gets an individual of native culture, native English speaker and a fellow countryman. Plus they are at least within 3 hours based on time-zone - minus Alaska and Hawaii.
A large part of Uber's early success was circumventing the quite frankly corrupt and intrusive taxi regulations that had congealed everywhere. Drivers no longer had to choose between purchasing a ridiculously expensive license or working for someone else: they could use an existing car and smartphone. At least part of the wage drop was the result of lowering barriers to entry for prospective drivers. Yes, Uber exploits its drivers now, but the existing taxi system was acting as a moat to prevent people becoming drivers in the first place, which was hardly any fairer.

Maybe a better question to ask is: which protectionist laws can my app help circumvent? "Uber for breaking down NIMBY coalitions and real estate developer cartels" would be extremely welcome.
At the time of this comment, this post has 70 votes and 25 comments. 70 people that liked it enough to upvote it, and not all of these comments are negative. I know absolutely nothing about you, but if this HN thread is representative of why you don't publish anymore, might I suggest a thicker skin.
It's how the medallion system works, you prepay for the right to work.

https://en.wikipedia.org/wiki/Taxicabs_of_New_York_City#Meda...
Put a shell programmer in the saddle point, and give him or her half a dozen backslashes; he or she will figure out how to escape in no time.
In Rust, you almost always want to use a library for things like that. If you want to write the library, you may want the Rustonomicon: https://doc.rust-lang.org/nomicon/. Also, of course, the "Too Many Lists" article in the other reply. Rust definitely pushes a different way of thinking about and using data structures.
Yeah I couldn't speak to terms and conditions.

I think Indeed also collects voluntary salary data, but I don't know any other sources off the top of my head.
GRAIL | Software Engineer, Data Scientist | Menlo Park, CA | Onsite

GRAIL is a life sciences company whose mission is to detect cancer early when it can be cured. GRAIL is using the power of high-intensity sequencing, population-scale clinical trials, and state of the art Computer Science and Data Science to enhance the scientific understanding of cancer biology and develop blood tests for early-stage cancer detection. We are seeking passionate and talented individuals to join us in realizing our mission, which has the potential to dramatically reduce the global burden of cancer.

Software Engineer (Front-end, Back-end:) https://goo.gl/Ca4t0a

Data Scientist: https://goo.gl/XmQtnk

Machine Learning: https://goo.gl/laoyvF

Product Management: https://goo.gl/t7vNfo

* Please include a short note mentioning you saw the posting on HN.
OK, but I don't agree. I think it is valuable to separate your template and behaviors associated with it for exactly the same reasons.
There isn't enough data to know the real velocity of it.

Since the plate only appeared in one frame, only a lower bound for it's speed can be given with observational data. A minimum of 2 frames with the plate visible would be required for determining its speed.
The python code in the post looks a bit funny with the `end` statement at the end. I had to ready it twice to be sure that Hypothesis hadn't been rewritten for Ruby!

Also, by "supporting Hypothesis", you mean "giving money to DR MacIver", right? This is not completely clear from the post.
AdRoll | San Francisco | On-site/remote | Full-time

If you like developing open-source code, languages such as Python, Go, JS, C, D, Lua, Erlang, AWS, petabytes of data, and distributed low-latency systems, this may be your dream job.

This time we are particularly interested in finding data scientist, full stack web developers with good JavaScript experience and experienced Erlang developers / tech leads. This is a really unique opportunity to get to work with a massive scale (thousands of instances on AWS), low latency (real-time bidding with 100ms max latency and 70B requests daily, real-time machine learning with 1ms max latency), mission-critical systems (this is how we make money) and enjoy working on a strong frontend development team (http://tech.adroll.com/blog/frontend/2017/08/29/how-to-run-a...).

Learn more about us here http://tech.adroll.com/blog/

I am happy to tell you more over coffee in SF or by email, dialtone@adroll.com