skysight-inc/HackerNews huggingface dataset:
This is sickening: "I’m suffering from chronic pain, and there’s no way I can afford the $1,000 or so to get the physical therapy I need to manage this, much less the $15,000-30,000 I’d need to get the real treatments to fix my body."

It's not really sickening or surprising that he's having trouble getting a job though. I mean his writing seems decent enough, but is there really much demand for video game reviewers? Let alone the fact that he has to work part time, and can't be reliably counted on to attend events or even stand in front of a camera.

It would not surprise or sicken me if a perfectly healthy video game blogger couldn't find a job. This guy's situation sucks, but society and/or the government should be helping him, not some charitable employer.
Windows 10 activadores falsos infectan la red
AskUbuntu is the place for Ubuntu where Canonical are fully doing it. Microsoft are following suit.
Scientific Paper of the Day
"So... social clubs have to let in blacks, now? Is that what you're saying?"

Ironically, this kind of baiting is exactly one of the contributors to social dissolution I'm talking about. Speaking at the PTA? Better hope one of your "neighbors" doesn't decide it's politically convenient to crucify you as having said something Wrong and put it on your Permanent Record.

To give you a concrete for-instance of "entryism", the Campus Christian Club being forbidden to discriminate based on religion. Or, ongoing conflicts between the lesbian community and trans people who wish to participate in it, and between the broader feminist community and its lesbian contingent. Or, the institutional weakness of political parties in the US due to inability to restrict their memberships by ideology, and consequent flow of power to more unaccountable groups.

It's probably not a huge contributor to social dissolution, all things considered, but there is a reason why it is said that "good fences make good neighbors".
Maybe folks at MetaMed could be of some help? The company goal is to help people with rare&hard to diagnose problems by focusing a team of specialized researches on sifting through available medical knowledge.
It's not currently grabbing all of the stylesheets - we are working on a fix for this at the moment.
Consider one particular case, where we need to read in a gig of data (made of many records), filter out some records, compute some stream of transformed versions of those records, and then write out the rolling average.

