skysight-inc/HackerNews huggingface dataset:
I think other commenters emphasizing agency are spot-on. A kid needs to have enough leeway to get interested in whatever random things they feel like getting interested in. With computers around, he'll probably random-walk his way into engineering anyway.

I think it's good not to obsess about limits around computing time, even if the kid just plays games. As you most definitely know from your own experience, programming and electronics - or any other creative disciplines - are not things you do 3 times a week for 1 hour after you've done your homework. They require long and uninterrupted blocks of time. Setting a hard and short time limit for computer use pretty much ensures a kid will only play games, chat and browse cat pictures, because those are only fun things you can fit in tight schedule.

Games ain't bad - there are fun ones, there are ones with stories comparable to the most important works of literature and cinema, and if the kid starts to think about making his own (as I did when I was around 9) or (more popular today) making mods to the ones he like, it can lead straight to amateur gamedev and getting really good at programming very quickly.

Also, if he likes space, show him Kerbal Space Program at some point. It has an uncanny ability of getting people into aerospace and making 12yo better at physics than high school teachers.

You live in Germany, there's a strong hacker culture there. When he's little older, take him to a local hackerspace! People there are usually very friendly and can show some pretty cool DIY tech that could spark kid's interest in electronics and programming.
Global Internet Governance Gaps Are Growing
$ swipl
?- X = 10.
X = 10.

$ gprolog
| ?- X = 10.
X = 10
yes

(a) The REPL should print the variable bindings which caused the query to succeed. (b) The query `X = 10.` should succeed trivially.

I've been using Prolog on-and-off for close to a decade now and have implemented my own pseudo-Prolog (also in Javascript; was missing logic variables and extra-logical builtins). I tried to get pretty much any query to succeed in this interpreter and couldn't. This is not any kind of Prolog that I'm familiar with.
Reading tip: Use the page down key instead of mouse wheel. Will keep the moving artifacts to a minimum.
I don't get the point of the title. 4 pages + a PhD in math is needed.. lol.

Here's even a shorter summary:

Wiles proved a special case of the Taniyama-Shimura conjecture, ie establishing that for every rational elliptic curve there is a modular form with the same Dirichlet l-series. Faltings previously proved that if there was a counterexample to Fermat's Last Theorem, there'd be a certain kind of elliptic curve that is NOT modular - thus Wiles, by proving the modularity theorem for this class, proved FLT. But his proof had an essential gap, so he had to invent a certain kind of Iwasawa theory as an alternative method, to complete the proof.

In otherwords, "summarized" really is an important word.

[edit: fixed spelling]
I don't think one should obsess too much over the "pure fun" ones. Growing up is just like basic research - you have to let yourself waste time on random stuff with no apparent practical use.
Qi doesn't exist the same way that software doesn't exist. It's an abstraction that labels an emergent phenomenon. Software is made up if zeros and ones which actually don't exist but are labels we give to certain states of organized matter and energy. The same goes for Qi. It's the perception of a composite of the various aspects of a body's state as well as mental awareness of that state, such as relaxation in a specific part of the body. It's more detailed than explained here, but that's the jist.
The linked post notes that the new environment variables stuff is in the preview build 10565. I presume you'll only get that build if you select the Insider build channel. I'm still on the standard release build 10240 which still has the old environment settings box.
Windows 7 Professional ISO Download 32 bit 64 bit (x86 x64)
This is simply not correct in the age of automation.

You are basically saying that your apartment does not get vacuumed because Roomba is doing the job.

And the amount of effort being exerted by the company is not the same thing as the amount of effort being exerted by the employees. All these companies have huge profit margins and owners can easily make their employees' lives more decent instead of treating them this way, like sociopaths they are.
Get in touch with a local Hackerspace. There are lots of them in Germany, usually related to the Chaos Computer Club. They'll happily provide you with pointers and directions about what to get and where to look for it.
Modern algebraic number theory is pretty hard even for non-specialist mathematical audiences so if even if you're steeped in mathematical lore and culture it still can be hard to grasp.
I did some googling, and ran across claims that there are programs for Jacquard looms dating from the 19th Century that are still in use today.

https://en.wikipedia.org/wiki/Jacquard_loom
> The idea should not be a spur of the moment thing.

Well, I agree and disagree. The initial "aha" spark for the idea can be spur of the moment, but typically when I get into idea generation mode, I jot them all down and then dive deeper when I leave the mode.

> I am even more surprised he was able to find a co-founder without an idea.

Agreed. It seems he has found a willing co-participant in a prospective venture, rather than a co-founder.
The unsafe low-level stuff gives rise to some great function names like `reallyUnsafePtrEquality` and `accursedUnutterablePerformIO` https://github.com/haskell/bytestring/blob/dd3c07d115840d134...
If I lived in one of these countries I would sue them for false advertising, a few canned crippled websites is not the internet so you can't call it Internet.org. What really pisses me off though is Zuckerberg trying to pass this smarmy scheme as some kind of altruism. Asshole.
The World’s First Fully Robotic Farm Opens in 2017
>> What's completely inexplicable is why it took 23 years to do this.

