skysight-inc/HackerNews huggingface dataset:
Formal methods and verification, analysis, compiler technology, type systems, concurrency, and education. Why?
You lost me at saying eclipse is pretty great...
I can imagine that the software going into a typical router is as complex and huge as the kernel. I'd guess they do rolling audits because of the complexity.
By the same token, my layman's understanding is that you can kill demand for a very good product or service by pricing it too low (and thereby signaling inferior quality to the customer).
Expensive? Yes! Effective? Possibly.
http://www.thelandport.com
>The downdraft began in mid-August, when the S&P 500 plunged 11 percent in a week, due primarily to concerns about slowing growth in China. Even with public stocks regaining most of their losses, IPOs remained weak, with tech companies going public at the slowest rate since 2009, and most of those that hit the market failing to reward late-stage investors.

> High-profile consumer start-ups are feeling the pinch. Evernote and One Kings Lane are cutting staff, Rdio was acquired out of bankruptcy, Gilt Groupe is nearing a sale for a fraction of its peak valuation (according to The Wall Street Journal) and Dropbox shut down two products.

The place where cheap money flows is early and late stage. Rdio being acquired and Dropbox have unrelated problems. Rdio's inception / funding was unorthodox by sv standards and the Skype founders finally realized they probably weren't going to beat skype, so they cut their losses. Dropbox killed 2 products that it failed to successfully integrate.

This piece seems light on evidence. I'm not saying that the situation we've had over the last 3-5 years is not coming to an end, I just don't see this piece proving it any more than last year or the year before.

Folks have been calling "bubble" for years, and if interest rates rise it could be a spark to change things, but this piece doesn't add very much data to the conversation and instead relies on VC hearsay.
I think you could almost describe this in the context of only positive-reinforcement cultures vs positive-reinforcement and negative-reinforcement cultures. Both approaches seem to work well in the long-term, but the city which also has negative-reinforcement might have 'failures' more often, which could be seen as a positive from the POV of looking at the health of the whole system, but on the other hand could be seen as needlessly cruel to individuals.
If we disambiguate the factual success of applied science from the theoretical aspirations and/or formulations of the past 100 years [1], we would note the substantial downturn in the latter compared to 19th century.

I further disagree regarding your take on the "underlying" basis of science. Science begs philosophy to explain its (irreducible) mathematical foundation, where the said foundation ("basis") has a few un-canny givens/axioms in its bag of tricks.

Empiricism was the line drawn a few centuries ago. And just like the 'magna carta', the latter day "sages" apparently have determined the ancient ones were in error ..

[post-comment-edit: 1] Roughly speaking. To set bounds, above would consider Einstien a good citizen of 19th century science.
To be fair as I said in another comment, Dr. Seuss covers some of these topics you mention too. Perhaps George Lucas has a different set of values. He draws the plot for most of his works from the Joseph Campbell's comparative mythology. Star Wars is the myth of a young boy who is still with his mother or surrounded by mother symbolism with his mother's family before joining the men, ep.1 and ep.4. An example of one of these rites of passage the plot and symbolism Star Wars draws from is a rite of passage with indigenous Australians when a male child is taken violently from his protective mother to join the men. During this ceremony they cut the boys penis open. George Lucas and Disney don't hide this as their source for symbolism and story plots.

From ep.3 of the interview between Joseph Campbell and Bill Moyers at Skywalker Ranch 1988:

"JOSEPH CAMPBELL: Well, we know what they do in Australia. Now, when a boy gets to be, you know, a little bit ungovernable, one fine day the men come in, and they’re naked except for stripes of white down that has been stuck on their bodies, and stripes with their men’s blood. They used their own blood for gluing this on. And they’re swinging the bull-roarers, which are the voice of the spirits, and they come as spirits. The boy will try to take refuge with his mother; she’ll pretend to try to protect him. The men just take him away, a mother’s no good from then on, you see, he’s no longer a little boy. He’s in the men’s group, and then they put him really through an ordeal. These are the rites, you know, of circumcision, subincision, and so forth."

