skysight-inc/HackerNews huggingface dataset:
> You genuinely don't know how to write a TM that implements the identity function, or is there some technicality that it fails?

The inhabitants of the type `forall a. a -> a` (which, by the way, in an effectful, Turing-complete language, has more inhabitants than just the identity function) aren't in one-to-one correspondence with the inhabitants of the type `nat -> nat`. I asked for an isomorphism of types, you have to give me an isomorphism of types. Or maybe you don't know what “isomorphism” means in mathematics?

>> What category are you working on?

> I have no idea what point you're trying to make

Okay, you don't know what “isomorphism” means in mathematics.

> You're still wrong if you think the CTT is "true, but false if applied to matrix functions.

The CTT isn't “false if applied to matrix functions”. The CTT says nothing about functions at a type not isomorphic to `nat -> nat`. It would be like saying “SilasX is all wrong about frogs!”, when you never said anything about frogs (at least, in this discussion).

> No way could a computer handle that. They only know binaries numbers, not the matrix type. I mean, come on, I gave them a different name and everything!"

I write my programs in high-level programming languages, not machine language, though. The whole point to high-level programming languages is to reason in terms of their abstractions, not their possible implementations.
Yes, but these days, it can actually identify whether or not a photograph contains a bird.
Summary: The oxygen-rich habitable layer of the Black Sea has declined over the last few decades from a depth of 140m to a depth of only 90m. The oxic layer does not mix with the layers below. All theories as to why the decline has occurred are speculative, but some believe that the increase in H2S2 at greater depth may be implicated (though this is unsubstantiated).
The Koch brothers?
Its a difficult distinction to make. I don't think it unreasonable to expect some nuance on the part of moderators. My personal suggestion would be to remove subjective comments more readily in threads related to highly technical topics where there is MUCH to discuss related to the science or engineering of the piece but show some discretion in threads regarding topics which are inherently political or more subjective. So, here, I would actually say moderation is warranted. But if this were a piece on Edward Snowden, perhaps less demand for utter tact.

"Only in an irrational and unknown direction can we come to wisdom again."
There are two sides to it.

I live in Ireland. I work at a multinational - pretty much everyone I know does. And I know that on one hand, most MNCs aren't paying their "fair share" - most of them are here for the same reason. On the other hand, I know our jobs probably wouldn't be here otherwise.

MNCs paid 80% of all corporate tax in Ireland, in 2015. The top 10 payers paid 40% of all CT between them. It's really one of those "quantity vs quality" things, and Ireland has opted for quantity. A rather than extracting a lot from MNCs, we extract from a lot of them instead. And it does balance out - CT forms about the same % of govt revenue as the european average. We're not actually losing out this way - but we are gaining jobs and investment. And for a country where "getting a job" used to mean the ferry to the UK, that's huge.

And MNCs hoarding cash here does have other benefits. eg, Apple are building a datacenter not far at all from me, because it's cheaper to build it here, than repatriating the funds to the US to do so there. We create more jobs, more investment, more value by being friendly.

I also have to be a bit realistic - the moneys funneled through Ireland without being taxed, wouldn't have come this way at the full rate. That is - "our fair share" is a bit revisionist; if we taxed them 12.5%, we would have received 12.5% of nothing. They would have sent it somewhere even cheaper instead (eg, Intel are building out in Israel because they were able to offer 5% instead).

Of course I can see the other side, that corporations need to play fair. And that what we're doing is costing someone somewhere else instead. But I do see the day-to-day duality - that people here, in Ireland, will bounce between complaining that Apple don't pay enough, and being excited that they're building a few hundred more jobs 4 miles down the road, within the same conversation.

