skysight-inc/HackerNews huggingface dataset:
I wonder what navigation system North Korea is using/planning to use for its ballistic missiles.

For the shipping containers (not ballistic missiles) they'll most likely smuggling these in on, for the next few years, any COTS system (on an appropriately flagged freighter) will suffice to get them across the Pacific. From there they'll just usual visual identification to get it close enough to place it could do enough damage. Like near the Embarcadero, say.
PyCharm and VSCode are both pretty good.
I appreciate your response, as well as lambda_tango's.

Not sure if it matters, but consider this my interest in this project as a user. I unfortunately am next to useless when it comes to programming, but I could easily see this being wonderful as a platform or integrated into plenty of existing platforms as a plugin. It's a very slick presentation and works well for what it's meaning to do.
Ask HN: Who has a gig? (October 2017)
I thought I would start this thread for those who might not be hiring full time but do have quick gigs that freelancers and consultants might pick up.
Yes it's true that retrofitting better type systems into existing languages may not be low-hanging fruit. But developers have shown a willingness to adopt new languages when they see clear benefits.
Robinhood | Engineering & Non-Engineering Roles | Palo Alto, CA | Full-Time | Onsite | robinhood.com

Robinhood is democratizing access to America’s financial system. Since our public launch in 2015, we’ve cemented our position as the fastest-growing brokerage with over two million users and billions of dollars in transaction volume. Robinhood received recognition with the Apple Design Award, the Google Material Design Award, and named Fast Company’s 11th Most Innovative Company in the World.

We’re backed by top-tier investors such as DST Global, NEA, Index Ventures, Thrive Capital, Ribbit Capital, a16z, and GV, as well as individuals such as Jared Leto, Ashton Kutcher, John Legend, Snoop Dogg, and Nas.

We're always hiring software engineers for different teams across different stacks. Our engineers work with cutting-edge technologies like Django, Python, Go, Kafka, React, Redux. Check out our priority roles below and be sure to mention Hacker News when you apply:

* Web Engineer
https://boards.greenhouse.io/robinhood/jobs/221794#.WdJjGkpS...

* iOS Engineer
https://boards.greenhouse.io/robinhood/jobs/217593#.WdJjWEpS...

Below are a few notable roles too:

* Brand Designer
https://boards.greenhouse.io/robinhood/jobs/792447#.WdJld0pS...

Interested? Check out the job descriptions and apply directly at robinhood.com/jobs
Zenrez | Full Stack Engineer | San Francisco CA | ONSITE | zenrez.com

The Zenrez engineering team is building products that are fundamentally changing the fitness industry. We’re empowering studio owners to grow their small businesses and allowing them to focus on what matters most, teaching their amazing classes. Our core suite of software products cover the full customer lifecycle for studio owners, from acquisition, to retention, to recovery.

We are a full-stack JavaScript shop. We deploy to production continuously, consistently and safely adding value for our customers. Our current focus is scalability and evolving our service oriented architecture.

Interview process: A take home problem with a follow up phone pairing session on the solution and 1 onsite interview.

Please email me at daryl AT zenrez DOT com
This is a good point. There is a bit of a chicken-egg issue if the system time is set improperly such that you can't perform a secure TLS handshake. The issue we were concerned with is factory resets (say you resold the appliance or had issues) would accept old certificates. Malicious actors could use a brief window to exploit the system and perform permanent modifications that could withstand factory resets.

IoT is especially scary, since often the first authority is a local Wi-Fi network. Users can easily be deceived to configure the wrong network, and become exploited. Additionally, users can easily exploit system clocks in many products to install custom firmware which, when resold or returned may then be passed on to other users. Does Amazon reflash all consumer electronics that are returned?

Lastly, we decided to use a combination of HTTPS, certificate pinning, and client certificates to fetch a remote timestamp. We also use other, signed timestamps when available, but permanently record the most accurate time we suspect we have received. Devices cannot rewind prior to this, so if you have a device that has been offline for four or five years, you may be vulnerable, but chances are you are very vulnerable at that point anyways. If your device connects at least once a year, you should be good. Most devices connect constantly throughout the day.
Tried that - raw disks still do not appear. Tested on three different Macs. Will update the animated GIF to show clicking on View > Show All Devices.

