skysight-inc/HackerNews huggingface dataset:
This is not the meaning of the incompleteness theorem. We still ostensibly work within the formal framework of a theory (usually Zermelo-Fraenkel set theory with axiom of choice a.k.a. ZFC) that cannot be proved consistent. We usually call these theories a "foundation" for mathematics. The (relatively) informal nature of mathematical proofs is not an attempt to run away from this, since truly informal reasoning is even more susceptible to contradiction (e.g. Naive set theory and russel's paradox).

What Godel's theorem actually restricts is proving "absolute" statements. Whenever we prove X in most mathematics today what we know to be incontrovertible is that "within ZFC X is provable" (assuming there aren't any immediate errors within the proof). Since we can't prove that ZFC is consistent, this might turn out to be a very boring statement indeed (since if it is inconsistent we'll have 2+2=5 too). Godel won't let us sneak off and find some super-foundation that can be proved consistent inside itself and then find out the "absolute truth" of mathematical statements, so we're stuck with this state of affairs.

Mathematicians generally look at the consistency of foundational systems a bit like a physicist looks at a physical law. It's possible that we're working within an inconsistent system and all our proofs are meaningless, but we've been looking really hard for a long time, and a lot of the axioms we were once worried about (e.g. Excluded middle and choice) can be conclusively shown to not lead to a contradiction (via independence proofs) so we're probably okay. Also virtually none of mathematics is tightly bound to our particular choice of foundations, so few believe that even in the case of such a crisis that we'd have to throw out all mathematics. We would likely just need to rebase it a bit.

As a result, we've mostly continued on as we did before Godel's result, except we've developed the meta-theory of our mathematical foundations to try and root out any problems. We've also stopped talking about axioms being "true", and just started looking at them as rules in a game.
A really great movie. That was the movie that got me interested in https://en.wikipedia.org/wiki/Werner_Herzog.

He is one of my favorite directors now. I like his documentaries, and feature films. He has a distinctive style, and a great passion, which often comes through the documentaries where he interacts with the characters.
Could we be living in the virtual reality as a punishment?
Adafruit will sell you a single Pi Zero today for $5. So there you go, you found one.

https://www.adafruit.com/products/2885

No free shipping, but their ESP8266 modules don't come with free shipping either.
I was shocked to learn of the existence of gvm, and also that the tutorial says to use go 1.4! I would have thought that most of the time just installing go from golang.org would be recommended. Gvm would of course have it's uses, where you need to keep an existing app on an old version of go until you've tested it on the latest go (or making use of gccgo perhaps), but this should be rarer than the uses of ruby's rvm.
TempleOS: What's New in V4.05
and then there's John Lewis.

and a few others.
My impression is that the reason why XML is so well-regarded in the enterprise is because these companies are not aware of better alternatives, such as Protocol Buffers [1]. The reason why XML has a bad reputation outside of the enterprise is because it is so incredibly verbose (both the language itself and the code used for working with it), and that all-in-all, it is a sub-optimal solution to a solved problem.

To illustrate: Protocol Buffers' wire format is much more compact. It removes the complexity of having to deal with XML parsers by providing classes generated from the message definition/schema. You can use it with GRPC to implement your service APIs. It is supported for many different languages, including Java and C#. It now even has a JSON mapping [2]. Overall, Protocol Buffers can do everything XML can do as both an exchange format and as a configuration language but better.

[1] https://developers.google.com/protocol-buffers/

[2] https://developers.google.com/protocol-buffers/docs/proto3#j...
There....that's a perfect example. Thank you.
It's erroneous to conclude Apollo astronauts were at high risk of dying in pure oxygen fires?
http://www.devopsbookmarks.com/

irc channel on freenode has this information compiled
That was a factual description, not a personal attack.