This actually sounds pretty nice to write as a shell pipeline (and that's a really good way to do it), but really, it's likely that you'd end up writing some code like

main() {
q = queue(5);
avg = 0;
while(!eof) {
r, eof = get_record();
t = transform(r);
if(q.size() >= 5){
avg -= q.pop();
}
avg += t;
q.push(t);
print avg/q.size();
}
}

or something, but it'd actually be annoying to extract out the logic for handling the rolling average and split it out from the looping code, at least if you want to maintain constant memory use, and if you had to do something similar in a few places, you'd end up duplicating code.

I claim that it's possible to factor that code nicely out in Haskell, and still get the compiler to generate the same machine code as the C loop. This doesn't particularly use first class functions, and more relies on the combo of sufficiently smart compiler and sufficiently strong guarantees about what code will do.

I also take slight offense at calling C-style languages "plain old algebraic style", since it'd be really strange in algebra to say both x=5 and x=6. I would not hesitate to call FP languages where you can substitute equals for equals and such the algebraic languages.
The post isn't about explaining his disease. That's just a little background info. It's not trying to defend being sick all the time, since that's really not something he should have to do. The post is just describing what it's like to be that sick all the time.
You can think of '-' as meaning 'the last evaluated expression' and ':' as meaning 'has the type'. So the OCaml repl replies to your input by saying something like 'the last evaluated expression has the type ...'.
But people and apps often refer to "Linux on Android" while it's nothing but a chroot environment. Android is already running the Linux kernel. Calling it "running Linux on Android" is stupid.
Indeed. It is misnamed (and I'm the one who did the misnaming, I'll take the blame for it).

As it stands, it is a bit of a hybrid.

Your version (which is similar to what I had considered, actually) would be relatively easy to map onto the backend. I'll bear this in mind for a future revision. No promises, though.
Hmmm... good point. I like the example and thanks for sharing the link.
I live in a cold place. The only heat in my building is electric. Wednesday's minimum is 0°Fahrenheit (-18°C). People will probably die of cold if the power goes out for extended periods of time.
Already partnered - that the "Internet-Explorer" tag already has an image indicates an existing partnership [1]. This may be a deeper partnership though.

1: http://meta.stackexchange.com/questions/30187/what-do-icons-...
I've read various drafts of this book and it really is fantastic. Rather than just teaching limited domain knowledge in science and engineering, it teaches a way to tackle ill-specified problems and how to wrestle out answers to hard questions.

For the more mathematically inclined there's also a similar previous book by the same author, also available for free as a pdf:
http://mitpress.mit.edu/books/street-fighting-mathematics
Show HN: Java-training game (with maybach the adventure-cat)
Hey, i'm just in alpha for a java-training game (with maybach, the adventure-cat). I'd love any feedback anybody on this forum has

It is android-only just now, if you're interested join the public google-group (no spam! i moderate all messages)

https://groups.google.com/forum/#!forum/wibbler-alpha

and then download the app from

https://play.google.com/apps/testing/com.wibblerapp.wibbler

Do let me know what you think!
I did not watch the talk yet, but there was also a third model (maybe later): The 6510 -- it was fully software compatible, but had 6 integrated I/O pins that could make small computer designs easier. Commodore used it for the C64 computer, because the 6 I/O pins saved for extra I/O chips. The 6 I/O pins would also be faster than external circuits because they could be accessed via the zero-page (address 0 and 1, as much I remember). One of the functions in the C64, they where used for, was bank-switching, since the C64 had 64kB RAM and additional ROM and memory mapped I/O regions. Thus bank switching was a must to be able to access all memory and I/O locations.

... unbelievable today, that the "operating system" resided in less than 8kB .... ;) The Basic interpreter occupied a little more than that ... so the C64 had 16kB ROM altogether.

(to be fair: The "operating system" of the C64 was not one according to today's standards, it was little more than a number of handling functions for some hardware basics ... todays BIOSes can be better compared to it)
I'm excited about HoTT, too. If anyone has demonstrated a short proof of the four-color map theorem in Coq, that would meet Devlin's criteria for convincing machine-checked proofs.

(Check the link you cited; Devlin mentions 1976 and 1994 as key milestones for machine-checked proofs)

But HoTT and Coq are both still new, particularly when speaking of mathematics. When they figure out how to make LaTeX produce their textbook in a fully MathML-compatible fashion, then we can talk. :)
Double semicolons are used in the OCaml REPL to evaluate the current input (instead of newlines as in e.g. Python REPL). They don't need to be used in .ml files.
Who chooses and compensates the arbitrator?
> "How many planet Earths are there?"

"Either one or probably infinity, depending on whether the universe is infinitely sized and whether unobservable parts of it are considered to 'exist'."
Meh, they learned it from us Northern Europeans... http://en.wikipedia.org/wiki/Oxford_University_Police
He's not saying that texting and emailing are problematic in themselves, but that he has a problem with people constantly fiddling with their mobile devices while in his lecture. That impedes his ability to do his job, and short-changes the students who do want to engage with him.

I find it equally irritating if people are messing with their phones in a movie theater. It's not that I want to limit their use of the internet, as that I don't want to be distracted by flashing objects in my peripheral vision when I'm trying to focus on a screen. If you want to text at the same time you're watching the movie then go sit in the back row where it won't impose upon other people.

Civility is not a matter of one technology being better than another, but of not being an ass towards the people in your immediate vicinity.
I don't understand why Microsoft continues to make it's own rendering engine.

I get that they need a web browser they can control and distribute with their OS, but why a rendering engine? Especially one that, in my region (SF bay area), runs natively on fewer than 1% of the dev machines I see out there. If somebody were inclined to test their site for IE they'd most likely have to go through the hassle of setting up a VM running Windows just to do it. More and more, I'm hearing people just say "I don't test my work in IE" and being fine with it.

