skysight-inc/HackerNews huggingface dataset:
Starcity (S16) | Software Engineering Generalist | San Francisco, CA | https://joinstarcity.com

We're looking for a full-stack software engineer. We're a young company that's growing fast and needs people who can keep up. Above all else, we value respect, integrity and perseverance in our team members.

Our mission is to make great cities accessible to everyone. We do that by creating community homes--a unique new affordable way to live in cities. We’re a tech-enabled company that places a high value on experimentation and excellent craftsmanship.

As an early member of the team you will be afforded significant autonomy and room to grow within the company. You will work alongside the CTO to design, implement and maintain software that affects all aspects of our business. You will be expected to work on a variety of different products ranging from web and/or mobile apps for our members, internal business operations/management tools, payment and order management systems, IoT device management, administration, data ingestion and analysis, and more. Your role will be dynamic and challenging.

This is a full-stack role--you should be comfortable working on/with front-end applications, databases, web services, system administration and with third-party APIs. Our stack is built with Clojure, ClojureScript and Datomic--proficiency with these technologies is preferred.

https://jobs.lever.co/starcity/3d67fce8-37fc-46d9-bdf5-77201...
Volumental | Frontend developer | Stockholm Onsite | https://volumental.com/jobs

We are looking for a person with the following qualifications:

- At least 2-3 years experience in frontend development
- Experience with React, Redux, Bootstrap, Sass and/or similar libraries
- Willing to jump in where you’re needed.

Volumental is a startup with approximately 30 people currently in a strong growth phase. Having begun rolling out in 2016, our products are now with businesses in 32 countries. Volumental’s products are at present technologically unparalleled in the global retail industry, with our technology team having invested years solving a series of difficult problems. This has placed Volumental in a unique position as the global technology leader for 3D Retail Scanning.

We're striving to be the company that solves the angst of buying apparel and footwear that fits your body, both size-wise and aesthetically. Our plan of action is to 3D scan a consumer both accurately and quickly, and to match the scan to a pair of shoes. We also want to provide our customers the data they require to develop better products. We do this by utilizing beautifully designed high tech software and hardware.
Lip Reading Sentences in the Wild [pdf]
Smartleaf | Senior Software Developer | Boston (Cambridge) | ONSITE, Full-time

We are making it possible for all investors to get the level of portfolio oversight and customization that was once the exclusive preserve of the ultra-wealthy. Your work on this system will directly impact our mission to democratize wealth management, lower costs and improve service since 1999.

We are looking for a steady producer who is friendly, generous with their attention and knowledge and eager to make a difference to both customers and team members.

You will work in a team of 5 developers, responsible for our customer-facing application and support. You will participate in all aspects of design, implementation, peer code review, testing and bug fixing. Your first mission will be to help us scale out our trading API services, focusing on handling large volumes of requests in a multi-tenant application.

This position is mostly backend work, with some front-end support. Financial analysis is handled by a separate development team; our team handles all other aspects of the application from the GUI and storage of customer data to automating complex workflows.

We would like to see:

* Experience with Rails or similar web development frameworks.

* A solid grasp of design and architecture. (Experience with API design is a plus!)

* Experience with a diverse set of technologies, backend integrations and scaling large systems, as well as experience supporting a mature product.

* An enthusiasm for tracking down and solving problems in a complex system with interdependent data structures.

* Thorough testing habits.

* Around 5+ years relevant post-bachelors’ experience.

Most importantly, we are looking for candidates who are clever, competent and kind.

A financial services background is NOT required.

We offer competitive compensation; comprehensive health and dental coverage; three weeks paid time off, plus holidays; flexible office hours.

Please send a cover letter and resume to future@smartleaf.com in plain text or PDF. In your cover letter, please tell us about an interesting technical problem that you have solved. Questions are welcome–we look forward to hearing from you!
After reading this I'm still not sure I understand. Time-series data I can see, but is there a use-case outside of this?
We had a video posted from a merchant vessel not so recently. They have a 4-8 watch, a 8-12 and a 12-4 watch where juniors learn on the 4 to 8 watch, which happens twice daily. This works pretty well compared to the U.S. Navy. I don't hear a lot about merchant seamen needing more training budget or needing to use pen and paper.
Lessons I Didn't Learn in School: Sponsorship Trumps Impersonal Achievement
The number quoted for profitability is typically “gross margin” which does not include the extra costs I mentioned.
Second Spectrum | Software Engineer | Los Angeles, USA | onsite https://www.secondspectrum.com/

We're a sports oriented company blending computer vision, machine learning and design to change how sports are coached, played and watched. We do the tracking for the NBA (getting the x, y data).

