skysight-inc/HackerNews huggingface dataset:
It wasn't clear to me how the "best guess" works. Did I miss it?

Indeed, if program synthesis can be done for even slightly non-trivial tasks (find in list, etc) that would be a huge boon for StackOverflow answer bots.
Because they can, or because Navy do not have access to Shodan?
Formal logic can only be applied to precisely stated prepositions.

Formal logic would lead to bad things, for example, imagine a state bans sex with animals. You'd be guilty of having sex with your wife because she's an animal.

The law isn't precisely stated so formal logic is the wrong tool.

Law uses different sorts of logic. If you are curious, take a look at LSAT questions. That's the sort of logic and reasoning lawyers value.
"have you ever done any practice interviews?"

Honestly no (I had one a very, very long time ago though), and it would be stupid not to. Maybe it was stupid of me to think that practice from meetups, volunteering, and other interviews would be enough.
It all depends. Sure, if you put almost nothing in a 401k, then when you pull it out, you'd be in a lower margin tax bracket (and living on very little money).

But if you put a lot in, the fact you HAVE to start taking money out at a certain again AND it all gets taxed before you die means you pretty much end up paying the taxes anyways (or more if rates have gone up).
You can't sell Vim to non-Vim muggles just by talking about how awesome Vim is. Vim's power needs to be discovered, learned and appreciated by an individual on his/her own. Same thing can be said about Emacs. For a very long time I was totally convinced I won't be able to find every single feature of Vim (that I love so much) in Emacs. I started using it anyway - I was curious. For about a year I would have Vim, Emacs and InteliJ (with IdeaVim plugin) - all three running together. Building my own Evil-driven config was difficult. And then I found Spacemacs. Next thing I remember - I pledged myself to stay in Emacs and work without leaving it and switching back to IntelliJ and Vim even if it takes days to find the right solution. By the time when Jetbrains changed their licensing model and my InteliJ license expired I couldn't care less anymore. And then I got a new machine, and for the first time ever - I broke my ritual of preparing new machine, instead of installing Vim and setting the right config, I started with Emacs. It's been six months. My Vim config still pristinely default. And I don't even care.
I currently take the train. My door to door is the same as it would be if I drove, to within a few minutes. I choose to take the train because I can read, and so I can sometimes drink alcohol. I've been doing this for almost three years.

