skysight-inc/HackerNews huggingface dataset:
I can put it another way:

It's easy to write a computer program that outputs every statement provable from the Peano axioms: start with the most primitive possible statements, then progressively output more complex ones. This is because the Peano axiom system is "recursively enumerable", to use Computer Science terminology. The program never terminates, but any provable statement you name will be output at some finite time.

Additionally, it's easy to write a computer program that outputs every possible combination of symbols. Most of the combinations aren't statements at all. Of the ones that are statements, most of them are not consistent with the Peano axioms. Of the ones that are consistent with the Peano axioms, most of them are unprovable. But if the set of truths is countable, this scheme guarantees that the program will output every true statement that exists.

It is possible to write a computer program that checks if a statement is provable from the Peano axioms. The naïve way is to run the program that outputs every statement as a subroutine, then halt if the subroutine prints out the statement which we wish to verify. This program will halt iff the statement is provable.

It is NOT possible to write a computer program that checks if a statement is unprovable from the Peano axioms. Such a program may be able to detect a subset of unprovable statements. The subset it can detect may even be countably infinite. But there are some statements which will cause the program to run forever.

Let statement X represent a formulation of "the Goldbach conjecture is true" written in the language of Peano arithmetic. Does the program run forever if asked whether X is provable? If you are a non-Gödelian being, you will be able to answer that question with no error, because Gödel's Incompleteness Theorem only applies to formal systems which can prove all true statements.
Red Hat Technical Cheat Sheets for Developers
And under that URL, a much more complete discussion is at https://news.ycombinator.com/item?id=14444467
https://webcache.googleusercontent.com/search?q=cache:PcuiIW...
If you are going to build and maintain a project, you are already taking on a second job. The difference is whether you make $0 or >$0.

You should not monetize if the problem your OSS is solving is not a problem you care about. You have to be in it for the long term as it always takes years of work to succeed.
Every new person makes any crypto system less secure ;)
Microsoft Excel 2007 Themes/Colors Support and Delete Comments in Excel Worksheet
It could go either way, honestly. Solar has shown that as production is vastly overbuilt, prices plummet and a lot of people go out of business because they were assuming higher prices than they were able to charge.

It seems likely that lithium ion battery production is going to face a similar fate. Tons of people interested in the space, enticed by a market that's set to explode in size.
At best, you can opt to not visit them again. And then you forget, or you really need to access them, etc.
IMO: No. It was more of an implementation issue. When Java applets were first implemented, the web platform was still extremely limited -- HTML was still at version 2.0, CSS and the DOM didn't exist yet, and Javascript was still very new. So it made some sense, at that point, to have Java applets exist in their own "world", and not interact with other web content.

A modern Java applet environment would probably look very different. More of a focus on providing a bridge to the browser's DOM, less of a focus on building UIs using native Java frameworks (like AWT or Swing).
A little more detail please. I will be compiling and researching and discussing with the team.
California Million-Dollar Home Sales Climb to a Q1 Peak as Stocks Soar
Poland of the early 50s was a pretty shitty place to live, especially as an independent thinker. While I am not familiar with the situation in Italy in the 50s, I am very familiar with the situation in Poland. It was a heavy handed state, happy to execute it's own citizens, and using plenty of propaganda in the state-controlled media too. So I have no clue whether your comparison with Italy is correct or not, but the statement from the New Yorker is hardly factually incorrect.
> Doesn't WASM need GC support before Go can be used?

Why can't the Go implementation can have its own GC, the same as the Go implementation for, say, x86 does?
Motors in electric cars are a commodity and the drive train is far simpler. These parts will either last the life of a car or at least be cheap/simple to replace.

The wear and tear to the interior of the vehicle over 1 million miles is a greater concern, but even that could be addressed via modularity.
Teslas have been showing around ~8% degradation at 100k miles. Battery degradation drops fastest at the beginning, so it would be unsurprising for the batteries to still have 80%+ capacity at 250,000 miles. That's quite good.

