skysight-inc/HackerNews huggingface dataset:
I have three questions (insufficiently educated objections?) about this article:

1. It says "Clearly, PA proves that program e accepts only a finite set, since either no such proof is ever found, in which case e accepts nothing (and the empty set is finite), or else such a proof is found, in which case e accepts only that particular finite set. So PA proves that e accepts only finitely many inputs."

It's not at all clear to me that PA can prove this. This seems to be asking PA to prove that, if this program constructs a proof of a statement X (where X is of the form "e accepts such and such"), then X is true. From vague memory, not only is this far from clear, it would be actively problematic if this argument were valid due to Löb's theorem. Wouldn't it follow that PA was inconsistent?

2. In the first theorem in the article, e is explicitly constructable. Take e and search for an accepted input. Suppose such an input n is found in finite time. Then e accepts n. Assuming the theorem is right, there exists a model of PA in which e does not accept n. ISTM that, unless e accepts nothing at all, PA is inconsistent or proves false statements. What gives?

3. I would expect that e, as constructed in the paper, accepts no inputs because there are no proofs of the form it's looking for. If this were the case, the proof would fail at "meanwhile, assuming PA is consistent, then you cannot refute the assertion that program e accepts exactly the elements of some particular finite set A". I think that's an invalid argument. PA can't refute that assertion, but that doesn't mean that a stronger (and still consistent) theory can't refute it.

Unless I'm off base, I would think that, if PA is consistent, then the program never halts on any input, but that this assertion is unprovable in PA.

Edit: I can think of one way to make sense of most of this. Normally, I'd say that a Turing machine M accepts input x if M, given input x, enters a accept state after n steps for some natural number n. This could be extended to say that M nonstandard-accepts if it enters an accept state after n steps for a possibly nonstandard n.

This would permit M to nonstandard-accept inputs that it doesn't accept in the normal sense and for the set of nonstandard-accepted inputs to depend on the model in question. It would make understanding what the Turing machine does much more complicated, and it would be strange to say that the machine doesn't halt on input x (in the normal sense) but nonetheless nonstandard-accepts x.

It also doesn't address my question #1. (I think it resolves #2 and #3 though. e never halts, but it non-standard accepts languages that depend on the model.) And it makes the theorem much less interesting, IMO. If Turing machines are allowed to have a sense of acceptance that depends on the model, then it's not at all surprising to me that there are Turing machines that behave very flexibly depending on the model.
Yup, getting exposed to a variety of new things is great, you learn a lot, and have a lot of different styles.

I agree, and thank you for helping creators get exposure for their work. I'm sure it makes their day when someone uses their framework, and it sure does for me :)

Minimalistic frameworks FTW! I don't like the ones where there are a ton of classes to learn, or when they are complex (like ".o-s-c-3-4").
I don't really understand the point of this article. The only conclusion this draws is that Mark Zuckerberg (and Eric Schmidt, apparently) are naive. Does this matter? Does a billionaire's understanding of the world really affect anyone at all?

This feels mostly like a personal attack. The author asserts that Zuckerberg doesn't know what a community is, but doesn't explain this further. Nor does he present any real reasoning beyond "my interpretation of this message is that he doesn't know what a community is." Is the point that we should abandon technology? That technology can't augment human interaction or provide a platform for discourse? I can't see any other proposition by the author. The cheap shot at Schmidt at the end implies, to me, that we shouldn't have a networked world where communication is universal and free. The author implies that we do live in "a comprehensively networked world," and that Schmidt's hypothesis has fallen flat. Does anyone actually believe that communication is a solved problem? Hell, we can't even agree on whether OSS projects should use chat rooms or not.

> There is also, I am sorry to say, a less charitable explanation. It is that he has concluded that what is wrong with the world – all the fanaticism, cruelty, warfare, myopia and xenophobia – is because some parts of the world are not yet on Facebook. If only they were all part of that mythical “global community” then everything would be OK.

I think that's a very reductive way of reading Zuckerberg's comments. Certainly, he is writing from a very privileged position atop his piles of cash. But I think it's silly to assert that "In times like these, the most important thing we at Facebook can do is develop the social infrastructure to give people the power to build a global community that works for all of us," translates to, "if we're all part of a global community, everything would be OK." Of course everything wouldn't be okay! But it's certainly better than nothing, I'd think.