In my previous job, taking the train was a longer journey door to door (40 minutes compared to about 25, or 18 minutes once when I wanted to see how fast I could do it and didn't care about jumping the grass embankment to get off the motorway at the motorway service station). I probably took the train about two-thirds of the time, and drove the remainder. Had that job for about four years.

I am but one data point, but I see a lot of other people on the train doing the same thing.
SSN alone isn't thaaat bad but if you have someone's birthday and SSN you can for all intents and purposes do anything. Those two combined are basically the only proofs of identity that anything asks for. Only thing you can't do is get a passport and in some states (most now I think) you can't get a drivers license.
Where does the idea that you should spend 30% of your money on rent come from? I see it everywhere. Not that I'm questioning it in general, but does it ever change?
I suspect it's not common in the US, but my apartment is directly above a shop. I can stamp on the floor as much as I like in the evenings and on Sundays, since the shop is empty.

You could try raising the drum kit off the floor: http://www.alesisdrummer.com/index.php?topic=4068.0
Tacking on: sales tax is essentially a tax on revenue, just such that it only applies to retailers and is transparent to the consumer at the point of sale.
Would love to see it in C++11 or later.
University focused on Java. I mainly use C# with some interest in PHP (personal project), F# (went to several meetups and a workshop), and JavaScript.
Taxing the owners (as in a subchapter S corporation in the US). It's a pass-through. Then you don't have the incentive to do things like the double-Irish or similar unnatural acts.
Yea, I remember this fiasco when it happened on Reddit.
If you're not interested in the algorithm bingo as /u/x0x0 put it (great description, by the way), then I would highly suggest focusing more on working at smaller companies that need intelligent people with experience. They don't care about people who can sort things in polynomial time or whatever; they need people who can hit the ground running and really help them out. And I'm not necessarily talking about the 3-person mom and pop shop down the street. Even companies with hundreds of people are often starving for good employees.
Oh, I absolutely realise I'm oversimplifying it, but the point stands that, in most cases, it's in Facebook's interest to massively underreport value as part of that negotiation.

For example, say they invent a new way of compressing jpegs which saves them bandwidth and storage costs. Facebook could report that as costing them money: "Oh, that cost us $120,000 in programmer time to devise and implement".

It's entirely possible that this is true, but it's only half the picture: that new compression algorithm might have saved them twice that or more in bandwidth costs.

In this instance, it's 'efficient' for Facebook to report one part and then conveniently ignore the other. But the question remains is it honest? Surely the value of that technology is somewhere between the cost to create and the costs it's saved?
But profit creates an incentive for efficiency. Sell the same thing for 1% lower than your competitor and that goes right into your pocket.

Our current gov't system provide very little incentive for efficient use of funds.

I'm not arguing that all of these programs need to just disappear. I'm arguing a "race to the bottom" in terms of efficiency is a good thing, not a bad thing for gov'ts.
"Amazon being able to escape sales tax early was bad" - they didn't escape it. In fact, they were following the law and acting exactly as traditional catalog retailers did; they charged sales tax to customers located in states in which Amazon has a physical presence. It only became a real political hot button issue when they started getting so big that they became a target.
That's pretty cool. What GUI framework and on what OS(es)? and for web backends, is it vibe.d or some other thing?
> their roles in making loans that had no good faith data behind them

Everyone was doing it and the government was practically demanding it because a) they'd told everyone that real estate is the only asset class that never goes down, so keep buying and b) everyone should have a home, whether they can afford it or not, so make it happen banks, we'll even help.

So what law was broken exactly that these bankers should go to jail for? I have no doubt they've been investigated.

You want to know who should go to jail? Anyone selling student loans right now. That's going to blow up just as hard as the housing market did, and--in hindsight--their business practices will look just as shady. The equivalent of "How was a janitor going to afford a $300,000 house?" will be "How was an English lit major going to afford a $300,000 student loan?" The answer is "They can't" and I think you're a piece of shit if your job is to say otherwise. But when I say they should go to jail, I say so facetiously; they're not breaking any laws.
I would argue Singapore has a significant safety net, good schools and healthcare. Hell, most of the housing is gov't owned.
How does google support compare to AWS support?
I see 25% a little more often than I see 30%, but it's not that much different of a percentage.
I think it's more likely to increase when remote work (and maybe virtual reality) increases in popularity. When managers finally realise that you don't need everyone in the same office for a 9-5 shift (and the few advantages of such are replaced by something like VR), then I suspect urban sprawl will continue.

Why care about commuting times if commuting isn't as necessary in the first place?

Self driving cars may make travelling easier, but even then you've got to get somewhere. Even then the inside of a car is a less useful working environment than an office, so short commutes would be preferred.
Do they have to be? No glory in being a multi-billion successful business?
> Shrinkwrap is ridiculous. I'm expected to go look at every resolved dependency and individually add them if I want to update or not?

Not sure you're aware of the suggested flow (see here [1]), but it isn't ridiculous. Use 'npm outdated' to see which packages are out-of-date and 'npm update --save' to update a dep (and update the shrinkwrap file).

Keeping track of stale sub-dependencies is a problem in and of itself, but again that exists with any package manager. (Because you will always need to pin dependencies before you go to prod right). So that 'lockfile' will get out of date pretty fast. Node at least has solutions for this that other communities don't [2] (I haven't tried this service).

[1] https://docs.npmjs.com/cli/shrinkwrap#building-shrinkwrapped...
[2] https://greenkeeper.io/
This is factually false.