I for one completely support we stop coddling privileged children at Yale.
> it will be harder for a human to follow than if you use parenthesis

Not any harder than following Master Yoda speech.

OTOH, following something (say, an English text) (which is heavily parenthesised) may be (I'm sure there is a lot of references to back this notion) exceptionally hard (even if there is just one nested level (and more levels certainly add more confusion)). Choosing flat over structured often makes a lot sense.
It's all normal! Schoolhouse Rocks guys!

I am sad.
It's easy to quantify quality of instruction. Just longitudinal analysis. Messy? Probably. But in serious industries, it would be done. But higher education administrators would rather listen to instructors than students and instructors really don't like the idea.

If parents had to pay directly for college, I suspect longitudinal tracking of students to assess influence of prior instructors would start in a hurry.

As a med student, I presented a poster at a medical education conference. The most common comment was "Woah! Data!" A brief tour of the faculty presentations indicated this field of study is a protectionist racket. Nothing good will come of it.
Sometimes you have to rally the group to play a second game and then they'll get it.

I've also seen quiet groups completely come around if you act a little more like a moderator and start asking questions. Have everyone say who they are and why. Always ask people why they voted a certain way. Its usually not too hard to get the quiet ones talking.
Juniper is providing crucial Radio-access and backhaul security features to mobile network vendors such as in Nokia / NSN equipment. would be interesting to understand how these are impacted.

http://www.lightreading.com/mobile/mobile-security/nsn-junip...
Why not add consulting (i.e. helping startups out as someone "external") into the mix?

I make ~$110k/yr after taxes (!) and insurance and I work 10 hours per week, tops. I literally watch Netflix more than I work on an average workday. I know it's not great money (don't have a Tesla), but it's quite cozy.

Thoughts?
The movement is really hacky (https://github.com/mahsu/MariOCaml/blob/master/object.ml#L16...), whereas the actual game takes a more fine-tuned approach (http://s276.photobucket.com/user/jdaster64/media/smb3_physic...). It was tough to keep things simple and use a single set of rules without making everything too floaty or heavy.
I thought this was the point of SATA Expresses, but the last I read, SATA Express actually holds on par and even falls behind M.2.
Build a chat with ActionCable (Rails 5)
Honestly, it just seems like they were a mediocre restaurant.

Whether or not Yelp and publicity helped or harmed them is debatable, but that doesn't change the fact that their restaurant wasn't anything spectacular to write home about.

There are many instances where a genuinely good product or service receives negative publicity (remember the original iPad anyone?), but is still a genuinely innovative product or service.

It just seems like they weren't able to deliver an exceptional restaurant experience.
I've also seen code bloat due to insufficient abstraction: the programmer fails to realize that a lot of things in the code are instances of the same thing that can be factored out into an abstraction.
This crisis in Physics makes me happier than anyone can know. It signals the end of the dominance of Kantian philosophy in Physics. Mach's principle (Einstein's polestar), Popperian falsifiability, Cantor's paradise of infinity (as described by Hilbert) and all other derivatives of Kant are the dead-end of a false metaphysics and epistemology.

