skysight-inc/HackerNews huggingface dataset:
Yeah a bit. This part

> searches for a proof in ZFC (or your favorite alternative)

is tripping me up though. It's not obvious to me that you can do this in an automated fashion. I assume this is a standard tool for theorists though? How does such a program work?
It's plausible Greenwald could have lost control of the documents (read http://www.nytimes.com/2013/08/18/magazine/laura-poitras-sno...). Snowden is hopefully more qualified along those lines.

And yes, I do think that the person with security clearance minimizing their leak is a better than a reporter doing it.
But at the end of the day aren't all platforms complicated.

It's been a while since I did GUI programming on the desktop, but I remember it being so complex to build cross-platform applications that rolling your own cross-platform abstraction would be downright ludicrous.

I think the parent commenters point is correct. People treat the web like it should be easy, like it should just be HTML, but its not. It's full of legacy stuff, it requires working on multiple "platforms" (browsers), it runs on all kinds of device sizes and shapes, and the applications being written for it are no longer trivial.
I asked what the difference is.

If a store offers a discount with specific terms, claiming the discount outside of those terms is theft.

Paying less than obligated to is theft.

Just like using fake coupons is theft, etc.
It's not just years it's the types of deployments. ZFS backs a very large number of very large critical systems.
I've worked with autonomous control for RC cars, and it's not that easy. The math is very fuzzy in highly dynamic an non-linear environments. That approach works in nice controlled environments, but will fail badly when assumptions about linearity and the effect of control decisions start to break down. Also with any open loop control model that takes dynamics into account, the state space is so large that planning at a high enough rate is a serious computational challenge. As vehicle speeds increase, the computation becomes a very hard problem.
Depends on location and provider, but I worked on a remote off grid monitoring station. We uploaded about 30 gigs a month over a satellite dish. The price was comparable to cell phone, but the ping was bad. 300 ms or so, occasionally much worse.
I read this with a lot of head-nodding but also a great sense of sadness.

I agree with pretty much every brickbat hurled at Rails in this article, except for one thing:

> Both projects were ultimately killed by Rails as Merb was “merged” into Rails, what turned out to be a major Rails refactor for its 3.0 version. DataMapper lost its community attention and without much support, it never evolved as it could if Merb was not “merged” into Rails.

DataMapper wasn't killed by Rails absorbing Merb. DataMapper was killed by "Things You Should Never Do, Part I":

> "They did it by making the single worst strategic mistake that any software company can make: They decided to rewrite the code from scratch."