Mostly looking for Senior developers (hire many new grads who do internships with us, so we're somewhat at capacity for more junior developers, sorry): https://www.secondspectrum.com/careers.html

Briefly: Computer Vision (CV) in Lausanne CH, mid-senior software engineer in LA, mid-to-senior front-end engineer in LA. QA and senior QA engineers in LA and infrastructure engineers in LA.

A lot of python and C++ on the data science side. Elixir, Typescript, Elm, Node for most of everything else (some Scala and Go here and there)

I'm happy to answer questions: karl@secondspectrum.com
> So year, static typing doesn't buy you much, but in some languages it's at least cheap.

I think this is key. The benefit of static typing isn't that they provide safety, it's that they provide _low-cost_ safety. For a large class of problems, types are cheaper than tests are. For other classes, tests are cheaper than types. The main downside of nonstatic languages is that you have to use tests for everything, even that class where types are a better choice.
Probably more along the lines of a ship requires X number of crew working 24 hours a day to run properly and the ship can only hold a crew of less than 3X (8 hours shifts, 7 days a week). It's not going to be a simple 9-5 job for everyone on the ship but there should at least be some scientific justification behind whatever shift scheduling the Navy decides on. Do people work better when doing long shifts with long breaks in between or short shifts with short breaks? Can people doing day shifts work longer than people doing night shifts? Do people work better with regular shifts or with ones in different lengths? It's obviously going to be different for every position, anyone making critical decisions shouldn't be overworked but the guy cleaning toilets isn't going to do too much damage being tired. It all boils down to how much can you work someone until it becomes an issue.
Except functional programming has its uses already (actually it is probably the future) while Bitcoin currently is... well, it doesn't have any legal uses. (And yes we had this discussion one too many times, no, money transfer is unusable because the recipient needs to jump through hoops to get their money, you can't ask that from normal people.)
Yes. I'm especially annoyed at Google. I WILL NOT use a device that requires me to be an unpaid brand promoter. At least "Alexa" and "Siri" are actual names, or sound like names. A customizable activation word would be ideal, but under no circumstances can it be the brand name of the device's vendor. I won't have it.
Modern Machines, Excavator Compilation, Smart Farming Technology
Isn't static typing a requirement when writing an algorithm and data structures for "every bit and clock cycle counts" situations? How can a 0-compute overhead for dynamic typing exist in a dynamic typed environment?

I always thought dynamic typing is a feature for situations where the code needs an extreme amount of flexibility to adapt to a wide variety of data; even at the expense of performance.
> Their intent is to serve users with quality, truthful information.

I thought their intent was to serve me the websites that I'm looking for. If their aim it to define truth, I want to see them broken up.
But if the compiler doesn't enforce that types are statically determinable, there will be cases where the tool will have to show you more potential definitions for function definitions than would be shown for a statically typed language.

Maybe good tools are able to perform some static analysis and rule out some of the methods with the same name but impossible types, but the language doesn't rule out situations where the best the tool will be able to do is show you all of the function definitions with the same name as the (dynamically dispatched) function call site you're looking at.

Let's say you have seven different type hierarchies having dynamically dispatched functions named "run", with 5 definitions in each hierarchy, for a total of 35 functions named "run". In a statically typed language, if the code compiles, it's possible to narrow down the type for a given call site to either one of the hierarchies or one definition, meaning you have to look at either 1 or 5 definitions. In a dynamically typed language, there are situations where legal code results in the tool having to throw up its hands and show you all 35 definitions.

The flip side is that if you really have a spot where you'll need to dispatch to any of the different hierarchies, then in a strong statically typed language, you'll need to either create an algebraic sum type covering all 7 hierarchies, or you'll need something like a typecase / typeswitch statement to enumerate out your possibilities.
While at the CIA, he occupied a traditional Active Directory administrator position overseas. Prior to that, he was doing physical security, I believe.

His Dell position in Japan was possibly more broad, I don't know. His Dell position in Hawaii, however, was rote SharePoint and Active Directory administration, according to the articles I've read.

I'm interested in reading a credible article about his skills in cryptography, etc. if you have them on hand.
In retrospect, HKTs are arguably Haskells greatest innovation, enabling extremely general abstractions and huge amounts of code reuse.
Remind | Android Engineer, Data Engineer, Data Scientist, Demand Generation Manager, Implementation Manager, Solutions Architect | San Francisco or remote (some positions) | https://www.remind.com/careers

Remind helps teachers reach students and parents where they are: their phones. We're one of the fastest-growing companies in education technology, but we have our sights set on something bigger. Our mission is to give every student an opportunity to succeed, and we're heading into this school year with 23MM active users and counting.