https://electrek.co/2016/06/06/tesla-model-s-battery-pack-da...
By itself, that's not in contradiction with it being a rare event.
As opined here the justification for the exhaustion of the patent after sale is that the patent holder has in the sale been granted the price desired, fair compensation, for the patented item, and thus cannot demand further use of the patent with respect to the item. However, this desired price can only be set by the patent holder in the monopoly granted through the patent in the US. Therefore, this price cannot be set outside of the US where the patent holder has no patent monopoly, and thus competition. Consequently, the patent holder will not receive the desired price and remain uncompensated by the patent, and thus may still require further use of it.

Surely the Supreme Court shouldn't disqualify the patent holder's right to fair compensation for the invention in sales outside of the US?
Very cool. As others have said I think you should add definitions for the words (even a link off to an external one is fine) and pronunciation (with audio, perhaps link to forvo.com?) would be superb.
Answer-set programming (ASP) is another direction to go in w.r.t. this relationship. It takes a Prolog-like semantics (and syntax), but rebases the solving process on top of a solver-style backend that shares some general similarities with SMT/SAT-style propositional solvers. The semantics of ASP were initially arrived at as one of several attempts to give a conventional logical semantics to Prolog. Prolog's semantics from the perspective of traditional logic are a bit obscure, because it's defined in a somewhat imperative manner as "whatever SLDNF gives you", which includes things like statement order being significant (queries might terminate under one ordering and not under another, which is not something you find in logical semantics).

ASP is based on one of those Prolog-semantic proposals, the "stable-model semantics", which competed with other proposals like the "well-founded semantics". Although these are first-order in principle, existing practical tools only implement propositional solvers. ASP systems still take a Prolog-like input language that looks first-order, but they work by first "grounding" the first-order formulae to a propositional representation, and then solving them. If you make suitable assumptions about finite domains etc. this has the same expressivity, but sometimes causes blow-up (other times it causes surprisingly fast-running programs, though).

This is a good open-source ASP system: https://potassco.org/
Great post!

Fascinating that some church leaders were against the fork because “God in his wisdom has provided man with natural forks – his fingers. Therefore it is an insult to Him to substitute artificial metallic forks for them when eating.”
Uhhh, I think you missed this--

https://wiki.mozilla.org/Mortar_Project
I'm not familiar with what goes in a browser, but for some reason, browsers seem to eat up a lot of resources.

While I am happy that it looks like this will (more or less) be standardized across browsers, I still hope for the day where running a more minimal browser (text, image, maybe videos) will become viable. Of course, I'm pessimistic on this, seeing as so many sites are probably not functional without javascript and other related technologies, but maybe some web developers care about choice. Who knows.
At Google, it's heavily used by Adwords. Building very large desktop web apps (with many screens, large tables displaying lots of data, material design, etc) with AngularDart is a sweet spot. Tiny mobile web apps for slow networks haven't been a focus (yet).

The other major use is for Flutter (cross-platform mobile app development), which is in alpha.

Outside Google, a developer advocate could tell you more but I don't think there's a central theme yet; various teams use it who like the language. Sass is using it, for example.

If you're looking for a fast VM and care more about type checking than about JavaScript or Lua compatibility, you might want to try it out.
Google alleges he then copied the files onto a portable hard drive and wiped the laptop, which shows a pretty strong intent to deceive.
Pretty simple: turn over the computer and/or devices it is on.
OP isn't calling out how it hurts CrOS, they're describing how it's the place that Chrome Apps are still available, and thus could have that functionality copied out of CrOS and rejiggered to (continue to) work in Linux.
He's probably referring to injecting/deploying the keylogger in the first place. Either it came with a malicious software, via a system exploit, or someone installed it having physical access.
I was a foreign language specialist in the military. When we were learning a new language, a few of the students hit a wall because they were approaching the material as "analogous to English." You can't think that way with most non-romance languages.