Let Zuck go on his little The Simple Life experiment and let's worry about, I don't know, net neutrality being destroyed or whatever.
I have a vague memory that some UK regional accents are considered to be more trustworthy, and are used in call-centers. I wonder if there's are related effects for female voices.
Reform of the date of Easter
To me there is no difference between appearing intelligent and being intelligent. That's what the Turing test is all about.
The Other Browsers dialog is broken on mobile.
Because this leaks to the user. For example, you'll be dealing with paths like /mnt/c/..., which, if you surface it in your UI, will rather confuse someone who expects C:\...

And speaking of UI, that's one major hurdle right there.
I won't argue with that, but that isn't true in the case of the X-37, which is why it glides into landing.

Elegance in engineering is fulfilling the requirements in the simplest, cheapest way possible.
Few stick through the thin.
> - Rails went on to release subsequent versions, each of which advocated doing a near rewrite of working code and obsoleted/broke many of the libraries in the ecosystem.

That's simply wrong. I've maintained a moderately-sized Rails app since 3.x, and updating never took more than an hour or so, even for the major version changes.

It's also deeply unfair to the Rails team. Your timeline should include, as the first entry:

- Rails 1.0 is released, showing the web development community how to structure a project, delivering us from XML, and banishing config.backup.inc.php3 from our nightmares.

Rails came about in a world of SQL embedded in html, or (almost worse) the idiotic idea of "templating languages" that were poorly designed re-implementations of php ("but this time it's just for templates!"). Testing meant clicking through your application, and javascript was exclusively used for replacing the deprecated <marquee>.
> Male voice puts you instantly into
> play social status games mode

I suspect that's just one facet of adult males representing a lot more danger than adult females.
I'm guessing it's because even today, married men still expect the women to do all or most of the housework, while also holding a full-time job, so men in marriage get a better deal as long as they're in the marriage, and don't realize how frustrated and unsatisfied the woman is. But they get screwed once divorce happens.
The problem is described perfectly with the name: desktop environment.

The very goal of a desktop environment is to create an entire environment, rather than using the one that is already there.

Desktop environments like GNOME and MADE have so many worthless parts that are tightly coupled dependencies, they end up becoming the same bloated mess that Windows and OS X are.

If a desktop environment focused on creating separate packages that played well with the underlying system, they would not have this problem.
JPL: https://www.jpl.nasa.gov/opportunities/experienced/

CalTech: https://jobs.caltech.edu/postings/search?utf8=%E2%9C%93&quer...
Other than the Tijuana runoff and construction (tough to have cities without construction), what have SoCal cities done that negatively impact the environment? Some people seem genuinely grumpy that there are so many dolphins, seals, coyotes, and mountain lions. If the apex predator are intact, I am inclined to think the underlying ecosystem is fairly stable. You apparently disagree. Why?
A functioning redesign of Wikipedia
What public websites have you made with it? What other gems do you like? (eg Sequel?)
EPA dismisses half of its scientific advisers on key board
Pebble Time Steel 2
It's not Michelin but Bib Gourmand
None of the mainstream ones that I can think of. Which is really unfortunate, not the least because the defaults are all over the place - usually it's either bytes (when strings are UTF-8) or code units (when strings are UTF-16 - note, code units, not code points, so surrogate pairs count as 2!). Occasionally it's genuine code points, as in Python. Which, I think, goes to show why it's such a mess.
What was 81 million dollars spent on in 2016?

Employee cost has grown 300. How many employees are there? What do they work on?
All the best video games were published before 1990.
Only thing missing is how to put it in /etc/fstab
I've seen deer -- at night -- in Zone 1 in London. Where there's food there's life.
Read bunch of chapters from here and there but didn't complete it. Learned some interesting concepts that I wasn't familiar with, didn't seem like it had any central focus, went on to various tangents. I was recommended to read this to learn about AI, on that, I didn't find it very interesting.
Rosettacode Holidays related to Easter
We detached this subthread from https://news.ycombinator.com/item?id=14288115 and marked it off-topic.
Large areas of reasonably flat land can be demined very quickly using a demining machine. It's a large armored vehicle with a set of rotating flails on the front, similar in appearance to a combine harvester. The flails detonate the mines, while a thick steel scoop deflects the blast away from the vehicle. It's a low-tech but very effective approach.

The problem in the Falklands is that demining machines are very destructive of habitat. A demining machine effectively ploughs the land - a useful side-effect if you're clearing agricultural land, but a serious problem if you're clearing a nature reserve.

http://www.gichd.org/resources/publications/detail/publicati...
I was writing voice assist for star citizen(3rd party), I made sure I had both male and female. It bugs me that a)you can't call these 'assistants' by different names and b) they are always female.