(http://www.joelonsoftware.com/articles/fog0000000069.html)

DataMapper 2 was insanely ambitious, and true enough, it was never finished. A core subset was salvaged as ROM (Ruby Object Mapper), which has a certain artisan purity but is a long way from hitting the readable/understandable sweet spot that DataMapper originally had. But DataMapper 1 was abandoned by its developers. Pull requests languished and there weren't even any maintenance releases. I idled in the DataMapper IRC channel for a while and pretty much every query was answered with "don't bother, wait for DM 2". Unsurprisingly, people switched to ActiveRecord instead.

I still use DataMapper. I use it in my own framework, which is plaintively simple compared to Rails and no doubt makes a load of mistakes, but they're the mistakes I've chosen to make (which, as per DHH, is "opinionated" software). I would love DataMapper to be, if not revived, at least slightly maintained. There is life outside Rails, but you have to want it.
Show HN: Command line tool to visualize Postgres EXPLAIN output
Having worked on systems like that, the problem is that you end up in a situation where there are literally two people in the world who can answer questions about how something works and integrating other third party libraries or solutions becomes harder and harder.
Transcript: Peter Thiel at the Hamilton College 2016 Commencement
Proofs can be expressed using a string and verified to check every step is valid.

So brute force over every string, checking if it's a valid proof for the claim you want.
Very true. These countries are all showing syptoms of first-world economy disease; low-birth rate, government budget deficit, high healthcare expenditure, bureaucracy, gutting of manufacturing jobs, and local labor market and education systems that fail to recognize that not everybody has IQ of 120+ and benefit from getting bachelors and masters degrees.

America can thank its dollar as world reserve currency. Billions it spends on military bases around the world and foreign aids is part of its effort to keep its reserve currency status. But at some point, the party is going to be over. American labor force is already very uncompetitive and overpaid compared to its European and Asian counterparts. Yet we enjoy one of the highest standards of living. That gravy train won't last forever.

The only thing that will get the developed countries out of their impending doldrums is 10/100x energy and technological breakthrough.

Until then, we'll get our own version of 60 yen Garagari-kun.

And don't think deflation hasn't been happening already in the U.S. The only difference is, unlike Japan, unscrupulous U.S. food companies have been cutting ingredient quality and content size, rather than raising price for the past 10 years.

Check out Breyer's fake ice cream, Haagen Daaz, McCormick pepper content size, Mars shrinking chocolate bar sizes.

https://consumerist.com/category/grocery-shrink-ray/

http://www.dailymail.co.uk/femail/article-3037688/Shrinkflat...
Some would say that arguments based on demographics are missing the point. Japan has been cannibalizing itself in order to protect its zaibatsus, squeezing every last ounce of productivity from its workers to the point at which they longer reproduce, and enacting corporate welfare policies in the form of QE and ZIRP/ NIRP. The EU and US have been following suit with quantitative easing and stagnant wages, and now we're beginning to experience the same economic decay that Japan has before us.

This whole situation is completely avoidable if someone would just have the courage to stop coddling elites and big business.
It's not letting me reply any deeper, but that makes sense, thanks!
He's accepting donations, and using those to buy food. That means he's reselling the food he buys in exchange for those donations.

I don't think there's an exception if you're not making a profit from the reselling.

"Using prime to benefit the charity" is different if nobody's giving them money to do so, because they aren't selling anything then. But buying something on your account when someone pays you is reselling.
The decision is not about individual programs. It's a much higher-level one. What do we fear more: the potential for leaks to undermine security, or the possibility of government surveillance abuses that go uncaught and unpunished? That's a decision people can make without knowing the specifics of what kind of surveillance the government is doing.
People knew in general far less about the effects of ionizing radiation at the time --- you could even say Slotin's death was one of the datapoints that lead to better understanding.
He mentions it at the end, but I'd strongly agree that Clojure addresses the issues he mentions. I see a lot of discussion in this thread about Elixir and Phoenix, but I'd take another look at Clojure.

It's got a strong, friendly ecosystem that encourages small, composable libraries. For every level of your application, there's competition - http servers, sql abstractions, front end libraries. And there's great resources to help you choose what works best for your use case - the Luminus docs, books, blogs, and several active forums for discussion with library owners and just regular developers.

Couple that with a community that really took Rich Hickey's "Simple made easy" talk to heart and the default immutability and functional paradigm and the abstractions that Clojure itself has to offer, not to mention the performance the JVM brings to the table, and I think it's a great language to hang your hat on in the long haul.
And all programming itself is is turning strings of 1s and 0s into other strings of 1s and 0s.

Asking web dev to be less complex is like asking financial markets to be simpler. Websites are market tools, tools have to retain a competitive edge. You can't afford to ignore market trends. You can't afford to wait until everything is well-defined. You can't let craftsmanship get in the way of shipping.

You can buck the rules yourself and operate on whichever side of the tradeoff you want to operate in, but you can't expect everybody else to follow the same rules you do.

I mean, if you don't like the web, then by all means find a different domain. I personally love it, and find it absolutely fascinating. With the right tools, (Rails) the complexity is manageable.
Neat project. What we've been doing is using provider (software) firewalls for whitelisting IPs at the bastion level.

In AWS we have a security group just for the Bastion inbound, and adding/removing IPs to that on-demand to allow access. I kind of assumed this was standard practice by now?
Bonsai are similar though. We are talking about years of careful pruning and restriction. Most bonsais aren't sold before at least 3-5 years. That's a lot of work for $50-100.
A beautiful thing for the company to do. Shows a huge amount of integrity.
ZFS has a utility called ztest that performs stochastic testing on the core ZFS code in userspace with assertions enabled. It catches many reliability issues and is something that anyone can run. There is also the zinject framework for doing fault injection.

As for independent verification, here are the top two results from searching google from my IP address for "Zfs paper reliability":

http://pages.cs.wisc.edu/~kadav/zfs/zfsrel.pdf
http://research.cs.wisc.edu/adsl/Publications/zfs-corruption...

There is nothing surprising to me there. The merkle tree with good quality 256-bit checksums strongly guarantees that corruptions are detected and redundancy allows for correction.

The main ways of messing up would be a buggy driver, something else in the kernel damaging the driver's data structures or hardware corrupting memory. The stochastic testing gives some protection against the first of those. I guess you could target the two things that live outside of the merkle tree (labels and ZIL blocks), but those are self checksummed and used in ways that minimize the potential for issues.

Here is a summary of data integrity features that I wrote:

http://open-zfs.org/w/index.php?title=System_Administration#...

It is possible that I missed some of the more obscure protections.
Nitpicking here, solnic didn't reimplement ActiveRecord (he did, but that's long ago) -- ROM implements the DataMapper pattern.
Building a CPU one transistor at a time
The idea is that proof systems can be formulated as a grammar for a recursively enumerable language (Type 0 grammars in the Chomsky hierarchy): https://en.wikipedia.org/wiki/Chomsky_hierarchy#Summary, such that if there is a proof of a particular statement a corresponding word can be derived by the corresponding grammar.
But this can easily be done by a Turing machine (either check through all possible derivations in the grammar or, more abstract, let the Turing machine let non-deterministically choose a possible derivation and use the fact that the expressiveness of non-deterministic Turing machines is the same as for deterministic Turing machines).
RIP Bangladesh.
> why even countries like Switzerland have intelligence and military arms