I'm now doing sysadmin work, and do a little bit of scripting here and there while working on teaching myself Python and C. Do you have any advice to avoid the kind of anthropomorphic thinking you mentioned your coworker does? The last thing I want to do is learn the "wrong way" and potentially struggle to rethink how to code.
I worked with a guy who did that; I wonder what the original thing was that required a triple sync? It was never needed on Linux as far as I know.
> What do you think: do inconvenient facts go away with a down vote?

Whining about internet points is annoying.

I agree that a Leaf isn't practical for longer trips. EV viability will improve with easier access to rental cars for longer trips. Zipcar doesn't have the coverage necessary to do this in most cities. Maybe Getaround will improve to the point where it's practical.

I consider most EVs to be equivalent to being 100% reliant on public transit; good for commutes, but unacceptable for recreation. And that's okay.
> What lets you determine when a composite object or pattern in an automata has crossed that threshold?

There isn't really a threshold beyond that pattern or object somehow communicating to you that it does indeed possess a will or some form of consciousness. The default assumption is to assume it doesn't until it shows it does instead of invoking an animist world view that imbues a spirit to every complex phenomenon (weather, death, etc.)

I'm in agreement with you though in general. It is arrogant to think that humans are at the terminal end of emergent complexity. Maybe our minds are too limited to conceive of something arising from a global or galactic scale.

Are our individual cells aware of the person?
The Most Neglected Programming Constructs
Your pique is noted, but as more anecdata I use Chrome Apps for Soundcloud and Mixcloud, where it's nice to have a Chrome window that won't collect tabs and have a recognizable icon. I have dozens of tabs open in each of several Chrome windows and it can be a pain to find the one I want. Insert complaint about not being able to switch to a tab from Chrome Task Manager.
>It'll still take time for me to see savings over a car in the $20-$30k range.

Consider that a great deal of that price difference may just be scale. Combustion engines are extremely complex and have hundreds of parts, and require tons of automation and labor to make and assemble. Batteries can be spat out of a few machines. Batteries are heavier, and made of more stuff than an engine+transmission, but they are way simpler to build.

Also the highest material expenses of batteries, nickel and cobalt, may also become cheaper at scale.
So they implemented AVX512 on the Xeon server parts in microcode? That seems crazy.
Have you looked at BearSSL? It has constant time AES[1]-GCM[2] optimized for ARM Cortex M0 (32bit microprocessors that go into USB cables: http://www.cypress.com/products/ez-pd-ccg2-type-c-port-contr...)

1 - https://bearssl.org/speed.html#symmetric-encryption

2 - https://bearssl.org/speed.html#mac
Probably the way to go but I would not invest in someone like him if he is proven guilty. But I am sure a lot of people don't care about whether he's convicted, people will invest anything that can sell for money.
If EV's are at least as reliable as Toyotas that's a lot of expensive errands avoided relative to your average American car.

GMs and Fords spend a lot more time in the shop/parking lot of AutoZone.
What about other languages?
Rabois's aforementioned sexual harassment case involved a relationship with another man at Square. And yet see homophobic comments above from Stanford days.
Given Promise.all resolves to an ordered array surely this would work:

const [foo, bar, baz] = await returnerOfPromiseCollection();

That would assume there was either a) a catch in that collect or b) some error checking, but still...
"Debts that can't be repaid won't be repaid."
Signal Desktop and Cleanflight are open source.

And sometimes, you have no choice - there's no FOSS alternative to TeamViewer, and thanks to it running inside Chrome, I no longer have to run a Windows VM.

The web based SSH client is published by Google themselves and they use it internally.

> The teams working on Debian, Ubuntu, Arch, etc. have much better security track records than some random web developers who've made an "app".

The way things are, right now, Chrome is much better at protecting apps from each other than my Linux desktop is. If, for example, the Cleanflight or TeamViewer apps were regular apps, a bug in them would fully compromise my account.

