skysight-inc/HackerNews huggingface dataset:
> But when we're talking about the space of all programs, the fundamental limit of incompleteness is important.

I agree with this. But I think that usually we are not really talking about all programs. We are talking about useful programs, and those are usually terminating. In theory, not always, see first-order theorem provers; but in practice, we always call a prover with a time limit because nontermination isn't useful.

> 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.

That's an interesting point, and I agree in many respects. I think when programming in a dynamically typed language, I approach things in one style, and in statically typed languages in another style. But specifically for termination, I don't think so. I never want to write a nonterminating program; the termination property for my programs exists (as a requirement) before the program does.
True. I wanted to say that it's bc europe is more populated in cities vs us, but didn't have anything back it up and wasn't sure it was true - but yeah, it's mostly because of city living, smaller grocers and smaller places with smaller room to store stuff :)
Should Google give these providers payments in that case? It doesn't help if the first five links I get shown on Google I click only to find nothing but a pay wall. Maybe the money flow should be:

1. Google is best search engine, attracts most eyeballs looking to find content
2. Advertisers pay google to show their ads to my eyeballs
3. I use Google because it provides good, true, accurate content, when I click on a link to nytimes.com Google should pay nytimes.com a portion of the revenue they collected

Almost, kinda, makes sense maybe? Or maybe this'll be the revenue model for a post-Google source of information.
Why ask that question first?

Why not ask first whether this program will prevent any US citizens from creating jobs?

What if both can happen simultaneously? Imagine the horror of even more jobs.
If the vuln was public before the patch, sure, get patches out asap. If the vuln is not public, wait to get downstream vendors to generate packages based on unrelease patches, and then release everything at once. This should be the de-facto stance for almost all vuln disclosure.

One line installers are the difference between a 3-day mitigation and a 3-hour mitigation. Sometimes the difference is in weeks.

It's definitely not about who "takes that level of responsibility" to patch manually, it's about what's operationally feasible. Dnsmasq is probably the widest deployed networking service for consumer devices. Now every consumer device running an old version, which includes Linux desktops, Android devices, home internet routers, etc are vulnerable. They even state how big the problem is in the release:

This software is commonly installed in systems as varied as desktop
Linux distributions (like Ubuntu), home routers, and IoT devices.
Dnsmasq is widely used both on the open internet and internally
in private networks.

On top of the wide-spread severity of this issue, they've included PoC code. It's like they want everyone to get owned.
SEEKING WORK - Boulder, Colorado, NYC, or Remote

We are a remote 3-person full-stack team design and dev team. Our portfolio: https://stratosphere.digital. Some recent projects we've launched: https://divvydose.com, http://www.fitnessration.com.sg, http://shoptwigs.com.

Some of the technologies we're most familiar with: Web and mobile design, UI, UX, iconography, illustration, design prototyping, PHP, Node.js, Meteor, Python, Ruby, JavaScript, HTML, CSS, Sass, LESS, Stylus, CoffeeScript, WebSockets, AJAX, MongoDB, Redis, MySQL, Cordova, PhoneGap, React Native, iOS, Android, Browser extensions (Chrome, Firefox, Safari), AWS, WordPress, Joomla, Drupal, C, C++, C#, Java, Objective-C, Swift, QS/1, HL7, HIPAA.

We offer hourly rates and discounted monthly retainer options, and we also do fixed bids. Contact: via our website or you can contact me directly at eliyah@stratosphere.digital.
Frameshift Genomics and University of Utah | Full Stack Web Developers | Boston, MA SLC, Utah