https://en.wikipedia.org/wiki/Blowback_%28intelligence%29

I'm not interested in arguing absolutes, as perhaps the original ancestor was.
Without his consent? Absolutely. In Greece the police will have you remove any camera that faces the street (even a small chunk of it) if you're not a bank of course.

Now when we're talking about private property, written consent about what you do with that data is obligatory.

Indeed these banks receive tons of lawsuits every year, but if there's something more rotten in Greece than the economy is the justice estate...
I'm finding this more difficult than I expected, at least if I interpret the problem as finding "deoptimizations" that are specific to modern Intel processors. Finding ways to slow things down through changing the algorithm, increasing precision, or adding unnecessary work are easy, but I haven't yet found anything that would be a plausible optimization made by a beginning programmer that hurts performance more on modern Intel than would be expected.

In the answers, I think Peter covers most of the likely attacks. One that isn't mentioned is "choosing the wrong compiler". Not just compiler options, but compiler. While there isn't a "best" compiler for everything, for a given program often one will perform better than the others. Especially if one is targetting recent Intel CPUs, Intel's compiler can occasionally beat GCC and Clang by surprisingly large amounts. This appears to be one of those times.

Here are the times I see for for this example on a 3.4 GHz Skylake running 64-bit Linux when compiled with different modern compilers:

icpc 16.03: 0.87 s
clang++ 3.8: 1.76 s
g++ 5.3.0: 1.73 s

All were compiled with "-march=native -g -Ofast", which I think causes all of the compilers to use the equivalent of "-ffast-math". At least, I'm pretty sure icpc uses it by default, and I didn't see any difference in performance when I added "-ffast-math" or "-funsafe-math-optimizations" to clang++ and g++. So in this case, I (provocatively) would suggest that using clang++ or g++ would be a subtle 2x deoptimization. There are definitely reasons to prefer them, but for this example that choice looks to come at a large cost in performance.