We do indeed, live in interesting (or depending on your worldview, dangerous) times.
linux users: just fake your useragent and it works :)
Mozilla/5.0 (Windows NT 10.0; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/46.0.2490.80 Safari/537.36
A mistake that lots of people, including many in this thread, is to conflate 'physics' and 'fundamental/particle physics.'

The former's still chugging along pretty good, with things like the "invisibility cloaking" and all sorts of condensed matter stuff.
Will the Real Jesus Please Step Forward?
"Astrology, for instance, is falsifiable — indeed, it has been falsified ad nauseam — and yet it isn’t science." -Pigliucci

Mind blown! Wat? If it's falsified then it's just wrong, i.e. it had the potential to be science before it was proven to be wrong and now it isn't. He seems to be confused about the chronology of theories. If I make up a theory based on complete bs and it just happens to be falsifiable and then falsified then I wasn't doing science. I don't know of any falsifiable theory that was just pulled out of a hat, was recognized as one but wasn't immediately falsified (if there is one then he has a point.) If I come up with a theory and work hard to make sure it's falsifiable then I was doing science even if the theory was later falsified.
What does physics have to do with Cantor.
Trim seeks out and destroys awful monthly subscriptions
What does "cannot be proven that it accurately describes reality" even mean, because I'm not seeing the sense in it.
> The argument to the strcmp call is <<< %s(un='%s') = %u, which is the backdoor password, and was presumably chosen so that it would be mistaken for one of the many other debug format strings in the code.

That's very clever from the attackers point of view, extra kudos to hdmoore for finding it!
Given Atlassian recently IPO'ed, it's a public company and you might even be a shareholder. I know that in the Quiet Period (6 months before an IPO where PR is limited) people must not make claims about the company that are not filed in the F-1 (or S-1). Out of curiosity are you now allowed make subjective claims without backing them with facts, such as "They're really good and powerful products"? I totally approve of your opinion, I just wonder about the legality of disclosing it.
Said by those that never try, and by cops that believe their own macho BS. Though often successful, I highly discouraged it, because it's very dangerous for yourself and endangers others as well. Additionally, make a habit of it and you'll eventually get caught and enjoy free accommodations courtesy of whatever county you're in at the time.

But one can most certainly outrun a radio.
You can telnet or ssh to a Netscreen device, specify a valid username, and the backdoor password <<< %s(un='%s') = %u. If the device is vulnerable, you should receive an interactive shell with the highest privileges.
Why ads are a problem
The solaris source code was open, i believe in 2005.. then came OpenSolaris in 2008.. and then the Illumos fork, if i recall correctly in 2010, after Oracle bought Sun..

But even in 2005, when they decided to open the source, it was already too late, because Linux was already a big hit by that time.

But, to use Illumos as a first machine, can be really painful, exactly because of the lack of adoption, and the lack of drivers and software as a consequence... that's the reason of my comment about the time to open the code.. and Oracle closing it up again, didnt help it either.

I would definetly consider Ilummos as a server node.. but for a personal machine.. it can get painful really easy, if you use for development like i do.
Pretty smooth, even on my old laptop. Kudos.
Logging to poorly specified Flash storage is the real problem. They were likely using a cheap eMMC flash, which are notorious for having extremely poor write leveling.

Unfortunately the jump to good flash is quite expensive, and often hard to find in the eMMC form factor which is dominated by low cost parts.
my only question regarding RESTful api's is... is it really that hard to implement?

I know there's a few set of rules/principles to follow but in the end, I just see "lets make a readable and easy-to-understand API that has a nice set of plural "subjects" with the basic HTTP request verbs all nicely applied.

I ask this because I noticed while applying for jobs, that some people hiring simply want someone who can write a REST API but I just didn't see it as a big deal when you're hiring a web developer as long as he has the experience and good mentality for creating organized code.
> you can always get away with more as long as no one is watching closely

In China everyone's being watched and listened to. Foreigners like me are being watched closely, and locals are watching each other far more than occurs in Western countries (like Australia). Even just the general awareness that people are likely to be watching tends to modify behavior.

And of course it's easy for people to watch and listen nowadays. Modern phone/internet technology is being actively used. Bugs don't even need to be inside someone's apartment nowadays for others to listen in. Cameras can be so small it's virtually impossible to find them.

But some people in the West are just as involved in surveillance as occurs in China, particular people in business who protect their cash flows and power structures.
How many LOC is GCC?
How to Learn a New Language in 3 Months
read this instead of the piece of c* * * from ars : http://www.vox.com/2015/12/18/10519644/north-carolina-solar-...
No one is arguing whether science is over, they are arguing whether modern theoretical physics is science.

Another thing somewhat impacted by this issue that people don't think about is that we might not be able to keep up this pace in research for things like string theory for non-scientific reasons: specifically, science funding has flat-lined while the number of students entering the fundamental research fields is increasing. Really, particle physics is probably one of the most saturated fields in theoretical physics today.

There simply isn't enough room for everyone to study what they want. Therefore, given the "zero-sum game" situation we have, we need to decide where it's beneficial to spend our tax dollars and time researching...or most likely, governments who barely understand how to balance a budget will decide it for us. Given that string theory's only argument at this point is suspect amongst a plurality of traditional scientists, it seems like low-hanging fruit to be picked off the funding tree.

Regarding the "keep researching" line in higher level theory that the end of the article and you seem to be promoting...I think yes, you will always have people researching something out there, although honestly, the people who will be able to will most likely be at a certain number of institutions which can be enumerated on one or two hands. The rest of theoretical particle physics? I guess the sustainability of that program is dependent on the stress tolerance of physics graduate students and post-docs for the time going forward.

The other way out is to, you guessed it, work in research that is testable, and leads to fancy toys the beltway boys can appreciate.
Goethe's Theory of Colors
I wasn't counting dual-licensing, because what you're buying isn't a copy of the software but the permission to ignore the GPL, but fair enough.
Not debating you, asking so I can be aware of the pitfall when I try out GTD: Did you try not tracking the pointless things? Is tracking everything a philosophical aspect of the system?
Step 2: Improve the books.

Step 3: Better learning and quality students

Step 4: ?

Step 5: Profit.

Trite, I know, but I feel this follows a similar argument to the one given for electric cars:

Right now, individual ecars don't help the environment because we still have inefficient sources of electricity. But, if everyone has an ecar, we would see huge increases in efficiency when we upgrade our power stations to green energy. 1 wind power station could affect 1000s of car drivers.

So if everyone has access to these books, an upgrade of the book could have a positive effect for millions of students..

Then: profit!!!
Same here. Its potential for both cleaning up waste and as an antibiotic is impressive!

For those who want to watch in better quality than 240p: http://www.ted.com/talks/paul_stamets_on_6_ways_mushrooms_ca...
"Every picture is a visualization of measurements."
Confessions from the Underground World of Kindle EBooks
I dunno. I think garbage trucks at night are by far more annoying than sirens. Maybe it depends on your neighborhood? I really think that NYC should mandate electric garbage trucks.
Indeed, the title "adjunct professor" used to be a fairly prestigious honour given to an expert in a field in exchange for some teaching. However, in lieu of paying teaching faculty properly, universities started handing out the title to anyone, and it has reduced its meaning greatly.
This has existed for a long time, see the Linux kernel's mtd infrastructure, and the filesystems designed to run on top of it (jffs, yaffs). It used to be used in a lot of embedded devices before eMMC became cheap, and is still used in things like home routers.

I am not sure how well mtd's abstraction fits with modern Flash chips, though.
Well I definitely expect to find that password in the very next Person of Interest episode. :)