(and to be clear, it's not just Apple - the primary concern at the moment is that while Apple may concede and pay what the EU demands, the next investor, employer to move here, might have second thoughts.)
This looks amazing! I would love to have access to a tool like this for working on my current programming language project; is the tool available for download somewhere? I don't see anything about the editor in the Ohm repo[0].

Another cool thing would be to make an Ohm-to-Bison compiler; I'm not about to reimplement my whole language in Javascript, but I would love to prototype the grammar in the Ohm editor and then compile it down to Bison.

[0]: https://github.com/cdglabs/ohm
To be fair, money laundering is associated with cash in countries where people mostly pay with plastic. Admittedly, the reverse association is fairly weak, as I doubt that bringing up cash will make people think of money laundering all that often.
What is your location?
10% is a pretty common percentage and what I put towards bonds and stocks each month. I do pretty much what the parent post said.
(emphasis mine)

> One of the things I like best about my industry is that compensation is standardized for people in the first 8-10 years of their careers. At large firms (and government), people get paid based on publicly known scales on a strictly seniority basis. This is bad for people who are good at self promotion (whether or not their is a real basis in that self-promotion), but great for women generally and men who do more than they talk about doing.

It sounds like it's great for people who want to do the bare minimum too. If excellence pays the same as mediocrity, why strive for more?
An autonomous RV, now we are talking. :-)
I'll be your hostess, Tess...
Agreed. Your first job out of college doesn't need to pay handsomely, it's just a stepping stone to build experience and a resume. The employer is taking a bit of a risk with you too since you have zero work experience most likely. 2 years is a good amount of time to stick around before checking out the competition and not looking like a job-hopper.
It would be incredibly difficult to armor a launch pad to survive an explosion on-pad, so they aren't. The real solution is to have multiple launch pads (the space shuttle had three), so that if one blows up on the pad you have backups you can use until the blown up one is rebuilt.

The energy released in the first few seconds of a controlled launch is not remotely comparable to the energy released by an entire rocket blowing up simultaneously. Also, with an explosion, the entire rocket, along with parts of the strongback and other structures it's attached to, become shrapnel. Superheated water exhaust is a lot easier to protect against.
Sorry but in my experience, your instincts are correct. Smart managers who will give you the serious market-correction bumps do exist but they rarely exist. Even then, you will need to have undoubted value in order to leverage a serious bump, as they will have people above them that will fight it.

In my experience, you will have to jump from job to job in order to get incremental salary increases, since yearly increases are not only shallow but percentage based(so lower salaries receive lower increases.)

I've seen many companies that attempt to thrive on lower earners, who are typically straight out of college. It's a successful cost-cutting measure that works until their products turn to shit.
Because mediocrity gets managed out.
Very interesting: https://gcaptain.com/hanjin-captains-ordered-slow-steam-drif...
Interview process would be:

* Quick chat with me (co-founder & CEO) to align goals and expectations

* Discussion with our co-founder & CTO to outline our stack and challenges

* Small task and code review to check we match on expectations

* A paid joint project to see if we enjoy working together
Wait -- the only reason you would want to hamstring the bonds' liquidity like that is if you expected their open-market price to be lower (interest rate to be higher) than when bought straight from SC. Meaning the expect the risk/rate combo to be a bad deal?

Am I missing something?
Let me introduce you to this thing called DOSBOX, it's quite awesome: https://www.dosbox.com/

The sad thing is that, the way the appstore works, we will likely never get a "iosbox".
Author here. Curious what experiences y'all have had with JSONB.

We're in the process of switching to a more balanced schema (mentioned in this post) and the results have been pretty good so far.

Another win has been that the better stats make it possible to reliably get bitmap joins from the planner. Our configuration uses ~12 RAIDed ebs drives, so the i/o concurrency is really high and prefetching for a bitmap scan works particularly well.
See also Melissa Scott's alchemical space opera trilogy, The Roads of Heaven: Five Twelths of Heaven, Silence in Solitude and Empress of Earth.

Yes, you heard that correctly. Alchemical space opera. Spaceships fly because their keels are impregnated by Philospher's Tincture, which always seeks to return to the celestial world. By stimulating it with a harmonium tuned to the music of the spheres, it can overcome the drag of the ship's mundane matter and rises towards heaven...