If you want to do your own comparison, Version 17 of the Intel compiler is currently available as a free beta for Windows, Mac, and Linux: https://software.intel.com/en-us/articles/intel-parallel-stu.... I don't know how they are defining the license duration, but when I downloaded yesterday it gave me a license valid until October 2016. Separately, I'd be interested to see what MSVC does with this on a comparable machine.
What do you see as Django's spammy boilerplate?
> I want to fight-back against the centralisation of Internet services.

My sentiments exactly. Right now email is something anyone can participate in as long as you are using software that follows the (open) standards. It is at its core an inclusive technology, despite the (disheartening) issues mentioned in this thread about the pitfalls and hazards of getting your own mail-server going. It would be a shame if we were to lose this.

On the other side of the spectrum we have the dominant instant messaging platforms, where you can only participate if you run their proprietary software and identify yourself with your pre-approved identifier (your phone number in most cases). Or the centralized social media platforms that censor according to their interpretation of what is permissible.

I understand that leaving all complexity and the burden of grokking something as abstract as networked software is something most people are glad to leave in the hands of Apple, or Microsoft, or Google; but it saddens me that those of us who do understand how this stuff works (at least in a broad sense) appear so willing to just accept the death of a free and open internet for a bit of convenience.
This is great and if lists are created on the user personal account, then they will be visible from the Twitter UI itself.

Too bad is a mobile app.
One more interesting take-away - Uber has both Adjust and TUNE(Mobile App Tracking)'s SDK. Lyft has both Kochava and TUNE(Mobile App Tracking)'s SDK. All these SDK's do Attribution analytics (where are my app installs coming from). I wonder if app installs are so importnat to Uber and Lyft that they need 2 SDKs each doing the same thing to keep each other's data honest?
There's something exciting about watching that, and knowing that it was software figuring that out, and not a human. Even more exciting is that sort of offhanded hope at the end of the article, because yeah, we're eventually going to see a period when human and machine drivers compete. I don't know how long that period will last; maybe it will be like the history of humans vs computers at chess, or maybe it will be more like Go.
So, what did they break this time?
Another unicorn bites the dust
Haskell has a healthy and growing web ecosystem, from larger frameworks like Yesod to leaner ones like Snap, Scotty, and Spock. Servant is also looking promising as toolkit for building both API servers and clients. And GHCJS lets you write your frontend code in Haskell as well, if you so choose.
For the record: I'm not American :-)
You should try Qt. It's always fun to write some open-source software, and find that someone ported it to Windows or Mac in a few minutes.
I can nitpick too! :) I never said he reimplemented active record, I said he reimplemented ActiveRecord. Though I suppose the better verb to use would have been 're-engineered'. Reimplementing seems to imply an algorithm or design pattern, where I meant to re-do the functionality.
It's also about bad stuff we can imagine being torture, vs. bad stuff that is hard to empathize with, unless you have some background in it. The concept of stress positions only really becomes horrifying if you've ever been forced, or forced yourself, to try and hold one. By the same token, what is the subjective experience of being hooded, while someone uses an OTC "stun" electroshock weapon to jolt your genitals, face, and anus?

Some things are easy to imagine, in the place of another; getting shocked in the taint is an easy thing to be horrified by. The more pernicious and subtle effects of sleep deprivation, loss of a sense of time and self control, isolation, fear, and of course the total loss of self determination and freedom are hard for a lot of people to grasp.

You deal with people who lack imagination or empathy, or people who imagine themselves as being far tougher than they are. You have people who think that anything survivable, that doesn't maim, and doesn't leave someone a gibbering wreck, can't be torture.

It's always easier to get through to people with scars from a whip, or lost limbs, than it is with a complicated story of months spent in captivity. If you're like many torture victims, most of what you'll be able to describe is the inside of a hood, or the inside of a small, unpleasant cell.
Well yes "media graphs" are part of the problem but we have social media now so any "super" who wants to make her choice known to the public can do that without help from traditional media outlets. The Democrats really should impose this silence on themselves. I can see exempting e.g. governors from the gag, but others who are only "super" by dint of their positions as associate assistants to state committeepersons should just be quiet until the voters are done speaking.
Condoms by Drone: A New Way to Get Birth Control to Remote Areas
The complaints weren't about the complexity of web dev, but the degree of tight coupling and bad application architecture that the author sees baked fundamentally into Rails and the approach it is designed to favor.