Is there a good argument for developing their own rendering engine, given the existence of two really good open source engines?
I'd personally love them to do that. I guess the arguments are basically the double-edged sword of dictatorship. You have a paradise if the ruler is wise, just and benevolent, as you can escape pretty much all of the stupid coordination problems that pester democracies - but on the other hand you risk getting totally screwed up if the dictator goes evil (which can, and probably always will, happen over time, when a good dictator gets succeeded by a bad one).
This is a very unfortunate story, and it's also very unfortunate that the author hasn't been helped by medical science. The author's subjective suffering should not be up for debate. Idiopathic pain and fatigue disorders are impossibly frustrating to diagnose and treat, and have a tremendous negative impact in a person's quality of life.

That said, this post has many hallmarks of pseudoscience, and I'm afraid that the author may be invested in pseudo-scientific diagnoses to his own detriment.

For example, he is very specific about the genetic origins of his disorder and even enumerates three very specific downstream effects of his genetic polymorphisms (low catecholamine levels, 'toxin' retention, and high elimination rates of various minerals). However, any genetic disorders that are well-understood enough to detect and enumerate like this would absolutely have a name and associated diagnosis.

Furthermore, the specific factors he lists (low serotonin and dopamine, high toxin retention, high mineral elimination) map more closely to pseudoscientific principles than they do to actually medical conditions. For example, his claim that his body specifically stores 'toxins' such as benzene and mercury while 'normal' people's bodies eliminate the same toxins is a classic pseudoscientific explanation that has no basis in reality.

Again, I'm not suggesting that he isn't suffering or that his symptoms aren't actually happening. But the amount of pseudoscience in this post makes me concerned that he is moving in the wrong direction or even entering a cycle of worsening his own symptoms with his pre-occupation with pseudoscientific diagnoses and insistence that mainstream medicine can't understand his symptoms.

This is a surprisingly common scenario, common enough that it has its own diagnosis: http://en.wikipedia.org/wiki/Somatic_symptom_disorder The greatest hurdle in treating a somatic symptom disorder is convincing the patient that mental health treatment will be beneficial to their symptoms, which are largely physical. As a consequence, many sufferers turn to alternative medicine which provides comforting but largely false physical explanations for their symptoms involving disorders such as high toxin levels, low mineral levels, and low serotonin and dopamine levels, which is precisely what the author insists is causing his symptoms.
How parallelism is not concurrency
I can give a strong second to the Street Fighting Mathematics recommendation. The stuff in there makes math into a thinking tool in a way I haven't seen anywhere else.
The energy from the power plan comes from the transformation of a little of the mass of the fuel into energy. (This is usually explained for nuclear power plant, where the mass of the nuclei decrease in the fission (or fusion). But this is also applicable to electric batteries, gasoline+oxygen, ... where the mass comes from the breakup of the chemical bounds. In this cases the differences is completely negligible, but that means that you need a bigger fuel depot.) The mass of the photons is exactly the mass that the power plant loss, so this doesn't solve the mass problem.
Critical security bug found in Docker on versions prior to 1.3.2
Humans can definitely write proofs that can be checked by humans or machines. It's arguing in bad faith to suggest that mathematicians are un-qualified to determine the validity of a machine-checked proof.

There are certainly some stodgy holdouts that will never be convinced, but I don't think Devlin is one of them.
for a little over 2 years, chrome has been more popular than IE

SO is 6 years old
http://opendatastructures.org is worth a look.
I think there should be evidence of passion, which typically manifests in a proactive approach to education and experience.

Edit. As I think of this more, I feel like we're having two different discussions in parallel. The first, how do we get more women in technology. The second, how do we get people involved in their passion. These are two distinct conversations, and the first shoe-horns a subset of the population into a career track for the sake of a misguided notion of gender equality.
People now seem to be afraid to answer for fear of downvotes, and those that do get downvoted go on a witch hunt and downvote anything you've ever posted.