---

Off topic remark about Linux distro security: I really like Arch, but security isn't their strongest suit. For example, they still haven't enabled full-system ASLR, citing unfounded performance concerns, when other distributions did so years ago. Even Windows with all their third party apps has a higher percentage of ASLR binaries than the average Arch system.

They also have no central build system and instead rely on volunteers who build the packages on their personal systems and sign them using their personal GPG keys.

I really want ASLR in Arch so I'll keep complaining about it publicly until it finally happens :-)
One small benefit is that it's now easier to generate code.
Well, here in British Columbia we had toll roads that worked exactly that way.

They were very unpopular, and played a role in the governing party losing the election. So I'm afraid: that's not going to resolve the unpopularity.
Niantic aren't exactly speedy, it's true.
Jobs described styluses similarly.. I wonder if he got it from a similar attack on forks
From the asm.js FAQ:

Q. Why not NaCl or PNaCl instead? Are you just being
stubborn about JavaScript?
A. The principal benefit of asm.js over whole new
technologies like NaCl and PNaCl is that it works today

asm.js however wasn't good enough to actually be useful, as evidenced by the lack of adoption and the move to wasm. So now we have wasm which is not backward compatible. We would be further along now if Mozilla/Eich would have gotten behind Google's more mature effort, this really was stubbornness IMO.
I learned to do that in academia, too. It's effective but you need your flame retardant boots on.
India cancels 4 coal based powerplants
Well, if he has a rock-solid benign explanation, why doesn't he come on the stand and testify?
> FWIW IE 11 is around 3% globally…

Out of all browsers, including on mobile devices -- which skews the results pretty significantly.

If you only consider desktop browsers, MSIE comes out between 9-10%, including about 7% on MSIE11. That's not counting Edge, which is another 3% or so.
> Perhaps we will, given the ramping production, but if they don't move more or less in step, prices could be somewhat stubborn

There's somewhere in the range of 35-50 gigawatt-hours (GWh) of annual lithium ion battery production capacity at existing manufacturing facilities worldwide right now. By 2020, under three years from now, that will triple or quadruple to 150-200 GWh, based on new factories that have broken ground or money already committed to expansion from BYD (20 GWh), Boston Power (10 GWh), LG Chem (7 GWh), CATL (50 GWh), Panasonic/Tesla (35-50 GWh), Foxconn (15 GWh), Samsung SDI, SK Innovation, and others. Given how long it takes auto manufacturers to take new cars to market and grow their sales (years) and how few are actually far along enough to hit the market in the next year or two, I don't think the supply side of the battery market will have any trouble keeping up with demand. It may even be too much, lowering prices.
I came here to ask about things like this...
PSA: `setTimeout` can be `promisify`'d directly despite featuring flipped arguments, thanks to a built-in `util.promisify.custom` definition.
> Logo is great and all, but we're not talking about beginning programming for kids, we're talking about CS degrees.

I'd be willing to bet you could create a CS course using nothing but Logo - and it would probably be better for students than what currently exists.

In his book "Mindstorms", Papert discusses the faulty idea that Logo is only for children, and that it isn't a language that can be used to develop complex software.

The fact is, it can. In fact, Logo is pretty close to Lisp in its functionality.

The most complex piece of Logo I've ever seen was a few decades ago in an issue of the Rainbow Magazine (for the TRS-80 Color Computer); it was essentially a game of Monopoly, with full graphics (and probably sound too); I'm not sure if it did any kind of file i/o - but I know Logo supports all of that and more (especially current versions of Logo).

Seriously - if you think Logo is only for kids, you're missing out on a very fascinating language.
Oh joy, more Slack pings from the data team (check my username).

Nice work!
On higher education, programmers and blue-collar job – answer to Wired
A sandbox bypass would be an exploit, much more severe than malware.
Viral stuff
Go to YouTube @ Ricardo chas hewitt right away and watch, subscribe and share
The world need to see
https://youtu.be/BdSoDnAzh9U
I'd be surprised if you could get a full kWh per day out of solar panels on a car itself; they're at a non-ideal angle, can be parked in half sun half shade, etc.

