skysight-inc/HackerNews huggingface dataset:
The biggest benefit of static typing is not a reduction of bugs...It's the speed and confidence with which one can accomplish a given task. IDE support, code completion, etc are so much better in a static environment. Take a random file from a pure JS codebase and compare it to something in Typescript. The first would require digging around to even begin to understand what the file is doing. Whereas TS, the code documents itself.

The counterarguemnt - "it's slow to write" - hasn't been true for years with modern type inference and other features.
Second Measure (YC S15) | SF Bay Area - San Mateo, CA (downtown) | ONSITE | https://secondmeasure.com

----

Second Measure analyzes billions of credit card transactions to answer real-time questions about consumer behavior.

Through our self-service analytics platform, we help our clients – some of the world’s largest brands and investment firms – answer questions like:

- Is Lyft gaining or losing market share in NYC? [1]
- How well does Blue Apron's retain its customers? [2]
- After a Game of Thrones season ends, do HBO Now subscribers stick around?
- (Check out our research blog [3])

We’re just 20 people today - mostly senior engineers and data scientists from Oxford, Columbia, Yale, MIT, UPenn, UChicago, Brown, Stanford, Berkeley, and similar. 14 of us are technical, and 7 have PhDs.

We’re looking for other strong builders, especially those who can grow into leadership roles:

- Senior Data Scientist
- Senior Software Engineer (frontend/backend/data)
- Technical Account Manager (our first)
- Product Designer (our first)

I'm a founder (mike@). Submit directly [4] or email jobs@ and CC me.

[1] http://www.sfchronicle.com/business/article/Lyft-gets-boost-...

[2] https://www.theinformation.com/data-suggest-more-trouble-ahe...

[3] http://blog.secondmeasure.com/

[4] https://boards.greenhouse.io/secondmeasure
A big problem is that the island is already under a large debt load and doesn't have a lot of financial tools that municipalities would normally use to get out from under debt.
Live coding environments are amazing at this, as well. Often without the need for as extensive static typing, since it can just use reflection.

This isn't to say that static typing isn't good at this. Just, even with that, there is a lot of effort that goes into making the rich tooling. A lot of very smart and capable folks work hard to make Visual Studio.
I'd like to see data on that. I highly doubt anyone who hasn't slept in 30 hours can think straight.
I had the same experience, but I also have to say that the static type systems of some FP-languages feel really light-weight.

So year, static typing doesn't buy you much, but in some languages it's at least cheap.
President of the United States of America
Zipdrug | Senior Software Engineer | NYC
ONSITE SALARY: 110-125k + equity

We work with large health insurance companies in the US to lower the cost of drugs for their patients and make it easy for them to receive, manage, and adhere to their prescriptions.

We need your help to expand our platform to more patients and to play a part in fixing a massive and very broken segment of the healthcare industry. We are a small and tight-knit engineering team of two and are looking for a third to share our many hats, including:

- Frontend development with react / react native / redux
- Backend development with node / graphql / postgres
- Data analysis of patient records with python / pandas / tensorflow

We're looking for another self-starter who can design and build architecturally-sound foundations to last, and who has the track record to prove it. We're engineers that care about what we're building and take an active role in the product design process.

If you are interested, please reach out to jon@zipdrug.com
”I agree in this environment ropes are too complicated. However, I don't see any good reason to architect a text editor in this way. Use abstractions.”

Abstractions can cost you dearly. If your abstraction for indexing into your buffer moves from O(1) with a small constant to O(log(n)) with a larger one, that global replace using regular expressions can get a lot slower. Even a simple page down may get noticeably slow when at the end of a large file with long lines.
Why not just have the flexibility of adding markdown whenever you feel like it (and not when you don't)? Now, you've got a file a markdown renderer can render whether or not you used markdown.
Armada - http://armada.ai - Cambridge/Boston ONSITE

**************
= What we do =
**************

Bloomberg for logistics.

We're helping shippers make the right logistics decisions at the right times by running analysis on the global supply chain to figure out what the hell is going on. (Think Skynet for Logistics if we gave skynet a finger to touch every shipment in the world and we didn't try to kill everybody).