UPDATE: Just posted a new animated GIF here showing the problem persisting after clicking View > Show All Devices: https://tinyapps.org/screenshots/high_sierra_disk_utility.gi...

(Had to clear my browser cache to see the new image.)
2-3% management fee is pretty massive. Wealthfront is ~0.25%. Presumably, Wealthfront will add crypto indexing. So I'll look forward to crypto index fund by Wealthfront at their 0.25% fee, and stay out of it until then.

That said, I'm sure this does make sense for some individuals.

I also imagine this won't be the first crypto index fund launch we see!
They could get access to the device dnsmasq is running on, your pc, your router etc.
For privacy reasons you probably want to create a new bank account for every atomic "coin" you have and might want to transfer. Also you might want to move them to new wallets in random intervals to make it look like they have been transferred and more difficult to identify/correlate actual transfers. That would of cause be impossible with Bitcoin's current 7 transactions per second. Its a long road ahead til crypto currencies will replace the current banking system, even ignoring POW's questionable energy consumption.
AWS Automation for Beginners
The world’s first cryptocurrency index fund
The things election ads are selling don't need clicks to recoup the investment.
In general the visa program is designed for employees and executives. It's so much easier to move to the US as one of the two instead of a founder. An "international manager" for example qualifies for the fastest Green Card process. A founder, whereby no one can fire but yourself, can't get into any of the existing visa criterion. To clarify, for both H1B and O1 you need to have a manager (I presume a co-founder would somehow qualify) to be able to fire you. It's a core criteria.
The really ironic part of this is that while VCs will claim "America First" is exclusionary(it is), their practice of "Silicon Valley First" is accepted as a normal fact of life.

Opportunity in America is not equal. Many smart, working class kids would love to be an entrepreneur, and it's not lack of ambition or talent holding them back. It's simple economics and lack of mentorship or investment available.

I'm all for bringing more entrepeneurs into the US. But I wish VCs were half as interested in growing talent here, at public universities across the nation and in cities not as hip as SFO.
>This reeks

Well, it would wouldn’t it?
This link says there are two numbering systems for cylinders that mean the same thing: http://www.usaeyes.org/lasik/faq/read-eyeglasses-contacts-pr...

Mixing up a Minus (near-sighted) vs Plus (far-sighted) value for sphere would be unusual.
2-3% management fee feels large to me. Wealthfront is ~0.25%. Presumably, Wealthfront will add crypto indexing. So I'll look forward to crypto index fund by Wealthfront at their 0.25% fee, and stay out of it until then.

That said, I'm sure this does make sense for some individuals.

I also imagine this won't be the first crypto index fund launch we see!
New Relic, Inc | Senior Software Engineer | San Francisco | ON SITE

The Growth Engineering Team is looking for a great Senior Software Engineer to join us in building customer experiences to drive acquisition, onboarding, monetization, organic/viral growth, and retention across the New Relic product suite. Please include a short cover letter, telling us why you’re interested in this position and why you think we should work together.

As a good fit for this role, you…

* Have a least 5 years of industry experience working in a team environment building production web applications with modern OO languages such as Ruby or functional languages like Elixir. You have built Single Page Apps in AngularJS, and backend services in Rails and Elixir.

* Possess a Growth Engineering mindset focused on continuously improving the customer experience to help drive engagement and sales. You are curious at heart and ship iterative changes and experiments with instrumentation to improve key metrics. You minimize risk introduced by these changes with an ironclad test suite.

* Actively participate in code and UI design reviews, weekly sprint planning meetings and team retrospectives to ensure we are all building at our best while driving key business goals.

* Have strong opinions, weakly held and rooted in personal experience. Can easily disregard prior held biases and opinions in the face of new information and use cases.

* Be part of a disciplined team that follows best Agile practices. Can build strong alliances with Product and Engineering Managers, using your knowledge to influence task prioritization.