And as for leaving for what, the author identified both the other Ruby-based stacks and the noon-Ruby languages and frameworks that he sees as valuable. And, no, Java is not on the list.

Your rant looks like a reflexive defense of Rails from someone who hasn't read the source article more than superficially; the article doesn't dismiss the web as a serious domain, it just sees Rails as locked into a dated approach to the domain.
I use icc on my main application which is cpu limited and it halves the run time compared to either clang or gcc. Intel has some very clever complier engineers.
> The only constraint is that you must include the original license/copyright notices.

Right, that's exactly what I mean.
Like other background videos I've seen, this prevents the computer from sleeping in Mac OS with Chrome (but not Safari).
IBM Extends GPU Cloud Capabilities, Targets Machine Learning
No, only limbo (and I think a scheme) work on inferno. But limbo is very, very much like golang.
Climate Research Pulls Deep Learning onto Traditional Supercomputers
In-Memory Breathes New Life into NUMA
Scaling All Flash Arrays Up and Out
Corporate Strategy Conformism
I can't take his opinions too seriously because his 3 central gripes, which he wrote extensively about, boil down to:

1) Too much complexity is hidden by simple interfaces

Those simple interfaces make programming enjoyable and don't break, so...

2) Your app logic is going to be too tightly coupled to core Rails features like AR, helpers, controllers ("your app is Rails")

Yes, you are in fact using the features of Rails when you use Rails. Is this actually a problem?

3) ActiveSupport. "No actual solutions, no solid abstractions, just nasty workarounds"

ActiveSupport has saved me bajillions of hours and never broke anything for clients. I wasn't aware it was such a flawed library, if it is?

Rails is maximized for developer happiness by, among other things, making things simple (yes, which to a large extent means hiding complexity), giving you a bunch of Omikase core features that you can in fact use, and gives you a lot of sugary methods for handling things that are tedious. I understand people wanting to try other things and leave Rails, no problem with that, but his stated reasons reveal a lot more about him than about Rails.
Nepomuk has been replaced with Baloo, which is very much alive, way more performant and integrates well.
No, but it stipulates that the copyright notice and license text must be retained.
Do Trees Sleep?
You are introducing ideas named for people, rather than the idea itself. Of course that will obscure meaning, and you are only further deteriorating the SNR of the thread by doing so.
ZFS also does better when the guests are stored on zvols. If volblocksize=4K is set on creation, it can avoid read-modify-write overhead. Regular files can be used too, but those are somewhat higher overhead. In that case, recordsize=4K can be used.

That said, I do not think the tests involved nesting CoW file systems.
Filtering by IP addresses and ranges only gets you so far. What if one of the people who needs to log in logs in remotely? Or if a contractor is behind a dynamically changing IP address? Or if you have too many IP addresses and ranges to fit the limit of rules in a security group? So, while IP restriction is a standard practice, it is by no means the end of it all.

I like the project as a cool and creative experiment,though, and that's what it says it is :)
How Much Are You Worth, Really? [Pricing]
I'm pretty sure it was plug-and-play. It's actually kind of cool how many USB peripherals Android natively supports -- keyboards, mice, flash drives, etc...
I have a third interpretation: I think Solnic was complaining about a lack of diversity in the Ruby ecosystem. The most salient part of the post was (imo) the paragraph regarding how Merb was subsumed into Rails, instead of continuing to compete against Rails. Rails is essentially a monopoly.

> It seems incredibly odd to leave Rails over this. For what, Java? Unbelievable.

If projects such as Merb were more common, maybe Solnic could leave Rails without abandoning Ruby.