That is an interesting statement. The reason why this little piece of work (similiar a resizable cmd window) hasn't been done before shows the fundamental differences between Linux and Windows in what the creators think it was made for. 99 % of the Windows users will never use the env var dialog. Microsoft gave the other 1 % (devs) Microsoft obviously a very low priority in the past.

That has changed. While I like Windows 10 overall, I still wish it was not so chatty. I don't want to need to think about what kind of personal information my devices steal and how to protect myself. I don't like it from my Android phone and I don't like it from my laptop.
Ya, I'm pretty proficient with MySQL and was surprised to get both of the SQL questions wrong (although close), while getting 13 / 18 overall. For the second SQL test, I expect that the second of the two iterations it managed took significantly less time than the first, since the data should have been cached. I guessed 100 for that one, thinking that it would probably manage more than 10 and 100 would give me more leeway - shouldn't have over-thought it.
I'm not concerned with whether a single pet cat kills 10 or 1,000 birds a year. Either way, it's too much of a price to pay. There's no reason for a family pet to hunt potentially endangered animals for fun.

It's the same issue with voting and recycling: there's not much impact if a single person does the right thing. You have to do it anyway, especially because it doesn't cost you much. The collective benefit is amplified if many people do the right thing.

The costs of recycling or voting are well known. What's the cost of keeping a cat indoors?
Interesting that they default QuickEdit mode to on now. In Windows 2000 (supposedly), they had to roll a hotfix because some well-meaning engineer made the same change without thinking of backwards compatibility. [2] Kinda shows how times have changed.

[1] "One of the top requested changes we’ve received over the years is to have quick-edit mode enabled by default. Tada!"

[2] http://blogs.msdn.com/b/oldnewthing/archive/2007/09/13/48861...
one would assume the Hasty Generalization[1] fallacy would suffice.

When, do you think, does a rhetorical device fall into the realm of propagandizing?

1. http://www.logicalfallacies.info/presumption/hasty-generalis...
You are right of course that having one's complaint not based on statistical likelihood but on actual evidence of a tort committed is an important principle. I was hoping someone with more knowledge of that area of law would jump in to start the substantive discussion of the issue as presented to the court.

My line of questioning above is based not on any actual evidence that anyone is actually being intimidated in that manner, but on speculation. It is still troubling if someone with more insight into game theory or organization theory cannot jump in with a reason why this sort of perversion of Justice wouldn't be possible. But that doesn't actually constitute any evidence whatsoever that it happened.
It's sad that the amazon work environment kerflufle started from an article that was so flawed and focused on the wrong things. The "work life balance" at amazon isn't as horrid as it could be but it's not good. There's more to a good work environment than simply avoiding horrendous overwork. Amazon has a lot of very serious problems including a toxic company culture that treats people like cogs. I've known a lot of people who have worked at Amazon in many different areas (including myself) and the overarching story is one of people who have not been happy and left quickly. There are some exceptions in specific groups and teams but the overall situation is very problematic and is a big competitive disadvantage for the company (though it's not obvious yet because they have so few capable competitors).
Those numbers don't include WhatsApp or Instagram, which Facebook owns.
Someone could put this together pretty quickly with Google Sheets as the backend.
How to Recover Lost Data on iOS Device
I've been using various models of Logitech mice [1] for almost 20 years. Every time I try a Microsoft mouse, I wind up taking it back because there's some hard coded signal that doesn't work with some piece of CAD software in a reasonable way.

But these days...well I try to use the keyboard instead of the mouse. Xmonad goes a surprisingly long way in that direction. Firemacs for Firefox too.