* Relish the chance to mentor others and are passionate about improving software and your teammates’ skills.

Apply here in our Careers website! https://newrelic.com/about/careers?p=job%2Fosn55fwJ
Sure. It isn't just the macs that you need to count, but the PCs as well. Non upgrade-able ultra lights dominate the post $1000 market even for pcs.
>... no clearing delays, ...

I think ultimately this is the aspect of virtual currencies that will create the biggest change in the world. The great majority of the messing around with money has traditionally involved overcoming time delays in the system. A world without payables or receivables would have to look quite different.

Without the friction of delayed payments the whole world economy might turn into a giant kanban[1] system. Everything would be a gig at whatever scale.

* [1] https://en.wikipedia.org/wiki/Kanban
Firstly, thank you for wanting to take an open-minded look into the issue, rather than simply defend a position that you have already committed to.

You write "Why then is it, that we don't all code in Idris, Agda or a similarly strict language?... The answer, of course, is that static typing has a cost and that there is no free lunch."

I take it that you wrote "of course" here through assuming that there must be some objective reason for the choice, and that it depends solely on strictness, but languages don't differ only in their strictness, so choices may be made objectively on the basis of their other differences, and we also know that choices are sometimes made on subjective or extrinsic grounds, such as familiarity. I don't know what proportion of professional programmers are familiar enough with Iris or Agda to be able to judge the value proposition of their strictness, but I would guess that it is rather small.

Now, to look at the sentences I elided in the above quote: "Sure, the graph above is suggestively drawn to taper off, but it's still monotonically increasing. You'd think that this implies more is better." As the graph is speculative, it cannot really be presented as evidence for the proposition you are making. I could just as well speculate that static program checking does not do much for program reliability until you are checking almost every aspect of program behavior, and that simple syntactical type checking is of limited value. That would be consistent with the fact that there is little empirical evidence for the benefit of this sort of checking, and explain why most people aren't motivated to take a close look at Iris or Agda. In this equally-speculative view of things, current language choices don't necessarily represent a global optimization, but might be due to a valley of much more work for little benefit between the status quo and the world of extensive-but-expensive static checking.
"... you have a wifi network that other people are to use..."

I prefer wired networks and to attach particular RFC1918 IP's to particular devices. Works for me.
> Static typing prevents bugs in code to the degree that the programmer can correctly encode the desired behavior of the program into the type system.

Exactly. The author of the article implicitly equates "statically verified code" with "bug-free code". But that's not correct. It's quite possible (and even, dare I say it, fairly common) to have code that expresses, in perfectly type-correct fashion, an algorithm that doesn't do what the user actually wants it to do. Static typing doesn't catch that.
Highly templated C++ is the highway to hell. If you haven't heard C++ templates are turing complete and so can also have the halting problem.
Tush- let’s move this to email. My email address is in my profile. Would love to hear from you.
Also saw on the page:

http://nymag.com/selectall/2017/09/election-interference-is-...

which seems to hit the nail on the head.
I've seen it mentioned in Cards Against Humanity and a widely circulated Darwin Award story (possibly urban legend). At least knowing what it is seems to be relatively mainstream at this point.
I agree. Without real numbers, customers and particularly millennial's purchasing habits are really just conjecture.

What we see: "going out" to restaurants has decreased across the board - in general

What _could_ be attributed: Small Restaurants that are "Instagrammable" are not seeing as great a dropoff in clientele as your Applebees/Olive Garden big franchises. Instagram is attributed for the decline of Applebees/Olive Garden style franchises.

I'm not sure about the premise that "food choices" are affected by Instagram as much as fad diets have influence. My reasoning here is that trends like "avocado toast" can live and die, but staple foods will always provide the affordable nutrition.
> Yes it's true that retrofitting better type systems into existing languages may not be low-hanging fruit.

Disagree here, actually! Javascript (Typescript) and Python (mypy) are both seeing pretty big benefits from adding gradual typing.
Electric Scooters (Bird Scooters) [video]
Serverless Superheroes: Lynn Langit on NoSQL, Google vs. AWS
Or maybe just allow them affordable monitored phone and internet access?