Calling someone a Nazi because they support a political candidate I don't like is a personal attack. Calling someone a Nazi because they're wearing a swastika armband and seig-heiling is not.
It is equally important to be familiar with that organizations don’t all importance you across the similar aspect sometimes. Which is, totally different suppliers are genuinely trying to find several capabilities, and there are a few organizations where you may be more and less beneficial. Even at peer companies this is true, especially so if you have a specialized skill-set. http://www.crazysales.com.au/
I seriously think the lack of comments is a deal breaker for JSON config files for me. At least with what I'm doing now. I find myself changing configs a ton, and I love being able to simply change which blocks are commented to get what I want, without having to dig anywhere.
When I use my iPhones for music (currently have a 6), I use one of two headphones:

- Plantronic BackBeat Pros
- Westone UM4r

The BackBeat's are great wireless, noise reducing over the ear headphones. I need to remember to charge them.

The Westone's are in ear monitors that, depending on type of bud you put on them, have noise reducing capabilities. They are wired. They are also some of the most amazing monitors I've owned over the years. (It hurts the time I lost a pair).

Sitting in a quiet space, the Westones will blow the Plantronics out of the water. In a plane, if I am not trying to comfortably sleep, the Plantronics are great. If I want to lay my head to the side -- IEMs rule the day.

Apple has yet to produce a set of headphones that feel comfortable for me or deliver decent quality. I can't bike/run w/ Apple's headphones, they fall out (or hurt).

If they go the route of no 3.5mm jack, I'll likely insist on one of those stupid converters.

I've yet to see anything from Apple or Beats that compares to upper end IEMs for quality, or upper end over the ear phones for noise reduction.
"The researchers found that the mice exposed to radiation, or both radiation and simulated weightlessness, had sustained damage to their blood vessels. Namely, the mice had impaired vasodilation, or problems expanding their blood vessels to adjust for blood pressure. This can be a precursor to heart attacks and stroke. The mice that just experience simulated weightlessness, on the other hand, seemed normal."

This is the main reason why its statistically significant. Sure, mice arent humans. But I say, with confidence, that many rats died to prove these statistics
The workout then could to start with get started with a single neuron relating to the feedback and also the production and dynamically removing and adding them right up until being nearly some tolerance of effectiveness. A completely new part - once again with a single neuron - could then be generated choosing yet another metric. Maybe something like if one layer is a lot bigger than both of its neighbors. During the long-term I hope it can be much better to depart from the part construction. http://www.crazysales.com.au/ Particularly when moving in direction of fully commited hardware as an alternative to float-crunching on GPUs. Aside from that, a number of the more advanced themes might not exactly be also conceivable with a tidy coating system.
I would kill to see the actual metrics proving the value of these Microsoft policies vs whatever adverse effects they cause (like certain companies delaying installs / purchases etc.).'

Same goes for the original "Always online" policy for the Xbox One (which I believe was rescinded).

My guess is that they were just random ideas that sounded good to various executives and were implemented without actual research to stand on.
you can complain about an obstructionist, but be careful.

never complain about the useless people. be happy they are happy to stay out of your way. its the companies problem to deal with costs and benefits.

if you feel overworked, then its probably just you. clearly they don't have a problem with people who do less. relax, cut deeper, or encourage them to being in more talent.
No, but before that incident, they were operating as though it was near zero. The actual risk can't be determined by a handful of incidents (or their absence).
How to convert video to Samsung Galaxy Tab S
The future of cancer is targeting, in one way or another. It has been interesting to watch immunotherapy win out as the dominant approach to targeting; there are other options, such as nanoparticle platforms in which targeting and kill mechanisms could be assembled as needed, or oncolytic viruses, and so forth. All of those are still under development, just with nowhere near as much backing as, collectively, goes to forms of immunotherapy.

Still, most immunotherapies packaged and deployed to trials are more of the same in terms of being very specific to specific types of cancer. There are hundreds of types of cancer, depending on how you want to count. It is much better to be able to build a therapy with few side-effects, given that chemotherapy has a very unpleasant effect on health and life span over the long term even when successful, but the extreme specificity is still problematic from the strategic point of view. The cancer community has shown that they can't produce new therapies for all cancers at a fast enough rate to completely control cancer any time soon. The strategy needs to shift to producing therapies that can target many types of cancer.

