skysight-inc/HackerNews huggingface dataset:
Sure. The original 1931 paper is 20-something pages long:

http://www.w-k-essler.de/pdfs/goedel.pdf

Here's an English translation (with a lengthy introduction)

http://jacqkrol.x10.mx/assets/articles/godel-1931.pdf

Even without trying to follow the proof proper, the sub-sections of the second part are interesting on their own, particularly Gödel numbering and primitive recursive functions. Here is another translation that covers just this part:

http://www.research.ibm.com/people/h/hirzel/papers/canon00-g...

It's true that if you know nothing about formal logic, history of metamathematics, and decidability, then it's going to be particularly hard going, but there are a lot of accessible resources for each of those topics and the paper is well structured (meaning you can concentrate on the pieces).

The encoding that Gödel used for formulas should be fascinating for anyone familiar with Turing work on decidability as well as how computers work generally. Primitive recursive functions don't handle computation generally, but seem to be a first step in understanding what it means. Anyone familiar with Alonzo Church, lambda calculus, functional programming, McCarthy's first paper on Lisp would probably be interested in this bit.

Of course, Gödel's result on formal systems shattered the idea of an axiomatic basis for mathematics, but I personally think its greater long-term impact is helping to usher in computation. It's worth recognizing both.
SEEKING WORK - Washington, DC + Remote - Full-stack distributed team

Vitamin Software is the vitamin shot for your startup. We accelerate your iterations in the right direction and help your team gain focus.

We're a team of 6 full-time consultants, including 2 previous CTOs, 2 PhDs, a team leader and an art director.

Relevant experience:

* web development (Javascript, Python, Ruby, Java). Latest sample in React.js + Redux + Node.js: http://www.directimo.ro

* design/UI/UX: check http://www.directimo.ro

* databases (MySQL, MongoDB, DynamoDB, Redis, Oracle DB)

* distributed systems (worked on fleets of 150+ servers, glued together with RabbitMQ, Kestrel and REST APIs)

* backend (latest sample of work: custom HTTP proxy in C++/boost supporting 1500 transactions per second, with persistent connections)

* provisioning (we like AWS, but we can easily adapt to anything - experience with Ansible and Puppet)

Oh, and we have plenty of startup experience:

* one of the partners has been an Engineering Manager at uberVU (acquired by Hootsuite), leading big enterprise releases

* we have clients from YCombinator and TechStars

e-mail: hello@vitaminsoftware.com

website: http://www.vitaminsoftware.com

Thank you!
Save Up to 90% on Your AWS Bill with Spot Instances
Ingresso | London, UK | ONSITE

Ingresso is a London-based ticketing startup. We have done the work to connect to a large number of ticketing system APIs, allowing us to transact directly on the venue's system. We are profitable and growing fast, processing around £30 million worth of tickets in the first half of the year.

Our ticketing platform consists of:

- an API (exclusively powering Amazon's ticketing business tickets.amazon.co.uk)

- a white label website (eg www.disneytickets.co.uk and www.fromtheboxoffice.com)

We aim to make these two products the best in market, and need your help to do it.

We use a combination of Python, Go and Objective-C (server-side not Apple SDK). We have recently written 2 microservices in Go, and have just migrated half our infrastructure to a containerised platform using Google Cloud / Kubernetes. Our core backend services runs on FreeBSD machines in a dedicated datacentre.

We're looking for:

- Senior Backend Web Developer (£50-65k)

- Full Stack or Backend Web Developer (£40-50k)

- Junior Technical Analyst (£25-30k)

http://www.ingresso.co.uk/careers/

matt at ingresso.co.uk
Danger of your argument is that the majority of users expect privacy and that their systems are secure.

My experience is that the average person today assumes their devices are not secure and any information they have is accessible to the government without warrants.
This (mis)reading of 5A would seem to preclude all retrials. The judge vacated the previous verdict. It no longer exists. The retrial, whenever it occurs, will be single jeopardy.

If the retrial doesn't happen soon (rather, soon after the appeals process is done), the State will be obliged to release Syed. Actually he might get bail in the meantime anyway.
SEEKING WORK

Location: Amsterdam, The Netherlands

Remote: Yes

Willing to relocate: Not right now (just had a baby), but probably in about a year

Technologies: angular 1, angular 2, es6, react, redux, react-native, webpack, html5, css3, sass, scss, jade, node, php, building restful api’s, git, grunt, jenkins, jira, mysql, postgres, redis, mongo, firebase, aws, heroku.

Resume: http://www.jasperschulte.nl/wp-content/uploads/2016/03/curri...

Website: http://www.jasperschulte.nl

Email: You’ll find it on my site

Linkedin: https://nl.linkedin.com/in/jasperschulte

As a Javascript front-end developer, my main experience lies in enterprise scale single page JavaScript applications (SPA’s), preferably built with the Angular 1/2 or React framework. Beside that I have strong business development and leadership skills. Having successfully built my own company from the ground up and run it for 10 years, I know what it takes to build, lead, grow and maintain a business.
So the professor could be just as biased.

You can justify any bias in such an ad-hoc manner. Rich students might to better because they had better preparation. (Which I had heard but I discount in the absence of evidence.)
Rationalizing the FBI's Malware
It's interesting to see how the main philosophy behind Apple products is to prevent this kind of tinkering and that they are also used by a lot of hackers (tinkerers).

I know the answer is "they just work" but it somewhat troubles me. I'm also a pragmatic but then I think about cases like the Bitkeeper debacle and Linus Torvalds vs Richard Stallman positions then. And who was right in the end and how this concluded with the birth of Git.

Ok, it's exactly not the same scenario (HW vs a SW product) but maybe someday we will see a similar conclusion...
eShares (https://esharesinc.com) | Palo Alto, CA | ONSITE

eShares is building the network of private asset ownership. Many of the companies on this page use eShares to track their cap table, and many of their investors use eShares to track their entire portfolio of private investments.

Learn more about how we interview & hire [0] and more about our culture as a fintech startup [1].

DevOps, mid-level: we are looking to hire a mid-level devops engineer who can help us build and plan for the infrastructure eShares needs for our rapid growth of customers and rapid expansion of our engineering and product teams. We want someone to bring best practices into our devops strategy.

- Ansible, AWS
- PostgreSQL
- Redis
- Python (Gunicorn, Celery)

Contact: eric+devops@esharesinc.com

[0] How to Hire https://medium.com/swlh/how-to-hire-34f4ded5f176

[1] eShares 101 https://medium.com/@henrysward/eshares-101-e96d792bdc69
This low-effort comment matches the low-effort comment above it! Wow! /s /s /s

I am sort of tired of these comments that piggyback off of sub-optimal comments without any sort of advice on how to contribute more effectively.

We don't need comments about these cases that are just "I agree with this" and we certainly don't need "Your comment was downvoted because it's bad"

If someone gets downvoted, they should be expected to figure out on their own what they did wrong by referring to the guidelines and comparing their contribution with what is expected (in a general sense) from HN commenters.

We are big boys, we can get along and have effective, meaningful, insightful discussions here.
Is Java EE released under an open source license?

The article only makes sense if the license is not open source, but this important detail appears to have been left out entirely.

A few quick searches suggest Oracle is using some kind of free-as-in-beer license for Java EE.

edit: buried in the middle of the article is this passage:

> JCP concerns aside, rumblings over what's happening with Java EE have been much louder. Discontent began when Oracle shut down commercial support and internal development for GlassFish, the open source version of Java EE that served as the reference implementation for the platform. Even without commercial support, Open Glassfish was still being predominantly developed by Oracle employees. Java EE 7 and the GlassFish open implementation soon released on June 12, 2013.

So what's the problem here? Big company doesn't want to fund R&D for a product that generates no revenue?

Said product is open source, so community takes over.
That part of the opinion is nonbinding dicta - basically the judge freestyling, without setting precedent.
Second Measure | SF Bay Area (San Mateo, CA) | ONSITE (relo ok) | https://secondmeasure.com

Second Measure analyzes credit card data. We process billions of purchases to help investors (VCs and hedge funds) answer questions like:

- How quickly is Wayfair actually growing?
- Is Lyft gaining or losing market share in Boston?
- How does Hilton spending change after a customer's first Airbnb stay?
- (More examples on our research blog [1])

We were part of YC S15 and launched last August [2].

We’re a 10-person team solving hard problems with really cool data. We’re looking for other strong builders, especially those who can grow into leadership roles:

- Data Scientist (stats + ML; AWS, MTurk, NLP, and Spark helpful)
- Research Scientist (stats; SQL and Python helpful; math/science PhD preferred)
- Data Engineer (Python/JVM; AWS; stream processing)
- Software Engineer (frontend/backend/full-stack; Python/JVM/Go; D3; AWS; React/Angular)
- Others (opportunistic)

Competitive salary and substantial equity. We want our early team to have a large stake in our success.

We have phenomenal traction and raised a strong, $2M seed round [3]. Select investors include: Bessemer Venture Partners, Foundation Capital, Norwest Venture Partners, Shasta Ventures, and Y Combinator.

We’re in downtown San Mateo, just minutes from Caltrain and 101.

Email me directly, I’m a founder. (mike@)

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

[2] http://techcrunch.com/2015/08/10/second-measure-launches-off...

[3] http://www.businessinsider.com/second-measure-is-secret-weap...
I think the browser.html team will be very interested in this feedback. I sat with them as they poured over Cocoa disassembly and source trying to replicate the behavior as best they could. We definitely have some things to improve. Because we are using our own rendering system to draw on the GPU, we can't use Apple's implementation of this stuff which requires buying into Core Graphics/Core Animation completely I believe.

Note that I don't think Firefox has overscroll at all, except maybe on mobile.
what about behind a router? does that mean anything
This has been interesting test. Thanks for your suggestion on the -c option for "can't load servo." That worked. Filed a bug on HN login where tab autosubmits form instead of changes textbox. I can neither see the text I'm typing nor scroll down on HN. I'll check to see if open issues on that then file them if there aren't.
"IT'S WHAT PLANTS CRAVE"
You basically have multi-line lambdas in Python, it's just not anonymous anymore -- you can define function bar inside of function foo and then pass it to another function or return it from foo. I've used this to make a function that builds functions for you.
My counter would be that broken blinds are self-evidently broken, and the owner knows that they don't serve their intended purpose.

The same is not true of broken computer security, where usually the owner believes that the security feature does its job.

I'd say a better analogy would be a lock. The owner believes that the lock works and will keep people out. The fact that the lock can be picked doesn't mean everyone should expect their locks to be useless, nor does it allow the police to pick a lock to get into someone's house without a warrant.
Senior C++ Developer| Calendly | Atlanta or Remote | https://calendly.com

Calendly makes life easy for business professionals and their customers by streamlining appointment scheduling through simple, beautiful software.

Apply Here: https://calendly.recruiterbox.com/jobs/fk06zdj?referer=hacke...

Extensive C++ experience
Knowledge and understanding of Microsoft Outlook
Experience in other object oriented languages
A house not connected to the earth would be pretty awesome, but you'd have to have a way to get food and stuff delivered [1].

[1] http://what-if.xkcd.com/149/
Which is far easier if you are wealthy.
That's a good question, and unfortunately one that I'm at a loss as to how to answer right now. I've been focused more on building it, and less on using it. However, I've been looking to change that lately now that the core is becoming more stable and usable.
Any web page can include content from any country. Country TLDs don’t correspond in any way to where the content is hosted, and for most people even using DNS-resolved URLs is advanced. However, mostly thanks to IPv4 exhaustion, not even IP blocks correspond to geographical location anymore[1].

And all of this doesn’t matter anyway, because of how packet routing works. No one accessing the Internet can be reasonably expected to have any control over how their packets are routed on the network. You only control the next hop[2].

See for example: http://allthingsd.com/20131120/how-somebody-forced-the-world...

So I would agree to the extent that there can be no expectation of privacy for any unencrypted traffic. However, that’s just one type of hacking – snooping.

As for actual hacking – that is someone breaking into your system – this system has to be running on something, some sort of device. This device has to be physically located somewhere.

If an Elbonian comes to US and breaks into your house is it okay because in their country there are no lock on the doors, just a lot of mud, so breaking is not a crime? This is the logic here, as I see it.

What it ultimately comes down to is the US government wants to have it both ways. They want to be able to extradite people that hack into devices located in the US, but they want you to have no expectation of privacy when they are the ones doing the hacking.

[1] https://en.wikipedia.org/wiki/Provider-independent_address_s...

[2] https://en.wikipedia.org/wiki/Hop_(networking)
I appreciate that they made a "deal". While there are reasons for giving it all away because it's public and paid for with taxes and donations, I think this just means that they will be able to produce more and better content for a longer period of time.

That being said, there are a few moments in parenting that are especially magical:

1) When the kids don't need diapers anymore.

2) When they stop wanting to watch these kid shows.
Senior Front End Web Developer | Calendly | Atlanta or Remote | https://calendly.com