If they wouldn’t have to pay so much in the US for a phone call, this would be far less necessary.

> "Colorado has the highest prison phone rate for local calls, at $2.75 + $.23/minute ($6.20 for a 15-minute local collect call). The highest intrastate phone rate is charged in Oregon, at $3.95 + $.69/ minute ($14.30 for a 15-minute collect call). Washington has the highest interstate rate: $4.95 + $.89/minute, or $18.30 for a 15-minute long distance collect call."
Re: "Can't upgrade it like a PC"

I have found that my Apple devices retain value much better than a PC, so when 2-3 years have passed I sell the old one, recouping some cash, then buy a new/new-ish one. That "upgrade" costs more than only buying new RAM but when considering that you get brand new _everything_ the price is about right IMO.

Good luck taking that PC with an 8-year old motherboard and $1200 in upgrades and getting anything out of it on eBay.
I'm aware of strongly normalizing systems and the escape hatch of coinductive programming. But when we're talking about the space of all programs, the fundamental limit of incompleteness is important. How else do we judge the merit of a type system except by seeing how it fits into the overall space of computable processes?

There are two ways to see type systems. In the first way you construct terms along with their types, this is called Church style. In the second way, the terms exist before their types and you use types to describe their behavior, this is called Curry style. In particular take System F. In Church style the terms of System F come with their types. In Curry style we see System F types as a way to describe the behavior of untyped lambda terms.

I used to think Church style was more important but lately I've been more partial to Curry style. Programs exist before you type them, type systems tell you how they behave. They also tell you how to construct programs but this is subordinate to the more fundamental descriptive capacity.
I think there are two kind of static typing languages. The ones that static typing is for helping the compiler(eg C) and the ones that it’s for helping the user(eg Typescript).

I think Go with its lack of algebraic type is more of the first, helping the compiler, so I wouldn’t use it as a good example of static typing.

Haskell, OCaml and Rust would make excellent case studies, but we have nothing to compare against.

So IMHO the best way to compare static typing vs dynamic typing is by comparing Typescript against JS. And in my experience the difference when writing code is huge. It completely eliminates the code-try-fix cycle during development.
> vscode seems to figure out the types in javascript without any static typing.

It is actually using TypeScript's engine for this. It uses TypeScript's type definitions where it is available (e.g. most popular libraries and built-ins), and some inference rules where it has to work with plain JavaScript.

While this does give you decent auto-complete in a lot of cases (and still getting better), it's not quite as good as using TypeScript directly.

> Searching for strings isn't that much worse.

I'm busy with a large refactoring project, and TypeScript has been amazing for this. After restructuring code, you can just keep on fixing things until there's no more red. This is not just about reducing bugs - it removes almost any thinking/mental overhead required for the refactoring process.

> Also, when it comes to web development, you cross into the client-side and suddenly you can't refactor. So you can only refactor the server-side and end up with a mismatch.

TypeScript also works very well for client-side. Of course, if you change the API between the client and server, that's a different story.
I'd argue that any schema is a type system of sorts.
Yes! Jrnl is awesome and I've been using it for awhile now. Highly recommend it.
Wealthfront's fees are on top of the fees of whatever ETFs they bought you.
Silicon valley might have been an American creation, but it has thrived due to immigrant founders. Please don't throw the baby out with the bath water.
Judging by the fact that a port of Goldeneye for XBLA got cancelled partly because of Nintendo, I'd say probably not.
About 50% of the biggest Silicon Valley companies were created by immigrants, so I’d be careful before claiming that Silicon Valley is an “American” invention and that the value should accrue to “Americans,” unless your definition of “American” includes immigrants.

If an immigrant comes here and starts a company or helps make a company successful even the native-born Americans are better off. IMO that’s the most American thing that can possibly happen, and if we should be terrified at the thought of it happening somewhere else instead.
USPS ‘Informed Delivery’ Is Stalker’s Dream
A good static type system will give you the ability to be able to control the level of dynamism in various parts of you code. For example you could create tagged unions to create mini dynamic type systems within parts of your codebase.
Weebly | Site Reliability Engineer | San Francisco | ONSITE