Frameshift Genomics (http://frameshift.io) and the MarthLab (http://marthlab.org/) at the University of Utah are hiring full-stack web developers to work on the iobio project (http://iobio.io), building a real­-time genomics visualization and analysis platform. We will only consider applicants physically located in Boston, MA seeking full-time employment, not contract work).

We need help creating web applications with functionality ranging from visualizing terabytes of biological data to fine grained interrogation of disease­ causing mutations. To support these apps, we are looking to create systems that will analyze and search huge amounts of genomic data, support our visualization and collaboration needs, and provide a robust API. We are built on a traditional server setup but require strong integration and access to cloud systems.

The successful applicant will be involved in both designing and building these systems and apps and will also help with our goal of simplifying genomic analysis, helping to usher in the world of precision medicine.

Remuneration will include both a competitive salary and stock in Frameshift Genomics. Contact us at chmille4@gmail.com
Springbok Solutions Ltd | C++ Developer | London, UK | Full-Time or Part-Time | REMOTE | £50K

I’m looking for a C++ developer with at least 3 years experience to help me port a large macOS Objective C++ application to Windows. You must be familiar with Windows system calls and the UI event loop, debugging with Visual Studio or gdb/lldb. Experience with Mac Objective C/C++, XCode, git and gradle is a bonus. You must be fluent in English, have fast internet connection, and be in a timezone that allows you to work at least 4 hours between 10am and 10pm Sydney time. Email CV to mark dot mclaren at solaraccounts.co.uk, and if possible include links to code you have written on GitHub or stack overflow.
Agreed... a paywall just means that the minimal interest I had drops to 0.
The type systems of Java and C/C++ are the most commonly encountered ones and by far the most widespread in industry programming (as opposed to academia/research) and they are actually awful and really add a lot of friction and inertia to developing. Being free of that kind of type system when using a language like Python really does feel like a big upgrade.

There is a different problem with the more powerful and useful type systems in more modern statically typed languages though: learning curve. Haskell is dysfunctionally hard to learn and other languages do a little bit better but there's still friction in the learning curve that gets in the way of widespread adoption in projects that want to be able to hire rapidly.
> Who buys computers for their resale value?

I never said people do. But it certainly is a positive factor that Apple computers have that others don't.

Most don't pick a PC just for the capability of upgrading the graphics card 4 years down the road. But it certainly is a positive factor that PCs have that others don't.

> Especially considering that CPU performance has not increased substantially in the last couple years.

Which, if true, would not count as evidence in favor of interchangeable CPUs. Are there other parts that haven't increased substantially in the last couple years?
D3 Antminers in Stock
People who have spent much of their careers hiring people all seem to agree that people who can do the job effectively are hard to find at any price. You may have a different definition of 'qualified'.
This looks very cool. Can't wait to try it out.
Apple is already making their own SoC. Could they also make their own ISP as well? I realize Sony is the top player here, but this is Apple we're talking about and they have boatloads of cash and competent engineers.
Hubble (https://hubblehq.com) | Python/ JS Engineers | REMOTE or ONSITE full-time | London, UK

Hubble is on a mission to find the perfect home for every company. We spend the majority of our waking hours at work, so it needs to be a place that we enjoy. So far, we’ve built an online marketplace to help businesses rent, manage and share office space in London.

We are backed by top venture capital firms Entrepreneur First, Seedcamp and 500 startups, and property tech specialists Spire Ventures (PiLabs).

As a product engineer you will have end-to-end ownership of projects, working on the full-stack to improve the Hubble platform.

The engineering team works closely with all areas of the business, so you'll be working side by side with product, design, marketing and sales to build the most impactful products. To do this, we balance building "hacky" MVPs with spending time to build highly polished products.

Read more and apply here: https://hubblehq.com/jobs
Very interesting! For the older crowd here, is cloning + stem cell extraction of the clone an option?

I'd love to be able to clone myself. I think the laws/technology aren't ready for that however.
Red Ampersand | Jr. Full Stack Developer | Los Angeles, CA | ONSITE full-time

We're a small team running a suite of brands for screenwriting, the most prominent of which is a two-sided marketplace for feedback on screenplays. If you like coding and movies, you'll love this job.

Our stack is PHP7/Laravel, MySQL, AWS, Ansible, and Bootstrap.

Shoot me an email at scot@red-ampersand.com if you want to chat!
Electric Cloud the Highest for Execution in Gartner’s ARA Magic Quadrant
nice to know, they have added a new data structure !
Neuralink | Software engineering | San Francisco, CA | Full-time, Onsite

Neuralink is a new neural engineering company founded by Elon Musk. Our goal is to develop brain-machine interfaces so useful and so safe that ordinary people will choose to get them like they get a smartphone. Neuralink's aim is to bring humans and machines closer so software forms a true extension of ourselves, rather than something separate we interact with slowly and awkwardly.

We are hiring for a fairly diverse set of technical backgrounds. There is a ton of software to write ranging from firmware to surgical robotics control to an experiment management web app. Experience with C++ for robotics is especially desirable. Culturally, we place a premium on diligence, care and thoroughness rather than trying out every latest cool framework.

jobs@neuralink.com
Read the article. The Buzzfeed reporter was calling out Google's error putting 4chan in the news section of results.

The error is Google's.
" Someone living here starts off in a much better position than any foreign entrepreneur. "

I don't think you can make a blanket statement like that. I come from Ireland where I received a 4 year degree in CS for free. Most of the Americans I worked with over the years are saddled with huge amounts of college debt. This is a massive advantage in my favor.

Having to spend 4-6 years waiting for a green card so I can start my own company is a massive disadvantage. Having to deal with the annoying vagaries of the US immigration system just to get a job is also a massive disadvantage.

Coming from a country that has good free high school education is a massive advantage compared to most places in the USA.

Having parents who are financially well off and can support you while you are in school is a massive advantage. Having parents who went to university and can tell you the difference between schools or guide you through the byzantine application processes are massive advantages.
Stanford scholars say big ideas are getting harder to find
How Messing with Our Body Clocks Can Raise Alarms with Health
What was your training experience like?
Adacado | Vancouver, British Columbia, Canada | ONSITE, VISA

We do online programmatic advertising and specialise dynamic creative. We're a medium sized company that's been around since 2008 and we consider ourselves a boutique DCO in the online advertising ecosystem.

We're looking for Java Developers with 5+ years professional programming experience (primarily in Java)

Bonus points for any of these skill sets: Kubernetes, Golang, Maven, Git, Tomcat, Nginx, MySQL/MariaDB, Redis, ElasticSearch, ActiveMQ, Akka, ES6, ReactJS, NodeJS, Python, Hibernate, Spring, Aerospike, Docker, Big Query

See https://www.adacado.com/careers/ to apply. Please add "Hacker News" to subject line when submitting your application!
Trakstar (https://www.trakstar.com) | Full-stack Dev, Front-end Dev, QA Engineer | Seattle, WA | Full-time, ONSITE, Salary: $70-$125k + equity

Trakstar is looking for front-end, full-stack, and quality assurance engineers to join our amazing, friendly team! We make performance reviews meaningful for employees, managers, and HR administrators around the world. Our rapidly growing customer base consists of over 125k users and 1,000 organizations.

Our stack: Rails 4.2, Ruby 2.3, Postgres 9.4, JavaScript, jQuery, SQL, HTML, CSS. Looking to modernize our front-end work with React, Vue.js, or a similar framework. We utilize Resque/Redis for background jobs, have an automated feature test suite driven by Capybara and PhantomJS on Circle CI, and run our own ops with AWS + Chef.

To apply, visit:

https://www.trakstar.com/jobs
If you want performance, Sony's Xperia XZ1 Compact is a 4.7" phone with flagship specs. They're about the only ones who make high spec reasonable size phones these days.
My two major turnoffs for living in the London area (which otherwise, based on my multiple visits so far, seems lovely) are:

a) the pervasive surveillance (i don't think it's by chance that "black mirror" is written by someone - charlie brooker-
living there)

b) the stupidly high housing costs

(in that order, actually)
you're already writing the test cases to ensure correct behavior with typical input, and predictable exceptional input. putting in one more assert for predictable exceptional input (wrong type) doesn't really add a noticeable amount of overhead to writing the tests you were already writing.
> However a special ID of “$” means: assume I’ve all the elements that there are in the stream right now, so give me just starting from the next element arriving.

I can already see lazy users just repeatedly reading $, and then dropping messages when they arrive faster than they read them.

Might it be safer to instead have command to ask what the latest ID in the stream is? You'd start off by using that to work out where the streams are, then construct an XREAD command to read from there. To construct your next XREAD, it should be easier to update the IDs from the ones you just read, rather than fetching the latest IDs again. Maybe.
As a side note google gave me a free digital subscription to the nytimes for posting reviews on google maps. Is google or nytimes making money off of this?
> Unit tests is the only truth that matters, static typing or not.

Well that's provably false, because there exist properties that you can type check that literally can't be verified via unit tests, even in principle. For instance, race and deadlock freedom.
HelloSugoi | Intermediate — Senior | Full Stack | Devops | Solidity | nodejs / node | Ethereum | Los Angeles | REMOTE | www.hellosugoi.com

We are event ticketing platform with high dreams of eating the entire event management ecosystem. Want to eliminate ticketing fraud? Want to create an equitable platform for event organizers, promoters, artists, vendors, venues, and fans? Then Join us and build it with us!

We are looking for full stack engineers and Solidity Developers. Don’t know Solidity? That's coolio, we will tech you. :)

- node
- serverless
- react
- redux
- react-native
- web3
- truffle
- AWS
- Mesosphere (DC/OS) [Soon]
- solidity <—> graphQL (in development)

Disagree with the stack? Sure, join our team and lets talk about it! More about us on medium: https://medium.com/hello-sugoi

Contact us at jobs@hellosugoi.com.
The Black Tux|WMS Engineer|Gardena, CA|

As a WMS Engineer, you'll be responsible for supporting our HighJump and warehouse automation systems. You will maintain, expand, and scale our Warehouse Management System capabilities by working with HighJump Architect, HJ1 Page Editor, SQL Server 2012, HJ Worldwide Support, HJ After Market Services, and 3rd party development resources.

Skills Required:

1-3 years of experience supporting HighJump

1-3 years experience with SQL Server (or any similar RDBMS), including ability to design schemas, write queries, and/or stored procedures.

2+ years experience in high transaction multi-tenant architectures such as warehouse management, order management and commerce/billing/accounting engines.

2+ years experience in using ALM tools like JIRA

Excellent verbal and written communication skills and someone who is passionate about quality, supportability, extensibility, and simple design.

Open to giving and receiving feedback

An advocate of a good sense of humor, emotional intelligence, and patience

Able to meet regular deadlines while working independently

Apply Here:
https://jobs.lever.co/theblacktux/6260dc7f-dcf5-4000-8334-a2...
All videos from the Nordic.js conference 2017
To expand upon this statement, social mobility has been on the decline[1] at a time when income inequality in the US is reaching unparalleled levels[2]. Childhood poverty is on the rise[3], and regional inequality is incredible[4]. All this is occurring at a time when the best and brightest young people are ending up with tens of thousands of dollars of debt just to be able to enter the workforce.

All this is why small business creation is on the decline here.[5] It takes money to make money, and the lower and middle classes just don't have money to spare.

edit: To those downvoting me, can you please explain? I don't understand the flaw(s) in my statement.

[1] https://en.wikipedia.org/wiki/Socioeconomic_mobility_in_the_...

[2] https://en.wikipedia.org/wiki/Income_inequality_in_the_Unite...

[3] https://en.wikipedia.org/wiki/Poverty_in_the_United_States#C...

[4] https://www.brookings.edu/blog/the-avenue/2012/08/07/regiona...

[5] http://money.cnn.com/2016/09/08/news/economy/us-startups-nea...
Yeah, something like that would never happen.

https://www.wsj.com/articles/taiwans-foxconn-completes-deal-...
More information about Eaze's engineering team on Key Values: https://www.keyvalues.io/eaze
If you are interested in reading codebases but find some of the larger projects intimidating, I suggest checking out Timothy Davis' sparse matrix library CSparse:
(http://people.sc.fsu.edu/~jburkardt/c_src/csparse/csparse.ht...).

It is is used internally for sparse matrix representations in Python, R, and Matlab. The entire library fits into 2100 lines of concise yet well documented C code. It is now mostly installed bundled with SuiteSparse, but the link above has the 2006 codebase from the original stand alone library.
I'm sure this violates some HN rule, but since comments are closed there, can someone explain to me the 'Buildzoom' garbage post currently on the front page? It looks like a job listing but is not labelled as such (so in a way it's on-topic here, I guess). Is HN doing #spon content now?
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.

And even in a statically-typed language there will be cases where the tooling can only determine fairly generic things statically.

I don't see anyone advocating for abandoning static typing over that occasional limitation. Yet I do see people proposing similarly-infrequent issues as cause to abandon dynamic typing.
To #2, because even putting aside how many scientists would have no interest in doing that, they would also be generally unqualified. Being a good researcher doesn’t make you a good teacher, and you need to be a very good teacher to turn your results into something a high school student could understand, and yet which still communicates your results accurately.
This is very simplistic. There is a lot more to consider in potential M&A than just raw numbers. Cultural fit, how it changes relationships with other suppliers, laws and regulations, management, etc.

I'm not persuaded the current Apple-Sony relationship is such that a drastic move like an acquisition is necessary..
Or as Knuth pithily put it, "Beware of bugs in the above code; I have only proved it correct, not tried it."
OSARO INC | San Francisco | Full time | Onsite | Real-time Simulation Engineer | Front End Engineer | Deep Learning Engineer | Reinforcement Learning Engineer | Software Engineers/DevOps

At Osaro, we're creating machine intelligence software that combines state-of-the-art perception with powerful adaptive decision-making abilities to help computer and robotic systems act efficiently and intelligently. You would collaborate with existing team members with expertise spanning reinforcement learning, computer vision, hardware architecture, robotics and more. Osaro is developing large-scale machine learning products that need to interface with customers’ complex software environments as well as interface with a variety of robotic hardware and sensors.

- Real-time Simulation Engineer: As a simulation engineer, you will be responsible for architecting, implementing, optimizing, and maintaining software both to interact with and model physical robotic systems, and to create fully-simulated environments in which to train and optimize our machine learning algorithms. http://www.osaro.com/careers/?gh_jid=858184

- Front End Engineer: As a front end software engineer, your job will be to develop and maintain the software infrastructure needed to build these interfaces, which both our internal research and development team and our customers will use to interact with Osaro’s products. http://www.osaro.com/careers/?gh_jid=858140

- Deep Learning Engineer: Seeking world-class deep learning engineers with broad background in machine learning. As a deep learning engineer, you are involved in all stages of algorithm development from inception and initial implementation to evaluation and all the way to a deployable production quality algorithm. http://www.osaro.com/careers/?gh_jid=490809

- Reinforcement Learning Engineer: As an RL engineer you will be uniquely positioned in our team to work on large-scale machine intelligence problems and push forward the frontiers of AI technologies. http://www.osaro.com/careers/?gh_jid=490848

- Software Engineers/DevOps: As a software engineer, your job will be to maintain and develop the software infrastructure to interface with robotic hardware and a variety of sensors, acquire data, run experiments in both simulation and on real physical systems, programmatically store, access, and analyze results, developing dashboards and monitoring tools, and train and reliably deploy machine learning models across cloud based and local resources. http://www.osaro.com/careers/?gh_jid=490453

Please apply directly on our website. Thanks! http://www.osaro.com/careers/
Assembly is typed. The types are machine words and usually floating point types are also available. Basically, the machine types are the types of data that the register files can hold.
I had an interview at Facebook where the hiring manager completely forgot about it. Ackward, because he was the one I was suppose to meet in the lobby. One of the interviewers came late and took me upstairs, and between the him and the other three, I heard three different stories about what happened to the hiring manager.

However, in the interviews, I came under the impression that Facebook knows very well what they do, where they are going, and what their 7-year plan is.

It's just that corporations don't market that as their image, but prefer to cultivate an image they deem more likeable to attract customers. I'll bet that Mark knows this, and what his company is doing quit well even though at some things, they seem in disarray.