This has gotten me to wonder just how much software out there is backdoored in such a serious and absolute way... Scary.
What would be the best way to throttle fps and ensure compatibility between different refresh rates?
Your username lends your post an air of authority :)
>Code is scattered in a vast heirarchy of files. You can't find a definition unless you already know where it is.

Not if you're using a proper IDE (or the right emacs/vim plugins, which are effectively an IDE).

>Code is indented to indicate nesting. As code is edited and processed, this cue is often lost or incorrect.

Not if you're using a proper IDE configured for the project's chosen style. My engineering org also has linters in pre-commit hooks and automatically commenting on code reviews.

>Sometimes a line of code contains only a parenthesis, or semicolon. This reduces the density of the code, and the difficulty of reading it.

Depends on the style guide you choose. Also, some people find this more readable.

>There's no documentation. Except for the ubiquitous comments. These interrupt the code, further reducing density, but rarely conveying useful insight.

The only documentation I've ever found useful (aside from comments) was automatically generated from comments, explaining the signatures of methods and what they do.
Fiji here. Happy to trade an island or two for a glass or two of Ekofisk crude.
It's not more complex, it's just different. Constructing URLs is more complex than just following them, for example.
The argument is something like workers owning the means of production is akin to users having control of the source code. Which although maybe debatable, is not a slur in and of itself.
UX Design: Designing for the Empty States
Show HN: Fastflux – lightweight FRP-inspired flux implementation
How I taught myself electronics
True. At the same time you can't condemn future users to this suboptimal behavior just because a bad desicion in the past.