[1] And a Logitech PAy port trackball from a period where I was having pain caused by too much mouse time and poor ergonomics.
Because Ctrl+C was used for "interrupt" long before the concept of copy-paste came into being. Enter is often used to signify the positive end of an operation.
Well said! What you need is a smart Contacts Manager: InTouchApp (http://intouchapp.com) .
Have you looked on Glassdoor?
It would make my heart skip a beat if venture capitalists left this market completely to the pirates. they tend to provide a better service (compare Youtube to channelPEAR/Kodi)
> Did rust find a way to defeat the halting problem

I don't understand why the halting problem is relevant to this conversation. Just about all practical programs don't care about the halting problem in a final sense, anyway; see e.g. the calculus of inductive constructions for a Turing-incomplete language that lets you implement just about everything you actually care about implementing.

The halting problem merely prevents a program from evaluating a nontrivial property of another program with perfect accuracy. It does not prevent a program from evaluating a nontrivial property (bounds checks, type safety, whatever) with possible outputs "Yes" or "Either no, or you're trying to trick me, so cut that out and express what you mean more straightforwardly kthx."

This realization is at the heart of all modern language design.

> How well does rust deal with memory bank switching where an instruction here makes that pointer there refer to a different area of memory?

This problem boils down to shared mutable state, so the conceptual model of Rust deals with it very well. The current Rust language spec does not actually have a useful model of this sort of memory, but it would be a straightforward fork. As I said in my comment above, if there was interest and a use case for a safe language for these processors, it could be done easily.
Show HN: Import your rss feed into medium
> Collect and share the best of the web together with Linkship for Chrome.

I pay for Pocket and I've dabbled in Instagram. I rolled my own system in Perl and SQL and I spent some time with Yojimbo. I don't remember the names of the other systems competing to help me archive and cross reference data, but it's one of the most important pillars in my workflow. I hope you expand this beyond Chrome, because I like market competition and would love to try it it.
That might have provided the motivation to improve the environment variable editor.
A personal attack is not justified because you disagree with someone. Again, please stop doing this on HN.
I made an app quite a while ago that lets you explore apparent motions, distances and more in 3D:

http://gunn.co.nz/astrotour/?data=tours/retrograde.xml

(Keep clicking the next arrow at the bottom for a tour). Here's a mars from earth example - http://imgur.com/TeX1yRn
thats probably true.
the ceo is more the face of the company (has to talk nice) and make a choice when the VPs are undecided (as in he rolls a dice and gives a number really)

Again im generalizing, but it is like that most of the time.
Does the "Edit Text..." button still allow access to the old single-string version? If so, that would be good - nothing worse than making one thing easy to do, but making something else that used to be easy nearly impossible.
Write like you think, not like you talk.

I do not talk like I think. Something is broken in that pathway. I'm better at writing. I've watched my son, who has trouble writing, express himself for papers via Dragon Dictate. Literally "write like you talk". And it is a mess. Stream of consciousness, betting on the reader picking up social cues, etc.

It is rare to find someone who can both write and talk with the same words and phrasing.

Although I do agree with the post in the sense of "don't stilt your prose". Don't adopt someone else's written voice, or a perceived style. (If you have the skills to do that, you have the skills to write better...so do that instead.)
but likely suffering from massive birth defects due to inbreeding.
I have no specific knowledge about how this was done, but it seems likely that the new way Windows development is organized led to a change like this happening.

I've seen simple problems like this one that have taken forever to fix in big orgs where task prioritization was done at such a high level that anything that can't be called a bug, or considered very high impact, is ever even evaluated seriously as a candidate for change.

When teams have more agency on what they change, then an enterprising developer that realizes how annoying the 'not quite a bug' is, and how easy it is to fix, can just be proactive, put it high in his team backlog, and get it done.

At my current employer, we don't quite do old Google style 20% time, but we let developers ignore the sprint goals one day a week, as long as they are doing something that aims to help their team and their high level goals. How many people actually use that opportunity is a good measurement of how much teams believe in the planning that is being done: When a team's highlights for a given quarter all come from those unplanned features, that means that the direction the team was given made no sense, and we have to figure out why.
10 surprising startup hubs around the world tell us about others
Underdogs? hmm, aren't 90% of all startups underdogs? That's why Adarsh can point to AirBnb, Apple, and Uber. How many companies can't at one point in their history be described as underdogs?
The fiat-money surveillance state
While expressing your ideas in words, especially to other people, generally helps you to understand the topics better yourself, I fear that writing every little thought down will dilute the quality of your thinking. If writing helps to solidify ideas in your brain, then perhaps it's best to solidify your best ideas rather than your common ideas. This way, your neurons will be aligned better with your best thinking. Writing everything would presumably amplify the mediocre.
Sure. I think this thread's pointing out the nuance in the article -- i.e. if you don't need to domesticate a "barncat" to get its "mousing" benefits, then why domesticate at all?

Clear as mud, right? ;-)
RMS: My Lisp Experiences and the Development of GNU Emacs (2002)
This is a factory-work mentality and it's absolutely not correct. Employees are a huge asset, their expertise, talent, and wisdom is a competitive advantage. Companies that do well by their employees and strive to keep them happy will tend to keep the best employees longer, which means they suffer less losses due to retraining, losing talent, losing undocumented "tribal" knowledge, and so on. Unfortunately, most of these costs are not easily or rapidly felt.