In fact Israel ships tons of goods every day.

Furthermore:

* a lot the land that is Israel today is bought.

* Jews that left neighbouring countries for Israel lost their property there vut this is never mentioned
Looks like it was written in the year 2000 so it is more than likely it was written on a UNIX system and used the .C suffix. I can't really tell though.
Math is taught so poorly that I am rather skeptical that this generalizes. I was fairly terrible at math ( although I scored well on tests and was able to struggle through it ) until I was in a junior year course that was used for discrete math, which went into proofs, and from that point on, it was simply no longer a problem.

But because I was specialized towards mathematics, I had been ... "inconvenienced" in favor of "easier" courses for the non-specialists. I think there's a severely unexamined premise in that state of affairs - but I have to ask - would others be as math-phobic if they really knew how it worked?

The head of the math/sci department literally said "Calculus keeps the dumb people outta med school" - and he was only partly kidding.

The question is - is rigor, even partial, informal rigor ( if that even makes any sense ) of value to everyone or not? It's obviously painful. But it really helps with goal of not being a sucker.
> definitions (even the most rudimentary ones) are based on -what we might call- statistical sets of observations

Mathematical definitions are usually abstractions of concrete observations, but they aren't the observations themselves. This is why coming up with a mathematical definition often requires more work than coming up with any other kind of definition.

> What is "1"? The idea of "1" can only be understood in terms of experience

1 is very rigorously defined: As a natural number, it's the successor of 0. As an integer, rational, real or complex number, it's the result of mapping the natural number 1 into Z, Q, R or C in a suitable way (compatible with the semiring structure of N).
Philosophy has some but not all attributes of this–for example, philosophical problems usually don't have the same level of objectivity and settledness, so you don't get the same 60-second level feedback loop of making a conjecture, being wrong, and refining it. That's not to say that philosophers never do something similar, just that it's not required as part of training.
> Oh, that must be it. Indian people care less than people of other nationalities, and it has nothing to do with... say, drastic disparities in the quality of public infrastructure.

Public infrastructure in India ultimately derives from the people. India has had 60+ years of independent, democratic rule. Blame for the lack of public infrastructure can't even be shifted entirely onto the colonial rule: India had some of the earliest hydroelectric power stations and pretty good rail infrastructure set up during that period.

Different cultures assign different values to various things. India collectively has not assigned a huge value to public hygiene. This is evidenced by things like the paan chewing and spitting mentioned in this discussion. This is socially acceptable in most parts of the country.

Slowly, things may change.
Where did you get that from? Am I suggesting companies don't produce any computers any more?

I'm suggesting having gov'ts compete on spending efficiency is a good thing.

If I get the same level of services from country A and B and country A's tax rate is 25% lower, then guess where I'm going?
My sense is that SPAs are for unidirectional information architectures: click on something, then click on something in that something, and so on, ever forward.

They almost always fail in some way upon use of the back-button (e.g. both Twitter and FB, among many others). The endless page pattern always either doesn't back-button to the right place or uses a smelly hack to re-paginate the endless page.
The data is cherry-picked. Look at this very article for a counterpoint.
That is because of the knowledge we have of the holocaust though. Try bringing someone from Asia who hasn't had the history education or seen any of the books/media and I doubt they would feel anything.
Personally, I just don't like PHP because I think the syntax is aesthetically ugly.
They just need to be more rational than the general population. Usually politicians don't really decide things though, but they're putting the stuff experts tell them into laws and arbiter between interests.

You'll need governments deciding things anyway. Otherwise you can't come up with fair contracts when there's a difference of power in the parties of the contract (think e.g. costumer and manufacturer and food safety regulations), even when both sides are rational.
Key facts:

> In fact, he said, the new catalyst is 1,000 times faster than noble-metal catalysts — and about 20 times cheaper.

> The combination of water and the ionic liquid makes a co-catalyst that preserves the catalyst’s active sites under the harsh reduction reaction conditions,