Once class of immunotherapy shows particular promise on this count, and that's the chimeric antigen receptor approaches that have produced such good results for leukemia. It should considerably reduce the cost of building new therapies for many types of cancer once a couple of types of cancer have been successfully treated that way and the basic platform is defined. We'll see how that goes over the next fifteen years or so. All in all, immunotherapies look to be the replacement for chemotherapy / radiotherapy as the coming generation of cancer therapies, and people will keep their hair, and will get treated as outpatients in clinics, and cancer survivorship will increase, and it is likely that they won't lose a decade of life expectancy as a result of treatment.

It is worth looking beyond that, however, as the technical basis for the generation of therapies after immunotherapy is actually being worked on today. For my money the thing that comes after immunotherapy will involve blocking telomere lengthening, as that is a - possibly the only - basis for a universal cancer therapy. All cancers need to lengthen telomeres, cannot evolve their way around that need, and building one therapy to control every type of cancer seems a much better path forward than the present strategy of seeking ever more specific biochemistry to interfere with. A fair number of people are working on the telomerase side of that equation, and not enough people are working on the alternative lengthening of telomeres (ALT) side of that equation, but this will all come to a useful conclusion somewhere in the late 2020s, I'd imagine.
The basics of the thorny relationship between science and philosophy
I don't care about the quantity of dialog, only quality. The article doesn't even attempt to present any evidence that quality is down, aside from a rather silly poll about iconic film lines.

I'd like to see some historical comparisons, too. We tend to imagine movies as containing more than they do. 43 lines doesn't strike me as particularly small. It's one more line than I count for Darth Vader in Star Wa^H^H^H^H^H^H^HA New Hope, for example.
Community support. More like community derision from the FreeBSD world.

In the early 2000's, I had to set up a dedicated CVS server for my 10-person startup. I was the dual hat "dev & admin" guy. We were small, but had good desktop machines with good SCSI disks in them (top of the line Seagate, if I remember right).

I set up both a Linux and a FreeBSD dedicated CVS server. We were all happy to try one server for a day, copy the repo to the other one for a day, and try things out.

Well, FreeBSD was a bitch to set up compared to Linux and was easily 10X slower in every way measurable. Like, "cvs up" would take 5 seconds from the Linux server compared to a minute on FreeBSD (yes, same repo...). Hopping on to the FreeBSD box locally showed that every kind of disk activity was way slower than Linux.

I went to the FreeBSD newsgroups and got laughed at. Not a single piece of helpful info. I did get several large words thrown at me about how I didn't understand the benchmarks and the performance shouldn't be noticeable to the end users. At least one guy took to emailing me directly about how I shouldn't be comparing Linux to FreeBSD.

After 2 or 3 days of wrestling, I powered off the FreeBSD box, installed Linux on it, and never considered FreeBSD again.
it wasn't a notification, it was DOING something.
I agree with your assertion that the salary ballpark should be worked out at the beginning of the process. However, my experience has generally been this: 1) 3rd party recruiters (i.e. staffing professionals who work for another company) are often upfront about this since they are given a salary range for the position that they need to fill 2) Internal recruiters are notoriously bad for being vague about the salary ranges.

In the latter case, the standard response I get at the beginning is something like "we are prepared to pay an appropriate amount of compensation based on your skill level". But then when the negotiation actually starts, they balk at the range that I ask for.
Stunning Girl with Lovely Pants|The Emporialist│romanian Street Fashion Magazine
Show HN: Abusing RFC2616 section 8.1.4 to detect adblockers
This article explains why it's off by 1.5 meters much better.

http://www.abc.net.au/news/2016-07-28/aust-latitude-longitud...
TL;DR: You are absolutely right - but that is very, very sad.