This is one of the few massive industries ($4T) left that are left to be digitized and completely optimized with technology.
We have some funding, customers, interesting strategic partners, and are growing fairly quickly.

Come solve hard problems with us.

***************
= Looking for =
***************

- Data Engineer (spark, python, machine learning, LSTM, etc)

- Web Engineer (node.js, react, javascript, etc)

If you'd like to learn more, please shoot us an email at techjobs@armada.ai (it'll go to our CTO Konstantin)
I sleep about 5-6 hours on average. Generally, I feel well rested with this amount, but I can function on 3-4 hours per night for a few weeks without serious ill effect. I just feel slightly groggy, although at the end, I will have a "hard crash" where I sleep more than 12 hours. If I'm ill, I will sleep 8-10 hours a night. I think this is mostly genetic, because my father has been going to bed at 9 or 10 PM and waking up at 3 AM for as long as I can remember. I usually stay up later, but sleep about the same amount.
HealthPrize | Software Dev | Norwalk, CT | REMOTE Full-time | https://www.healthprize.com/ | $110k-150k + equity

At HealthPrize, we are changing the way people think about their medication and their health! Our growth is being fueled by work with leading brands in life sciences such as Abbott, Walgreens, and Gilead. Join the close-knit engineering team that designs & develops our industry leading patient engagement platform and work with us to measurably improve the state of healthcare globally.