Btw male here, but seriously, it's 2017, can we get a little customisability in this area?
Apple market cap: ~700B, Microsoft market cap ~500B.
What about Arch Linux?
Really? The negative is that they didn't act in the best interests of humanity--the very people that make up their shareholders, employees, customers, etc.

For example, it's well documented that DuPont fought to continue using CFCs until they had secured patents on replacement products and suffered public humiliation by our government.

Companies will not generally act in the best interests of the citizens, which is why we have a government which should be independent of influence by leaders of companies.
Assuming everyone lives, builds stuff, and maintains stuff at the bottom of the gravity well is an assumption well suited to the present day, but not to the setting of most cheap sci-fi novels.
The key financial metric I'd look at is "months to cash out". Basically someone reasonable needs to decide "if no other money comes in to this organization, how long should it need to operate?"

From there you can get more specific on what "operate" means (i.e. will layoffs occur before scaling back hosting costs).

Has there been any such analysis?
Rosettacode Reports:Tasks not implemented in JavaScript
> "Why do assistants tend to be women?"

Lots of reasons, but a major one is that until relatively recently that's one of the jobs they were permitted to have: http://scholarship.law.cornell.edu/cgi/viewcontent.cgi?artic.... In the legal world, for example, law firms openly rejected top applicants solely because they were women well into the 1970s.

People tend to think of that time as ancient history, but it's not. C and UNIX were developed in the late 1960s and are still the bedrock of the Internet. Why should we expect social phenomena would move faster than computing technologies?
I wonder if this is because you can get around money laundering/financial control laws when buying a house for cash? Do the sellers have to check where your money is from when you buy a house?
Tim Berners-Lee on the future of the internet, 'fake news,' and net neutrality
It means the initial server-rendered page comes with a JSON representation of the store used to render it. Usually in the HTML.

The client "rehydrates" this data into its own store so that its state is consistent with the data rendered. Essentially we're in the same position as if we'd rendered it client-side.

It's a lot simpler than it might sound.
How Dealerbaba Can Help You to Spread Your Business?
To be fair, it's really hard to capture a compelling real life image of programming.

But agreed.
If whites are as awful as this and every other Slate editorial implies--that they constantly torment blacks with their "white supremacy," "white privilege," and "structural racism"--why is the prospect of whites simply withdrawing entirely from blacks so horrifying to progressives? It's almost as if they secretly believe blacks cannot thrive socially, academically, or economically unless surrounded by magic white people--itself a form of "white supremacy."

White people (and seemingly everyone else, including even other blacks) don't want to live with black people primarily because black people commit an enormous, disproportionate amount of violent crime. Half of all homicides in the US are at the hands of a black perpetrator, despite blacks comprising only 13% of the population. Worse, blacks disproportionately commit violent crime--including murder, rape, and assault--against whites, and to such a degree that 85% of all black-and-white interracial crime is black-on-white:

https://www.amren.com/the-color-of-crime/

Rape is a particularly striking example, with such a "disparate impact" on whites that there are, conservatively, ten thousand white victims of black rape for every black victim of white rape:

https://www.bjs.gov/content/pub/pdf/cvus08.pdf (Table 42, p. 55)

https://www.amren.com/commentary/2017/05/black-on-white-rape...

Whites are entirely reasonable for seeking segregation, and if blacks actually believed their own narrative of victimhood, they would be segregation's most vocal supporters.
> I'd note that Vim also allows writing plugins in Python

Shameless plug, I wrote Snake https://github.com/amoffat/snake, which makes writing plugins in Python much easier.
Unless you want to sign drivers. I've had a grand total of $20USD donated, only $64 left to go before I can sign my toy applications.
STOP! Spend your time and energy on clients that pay.
>We're social creatures. We like interacting with other people more than we like interacting with machines

speak for yourself.
> vy is built on top of Tkinter which is one of the most productive graphical toolkits

I thought everyone always says it stinks and lacks better components.
So you listed few and can only assume others. Looks like an opinion to me. Comparing to average 500 games application per day it does not look like too plentiful.
Flechettes have been horrifying since WWI.
The warning voice in the B-58 hustler was made female because studies found fighter pilots pay more attention to female voices under stressful situations. There is an obvious "lol" reason for this, but the reality might just be the human ear can hear female pitched voices better when there are distracting noises. Deep voices are often difficult to hear.
You can get what amounts to an HTML dump (which is then indexed and compressed in a single huge archive) from Kiwix. Although they do them basically twice a year or so.
That's a bit like cutting off your nose to spite your face.