No mention of efficiency compared to photovoltaic cells.
However, this means that schools can't see what pupils search for, and that any network operator can force safe search.
Even in Math, coming up with good definitions is often the hard part. For example, modern point-set topology is both extremely powerful and consists of theorems that seem obvious to prove, but that's because the definition of a topology is so well-chosen.
I have been thinking about doing this for a while now but don't quite know how and where to start. Do you have some pointers?
I have seen this posted a bunch of time by various people but never really got up to asking them.

Things I am uncertain about:
* Organization/Admin set-up required to get going with me being the only person
* Finding programming projects, clients
* A good hourly rate to be charged

A little about me:
I have been working as a Software Engineer for a few years now with a very good understanding of python, java, C/C++, javascript (learning React these days), databases, bash scripts.
Have some experience with elasticsearch, big data (hadooop/hive), scala.
> I'm surprised people with six-figure salaries are sharing. Is that common?

Six-figure tech salaries.

Did you expect them to move with their non-existent girlfriends?
because only a tiny amount of the workforce does the kind of hands-off knowledge work than can be done remotely, and without the need for significant employee control.
Most of the time I use GtkD because my target platform is mainly linux but if I also want to target windows I use DlangUI. Don't actually target OSX but the apps happen to work on there too.

For the web backends I always use vibe.d
That sounds like BS.

Presumably the blog was only deleted because there's already some review procedure in place, and it found something that can't be distributed.
That's one way of doing it, but means that if the majority of your stock is held by foreign nationals residing abroad, the U.S. gets much less income, even though the majority of the value is being generated in the U.S. using U.S. infrastructure and services.
In Boston/Cambridge/Somerville it is depressingly common. I wish it were within my means to live alone, but even on six figures it doesn't make sense (I refuse to spend 40-50% of my net income on housing). Having roommates (who aren't romantic partners or family) is the worst. I need sanctuary away from people, and for example, it's frustrating when you want to cook and your cooking equipment is left dirty, when the kitchen is already in use, or when roommates have parties while you're trying to sleep. It's not an issue of having bad roommates, but of having people going about their lives independently in far too close proximity. I used to sleep without earplugs, but since moving to Boston I need to use them every night or I wouldn't ever get a full night of sleep.

Having roommates in one's thirties extends childhood much too far.

For me, density is the enemy, and being near nature is the goal. Unfortunately, jobs are in the city and not in the woods.
Yes. Six-figures is worth much less now than when the term came into popular usage.
No, it's the same in Kotlin, from the docs:

"There is a convention that if the last parameter to a function is a function, that parameter can be specified outside of the parentheses."

So you can have normal arguments and specify the last parameter outside like.

val col = "A"
val row = 3
table.update(col, row) {
it * 5
}

You may have confused that with SAM-conversions (?), which are for java-interop: https://kotlinlang.org/docs/reference/java-interop.html#sam-...
Lawyer answer (in general terms and without citations):

All intellectual property rights are limitations on free speech. Courts rule against the publication of exact copies, or identical copies in different media, every day. IP law requires courts to prevent copying else it be meaningless. The flag is not an expression of a new idea, it is a facsimile of a protected number, protected data little different than a copyrighted movie or patented design. Its publication could only be legal as some sort of "fair use", but exact copies that directly impact the financial viability of protected material rarely fall within fair use.

They would rule against the flag. If persons want to express themselves using this material, they need to add some form of comment so as to avail themselves of fair use protection. Add a stripe to the flag and get back to us.
Rich Piana Trains with the Mountain from Game of Thrones
> where it can be picked apart by hand

Could it be picked apart by a robot?
National Whistleblower Appreciation Day
similarly individuals that took out bad loas without properly reading and understanding the terms should be prosecuted too.
Credit theft. People can acquire a credit card by mail or online.

