skysight-inc/HackerNews huggingface dataset:
Yeah, I'm guessing you are from Boston or s.v. How about Seattle, Austin, Portland. How many large successful companies do you need before it's a startup hub? Boston is prob. not a great example.
Signed versus unsigned comparison, signed wrap-around, undefined division behaviour, undefined behaviour of some casts, and strict aliasing optimisations have all caused hard bugs that I've had to spend a lot of time fixing.

I had to deal with some of these before I was a compiler writer, and I would end up just kind of kicking my code repeatedly until stuff worked again.

Now that I'm a compiler writer, I know how to recognize what is happening, but I'm still not smart enough to avoid the bugs in general and I still spend time fixing bugs that result from these issues.

So, I'm with pcwalton: it is a problem. Maybe I don't see it every day, but I see it probably at least once a month.
We wish for death. (This is identical to wanting to be God.)
Dear Sir

We are India Based IT Company and we provide solution and developers for lot of US companies

Please mail your requirements on hb@mindinfoservices.com

or do visit www.mindinfoservices.com
PubPub (www.pubpub.org) | Boston, MA | ONSITE | full-time

We're making a radically, transparent open academic publishing platform. People will use PubPub to write papers, but also to spin up independent, open-access scientific journals.

Currently based out of the MIT Media Lab, but paying competitively.

Looking for Javascript Devs and UX designers, more info here: https://www.pubpub.org/pub/jobs

Email pubpub-careers@media.mit.edu if interested!
>FBI is now required to periodically assess whether an NSL’s
>nondisclosure requirement is still appropriate, and to lift
>it when not

This is not an act of civil disobedience, FBI let them release this information.
I don't have a specific source, it's just the impression that I get from having talked to a few people who had trouble with meth amphetamine. One friend's husband brought cocaine home. That was nice, but it got expensive, so they switched to Meth. After a while she realized she didn't like what it was doing to her personality, so she quit. Then the anxiety started. Xanax helped her not care, then she discovered Alcohol...

Here's a random quote from a mainstream medical source:

"Mood disorders similar to hypomania and mania can be elicited during intoxication with amphetamines. Depression can occur during withdrawal, and repeated use of amphetamines can produce antidepressant-resistant amphetamine-induced depression. ..."

- "Amphetamine-Related Psychiatric Disorders" (emphasis added), http://emedicine.medscape.com/article/289973-overview

Mad in America makes the case that mental health treatment is a make-work endeavor. http://www.madinamerica.com/
Bangalore, India. Many Positions. Full time.

I have taken up a role to build a payment network from scratch, out of Bangalore, India. It is funded by a big corporation, but will be arms-distance from their central business.

It is a large, complex and fascinating problem to crack. The potential to bring banking to 600 million un/underbanked Indians is what excited me to work on this.

We are looking to hire a good core team of full time math, physics and CS majors, UI UX and product managers, who will work of Bangalore, India.

We are open to hiring people from around the world but they will need to work out of Bangalore. Looking for full time and in exceptional cases, consultants, welcome.

I have posted and have hired a few good candidates from Who's Hiring threads.

Since my first post, we have now released a product and also secured a payment bank license.

We also have our payment network baked into banks and mass transit.

In the past I have built both fast-data and big-data companies and have a few patents in this space.

If you are interested, please email me at google's email service - takenottie. Thanks for reading.
Brandon, a few months ago I met you at a meetup and you did not think this problem needed to be solved, and containers were for ephemeral apps... just an AMA request, what changed hearts?
How to set up cron job for CRMery? What cron job setting shall I use?
I disagree with your disagreement. Talking - language - is intimately connected to "science", which, as a form of human knowledge, is about reducing the complexity of the universe down into semantic constructs that humans can appreciate. That is, "scientific knowledge" does not exist except in the form of human language. There is no other meaning to "science" (or "knowledge") except "making the universe intelligible to humans".

A machine must also labor under these constraints, and so ultimately must produce knowledge in the form of language/semantics in order to be doing "science".
UpCounsel | San Francisco, CA (no remote) | Full Time