> What you describe as "reading docs is hard" can be equated to "my team will be slower for negleglible gain."

Yes, but only from a very short-sighted point of view. I cannot count the "devops"-meetings I had to attend as a consultant during which I hacked a command line that solved the problem the meeting was supposed to make a plan for and estimate costs...
I dare to argue that letting the ops learn the ropes on company time would have been much cheaper than my fees plus costs for working time employees spent on that meeting. But I understand this is very hard to quantify and that in a startup culture people don't want to think beyond the point where the financing is used up.

My fav. test for sysop/devop candidates: "Tell me how large the home directory of all users who use [t]csh as a login shell is on that machine; no, you cannot install anything, there is no perl, ruby or python. You have 90 seconds.". 99% fail. I've even interviewed people who applied for a sysop/devop positions who could not set up a host if not through puppet because they know sh1t about the target OS.

PS: Thanks for being "that guy" who allowed me to use a mature OS. People like you allowed me to have a 336 day uptime as the lower limit. Most of my machines have more than a thousand days of uptime :)
it was never mandated which brand/type I could buy

I'm sure regulations vary by country, and probably? by state. In Oregon a contact lens prescription is for an exact brand and type of lens.

That makes sense to me, because different lenses have different oxygen permeability (and probably other differences as well).

When my daughter's doctor changed her brand, he wanted her to come back in for another visit to confirm they were tolerated equally well. And this was at an HMO type organization (Kaiser Permanente). They don't get paid per office visit, so they're not incentivized to bring you back unnecessarily. (I really like that aspect of KP).
> If the employee is approaching this with the idea of taking advantage of the company

You should be aware that this is not possible... A company will never hire you for a salary it cannot pay, because they know very well their numbers. On the other hand, it is very easy for workers to be screwed because they don't know how much the company is willing to pay for that position. The only way to get to know how much the company can offer is to ask for a salary that is way higher than the first offer.
I thought telomeres lengthening was for curing old age? Latest issue of Science News is on age extension; I'm a layman.
Except for the fact that people have torn down their electronics accessories and found them to be significantly higher quality than the crappy ones you can buy for $5.

http://www.righto.com/2014/05/a-look-inside-ipad-chargers-pr...

Better components, better design, better safety,
and better assembly. Plus then you have to package and ship the things.

People complain about Apple selling $20 accessories, then turn around and complain about working conditions in Apple's suppliers like Foxconn (despite Apple doing far better on that front than their competitors).
After-the fact probability analysis is weird, but the actual predictable risk (before Apollo 1) was certainly less than 1/12, although that's what the hindsight risk for Apollo primary crews was. Of course, it was 0 for all the crews after the first...
I have a re.c file in my best-of collection of code examples locally - but I can't seem to find the original source quickly - nevertheless it was written by Russ Cox[0] and he's spent a lot of time making regular expressions accessible and elegant, his articles are a great resource.

[0] https://swtch.com/~rsc/regexp/
It's generally a good idea to do some research ahead of time on the compensation range that the company offers for the position you're seeking (and not just salary, but total comp package, including benefits).

You won't get this out of an internal recruiter, no matter how hard you try, unless he or she willingly volunteers it. Instead, go to sites like Glassdoor, or consult with friends at the company or at similar companies.

You want to reduce the information asymmetry as much as possible before starting the interview process. And there are resources and tools available to you to do so.