That's interesting... in Spain does getting credit require an in-person appointment? Because maybe that's a simple answer to 2/3 of the identity theft in the U.S.
By those criteria I have to wonder why you're not working in Perl, which is even closer to C and the metal than PHP.
Calling an SSN "a number" is reductionist even for a programmer. Does open() return an integer or does it return a file descriptor? Is it okay to do arithmetic on it and expect sensible results because it's just s number? In fact, programmers go out of their way to add a rich set of semantics and behaviors to things that are, under the hood, just numbers.
Author Alan Mycroft is co-founder of Raspberry Pi foundation. I assume, he was aware what he was doing back in the day.
>The fact that you jumped to 'other people's sloppy thinking' as your first example is somewhat telling.

You'll have to take my word for it but I'm under no illusion as to my smartness relative to others. More often than not I'm the dumbest person in the room. I learned the hard way that I have plenty of blind spots and I'm the first person I should be checking for 'sloppy thinking'.
I like how Conor McBride put it:

> I usually take the presence of any proofs in my code as the cue to question my definitions.

http://stackoverflow.com/a/13241158/46571
How clear-cut and simple everything is in your world! Good thing the real world is just like that - morally unambiguous and without complication or subtle nuance!
Sorry. I ought to have been more specific. I was referring to making a law that made it compulsory to lend to an individual even if it was clear from assessing that particular individual that their likelihood of defaulting was unacceptably high.
There are some efficiency numbers in the abstract of the "Nanostructured transition metal dichalcogenide electrocatalysts for CO2 reduction in ionic liquid." article:

Conversion of carbon dioxide (CO2) into fuels is an attractive solution to many energy and environmental challenges. However, the chemical inertness of CO2 renders many electrochemical and photochemical conversion processes inefficient. We report a transition metal dichalcogenide nanoarchitecture for catalytic electrochemical CO2 conversion to carbon monoxide (CO) in an ionic liquid. We found that tungsten diselenide nanoflakes show a current density of 18.95 milliamperes per square centimeter, CO faradaic efficiency of 24%, and CO formation turnover frequency of 0.28 per second at a low overpotential of 54 millivolts. We also applied this catalyst in a light-harvesting artificial leaf platform that concurrently oxidized water in the absence of any external potential.

Copyright © 2016, American Association for the Advancement of Science.
Under current law, if you live rent free in a house provided by a corporation that you owned, you anyway have to recognize an appropriate amount of personal income for that. Same with the use of a vehicle.

Compliance in such situations would probably be lower with no corporate tax, by incorporating isn't some magic process that makes income disappear.
Needybot: A robot designed to need your help
because giving a bad loan, just like taking a bad loan, is not illegal.
I think the point here is as in Israel, there needs to be a system, government, and culture that makes a free market possible. In the case where such a system is corrupt or instead offloads the costs onto another group of people, such a system falls apart and you have revolution as a result.
The problem was to write a solution to solve the subset sum problem in polynomial time. The instructions specifically did not want the exponential time algorithm. After playing with the problem for a few minutes, I realized that the necessary solution involved dynamic programming.

Do FB engineering types really think that anyone -- save for mutants like von Neumann and Ramanujan -- is genuinely able to solve problems like these from scratch, having never seen them before, in such ridiculously short time frames? Being as typically they were kicking around as open problems (either in the literature or folklore) for years and years before the optimal solutions were found?

Or that such "tests" are a measure for anything besides rote memorization skills -- and the willingness to suck it up, and cram it out, week after week, specifically for otherwise pointless regurgitation sessions like these?

Really now -- do they?
Well, you have to admit that a ketogenic diet is something else entirely. That is impressive, I personally don't know any people who could stick to it for such a long time.
The notion one "should" spend some fraction must come the real estate industry.

The rule should be "spend as little as you can on housing to achieve the quality you want (or can tolerate), but never exceed 30% (or other arbitrary percentage) of net income, lest you risk being unable to save for large future expenses and emergencies."