I'm not arguing for just abruptly reverse the design, but that the aim should be to reverse in an orderly manner with suitable deprecations and migration paths in place.
In the U. S., the EPA specifies dB limits on exhaust noise. 84dB, I believe, but I'd have to look it up to be sure (IIRC, 84dB is what's stamped on my stock exhaust). There are local limits as well. The limits just aren't enforced as a primary offense unless the cop really just uses it as an excuse to check for DUI.

It would be a nice start if national parks started turning them away at the gate, as Glacier NP has talked about doing. I'll laugh my ass off when I see Harley and Harley-wannabe riders doing u-turns at national park entrances.
How many of you do actually donate?
I'm curious how much skill it currently takes to install a panel and if some system can be designed which is only 50% more difficult/dangerous to install than a new set of gutters.

I suspect I'm probably wrong since I've not done anything more complicated on a roof than tarpaper and shingles.
It was a matter of time before it leaked. If you're going to put a back door in, at least make sure only you can use it (Nobody But Us). Why didn't they use a keypair?
Two distinct inputs producing the same output is metamery. https://en.m.wikipedia.org/wiki/Metamerism_(color).

Without it, color printing and color televisions would be way harder to create.
At first I was like "November 31st?!" Then Rainier Wolfcastle popped into my head and said "THAT'S THE BUG."
At least in Europe it is considered almost always.

I should have appended "in the USA" to that sentence. Europe is far, far ahead of us in terms of addressing noise in general and transportation noise in particular.

For example, many Americans may have noticed that kitchen/home appliances (dishwashers, washing machines, etc) have gotten significantly quieter over the last decade or so. The reason for that is that an EU directive set maximum noise levels for common appliances. Because many manufacturers sell the same units to the US and to Europe, they designed all of their products to meet the noise spec and we Americans got the benefit.

In terms of transportation noise, I am continually blown away by the public and private sector support consultants in western Europe get in support of noise analysis and noise mapping. I've seen projects in Europe spend more money address flow noise from a high-speed rail door handle than we get addressing noise over an entire rail corridor.
This is a fluff piece based mostly on rumour, opinion, and anecdata. There's little substantive evidence and reasoning.

What I found particularly egregious was the use of a line graph that showed VC investment generally rising to $50.8 billion in 2014 and then dipping to $47.2 billion in 2015. An explanatory sentence below reads "U.S. start-ups raised $47.2 billion in the first three quarters of 2015, following $50.8 billion in all of 2014, by far the most since 2000, according to the National Venture Capital Association." There's no dip thus far. If we project through the fourth quarter of 2015, we can expect a total of about $63 billion in 2015. This is no dip, but yet another record-breaking year.

Sure, the record-breaking years are bound to eventually come to an end, but that isn't news. The baseline of vc investment activity has been raised a great deal, probably permanently.
My guess is a hardcoded public key would be easier to find in code and/or binaries, whereas this cryptic password was quite challenging.
Or the OS it's running on?
But it's also a question of whether you want the culture to optimize for peak artistic quality, or whether you want the median restaurant to be really good. There are some kinds of food for which the NYC median is higher than everyone else's, but for a lot of it, I wonder whether the Chicago median is better even when the NYC maximum is better.
New York has a level of diversity and quality (for $25/meal or less) which I've never seen anywhere else. It also has a ton of tourist trap ripoffs, but those are easy to avoid in the internet age.