It's terrible.
That doesn't match my memory of the book, nor Wikipedia's short mention that when they married they knew she had it and the prognosis wasn't great. More significantly, she died in 1945, when the first drug that could touch tuberculosis was still in the very early experimental stage.
Time for better security for NoSQL
> And then save time because you can be sure that the proofs you write are correct.

For better or worse, we both know that's not required to be a successful mathematician. I remember reading a presentation from a guy advocating mechanised proof who realised that almost every important proof in his field had been later shown to be false.

> Did you try isar?

I had a go at using Isabelle (in general) and truthfully never really got onto Isar - I discovered that both my supervisors have written large theories in HOL4 (JIT compilers etc), but have no recent experience with Isabelle, so that's what I'm using. I've seen examples of Isar which look nice, but I'm skeptical about its scalability. You make a good point, thouugh.

> It's not at all a good point. There are theorem provers that rely on the correctness of just a very small kernel. Everything on top (libraries) is then guaranteed to follow the rules imposed by the kernel.

Yes, of course - but the richness of a theorem prover comes from the logics you define on top of it.

If the library implementation of a particularly complex structure defined externally to the logic with no easy to coverify definition had a mistake in its definition which is not caught, any entailed inconsistencies are transmitted to the theorems that rely on this data structure.

Sure, your theorems are correct in the logic - but they might not be useful. I obviously pick the more engineering based example, but that's merely due to my being ignorant of most pure mathematics - there are probably analogues.

This is a growing problem for companies like Intel, who use a software model to test their firmwares before the hardware is available [1] - they want to verify that the operations are identical.

[1] - http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/papers/44-...
The whole thesis falls apart if you accept that digitally-mediated communication can be as meaningful as in meatspace. And it should be obvious that many people already treat it as meaningful in their own lives.

Finding it meaningful depends on the fidelity of the technology. As the tech keeps improving, the circle of people who experience real community online keeps expanding.

There was a time when only perceived-maladjusted uber-geeks found community through digital networks. Now the average young person does. Eventually everyone will, it's blindingly obvious that that's where the tech is going.

I think most people lack an appreciation of the Nyquist–Shannon sampling theorem. Anything you can experience in "the real world" can be reproduced at arbitrarily-fine resolution in a sufficiently advanced digital system.
Sort of related, I'm the author of ago.py (https://pypi.python.org/pypi/ago/0.0.6) which generates human readable timedeltas that this parser reverses.
Most people who want to do something want to do it because they played around with it and enjoyed doing so. When the parent says "no experience", I think they mean people who never even bothered to play around, not just people who never worked in the field.
Wouldn't this be easily solved by adding a "discussion" link from the question page to a wiki/forum page for more free-form or reddit-vote style questions?
Nodevember Videos about PROMISE object - https://www.youtube.com/watch?v=oa2clhsYIDY

Nodevember Videos has interesting session on ES6 (ECMAScript 6 spec discussion), this is learning about the future.
https://www.youtube.com/watch?v=Hjkc9m9vYCU

JS Design Pattern book (I refer to it quite regularly) - http://addyosmani.com/resources/essentialjsdesignpatterns/bo...

Eloquent Javascript (First book I read after working for few months on JS) - http://eloquentjavascript.net/