And if you think that's weird, you should see the FTL drive. Let's just say that the alchemical diagrams pictured in this article are a key to it, and using the right symbology is vitally important.

Excellent books, but very hard to find on paper. Luckily, the author has a revised version available in ebook form.
Hello, and congrats on the project. Could you provide a brief overview as to how does one actually launch the satellite into space? Is there a company that does this, what kind of permits/certifications/etc are needed, etc?
Most of the CSP directives can be included as a meta tag, not necessary a HTTP header. Also, CSP is not dedicated to XSS protection. Some directives, like frame-ancestor and the referrer policy are much easier to manage.

But it is hard to put a good CSP policy on top of an existing website not designed with CSP in mind in the first place. That's were nonce can be a temporary measure to bridge the gap. I really see the nonce as a temporary workaround while migrating a site to CSP.
My implementation of the Chameleon compression algorithm
Agreed, Orgzly is close. The manual sync thing is weird too.
Show HN: See Puppet's status in notification area (windows)
I wouldn't be surprised if Apple also followed this up with some more manual vetting of app names. I'm not sure if this part of the review guidelines is new, but it seems relevant:

> 2.3.7 Choose a unique app name, assign keywords that accurately describe your app, and don’t try to pack any of your metadata with trademarked terms, popular app names, or other irrelevant phrases just to game the system. App names must be limited to 50 characters and should not include terms or descriptions that are not the name of the app. Apple may modify inappropriate keywords at any time.
The advice is sound but the analogy is ridiculous.
Using jsonb also brings the headache of having to worry about the version of Postgres you're using. Simple functionality like updating an object property in place might be missing in your version. And the documentation and stack-overflow-ability of json/jsonb is not very good yet.

But as an alternative to things like serialized objects, I think it's definitely a huge win. You can do things like join a jsonb object property to its parent table, which wouldn't be possible with serialized objects.
Aconex | San Francisco, CA USA, Melbourne, Australia| Full-time | Senior Software Engineer, Senior UI Engineer | ONSITE | $135k+

Aconex is a highly profitable project collaboration company with most of the worlds largest construction companies as customers. We are to construction projects what Atlassian is to software projects.

We're looking to build a team of experienced software developers to help us bring a new product to market with a strong financial aspect. Our stack is based on a service oriented architecture, so we have a number of different technologies at play - Java, Go, Ruby, Python etc. To begin with, you'll be working with Java 8 (using Dropwizard), Angular, Typescript as well as many other tools.

Love to chat stack, so if you're interested - reach out!

Technology choice is open for discussion on new services that we start.

More about us: https://www.aconex.com

If you're interested, email me at tolshansky(at )aconex( dot)com
I know this will seem like nitpicking, but this was not a failed launch. It was during the inspection phase, which is performed to uncover flaws in the vehicle before launch. Small consolation I know because in this case the payload was lost anyway. But it's still important to note that the expectation of failure is going to be higher for inspection/static fire, and that in the case of commercial crew launches, the crew would not be near the pad at the time of static fire.
The issue is that I trust Google more than I trust "random startup XYZ" with all of my email, which contains personal information, medical documents, financial statements, etc.
https://www.youtube.com/watch?v=THNPmhBl-8I
Haus | https://haus.com/ | San Francisco, CA | ONSITE | FULL-TIME

We’re a small, well-funded, early stage startup tackling the $50B+ market of residential real estate looking to bring on our third engineer.

Node backend, React + Redux + ES6 + etc frontend. We're looking to hire an experienced full stack engineer who is excited about a collaborative, inclusive environment to produce high-quality code.

https://haus.com/job?id=245327

You can see the requirements in the link above, but here are a few non-requirements:

* Identification with a particular gender, race, or national origin.