Frontend Hypewords: Vue.js/Vuex/Vuetify, Webpack (for our reference impl. but we use other PWA stacks too - React is next up now that it's going MIT)

Backend Hypewords: Java/Kotlin, Amazon Aurora, Redis, Spring-Boot, Docker, AWS Beanstalk

Systems Hypewords: AWS (multi-region deployments), Ansible, Beanstalk, Docker, Aurora, HIPAA/PCI Compliance

Senior Platform Engineer: https://healthprize.com/careers-page/#op-205414-senior-platf...

Front End Web Developer: https://healthprize.com/careers-page/#op-206457-front-end-we...

Lead Systems Engineer: https://healthprize.com/careers-page/#op-208838-lead-systems...
> I hold out hope the NS-NS rumor is true, that paper is just taking a bit longer to prepare.

Mark October 16th on your calendar.
Hold my beer: https://developer.salesforce.com/blogs/engineering/2014/08/m...
Jackson JsonView
Think of all OpenWrt/dd-wrt devices - and possibly countless router-boxes around the world that use some proprietary firmware along with dnsmasq.

Just verified that my home OpenWrt WDR4300 is affected.
Nobody's "ignoring source control." Statements are written as .sql files in git repositories.
DigiFi | Software Engineer, Senior Software Engineer | New York City | Full-Time Onsite | $80k-$160k + Equity + Benefits
https://angel.co/digifi/jobs

DigiFi is a provider of enterprise fintech solutions for financial institutions. As technology revolutionizes financial services, we empower financial institutions to thrive in the digital age. https://digifi.io

We are looking for experienced software engineers to join our growing team of 12. We’re tackling the biggest problems in how banks and other financial institutions deliver products to their customers and we’re looking for exceptional people to help lead the charge. We use JavaScript on the frontend (React) and backend (NodeJS), along with both MongoDB and PostgreSQL. Our applications are hosted in AWS.

The ideal candidate will have formal training in programming and professional experience with software development in either enterprise or startup environments. They will be expected to collaborate closely with a small team of engineers and ship code frequently while demonstrating a commitment to developing, testing, implementing and maintaining enterprise-quality software.

Apply with resume to info [at] digifi.io.
Dynamic languages support this kind of tooling too - you can even have seamless data completion (eg. map/dictionary keys). The original Refactoring Browser was written for Smalltalk. Etc.

Of course there are cases where dynamic languages do worse, but it balances out I think.
Physicists find we’re not living in a computer simulation
The POTUS has 300 million users. Facebook has 2 billion.
Bainbridge Health | Software Engineer, Front-end | Philadelphia, PA | http://bainbridgehealth.com | ONSITE | Full-time

A spinout of the Children's Hospital of Philadelphia (CHOP), Bainbridge Health is making the hospital a safer place for patients. We are building a data analytics and clinical intelligence system for hospital medication safety management. We are integrating transactional data from the multiple devices and systems involved in the medication ordering, preparation, supply chain, and administration pipeline, turning siloed data into actionable insight and preventing errors before they ever reach patients.

Our front-end is built using VueJS. You'll be getting in early, so you'll have a chance to help shape and grow all of this.

Our office is in Center City Philly, convenient to transit and all the good things a major city can offer.

You can apply via our careers page, http://www.bainbridgehealth.com/careers, or by emailing me using the address in my profile.
Location: South Texas

Remote: Yes, preferred

Willing to relocate: Only in Texas (San Antonio, Austin, Houston)

Technologies: Ruby on Rails, Javascript, HTML, CSS, Android, Java, iOS, Swift (beginner), Git/Github

Résumé/CV: Upon request

Email: aschuenemann at gmail

--------

I'm a full-stack developer, primarily in Ruby on Rails. I've also built apps in Android (Java) and currently learning iOS (Swift).

I've been a full-time entrepreneur and freelancer for the past 4 years. I've co-founded two startups, the most recent being in the edtech space called TeachTag.

List of stuff I've built: http://www.aschuenemann.com/projects.html

Willing to do full time, part time, freelance, or consulting work.
Comma.ai | San Francisco | Software Engineer | FULL-TIME | ONSITE

We ship open source self driving car software. Here's the plan: https://medium.com/@comma_ai/our-road-to-self-driving-victor...

Looking for great people to fill these roles: http://comma.ai/positions.html

There are no requirements beyond writing good code. Just convince us that you can do the task and make it ship. Our stack is largely Python, with some C/C++ and JS(React). Here's what we look for: http://comma.ai/hiring.html

Send an email over with your resume and Github link (if you have one) to givemeajob@comma.ai.
I would love to see some tagging for paywalled articles. It feels like I've been seeing more of them lately.
I think what's often missing from these arguments is that statically checking (or inferring) homogenous lists is probably one of the most superficial uses of the type system in Haskell (and indeed not the interesting feature most power-users of Haskell are interested in as far as I can tell).

What is interesting is using the type system to specify invariants about data structures and functions at the type level before they are implemented. This has two effects:

The developer is encouraged to think of the invariants before trying to prove that their implementation satisfies them. This approach to software development asks the programmer to consider side-effects, error cases, and data transformations before committing to writing an implementation. Writing the implementation proves the invariant if the program type checks.

(Of course Haskell's type system in its lowest-common denominator form is simply typed but with extensions it can be made to be dependently typed).

The second interesting property is that, given a sufficiently expressive type system (which means Haskell with a plethora of extensions... or just Idris/Lean/Agda), it is possible to encode invariants about complex data structures at the type level. I'm not talking about enforcing homogenous lists of record types. I'm talking about ensuring that Red-Black Trees are properly balanced. This gets much more interesting when embedding DSLs into such a programming language that compile down to more "unsafe" languages.
https://www.codenameone.com/
That is Video RAM for the GPU, though not the main RAM for the system. The minimum RAM amount you can buy the iMac Pro with is 32 GB, 64 GB and 128 GB configs are also available

Also, 18 GB was certainly a typo, if you look now, they are saying 16 GB now.
I think they're on call for 30 hours. I don't think they literally stay up for 30 hours routinely. They have a mess where they can sleep.
Location: Tehran, Iran

Remote: Yes

Willing to relocate: Yes -Visa sponsorship needed-

Technologies: C, C++, Qt, Boost, Ruby, RubyOnRails, Clojure(And of course Java), Redis, PostgreSQL, MongoDB, Linux, DevOps

Résumé/CV: https://www.linkedin.com/in/hamidreza-davoodi/

Email: hamidr.dev@gmail.com

Github: https://github.com/hamidr

Interested in: Rust, Scala/Akka, and Data Engineering.
Trivium Re | London | Multiple Positions | Onsite, Full- time

Trivium is an early stage, investor-backed data mining startup for the commercial real estate industry. We're looking for experienced engineers to help build our MVP. We're currently six people - and that team includes a professor of data science and multiple highly intelligent software engineers. We're based near Waterloo along the south bank.

# Software engineer for data science products - GBP50-60k + equity

This role is involved in building our data pipeline and interfaces between it and our main app for our clients. We're looking for someone who:

- is comfortable in python and/or clojure

- can fiddle with scikit-learn or spark MLlib

- knows their way around linux

- isn't shy about jumping into excel, vba, or matlab

- likes functional programming and knows one of: haskell, racket, rust, or ocaml

# Lead Front End engineer - 6 month contract, please quote your day rate.

The front end is what delivers value to our clients so we want to make sure we get it right. We've already started staffing with some great engineering talent and prototyping in Elm. We're looking for someone who:

- has experience shipping complex javascript apps in react+redux.

- likes elm and functional programming

- can mentor and provide technical and personal leadership to junior engineers

- can help with road mapping and product planning

We're less interested in what you you know and more interested in your capability to learn. We like machine learning, functional programming, and new ideas for the proptech space. Do reach out even if you feel you don't check every box. We'd love to hear from you.

Contact info in my profile or at http://www.triviumre.com
For an example of a somewhat similar project, see Austin's bluetooth traffic sensor data:

https://github.com/cityofaustin/hack-the-traffic/tree/master...

They used to have the code used to anonymize the data available, but I can't find it. I believe they re-randomized the MAC addresses daily so you could track trips but not a device long term. With enough sensor locations that seems like it could still be vulnerable to de-anonymization to some degree.
Yeah, actually I'm gonna go ahead and roll my eyes at the idea that parametric polymorphism is on the wrong side of the "diminishing returns of static typing". Less than ONE percent of Go code would benefit from type-safe containers?
Instagram has largely been a net positive for food and restaurants. Pre-Instagram, creating buzz for a new restaurant was pretty difficult; now at least some types of restaurants are able to get the word out quickly.
> By the way, can you tell me what race Romanians are, exactly?

No I can't, but surely you know?

The racism is extrapolating some behaviour to all members of a ethnic/racial group. Simply say 'some Romanian drivers…', or 'everyone in Bucharest…' or "I've seen a lot of driver who…".
WhatsApp is blocked in China
gamermorbid@gmail.com
Personally, I've found the Open source version, http://lucee.org/ to be preferable to Adobe ColdFusion, although Adobe have at least committed to supporting it until at least 2025. (see http://wwwimages.adobe.com/content/dam/acom/en/products/cold... )
Information regarding the satellite used can be found here:

https://www.oeaw.ac.at/en/events-communication/public-relati...
Datawire | C++11 engineer | Boston/SF/remote possible

We are a startup building open source dev tools for Kubernetes developers. We're looking for an open source hacker to work on the Envoy proxy. This means you have to systems programmer fluent in C++11. Lots of bonus points if you've been a committer on an open source project of some reasonable size.

More details: https://angel.co/datawire-io/jobs/265354-principal-software-....

Email careers@datawire.io. Your resume is fine, but even better would be a couple sentences on your C++, OSS, and systems programming experience.
The biggest issue with claims like "there are only diminishing results when using a type system better than the one provided in my blub language" is that it assumes people keep writing the same style of code, regardless of the assurances a better type system gives you.

"I don't see the benefit of typed languages if I keep writing code as if it was PHP/JavaScript/Go" ... OF COURSE YOU DON'T!

This is missing most of the benefits, because the main benefits of a better type system isn't realized by writing the same code, the benefits are realized by writing code that leverages the new possibilities.

Another benefit of static typing is that it applies to other peoples' code and libraries, not only your own.

Being able to look at the signatures and bring certain about what some function _can't_ do is a benefit that untyped languages lack.

I think the failure of "optional" typing in Clojure is a very educational example in this regard.

The failure of newer languages to retrofit nullabillity information onto Java is another one.
I think that's sort of the point: You have to write this layer yourself, whereas you get it "for free" when you use Rails/Django/etc.
Most recent edition was published in 2012. It's extensively updated between editions, so very much worth reading if you are seriously interested in neuroscience.
Do you mean a Blockchain like Ethereum? :)
I can relate to this. Unless I'm ill or badly sleep deprived, I literally cannot sleep in.
Symplicity | Software Engineer, Full Stack | Washington, DC (Arlington, VA) | ONSITE, VISA, https://www.symplicity.com/about/join-us/openings/full-stack...

Symplicity | Front End Developer | Washington, DC (Arlington, VA) | ONSITE, VISA, https://www.symplicity.com/about/join-us/openings/front-end-...

Symplicity has helped guide more than 26 million students to their dream career. We build the world’s leading campus recruiting software deployed at over 1,100 colleges and also tools to help recruiters land entry-level talent at these universities.

Our stack: PHP, Typescript, Slim, MySQL, Angular, ElasticSearch, JavaScript

Interview process is a phone screen, then onsite or GTM interview with a take-home coding exercise.

Interested in chatting? Email engineering-careers@symplicity.com
Open source in the F# community
I’d think a relaxed radix tree would be ideal.
IMO the autocomplete argument is rather unconvincing. Every dynamic language I've worked deeply with has powerful and simple introspection capabilities, and they generally come with much more interactive development environments (shell/REPL), so I've never found API discoverability to be any worse than statically typed languages, just different.

In general though, the more you can formally reason about the program, the more you can automate program transformations (refactoring). Programmers in dynamic languages will argue that the amount of code is far less than the equivalent code in a mainstream statically-typed language, so while the cost of refactoring may be higher per unit, the number of units is less, so the overall cost is the same (or less).

I believe in using the best tool for the job...some use cases would benefit more from static typing, while others would benefit more from using a dynamic language. One of the most important factors is the team and its engineers' backgrounds, preferences, styles, etc.
These graphs really mean nothing. There is no data behind them. I might as well make a graph that conveys a non-descript correlation between how much an article bashes static typing & assertion and how high it is on HN.
Ask HN: What's the site to render WSJ article without paywall?
I remember seeing some site capable of render WSJ in a "Medium" like page format without paywall, but I can't seem to find this link...

Thanks.
What the literature consensus largely shows is that there's a roughly equal swap between more sleep/shorter hours resulting in more mistakes due to hand-offs, and longer shifts resulting in more mistakes due to exhaustion.

People in favor of longer shifts (read: docs who are long out of training and hospital admins that rely on residents as some of their most cost-effective man-hours) argue this shows that shorter shifts do not provide patient benefit, so fuck it.

Those in favor of shorter shifts (read: pretty much everyone else) argue that if it's all equal for patients, we shouldn't be torturing residents (they're people, too), and that what this really shows is that the hand-off process is shit and needs to be improved upon.

More sleep and better hand-offs are the road to better patient outcomes and happier (or at least sane) residents.

And it's worth noting that the fight for sane hours has, thus far, only extended to first-year residents. Second+ are still dogmeat.

...and that's the literature position. From first-hand experience, though, I can tell you true horror stories. Mistakes due to hand-offs can be reduced; mistakes because one of my colleagues had a dissociative episode during a way-too-long period without sleep is harder to catch. But no one discloses lapses in sanity during these studies.
I use

#!/bin/bash
mkdir -p ~/Dropbox/scratch/$(date +"%Y-%m-%d")
vim ~/Dropbox/scratch/$(date +"%Y-%m-%d")/$(date +"%Y-%m-%d-%H-%M-%S")

for convenient sorting by date, and throw stuff in Dropbox for automatic syncing across my machines.
Polymath | Frontend (React/Redux), Fullstack, Blockchain, DevOps | Toronto or Remote | Full-time | $130-160k

Hey HN. By introducing a simple, secure, and regulatory compliant marketplace for securities issuance and secondary trading, the Polymath platform will enable the multi-trillion dollar financial securities market to safely migrate onto the blockchain. We are a team of startup veterans, legal experts, and fellow HNers. As an early engineering hire you will get to help with everything from UI/UX, architecture decisions, devops, to smart contract development/integration.

Requirements:

- Desire to build world class software

- Working knowledge of React/Redux

- 4+ years of development experience

- Ability to learn how to build on Blockchain/Ethereum quickly

Ideal:

- Familiar with web3 or previously built a dApp

- Production devOps experience

- Legal background or experience

Perks:

- Company offsites in the Carribien 4x/year

- Become a part of the financial revolution

- Monthly Hackathons for your side projects

Please send us your resume (email is in our profile) if you are interested!