Our Engineering Team tackles hard and interesting technical challenges, embodies our value of finding a way, and open sources projects like AutoGraph, Empire (http://engineering.remind.com/). Our iOS and Android app reached #1 on the App Store and Google Play this back to school season. We are used by more than 70% of U.S public schools and we've delivered more than 10B messages. If this scale excites you, we want you to join us and help create a better future for every student.

-- To apply --

Please visit https://www.remind.com/careers
Or email shirley@remindhq.com and let's chat!
Finally, someone gets it. People are finally starting to see the light. This is encouraging.
Don’t Do These 68 Things in Your SaaS Company
Our team (TypeScript) powers this experience.
Also, it's a very small percent of users who dislike it (or even know AMP is a thing), and majority of them are developers who don't want their site cached. To claim that they don't serve their users is ridiculous.
Well, this is then even worse - why they do C compiler at all, if they are not going to support latest versions of standard. It's like shipping HTML4-only web-browser today. Pretty stupid, especially with all this marketing around. Either be in line with language development, or step down. Otherwise any action is harmful.
Reading these comments it seems like where you land depends on whether you believe there are lots of Americans who have the drive/willingness to found their own company. If so then constraining the visa makes sense because VCs already have a large supply of business. Similar to the H1B debate where we recognize that companies don't really care about immigration, they just want better employees for cheaper, this debate's core is that VCs just want to be able to fund better companies for cheaper. I'd say I'm fine with Trump tossing this Visa in the trash. Silicon Valley is an American creation so I don't mind if its benefits go to Americans.
You're kinda damning it with faint praise when you say that you can use dynamically typed languages on small projects that fit in your head (and are also probably written by a single developer).

You can pretty much use any language in that scenario. But the chickens come to roost around day 30+ or so.
> 4chan doesn't exactly pretend to be a news site.

What happens when it is treated like one by Google?

> Is showing up at the top of google enough to be 'fake news'?

Showing up as the first link under "Top Stories"? Probably, yes.
I don't understand why we had to lose the old disk utility GUI. The new one is so underpowered and buggy that you need to use shell commands to get anything done. Things like this erode the benefits of MacOS as a lovely GUI environment over a strong UNIX backbone and make me tempted to just switch to some Linux distro.
What are your favorite tools for doing this in C/C++ (which are extremely statically typed, if not very strongly typed)?

I think the best thing I've found for this personally is coccigrep, which works but I've only used it a couple of times. I'd like something I'd reach for about as often as I reach for grep. (Also I think these days you'd want it to be based on clang or something.)

One thing that does seem to be true is that the requirement to name types means that a textual grep is way more reliable than it is in C. If I want to find all places where a Python class is used in a large codebase, I might as well give up.
Hustle | Senior Software Engineer | San Francisco | New York City | ONSITE

Hustle is a peer-to-peer text messaging platform that provides organizations across the country with an affordable, efficient, and effective tool to reach their supporters. By facilitating two-way conversations, Hustle’s clients maintain genuine, personal dialogues with hundreds, thousands, and even millions of people. Our clients include Planned Parenthood, Human Rights Campaign, and Our Revolution (Bernie Sanders' organization).

Hustle is a great place to work with a group of creative, progressive individuals that are building cool things, with plenty of room to grow as the company scales.

We're hiring for:

Product Engineers: https://hustle.com/job/?gh_jid=639527

Platform Engineers: https://hustle.com/job/?gh_jid=639528

Lead DevOps: https://hustle.com/job/?gh_jid=639582
And now we have JSX
Does it work in the presence and (ab)use of dynamic features? (e.g., when you have lots of decorated functions) Or is it just a best effort thing? (i.e., only works when your code would actually be expressible in a static way)
There was (or is) one called Mycroft which had promised big things but didn't deliver a compelling recognition and synthesis, although the recognition seems better than synthesis from what I have seen. They did open source much of the work at least initially. There is a video showing an example of how bad the UX was for a simple question asking about beans https://youtu.be/D5J7vVQNkCw.
> Like I said with "people don't inherently need cars", this line of thinking is anchored in the wrong thing.

Inherent need as in without you die? No. But right now, for efficient (compared to walking) mobility outside of the public transportation infrastructure, we need vehicles.

What is your suggestion for mobility outside cities, in a way that grants as much liberty, personal freedom as a car does?

> Re coal - it is a logical fallacy to deny necessary improvement A because we have not made a tangential, equally necessary improvement B yet. Of course we have to stop burning coal as well.

The logical fallacy is putting the cart before the horse.

> Re cities - history does know instances of people living outside cities before widespread private car ownership...

Your point being?
Honestly the Ruby or Python one, but I've never seen them because you don't need a million lines in Ruby or Python to get something productive built.
There's a lot of great things our industry doesn't use: contracts, proper fuzz testing, cleanroom, formal specification, constraint solvers, _checklists_. We might (not necessarily, but _might_) be in a place where types are diminishing returns with respect to other low-hanging fruit.
There is a little "view" dropdown in the upper left corner that toggles between "Show Only Volumes" and "Show All Devices".
In any context its used where the demand (by whatever measure you care to use: bandwidth, throughput, message durability, etc.) doesn't justify it or isn't a good use case of Kafka, for starters. That happens all the time, because every data and infrastructure engineer in the Bay Area wants to put Kafka on his resume.
I see one of the founders of Playdom is a co-founder here. One of the criticisms I heard about Playdom is that they completely fucked over early employees with very few options. For example, when Playdom exited for $600M, employees in the 30-ish range only made about $30,000 in Disney stock, whereas the founders made $100M+. Is this true and would this be the same case with Brava as well?
Right, and finding rare content in that DHT is going to take a while.
All this stuff is tracked all the time anyway through cell towers, it's way past where the regularization point is for "state intrusion" in the UK.

That might seem weird to an outsider but that's just a culture difference. We're just as weirded out that anyone can own even a handgun in the US, let alone walk down the street with one.

I'm personally far more weirded out by the idea that a private company can track and use this data than the fact the state can.
Maybe they determined that there was more money to be had and a lack of options in the prosumer space between iMovie and Final Cut. The influx of home-baked content producers on Youtube comes to mind.
Thanks for that, not heard of them, sounds like a good business model, I wish them the best but I won't be investing.
Some things that get reported by the media will later turn out to be wrong
I just saw this text at the end of an NPR story. This might be standard NPR verbiage, but it is the first time I've seen it. This seems like a really good idea, and it would be great if other news outlets were to copy it.

This is a developing story. Some things that get reported by the media will later turn out to be wrong. We will focus on reports from police officials and other authorities, credible news outlets and reporters who are at the scene. We will update as the situation develops.
I think it is not a big priority for installer creators to get them right. I've thought about adding something to my build process manager that would learn how to estimate progress by watching logs but it's never been a big priority compared to say, finishing up the software that it builds.

Why I can't get is why installers on so many OS seem to take forever to look at the system configuration database, determine what version you are running, what the latest version is, etc.
You are assuming these collisions occurred because the Navy crews didn't know the other ships were there. My understanding is that the US vessels knew the other ships were there and did not react properly.
> 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.

You believe that anyone can be trained to be an effective programmer. If that's true, then there's some truth to your argument: why not invest in education and training to meet the high demand for programmers?

But I disagree with that premise. I think "ability to be a great programmer" is generally something you're born with, or at least something that's been determined by the time you're ~18. Therefore it makes perfect sense to import programmers to meet the demand. The US population is just not big enough to meet the demand for programmers and it would be insane/damaging to the economy to refuse to employ non-Americans.

I think the reason for H1B workers is supply and demand. The demand for developers far, far exceeds the supply.
The most important part:

"Note: this job is open to US Residents only. Foreign nationals can apply but only if you live within the US."
Beijing-Shanghai Quantum Link a 'New Era'
Projects tend to gain more and more functionality to match the new workloads they're being used to accomplish, and it must certainly be a difficult decision for project visionaries. Do I listen to my users and implement features that will solve their new woes, but in return accept increased complexity and higher learning barriers? Complexity sucks, but it's even harder to say no to users in pain.

I wonder if this opens such projects up to disruption, in the original sense of the word. I've seen the same teams forgoing apache for nginx, then forgo nginx for haproxy when it matches their needs. With additional layers of complexity, there may be accompanying opportunities for "simple but good" projects to gain traction.
OP draws a false one-dimensional relationship between types vs tests in terms of code quality. Writing expressive types instead of tests does much more than affect a quality curve - it changes the way you approach the problem you are trying to solve. The classic Haskell example is understanding how IO being a monad allows you to push impurity to the edge of your system.

Start-ups decide not to write MVPs in languages like Haskell or Idris not because those languages aren't "rapid" enough, but because it's too difficult to find programmers experienced in those languages on the labor market. It's already difficult enough to find competent programmers - no founder wants to make their hiring woes even more difficult.
Really? That's for one a weak argument. But even if we consider that at face value, there are plenty of immigrants who "created" silicon valley. It was not entirely an American creation - if by American, you make it to mean some version of how many generations someone has been here.
Both Dyn and Akamai support this, and have done for years.

They are also 2 very large, anycasted DNS providers.

Its the basis of the OpenStack DNS project's support for both platforms.
For data, schemas ala clojure.spec are a competing idea - it makes the "type system" much easier to metaprogram and apply selectively.
Why don't they open offices in a more immigration friendly country?
Would you consider applicants outside US for remote roles?
(Swedish) “Remember to check your fire alarm” – very neat HTML5 design