* Sharing the same hobbies or beliefs as the other members of the team.

* A certain level of activity on a Github account.

* A minimum reputation level on StackOverflow.
> Because mediocrity gets managed out.

So for the first 8-10 years, keeping your job is your bonus? Honestly that doesn't sound very pleasant.
>In my experience, crappy drivers were a frequent reason for crashes.

Indeed. In the XP era:

"The main cause of BSOD in Windows XP was device drivers, which were responsible for some 85 percent of hiccups in the OS."

http://www.zdnet.com/article/why-the-blue-screen-of-death-no...

And in the Vista era, looks to be a bit under 82% according to evidence presented in a lawsuit:

https://www.engadget.com/2008/03/27/nvidia-drivers-responsib...
Not in government.
In what universe does it make sense for a DNS server to serve records that point to 127.0.0.1??

This DNS Rebinding hack should be easy to eliminate: only etc/hosts can make records that point to localhost.

I don't care if a HUGE swath of applications are broken by this, DNS just seems broken to allow remote DNS servers to make localhost records.

Please excuse my awkward use of words, I am a combination of sick and delightfully ignorant about DNS.
Blue Apron’s “Farm Egg” makes me question everything
Well yes, you _can_ verify ML-based systems (and I discuss briefly how in the linked article). It is just that this is much harder with such systems than with HW or SW systems for which "you have the source code".

What I meant by "Because ML systems are opaque, you cannot really reason about what they do" (perhaps I was not being clear) was this: You can indeed _observe_ what they do, but being able to actually inspect the source makes verification much easier and more reliable: You know what parts of the logic you have covered, you can think of "danger areas" (and direct testing to them), and you can simply check whether all the cases you can think about have been covered in the source.

With opaque systems, you have no idea whether e.g. your ML-based autonomous vehicle will recognize people-painted-on-a-bus as people-on-the-road, until you actually test for that. And then you have to test people-painted-on-a-truck.

What I meant regarding "modular verification" is that you can check sub-modules according to some spec (or at least according to informal comments). This is quite different from what you can do when analyzing NN layers.

I suspect you are right in claiming (in your last paragraph) that one will always have to choose between "more understandable" and "more accurate". But I think we can do various things (the DARPA suggestion being one of them) to make the "more accurate" solution more verifiable.
I've seen flamewars where someone would copy the entire text of Beowulf into the reply just so that everyone would have dozens of copies of it that would be dragged around every time someone added something to the chain.
There are already several methods to encrypt part of the software and bind it to downloaded licenses
This is an inherent problem with numerous different people using the same IP addresses (VPN, Tor, etc). And might be a bigger problem than Cloudflare can resolve on their own. Cloudflare has to protect its network and its customers like a normal business, so VPN and Tor IP addresses will naturally be viewed with suspicion.