Sure, you can get around some silly patents, but you have only solved that problem (and an implementation at best): because you can't get the algorithm to explain itself, you don't know why it works, or how and you hence can't use that knowledge to build something better or increase your understanding.
Yeah, the SSPD (NASA office behind Restore-L) started with the Hubble reservicing missions
You've banned my account or the person I replied to?
Definitely worth the watch.

here are my cliff notes:

> human energy consumption, by means of burning fossil fuels, is the reason for green house gases, that in turn trap more heat, then our environment can sustain.

> technology to reduce CO2 emission, assuming the same level of electricity consumption -- is far from being available.
They had talked about Nuclear, sun, geo, nuclear fusion.

>more efficient means to convert to electricity:

>35% of coal energy is transformed to electricity

> incandescent light bulb converts only 5% to light
If larger city (NY, Moscow, Bombay etc) switch to better light bulb, 1 million ton of C02 emissions every year, each.

> simply changing from coal to gas cuts carbon emission by 40%

>half of worlds oil is used by 500mln road vehicles. 400 mln of those are private cars. each producing 4 times its weight in CO2, each year. Internal com engine is only 20% efficient. Cars can improve by 3 times (not clear, if they assumed electric only or not).

> when gas is not available option, coal can be gasified

>
>Taxation can work both ways, already there is a talk of carbon tax. But how to achieve compliance across national borders.

>Global warming calls for global response. but world is not a common market.
Examples they used is Easter Europe, other developing regions.

>How could this countries advance, but leap-frog energy developments?

Future must be different, developing countries cannot take the same path as the developed countries in the past.
My experience exactly, though I didn't bother to spell it out in detail. Also the final move to Fastmail, who, it must be said, serves me nicely and well.
Does Jekyll still use Sinatra? If so, does this mean anything cool for Jekyll?
The article's point is broader than that: the entire idea of physiognomy, "the practice of using people’s outer appearance to infer inner character", is not scientifically defensible. There's no mechanism that would cause someone's inner character to be reflected in their appearance in any consistent way. This remains true even if it's a computer algorithm, not a person, making judgements based on people's appearances.
"A hen is only an egg's way of making another egg."
Samuel Butler, Life and Habit
Apple has 18% of the smartphone market: http://www.idc.com/promo/smartphone-market-share/vendor

And 7% of the PC market:

https://www.google.com/amp/s/amp.businessinsider.com/apple-m...

And greater than 10% in the US.
I saw the video, he supports it.....
This is a very interesting paper. Is there an implementation example in any major framework?
I think this problem derives from the nature of and incentives of people. What happens is that certain managers (and founders) have derived their success from pushing certain directions that have added a lot of value.

Usually long term initiative take a lot of domain knowledge and a specific set of connections. When something new becomes more important, they risk losing their personal position since they may not be the best person in terms of knowledge and connection to carry out the new direction. Instead they try to use their accumulated power to keep their direction supported even when it's not in the interest of the business for as long as they can.

To address this, perhaps there's merit in rewarding timely exits and somehow punishing people that have dragged things out. However the most that companies can do is usually just fire someone. And at that point they have probably sucked the company dry of the value they can personally extract.
One should not set a tactic as a goal. Marriage is buy a way to amplify enjoyment in life. Some marriages are wonderful, some are deadly. To be clear in ones objectives is to hit the mark much easier. Many the married person would be better off finding a new person to enjoy marriage with, than fight desperately to not be in something new.

Thus it's not the staying in a situation that's important, that's but a means to an end.

That being said, flexibility is nice, and if you have more paths to happiness and less paths to sorrow, you are likely to be happier. Don't sweat the small stuff, and it's all small stuff the saying goes.
I can see the utility for the Otakus/Weeaboos & Waifus, but doubt there is any real market for it.
What you're talking about is called foveated rendering and it's already used today in VR to reduce the rendering workload around the edges.
> It has the feature of decomposing precomposed characters in file names

I was under the impression that the new APFS stopped trying to understand bytes in filenames at all, thereby switching from 'confusion' to [tableflip] as a policy (which is likely an improvement, but also amuses me on the basis it's nice to know [tableflip] is about the only response anybody has to certain unicode-isms)
What about SumatraPDF?
Oh that was cool. I have a stupid grin on my stupid face now.
I've been listening to Python podcasts recently and this is certainly the impression I'm getting. Plus, there are always backports for those who cling to 2.7.