Calendly makes life easy for business professionals and their customers by streamlining appointment scheduling through simple, beautiful software.

Apply Here: https://calendly.recruiterbox.com/jobs/fk06zd3?referer=hacke...

Experience with JavaScript frameworks (Backbone, Angular, Ember, React) and testing tools (Mocha, Jasmine)
Experience in cross-browser compatibility
Understanding of CSS3 styling approaches
Fully leverage SCSS and/or SASS
Expertise in responsive design and understanding of design patterns
It takes two parties to make a deal. And when one of them is a huge corp like Amazon, it is more plausible that PBS was "made an offer they couldn't refuse." Amazon is known to use underhanded tactics to monopolize markets. (Ie. Removing competitor items from their stores.)
The products are very nice. And to a point I have started to trust Google innately. Not that that is necessarily a good thing.

I understand their need for data. It makes business and technical sense. I just wish they made more of an effort to anonymous it. (but that won't happen as long as ads are the primary market of the web)
Some subjects like math are less subjective. The gentleman's C is an old concept with a range of meanings. But, there has been a long history of students who don't really need to learn anything at collage. However, they greatly benefit from connecting to their peers.
The 30 Tools We Use to Run Ugmonk
Amazon Prime day is July 12
But are usable Stirling engines available? Dean Kamen's been promising a refined version for over a decade and has yet to release anything to production.
> For what it's worth, I have my doubts that this applies to a generic call/sms on any old Android device.

Why would you have such doubts? Companies are not in the business of making you comfortable and ensuring you have the privacy that you value, they're there to maximize shareholder value. Because you trust a corporation to not make money off of you by personalizing even further, if they can?
Check out riko [1]. It was developed to programmatically replicate Yahoo Pipes (without the UI). But as it stands, I'm pretty sure it can do most of what google feeds does.

[1] https://github.com/nerevu/riko

(full disclosure: I'm the lead dev.)
Senior Rails Developer | Calendly | Atlanta or Remote | https://calendly.com

Calendly makes life easy for business professionals and their customers by streamlining appointment scheduling through simple, beautiful software.

Apply Here: https://calendly.recruiterbox.com/jobs/fk06zdu?referer=hacke...

Extensive experience with Ruby on Rails
Knowledge of Rspec, experience with Capybara is a plus
Experience with other object oriented languages
Deep knowledge of Postgres
Experience implementing a Service Oriented Architecture
Aha! | Rails Software Engineer | REMOTE

We are looking for full-stack Rails developers to join our team to help build the #1 tool for product managers to plan strategy and roadmaps.

Aha! is profitable, you can work from anywhere in North America and we offer excellent benefits.

We use our own product to manage our work (which is especially rewarding), we deploy continuously and we are developing in Rails/CoffeeScript/React/d3. Our entire team is remote - primarily in US and Canada.

Email: amy@aha.io
Since the Kotlin and IntelliJ are created by the same company, I suspect that support in IntelliJ must be somehow better :)
At least for me, it's less about worship-yness and more about disdain for what I see as overregulation. I certainly can see how others disagree with me here though. shrug
K-9 units and helicopters.

from today: http://www.nydailynews.com/new-york/nyc-crime/fare-beating-t...
You can be pretty certain that any free software apps found in F-Droid will not require proprietary Google APIs. Every other app in the Play Store can be assumed to require them.
A water filled glass sphere? Really? A single typical (300 to 400 watt) solar panel has a surface area of around 2 square meters. A glass sphere with the same cross sectional area is 0.8 meters in radius and would weight over 2130 kg or around 4700 pounds.
Check out Skyscanner - https://www.skyscanner.net/
Smarkets | Full Time | ONSITE (London, UK)

We're a modern betting exchange, going technology first to enable proper price competition in a field of fat commissions. Join a small, agile, and fast-growing team, who just moved to a new office in St. Katharine Docks.

Smarkets develops a reliable, low-latency, highly concurrent betting exchange based on trading exchange designs. We're also building a fast, modern web interface to allow for a smoother experience. Servicing our users is top priority.

The Smarkets platform is written predominantly on Python and Erlang, and relies heavily on asynchronous programming techniques. We use REST where we can. Life at Smarkets circles around people, version control, configuration management and automation. We can - and do - deploy to production several times a day.

We are looking for:

* Infrastructure Engineers (think midway between SRE and devops; security background is a bonus)

* Software Engineers

If you like the idea of flat structure and practical engineering approach, see our jobs at https://smarkets.com/about/jobs/

P.S. We trust our employees to be responsible in all things. In that vein, you also get to set your own salary.
Cradlepoint | Multiple positions | Kelowna, Bc, Canada | Boise, Id, US| Onsite | Full-Time | Cloud networking

Cradlepoint is the leading provider of software-defined wireless and wired WAN solutions for Distributed and Mobile Enterprise with hundreds or thousands of locations or vehicles. Cradlepoint solutions provide the strongest mobile broadband performance while delivering proven network system interoperability. Cradlepoint’s broad family of high-performance router platforms are designed for deployment in mission-critical applications that require 24x7 connectivity. With both integrated wireless and wired WAN and non-integrated versions, our solutions are ideal for distributed and mobile operations and emerging industries that require either remote connectivity or multi-WAN redundancy.

Open positions:

- iOS/ OSX Software Engineer

- Web / Javascript Software Engineer

- Senior DevOps Engineer

- QA Software Developer

- Java Software Engineer

- Senior Network Software Engineer

Full details on our website: https://cradlepoint.com/company/careers or email directly alacombe@cradlepoint.com if interested by any of these position.
Senior Product Manager | Calendly | Atlanta or Remote | https://calendly.com

Calendly makes life easy for business professionals and their customers by streamlining appointment scheduling through simple, beautiful software.

Apply Here: https://calendly.recruiterbox.com/jobs/fk067u3?referer=Hacke...

Leading a team of engineers and designers to create high-quality software that makes our users happy and advances the company’s goals.

Constantly working to identify and prioritize the highest impact opportunities to improve the product experience and create growth.

Working closely with the product team to plan releases, manage execution and define roll-out strategy.

Conducting user research and reviewing data to inform product strategy.

Staying up-to-date on the many ways our customers use Calendly to get their jobs done.
The focal point for light going through a sphere is right at the surface of the sphere on the opposite side of the light source. So the focal point will rotate around the outer surface of the sphere as the sun moves throughout the day (and it also changes slightly each day in a perpendicular direction to the sun's daily movement). Assuming this is using some kind of steam engine, the water tank that gets heated by the focused light needs to follow this focal point.

That's for efficient electrical generation, which I assume is the point of this thing. As far as pure heat, you're right. You could just have a big curved metal water tank wrapped around the bottom half of the sphere and you might get pretty good water heating capabilities without a complicated tracking system.