Weebly helps anyone without technical skills build a website and/or storefront. We're self hosted on baremetal and a top ~250 Alexa website in terms of traffic. Come join us.

We're hiring for a number of roles:
* Site Relibability Engineer
* Backend Engineer
* Frontend Engineer

http://careers.weebly.com
this is the most petty thing. I mean... wow. maybe care less about what other people are into? if the food you're eating doesn't taste great that's entirely on you, there are so many great food options today! I'm supposed to be upset people like to snap their meals and restaurants are working harder on presentation or mood lighting? oh no! the horrors.
Slice | Full Stack Developer, Software Engineer, Database Developer/Engineer, Data Science Manager| San Mateo, CA | ONSITE

Slice is online shopping, smarter. Slice is transforming online shopping and retail by unveiling never-before-seen digital commerce data via its e-commerce intelligence products, APIs, and consumer applications.

Slice operates a market research company, Slice Intelligence. With a data panel of 5 million online shoppers – the largest of its kind – only Slice offers vital intelligence that is the pulse of the digital economy—actual purchases directly from online shoppers, on any device or location, reported daily. Learn more about Slice Intelligence at www.sliceintelligence.com and on twitter @SliceIntel.

Benefits & Perks: Competitive comp including salary, bonus and stock, Medical, dental, vision and basic life insurance, FSA, 401K, Unlimited PTO, Maternity Leave (up to 22 weeks off / 16 weeks paid), Paternity Leave (up to 8 paid weeks off), Shuttles from SF, East Bay and Caltrain stations with wifi, Caltrain Go Pass, Annual professional development budget

Roles:

Database Developer/Engineer - http://grnh.se/ikstrg1

Software Engineer - http://grnh.se/4imp5t1

User Acquisition Manager - http://grnh.se/gwe51x1

Full Stack Developer - http://grnh.se/gsh1p01

Data Science Manager/Director - http://grnh.se/1qh43l1
More realistically, it's an educated guess based off the author's personal experience as well as their understanding of the experiences of other developers operating under different constraints.

The author makes it clear that the analysis is not perfectly rigorous. There is a very wide landscape between perfectly rigorous and completely useless.

Do you think the article fails to hint at any of the fundamental dynamics of how type systems affect software development? How so?
That's my point. However, this is not what anti-immigration folks usually believe.
The difference there is the level of detail in annual or semi-annual colregs certification exams; In the navy you have a multiple guess exam. I have been told, in the coast guard you answer the question and then write the full rule or applicable paragraph of the rule longhand.
OpenRent | London, UK | Full-Time | ONSITE | https://www.openrent.co.uk

OpenRent is the way people rent property online - a force for good in an industry tarnished by rip-off agencies. Enabled by an unrelenting focus on technology, we now let more properties than any high-street agency in the UK. In the last 12m we let over £11.5bn worth of property, without charging any admin fees to tenants.

Following our recent £4.4m fund raise [1] we've been growing the team and still have a couple of positions open. We're looking for generalists, thought-leaders, and those with a passion for solving real-world problems.

You'll be working in a close-knit team, directly with the founders, and have full autonomy to work on, and how best, to solve the biggest problems in the industry. We find problems and improve customer experiences via code every day.

- Core Team (non-technical) | £21K – £29K + options | https://angel.co/openrent/jobs/75876-core-team

- Front-End Developer (JS) | £80k (negotiable based on experience) | up to 0.25% equity | https://angel.co/openrent/jobs/143011-front-end-developer

See all current openings: https://angel.co/openrent/jobs

Recent press coverage: - https://angel.co/openrent/activity#press

Contact via AngelList or email in profile. Look forward to meeting you!

[1] - https://techcrunch.com/2017/03/03/openrent-the-uk-online-let....
Mobile friendly:

> Facebook has grown so big, and become so totalizing, that we can’t really grasp it all at once. Like a four-dimensional object, we catch slices of it when it passes through the three-dimensional world we recognize.