Additionally - read the specification always helps - this is the draft of ES6 (http://www.ecma-international.org/publications/files/ECMA-ST...)

Also, if you want to learn pure JAVASCRIPT, I presume you should also work on NODE.JS because JAVASCRIPT has evolved big time in the past few years to become "THE" Language.

Recent conference (NODEVEMBER) has lot of interesting videos - https://www.youtube.com/channel/UC7z0nOE8ITfrGnXJgNzYaEQ
Depends. There are a lot of factors here. The primary one being whether it's marketplace or are the items being sold your own items?
"runtime to be installed."
I'd be careful and try to recognise that the concentration of Apple-focussed development environments that you observe in the SF Bay area is not a reasonable reflection of the developer community at large. Windows still holds the greater proportion of market share by a large margin. On that note, you should make a point of also asking why Apple needs its own browser, or why Google needed to diverge Chrome from Webkit, or why Opera needs to exist, and so forth. Competition is good and mitigates complacency.
1. Exceptions are basically 'goto' with a pretty wrapper. Over time, I've come to believe that the best place to handle an error is close to where it occurs, rather than throwing some hail mary message up the stack and hope someone else can deal with it.

2. Well, it certainly is true that more code and more functionality is likely to contain more bugs. Whether your pid 1 needs to be doing all the things that upstart does is obviously a contentious issue.

3. This is a toss-up. I usually like 'crash loudly' over 'fail silently', but I think rejecting the patch outright was a poor decision.
Pseudoscience is not necessarily bad. Most of psychology and philosophy, for instance, is essentially pseudoscience.
he sort of misses that the 8080 and 6800 were in the market before the 6502 - it was a latecomer.

The big architectural advance was two index registers, otherwise it was really sort of a 6800 (from a programmer at the times point of view)

As mentioned above having a clock that could be created by meere mortals was a big advance (previoud chips required you to be able to drive what must have been a complete unbuffered clock tree - rail to rail voltages and high peak current.

The thing he misses about yield is that for a fixed per wafer defect rate there's a point where reducing die size to 1/4 reduces the yield fallout by almost that much
Four-year-old script injection vulnerability affects 86% of WordPress sites
>If half of all programming jobs are given on an affirmative action basis, to women, how will Mr tptacek be affected?

He didn't make that argument, nor did anyone else.
Does SO get paid for it?
You are correct.

However, Trusted Computing crypto is different than the crypto accelerators you find as peripherals in an SoC.

I should have been more clear that I meant crypto peripherals. There are crypto instruction extensions but don't require a separate library implementation -- just asm code optimization in something like openSSL.

PolarSSL is also targeted (mainly) towards much lower power than A53 or Cortex-A. It is targeted towards Cortex-M where you are dealing with KB of data and often don't have an MMU. You can't just port OpenSSL to those platforms and run it at will, hence their optimized libraries.
Out of interest: why is it this way? In a lot of other languages (e.g. Java or Python), you don't need to do this. Can't the compiler just figure out that a function refers to another function that's defined later in the same scope? Clojure also requires you to declare a function manually, so I guess it's not completely unheard of, but I'm curious if there's a technical reason or if it's just a more or less arbitrary choice.
What a screed. I went to factcheck their first claim, on an Andrew Witty quote, and here's what I found: http://pipeline.corante.com/archives/2013/03/18/glaxosmithkl...

Oh, so it's only less than $1b if your drugs never fail in clinical trials. Well gee, it's a good thing everyone in the drug industry knows how to have a 100% approval rate!

I stopped there. It's pretty clear what level of thinking and intellectual honesty went into that rebuttal.
CTF365 Username and Email Dump
Hmm... Should have appended a /s to the end for people who didn't get the joke.
With DUQU and Stuxnet, the agencies had stolen the signing cert from Taiwanese businesses.

Duqu = stolen from https://en.wikipedia.org/wiki/C-Media
Stuxnet = stolen from https://en.wikipedia.org/wiki/Realtek

Not hard to find a valid cert when you're a nation state.

Source: https://firstlook.org/theintercept/2014/11/12/stuxnet/
The ocaml runtime is wonderfully simple (http://rwmj.wordpress.com/2009/08/04/ocaml-internals/) and the compiler focuses mostly on good codegen rather than advanced optimisations. In practice, it's common to be able to look at a block of code and predict how fast it will be and how much memory it will allocate. This is not my experience in haskell - the difference in performance when certain optimisations do or don't trigger is huge and is hard to predict just by reading the source code.