If you're hearing all the time that your ask is way out of step with the range for the role, then it probably is. Companies don't have blank checkbooks available for roles; they operate on ranges or "bands" that they try to keep consistent across job titles and responsibility sets. If Company X has a range of $125k-$175k base salary for a job I'm seeking, and I ask for $250k, that isn't going to fly, no matter how much I impressed them in the interview. It will strike them as out of synch with the level and title and requirements of the job I am interviewing for. They will either counter within their range and say it's the best they can do, or they'll tell me I'm being unrealistic, and that perhaps my expectations for the role are mismatched with theirs. Often the latter. And if it's a wild mismatch -- say, they have the aforementioned range, and I ask for $350k -- then the mismatch is as much my fault as it is theirs. I didn't do my homework.
Now You Can Have the Right Time Tracking System for Your Business
It's worse than that ... Expected rate is 2/7 (general population). Observed is 3/7. The who thing is nonsense.
This is the sort of thing the market will sort out anyways. If there is enough of a market for people who don't care about the 3.5mm port, apple will be fine. People like me will buy something else. Just because apple doesn't have expandable storage hasn't made samsung discontinue it either. Same deal with the headphone jack.
U.S. Wrestles with How to Fight Back Against Cyberattacks
Unfortunately its the CH340 USB-TTL. Serviceable but not great by any stretch. OTOH, windows won't ever brick it because it thinks its a fake.

Been meaning to have a go at rolling one of these myself using the mighty microchip MCP2221 instead.
Yeah, I worked on a Rails 1.x app which integrated with an xml feed. IIRC, the options were a library that used regexes internally and had horrible performance (but might have been fine for rss feeds), and another library which wrapped a C library and used callbacks[1]. Definitely was a huge pain point and probably was a mistake for me to use the latest hep environment for that app, but for the rest of Rails it might have been worth it.

[1] I think it might have been http://www.yoshidam.net/Ruby.html#xmlparser
This is so true. And I don't see a solution for it unless there is a closer collaboration between HR and the manager. This is often very hard, since the 2 are usually in different orgs with different goals and priorities.

Ultimately, it basically means that it is in the employees interest to negotiate very high at the beginning... since there are very few forces that will increase their salary once they do join a company.
You can use Protocol Buffers for configs without having to serialize them in its binary format. Protocol Buffers has always had its own text format [0] and now a JSON mapping [1] as well.

The proto text format is actually more flexible and less verbose than JSON since it does not require the outer enclosing set of braces and quotes around all the keys and has support for comments.

Here are a couple of examples of config files using the Protocol Buffers text format:

* Bazel CROSSTOOL: https://github.com/bazelbuild/bazel/blob/master/tools/cpp/CR...

* SyntaxNet: https://github.com/tensorflow/models/blob/master/syntaxnet/s...

[0] https://developers.google.com/protocol-buffers/docs/overview...

[1] https://developers.google.com/protocol-buffers/docs/proto3#j...
Tokyo Thrift: This Sharp Zaurus is a sleek pocket computer from 1999
That was life in the FreeBSD/Linux world, regardless, for the desktop circa early 2000s.
Putting "The sky is black" as a title seems incorrect to me, even though the statement "The sky is black on the Moon" is true.
> Is that even statistically significant?

Not if your significance level is the customary 5%:

> 1 - pbinom(2, 7, 1/7)
[1] 0.06522914

The astronauts carried dosimeters, and all got rad doses below what some DOE employees get, so maybe there is better population for an observational study.
Both sparkfun and adafruit have tons of tutorials for both arduino and traditional microcontroller development. Both companies also sell all kinds of development boards, breakout boards, and prototyping tools and supplies.
Wouldn't it be simple to claim that more demand (for any given corner or area) is immediately reflected in the price? That doesn't sound like a scandal; it's harder to arrange for 10 cars to arrive at a spot than 1.
Apologies, I just glanced at this link and I think I mistook this article for a "troll" article that has been posted and shared several times. I just looked at this article, started reading through it and it doesn't seem familiar. I don't think I've seen it before. I'm trying to find the "troll" article that I thought this was but I'm not having any luck at the moment.
It's a love-it-or-hate-it movie. It's compared a lot to Drive, of which I felt OGF was better anyway, but many would disagree
Cancer genesis relies on a sequence of genetic mutations occurring and has many defining characteristics. The telomere lengthening he's discussing is a mechanism by which cancer cells make themselves "immortal".