Often what happens when a company becomes less inviting to its workers is that talent and experience start evaporating (since such folks tend to be the most sensitive to bad work environments and have the easiest times finding work elsewhere). And then it takes months or years for that loss to be felt in the form of increased difficulty executing on projects. But by then so much else will have changed that most people will find convenient other excuses to blame. Especially in a big company where you can't say "oh, yeah, we lost Jim, and it's been obvious ever since that we just aren't as good as an organization without him". Usually it's not so obvious, but it's also rather "politically" problematic for people to bring up such things. Imagine saying "yeah, our top management screwed up by fostering a horrid work environment, and that's why we lost Alice, Bob, and Charlie who have been replaced with substandard substitutes, this organization is a shadow of its former self". Anyone with the power and seniority to say such a thing probably won't, because that battle is a long and bloody one compared to the much simpler choice of just working somewhere else. Thus the evaporation of talent and expertise continues.

This alone is a big factor behind startups being so "disruptive", because at startups people feel their voice has more weight and they have more flexibility to do what they want. So startups often attract the talent that has evaporated out of big corporations.
This is the most self congratulatory self-justification I've ever heard. Really? Lazy man's track?

I'm sorry but if you're GIVING away your life for a company that you don't hold SIGNIFICANT stake in for a regular salary (even at 200k/yr) then you're the chump. Guess what, your time isn't endless. Your 20s-30s (hell, even 40s) will pass away. All you've done is provide free labor so some executive can cash in on his/her 7+ figure income.

This is not even considering the romantic and naive assumption that working 12-hour days will give you success. Or that "stress and success" are in any way correlated. Oh well. This is how tech companies lure naive people into such hours.

This is speaking from someone that's had 9-6 with lunch "lazy man's" jobs that paid 200+k/yr.
Could Perth be the first completely solar powered city?
Well, it depends on what your immediate goal is, if it is to lose weight, them demonizing certain foods I think isn't that inappropriate.

I'm curious what mainstream science is ignored though?
How high can you go?
Sticky Notes Still the Most Powerful Tool for Teams, Now Better and Smarter
Which was that, do you recall?
Link to actual paper: http://www.nature.com/nbt/journal/vaop/ncurrent/full/nbt.338...

See figure 2D of the previous paper from the same group to see the treatment is toxic (at least to some cell types): http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4032847/

They don't account for that possibility here. They report in the supplements that ~1/100,000 cells are already mutants in the control group (Fig S1). This may be an underestimate since they only detected ~7% mutant cells after treatment using sequencing, but in fig 1c of the paper they report ~70% using the T7 endonuclease assay. I don't see where this discrepancy is discussed, but clearly one of these estimates is not reliable.

Anyway, as they write in the abstract: "The targeted sites contained germline-transmissible small insertions or deletions that are indistinguishable from naturally occurring genetic variation."

Yes, and they may very well be detecting natural variation by selecting for the pre-existing mutants. Even using the .01 % pre-existing mutant value there would be 10 mutants in the dish of ~10^5 cells. If the treatment kills 99.9% of the normals you would be left with around 10 mutant and 100 normal colonies. This is about the size of the observed effect according to the sequencing method.

They need to report how many cells were remaining after the CRISPR-Cas9 treatment and figure out why the T7 endonuclease assay is disagreeing with the sequencing by an order of magnitude.
Pijul open source version control system
There are tons of people who make bank and don't work ridiculous hours. They aren't very visible because they don't want to seem rude rubbing it in people's faces. They also don't want to have to explain themselves or go down the rabbit hole of whether they've "earned" their wealth and success and so on.
If we're ragging on ancient Windows history, could Microsoft please make Notepad kinda usable? Here's two simple changes that would hugely reduce the incidence of me roaring at my machine when I remote into a server that doesn't have Notepad++ yet:

1.) Don't set the filter on the file open dialog as .txt, by default, just make it all files.

2.) Handle newlines properly, even if they are evil Mac or Linux style ones.

For the love of Cthulhu, don't rewrite it as a Modern app, just fix a few of the things that have been irritating for twenty years.
Are we even cognizant of the daily assumptions we make over how animals behave?

Look at how humans have interpreted cat food: Felines should be eating a sufficiently varied diet of bird and rodent. Full animals are best. Meanwhile, we (by way of Ralston-Purina's suggestions) feed them a bunch of Taurine in a can of meat-flavored sawdust, and wonder why our cats constantly meow at us for more food. Or even better, feed them nothing but dry food, and watch the urine crystals build up until they pee, then be mad at them for not drinking enough water (cats get water from their food).

Cats feel extraordinarily unsafe on ground level. But humans angrily shoo them off tables or dressers, and wonder why they act all jittery and spooked all the time.

We cut off the tips of their fingers so that they don't scratch up the furniture, then we restrict their freedom of movement by forcing them to be indoor pets only, for "their own safety" because we just crippled them. if that isn't an indication of how disconnected we are from how cats are supposed to behave, I don't know what is.
99 Bottles of Beer – find(1) version
I don't disagree, but one could have said (speculated on) the same thing 2 years ago. Also, there is still a lot of other market share China can steal from others (which of course causes GDP decline in those countries).

It's extremely complex that's for sure.