Also, I think the captcha solution is better than what most administrators do, which is to block those IPs outright.
thanks for your time i will take a look at vulcan.:)
That's an interesting thought. But I don't generally share the resentment (although I didn't even read the link).

Writing still has to be logical, most of the time. Math papers are verbalized a lot. You can't draw a fine line between writing (literature) and maths. That's why the argument still holds. They are both the same thing from a different perspective, what you called intellect.

Mathematics is the most reduced form, though, and it is maybe more exclusive by nature, since it is all about learning and abstraction, whereas literature and language is most basically developed from calls to action, like, literally developed from calls.
>The link you are accessing has been blocked by the Barracuda Web Filter because it contains spyware. The name of the spyware is: Spyware.Exploit.BRTS.sciencebulletin.org
Except in brain surgery the surgeon generally still gets paid.
I think his point was that "developer has abandoned it" doesn't imply the app has no value.
Why would high performers stay in this environment when they could leave to work somewhere where pay is tied to performance and not seniority? It seems the only people who would be happy with this setup _are_ the mediocre.
Ethics is one thing, but forcing a candidate to produce a competitor's offer seems intrusive.
>It's been costing them money for a long time

citation needed
Perhaps that's too late?
If you're interested in why anyone would draw things like this, give Jung a read. His "Alchemical Studies" is chock full of diagrams, in addition to in depth explanations of the symbology and relations between the figures. It's mythological and religious in nature. The alchemists were kind of like nascent scientists, and it's extremely interesting to see how people back then thought. Fair warning: the rabbit hole goes very, very deep (you should probably read a few other works by him first for any of this to make sense: Symbols of Transformation and Archetypes of the Collective Unconscious), so just be prepared for the long haul.
Both were ludicrously unreliable by 21st century standards.

They were ludicrously unreliable by 20th century standards, too. It's just that not a lot of people had hands-on access to a mainframe or a mini running Unix, so the end-users got to think that's just how computers work. From my POV, PCs and Macs of that era were toys that coincidentally would occasionally allow useful work to get done. That's not to say I didn't do a lot of development for both, but my $DEITY did I wish I had to money for a real machine like a NeXT.
Hart | Orange County, CA | ONSITE | https://hart.com

Hello, its Eric (eric@hart.com) from Hart. Happy first of the month. I come in here every month and post the jobs we are looking for. Right now we are looking for several open positions. We look for highly talented technical enterprise level engineers and staff to meet the requirements of our partners in the healthcare world. We keep things very casual around the office, with our own professional chef, drinks, and snacks, your own custom workspace, insurance packages, 401K perks that can’t be touch, and I can’t even list all the perks here. Anyways this month we are looking for the following positions.

SCALA Data Engineers!!! - http://grnh.se/mj6wpb we can’t wait to talk to you if Scala is the game you are playing

Node.JS Engineer - http://grnh.se/3fujn5 We love the Node people in the community. If you want to join a crew of your Node Brothers and Sisters to push this incredible product stack into the healthcare industry then this job is for you.

Product Owner (Agile) - http://grnh.se/m6f5g1 I don’t own too much in my personal life but if I really wanted to own something it would be the responsibility of managing some great products.

Software Developer Engineer in Test (SDET) - http://grnh.se/ld86pr I have to admit I hang out with these guys a bunch and beat them in video games a lot. If you can please come here and give me some competition that would be outstanding.

Application Support Engineer - http://grnh.se/gkdm0r if you like to be client/customer facing and helping out our incredible clients we want to talk to you. We need you to be the bridge between our products and the customers.
When I write, I get more clickthroughs on "3000-word article on X" than "Article on X".

I think people use it as a proxy for depth. It's how they know "Oh, this isn't just a quick blurb or press release, this is the real thing. Someone put effort into this."
I disagree, pointing to risk management as the root cause makes it circular. I certainly don't expect private enterprise to right the state's wrongs, but I don't think it hurts the conversation to point out the true root cause. It has been my experience that HN welcomes a little more thought beyond the utilitarian argument of what makes the trains run on time.
Often the case anyway. Especially when you have specialized skills and employers aren't able to accurately judge them.
A Seeker of Dark Matter’s Hidden Light
Auto Scaling for EC2 Spot Fleets
iPhones are successful, many have been sold, yet the price has not gone down quickly.

For autonomous cars, the best-case component price estimates I've seen for solid-state LIDARs, assuming mass production, is $1000. I believe you need four of those, and then you need ultrasound, radar and super-hi-res cameras. And a big honking computer to process all that data. It's probably at least a $10k premium over the normal car just in additional hardware costs, and that's assuming mass production.

Then there's the cost of all that software development that companies will want to recoup, plus the cost of collecting and live-updating a vast data set of roads, pedestrian paths, local wildlife/other hazards, roadworks, local laws and regulations etc. in every big city and small town in all the world, to assist and confirm the information gathered by sensors in the car.
Also, does that mean I can't promote Gruyère cheese because the EU regulates that it can only be produced in Switzerland?