Most cars get really close to 3.3 mi/kWh. So unless your commute is really short, it's not going to make a huge impact on the number of times you need to plug in.
Project Mortar is different in the fact that it is PDFium and Adobe Flash being allowed via Pepper API — basically it's for sandboxing those current native plugins. This would not be a public web use case.

PNaCl vs WebAssembly was all about letting everybody run sandboxed native code in the browser without any extensions or prompts.

Native Client (the portable version known as PNaCl) was an open source project by google to achieve native performance with sandbox security.

Mozilla wanted a more open web which led to Web Assembly.
When I read “The new blue-collar job is coding” (https://www.wired.com/2017/02/programming-is-the-new-blue-co...) I felt that there was something wrong with such an idea. I have decided to write my own essay. Although, it is more about formal education than why programmers cannot be blue-collars, the second topic is covered as well.
It's because IE11 doesn't support flexbox.
This was tried many years ago. At that time, Promises/A+ was not finalized, and the community could not agree on which Promise specification was best, or even if one was needed at all.

Callbacks are lightest-weight re: CPU & memory overhead, so it was decided that core APIs should implement that, and developers can override using promisify (via e.g. Bluebird or the new `util.promisify()`) as they need. But putting that kind of assumption in core could lead to significant pain.
And you can fill a fuel tank with gas in 10 mins. Really wide spread adoption of electric vehicles will require a Nobel prize winning jump in battery tech.

And governments will tax electric cars to make up for the loss of fuel duty.
For example of a small thing that's discussed by the EU with regards to this, if I get a netflix subscription here then go over the border I can no longer watch what I have even already downloaded. Netflix should not have to stop someone watching a show just because they went a bit further down the road.
Swiss court convicts man over 'defamatory' Facebook likes
Camry was purchased for 15K used w/ 30K miles in 2005; the new car market is for suckers.
I think OP was thinking of this[1]

[1] https://www.smartusa.com/models/electric-coupe
Ask HN: What industry or technology needs democratization?
Hi everyone,

I've been combing through the S&P 500 lately as a mental exercise to find which large, old corporations have a younger startup competitor that immediately springs to mind.

I think it would be fun to see what technologies we can think of that are very complex, expensive, and operaionally intensive, but could somehow be brought into an individual user's household.

Examples to get your brain thinking:

-Mainframe -> PC

-Iron foundries -> 3d printing

-Stock trading/charting went from the few to the many

-Internet/telecom went from household to mobile

Some ideas of mine that are probably being worked on already anyway:

-FPGAs and ASICs are still extremely capital intensive to fabricate but offer legitimate performance boosts, not easy to get hands on these like x86 cpus

-3d printing for all feasible materials

-Manned aircraft of any kind are still very expensive to obtain and permit despite the massive demand I imagine to avoid traffic and go to places with no roads. Drone hoverboards already exist!

-Wireless/radio networks are extremely expensive to build and operate, hence why in the US it is cartelized. Plans for balloons in space exist to deliver service to rural areas- what about local players operating their own ham networks?

-Robotic chefs, robotic farms

-RasPis are making beowulf cluters and super computing more economically feasible for the masses. Soon some of the largest information businesses built around search (google, expedia) and data (financial exchanges) may become services a person can do themselves in private.

-Diamond mining/sales. Heavily cartelized for little reason. Massive demand, world could use more ethical suppliers of alternatives
> That was back in the 90s when I had that semicolon problem, and I'm pretty sure compilers have improved since then, because I usually see compilers catch missing semi-colons pretty much exactly where the problem happens nowadays.

Yeah - that's been replaced by C++ compilers b0rking hard on errors in variable templates and such (and leaving you just as confused as to where the problem really is).

/wish I was making this up...