UpCounsel is on a mission to make the legal experience remarkable for businesses. We provide businesses with an alternative to expensive and slow law firms through an online marketplace and an all-star virtual lawyer community. UpCounsel is working with thousands of entrepreneurs and companies to increase the quality and speed of legal services, while dramatically reducing costs. When businesses can access great legal services, they make better decisions and can grow their business with confidence.

HIRING for Full Stack Engineers:
https://www.upcounsel.com/careers/97856

And other roles as well:
https://www.upcounsel.com/careers
> That would be either unreasonably punitive [...]

If it was levied on the value of the land alone, there's no such thing as unreasonably punitive: land values would just drop until the tax is priced in.

If you look purely at economic efficiency, and leave out any morals about _who_ should be taxed, the only thing keeping taxes from going up all the way to taking everything is economic inefficiency. Ie if you heavily tax a particular widget, people will produce fewer widgets.

Land is fixed. You can't produce it, thus no tax can interfere with its supply. (Unless it's a tax system that incentives you to keep your land off the market, like negative gearing in Australia (https://en.wikipedia.org/wiki/Negative_gearing).)

However, if the tax was levied on the value of land plus building on it, a high tax would discourage building houses---whose supply is emphatically not fixed.
Yeah when that giant Oracle boat finally turns we are all in for it.
You have read, I have experienced. Lee Kuan Yew was extremely anti-corruption and his actions back this up. When the CIA tried bribe him with $3.3m (about $25+m in todays cash) he turned it down. The guy was a master strategist and made it work for Singapore anyhow. You can read about it here: http://singapore.coconuts.co/2015/03/24/lee-kuan-yew-once-un...

...or if you are interested just google it and read about it somewhere else.

If Singapore were corrupt it would be more like Malaysia (it used to be a part of Malaysia). Instead Singapore is an economic miracle surrounded by hostile countries. The anti-corruption culture Lee Kuan Yew developed permeates every layer of society here. Try bribe a Singaporean cop and see how far you get. My brother-in-law works for the Land Transport Authority. He will not discuss the details of any up-coming projects with anyone, not even close family members, for fear that word will get out and speculators will take advantage.

Finally if you think the chewing gum law is draconian I can't really help you. It is completely inconsequential and I say that as someone who likes to chew gum. More worrying are the corporal punishment laws, lack of press freedom and civil rights violations (gays sex is still illegal for example) however 2 of 3 of these problems also exist in the USA today and 1 in the UK.
I would say it goes: Deis > Rancher > Docker.

Rancher is an orchestrator built on Docker. It handles scheduling of containers and certain auxilary objects (load balancers, for example) within that universe. Rancher builds on the Docker Engine and can integrate with things like Mesos and Kubernetes, but doesn't require anything else to get up and running; it comes with its own container scheduler.

Deis is an entire PaaS, designed to handle end-to-end deployment and hosting of apps. It requires Kubernetes to run, which is notoriously complex (even on Google's Cloud) and probably not worth the effort if you have a small number (some people say >10) machines.
Working with these kind of number of users is kind of insane. Not exactly 3B but during my first quarter at FB I broke some obscure flow for uploading photos that people going to the website using phones that opt out of the mobile site might end up in. I would've never figured out that I needed to test it. And within the hour it affected 25 million people!
Linear Programming: How Does It Work?
When Gary Bradski worked at Intel, he was the leader of OpenCV. He was the only one there who was passionate about it and Intel officially supported the project basically as a favor to him. So when he left to found Willow Garage, they saw no problem with letting him continue to be the leader of the project.
As a Central European, I have always been bewildered by American food stamps.

But I guess it's because of different attitudes in these two parts of the world? American don't trust poor people with money?
> Because specialised systems are a subset of AGI (in the sense that GI is capable of producing them), hence AGI is seen as the ultimate goal.

I don't think one necessarily follows from the other though. We might be able to make an AGI with the intelligence of a human teenager. That doesn't necessarily mean it would be better at driving a truck than a more specialized algorithm.

> That would probably mean testing machine learning systems with something like Turing tests which no one is doing or advocating.

I see a lot of people complaining that various machine learning techniques won't lead to AGI and would never create a system which could pass the Turing test. Even this article laments that neural nets don't actually resemble human cognition.
~bitret, I remember you from a while back!

A planet is like a car -- it's not a toy, it's a tool for a responsible grownup. There are about 4 billion adults in the world. And not all of them are even Internet users.

Of course, the population keeps growing. Eventually either people have to learn to share, or the price will go up, or humanity will learn how to stop expanding exponentially.

Think of a planet as a unit of autonomy and reputation, not of personality. The global supply of autonomy is 2^32 units. That's not perfect in any sense, but if the supply is infinite the network is ungovernable, and the value of each unit is zero.

It's also an improvement on a world in which there's one unit of autonomy, and its name is Mark Zuckerberg. Urbit does a lot for digital freedom, but we're not in the miracle business here. No one can do infinity for digital freedom.
Abusing privileged and unprivileged Linux containers
Use etcd in production and you will lose data. Bounce nodes, simulate power loss and you will lose data. Have you actually used it?
It's very location-dependent. In Pittsburgh, a taxi to the airport can be $55, and a towncar service $75. More importantly, you can make a reservation for the towncar in advance, and know that they'll be there, instead of playing 6am taxi roulette, which often does not work well. A lot of the faculty at CMU use towncar services for that reason.

Pittsburgh's monopoly taxi service from yellow cab is remarkably terrible, though, so this may not generalize. They're famous for simply not bothering to show up after you call them.
Seeking Work: Writer/Blogger/Editor (Remote)
Location: Delhi, India.

Work Experience - 11 years. Worked for various comps like Adobe, Ericsson, GE and so on. Dedicated the last 1 year for a Startup.

Available for 40-50 hrs a week. Ready to write awesome stuff. Email me @ girish_x@hotmail.com

Linkedin: https://www.linkedin.com/in/wordyg

Thanks,
Girish
That's very interesting about physical triggers happening before the perceived start of the incident.

Agoraphobia? Best wishes for working through that, it certainly takes a lot of time but you can get there (or at least to a state where it doesn't happen as often).
CompareGlobal Group | Hong Kong | ONSITE / Full-time

We run Asia's largest financial product comparison website (MoneyHero.com.hk) which helps consumers save time and money when selecting a new credit card, insurance provider, or personal loan. We've grown amazingly fast, launching sites in over 15 countries since 2013.

Fast growth means technical debt, and now it's time for us to consolidate everything into a single database platform. Do you want to work on the bleeding edge? We're designing and deploying an internal BaaS platform based on PostgreSQL (already beta-testing 9.6) with a REST API powered by Python. Our global footprint demands a distributed system, so we're also using Hashicorp's consul and Riak's S2.

We're currently looking to fill the following two positions:

1. Backend Developer (Python and SQL)

2. PostgreSQL Database Administrator (bonus points if you know how to develop C language extensions!)

You can e-mail me directly (andrew.tipton [at] compareglobalgroup [dot] com) if you're interested in one of these positions. If you're not already in Hong Kong, we can sponsor you for a work visa here. (So far we have had a 100% success rate!)
No, that's not a conditional. Look into what is meant by a 'moral fact'.
Perhaps future AI philosophers will discuss the death of humanity.
Interesting point. Never heard of any program impersonating 'Warden' for malicious purposes but it seems possible.
Robert Whitaker makes the case in Anatomy of an Epidemic [1] that psychiatric medications amplify the problems they supposedly treat.

[1] http://www.madinamerica.com/product/62043/
I agree that science requires some way of encoding and communicating information, but I don't agree that such a system must resemble human language.

An alien system could equally do "science" even if their entire communication system was binary bits.
S/W Vulnerabilities Over Time
Link to full article: http://jme.bmj.com/content/38/10/579.long
Startup Data Creative creates personalised videos for brands in seconds
The Internet Archive (helped by EFF) got one disclosed in 2008:

https://www.eff.org/cases/archive-v-mukasey

https://www.eff.org/document/national-security-letter-intern...

Yahoo's claiming "This marks the first time any company has been able to publicly acknowledge receiving an NSL as a result of the reforms of the USA Freedom Act." -- which is kind of true, in that IA got one released before the reforms!
> I want us, as a community, to stop treating deep learning any different than any other ML algorithms --- have a consensus, based on scientific facts, about the possibilities and limitations thus-far. If we, "the experts", don't understand these things about our own algorithms, how can we the rest of the world to understand them?

I agree. It's interesting watching the "debate" around deep learning. All the empirical results are available for free online, yet there's so much misinformation and confusion. If you're familiar with the work, you can fill in the blanks on where things are headed. For instance, in 2011, I think it became clear that RNNs were going to become a big thing, based on work from Ilya Sutskever and James Martens. Ilya was then doing his PhD and is now running OpenAI, doing research backed by a billion dollars.

The pace of change in deep learning is accelerating. It used to be fairly easy for me to stay current with new papers that were coming out; now I have a backlog. To a certain extent, it doesn't matter what other people think, much of the debate is just noise. I don't know what AGI is. If it's passing the turing test, we're pretty close, 3 years max, maybe by the end of the year. Anything more than that is too metaphysical and prone to interpretation. But there have been a bunch of benchmark datasets/tasks established now. Imagenet was the first one that everyone heard about I think, but sets like COCO, 1B words, and others have come out since then and established benchmarks. Those benchmarks will keep improving, pursuing those improvements will lead to new discoveries re: "intelligence as computation", and something approximately based on "deep learning" will drive it for a while.
You tried to scroll up/down?

Check the url. See if it is not what's said on the headline? Sure the headline's a bit show off, but gimmick or a false claim. Nope.

Edit: Just checked that you run a cyberpunk newsletter. Guess we hit just the right person on HN to show this off to! :-)

Eagerly waiting for more thoughts on the comics from you -- and wondering if there's a way for us to circulate it among your subscribers/readers?
Helios is probably closer to Docker Swarm more than any of the other tools mentioned. It starts containers and isn't very sophisticated beyond that.

We evaluated it for a while, but discarded for various reasons, particularly the fact that it doesn't support private container registries [1].

I'd say Helios suffers from being an internal Spotify project. They're not under pressure to support any use cases except their own. For example, Helios is tightly coupled with Zookeeper, and they have rejected the possibility of supporting anything else (e.g., etcd). Their prerogative, of course.

[1] https://github.com/spotify/helios/issues/462
Usens raises $20M for mobile AR and VR hand-and-head tracking
> I have zero evidence that any of this is even true - just my observations

Observations are evidence. You meant that you had no non-anecdotal evidence.
Ownership | San Mateo/Israel | REMOTE

Interested in blockchain? Want to join an early-stage startup with an awesome international team?

Ownership is a top ventures backed US/Israel/China startup. We are building innovative solutions on top of the blockchain for anti-counterfeiting, supply chain management and certification.

We are looking to expand our team with smart, talented and interesting developers. If you are one, we would love to have you in the core team at the startup’s early stages. Initially, you will be employed as a freelancer with the expectation to become a full-time employee in the future.

Software Wizard

- Node.js, Python, C++, golang

- few years experience in any of them, preferably more than one.

- Cloud experience (Azure, AWS, GCP).

- Ability to pick up new concepts and frameworks quickly.

- Knowledge and experience in blockchain systems or interest and willingness to learn.

- Versatile in different environments.

Full Stack Master

- Experience in modern environments and responsive design

- HTML5, CSS, Javascript.

- Backend web frameworks.

- Cloud experience.

- Experience working with databases.

- Advantage - experience in developing mobile applications, preferably natively. Hybrid frameworks OK too.

- Ability to build a project from scratch.

Intern

We are also looking for bright interns who are interested in the mentioned technologies. Don't hesitate to reach out!

Contact me at kobi@ownership.io!
Assuming you make $100K, $3,000 is your opportunity cost. Oh, plus $10.

That's ~100 coffee meetings (say $20 because it's fancy coffee and bread pudding) with managers and lead engineers at companies you want to work at, including gas and a LinkedIn pro account.

In 100 meetings, you're bound to at least find someone to mentor you, if not hire you right away. Plus make some real connections.

You could also drop a couple hundred on a resume designer if you like, but being detailed on your LinkedIn profile is probably more effective.

Full disclosure: I'm a software consultant who also does recruiting/staffing. But an exceptionally ethical one.
I pioneered most of WebKit's overflow check optimizations, and our compiler is bleeding-edge when it comes to eliminating them. Still, the overwhelming majority of the checks remain, because most integer values are not friendly to analysis (because they came from some heap location, or they came from some hard math, etc).

I doubt that the architecture will compile out signed integer addition overflow checks, which are the most common. They are brutal to express correctly without an overflow bit, and the architecture will have a hard time with this.
No matter your goal(s) you can always treat it like that.

Just that with most humanly shaped goals, the formula would be too complicated to be tractable, especially since you have to account for all your guesses of the unknown. People don't even know what makes them happy before they live through it, and you can only live through so many experiences.

So we `give up' and rely on rules-of-thumb and call them wisdom. And mostly we should!
> Try to dodge the tax man for enough money there will be gunmen at your door to take you to prison.

Eventually, yes. That's also true if you try to dodge your local restaurant, after availing yourself of their services.

Of course the practical inability to refrain from "using" government is a big difference! But it needs to be included in the analysis - it is not as simple as "if you don't pay, there will eventually be force; ergo it is robbery".
Don't know about btilly. Here are some general reasons:

- more overlap of your lifetime with the kids lifetime (so, see more of your kids)
- get the scary parts over earlier, and enjoy more of the rest
- if female, easier time conceiving
I enjoyed doing your challenge! Thanks for putting it together.
Few years ago, I setup my android platform to allow chroot into a ubuntu for ARM rootfs directory. With that, there is almost zero different than Linux PC. (Well, except may 16+GB of RAM and few TB of SSD/HDD)
That's what I like about Google.
Nobody said it was.
SEEKING WORK (Freelance) - Based in Singapore (GMT+8), work remotely.

15 years in software industry in development and consulting. Enterprise software experience. iOS/OS X developer. Familiar with Obj-C, Swift and RubyMotion.

Limited time for development the next few weeks, but available for architecture and code reviews.

Also available for running in-person training for iOS app development for developer and non-developer. Separate classes. 10-15 person in a class. Email for details.

Example experience: been the sole tech guy (part-time) for a startup, building both backend and front end for main iOS app, API as well as supplementary tools.

More details: http://hboon.com/hire/
But patients can and should be more similar to text files. It's a real tragedy that patients die simply because a doctor failed to write accurate notes for the next shift.
> not based on the lambda calculus

> It matters because gensyms suck.

That makes no sense. The lambda calculus has nothing to do with symbols. Lisp introduced the concept of symbols, but Lisp and the Lambda Calculus are not the same thing.

> obviously I know nothing about Lisp

That is indeed becoming rather obvious.
The difference between a language with symbolic names, and a language with names and macros, is a difference between one level of indirection, and two levels of indirection. My view is that one is hard enough.

Macros aren't functions. A function call is one thing. A macro can expand to arbitrary code. This code may contain function calls or other symbols.

Before you can even interpret these symbols, you have to expand the macros in your head. This is two steps, rather than one. Expanding is not tracing. This extra step is why whoever is reading your code is so easily tempted to give up and writes it again herself, with her own macro language.

I was not comparing FP to C. If you look at actual Hoon code, it's pretty comparable in size to other functional languages, and also in clarity once you learn to read it. Obviously C is much fatter and harder to understand (and has macros, of course).
That was my thought. Peter has a history of big ideas that have a hard time translating into final products. Those kinds of minds are integral to a great product, but past a certain point it can also be a hinderance
How do you say that with conviction? I looked at the code and it has no bearings of being able to build a fault tolerant elastic block storage system.