skysight-inc/HackerNews huggingface dataset:
Hopefully my answer above makes this more clear.

The high-level idea is that if you are going to take the trouble to specify the type of a function (as in Haskell), and tests that use the function (as in unit testing), and high-level properties of the function (as in Quickcheck), you may as well try to get the computer to actually generate the function for you, rather than writing it yourself.

You mentioned Coq above. Coq users rely on the `crush` tactic to try to fill in the boring details of a proof obligation. This is similar in spirit to search used in synthesis systems. If you can give the high-level specification, let the computer do the "boring" work. Of course, the boring work may be difficult or computationally expensive, and the high-level specification may be ambiguous...
Learn who's using your project with Supported Source
Even better if you move it one word further?

If you spend a lot of your time coding, you are preferring an activity that others can _also_ do to something that only you can do.

Or maybe just change the whole phrasing:

If you spend a lot of your time coding, you are preferring an activity that someone else could do to one which only you can do.
Some other good bits: development tools (malloc_history, spindump, leaks, crash logs, panic logs, dSYMs, powermetrics), security (code signing, ASLR, Time Machine), system APIs (Mach ports, XPC, launchd).
Free PostgreSQL Admin app Postage features and fixes
Windows release is very stable

Force directed explain

New menu setup improves ease of use

Color adds clarity to object tree

WorkflowProducts.com/postage.html
That actively selects for dishonest employees. Then again, it does seem to work for the financial sector.
Presumably you mean the late Qing here?
I doubt Joe Armstrong said anywhere that message passing can be as fast as shared memory for those kinds of applications.
Possibly ad revenue payed out to content creators?
The Nazi movement had Christian influence. Whether it influenced the movement in a malicious way is arguable but Nazism wasn't an entirely secular movement.

Hitler used the term in Article 24 of the 1920 Nazi Party Platform, stating: "the Party represents the standpoint of Positive Christianity". - https://en.wikipedia.org/wiki/Positive_Christianity

And to be intellectually honest, none of those you stated committed atrocities in the doctrine of atheism because it has none. Don't throw atheism under the bus when someone criticizes your religion because atheism is the lack of belief in gods, nothing more.
Desalination plants are expensive and take a long time to build. It's not something that can be built to react to market forces. The Sorek desalination plant in the article started construction in January 2011 and was operational in October 2013 at a cost of 400m USD. It's owned by the government. So, really, the market did not solve this.
Many using recent Pangu jailbreak report hacked credit, debit, PayPal accounts
The Details About the CIA's Deal with Amazon (2013)
what about a simpler strategy of randomizing order delay between 10ms - 150ms or thereabouts ? that might mess with lot's of algo's no ?
Engineer nitpick: it's actually a cable-stayed bridge! Suspension bridges have hanging main cables in an arc between the towers, then the bridge is supported by smaller vertical connectors between the main cables and roadway.

https://en.wikipedia.org/wiki/File:Bridge-suspension.svg

https://en.wikipedia.org/wiki/File:Bridge-fan-cable-stayed.s...

https://en.wikipedia.org/wiki/Cable-stayed_bridge
The ratings agencies also have a direct conflict of interest in how they rate securities because the bank will go to their competitor if they don't get the rating they want.
The United States voted against General Assembly Resolution 2758. In what alternate universe "did the US force [the Republic of China] out of the UNSC"?
The trick isn't necessarily singular. Tainter's argument is actually that what happens is complexity (roughly: technology, though it's a bit more involved than that -- enumerable parts with distinct structures is a good first approximation) increases because it solves problems. The second order problem is that that complexity itself has a cost, and perhaps an accruing technical debt. When you reach the point of not being able to pay those, not only do you lose the complexity incurred but its capabilities -- you're in a worse hole than you started from.

On the question of whether there's a singular trick that's exploited, I'm not aware of anything in Tainter's writing that suggests this at all. There is the concept of Leibig's Law of the Minimum -- the idea that for any system (Leibig is speaking of ecosystems or populations) there's some one factor which imposes a constraint on the system. In that regard, you could could likely look at a single technology which is the operative constraint. But if you're looking at a complex system with multiple modes of failure, you'd be arguing precisely the opposite: that there are multiple technological tricks which aren't presently binding constraints but which, if any one of them failed, would rapidly become one.

There's no basis that the trick need be unique. I'd argue that they're anything but. Basic modalities include agriculture, construction, fire, transport, arms or weapons, and control over hygiene factors.

The United States' trick was in large part massive overwhelming self-sufficiency in resources, most especially energy.

See Vaclav Smil, Energy in World History, Manfred Weissenbacher, Sources of Power: How energy forges human history, or Robert Ayres, The Economic Growth Engine: How energy and work drive material prosperity.

http://www.worldcat.org/title/energy-in-world-history/oclc/3...

http://www.worldcat.org/title/sources-of-power-how-energy-fo...

http://www.worldcat.org/title/economic-growth-engine-how-ene...
Your XOR case is exactly the same example as the OP posted, just that the encryption algorithm involved the XOR operation, random bytes and another document.

In court the judge would attempt to judge the intent of each person involved and rule based on that. You seem to think this is a problem, and indeed it is hard. That why the law uses judges rather than attempting to legislate every possible example.

But the better point is that people have become quick to dismiss the math, as if facts and logic and reality are irrelevant to the law. The law has to live inside the universe. It has to do something when the problems the math proves can happen actually do.

No. This is the key thing you are missing. Elsewhere on this thread someone put it like this: "I would add the concept that the law, unlike software, is capable of openly defying logic. Courts are permitted to dismiss case law and rule in a completely new and unforeseen direction."

The Law is lazily evaluated, in a specific court, in the context of a specific case. It does not follow that the logic in one case applies in another - sometimes it might, sometimes it might not, and things like the intent of the people involved matter.
Habitable Planet Reality Check: Kepler 186f Revisited
If you follow the link on the github page to the app store there is screenshots there.
Path to EU Residency by Way of Estonia
> DeCSS is being published, but who is publishing it?

You do, as soon as you're pointing someone towards C.

One of the main errors techies make about the law is that they tend to see a problem to prove something as fatal to a law.
Thanks. I'm a deb/ubu bloke, but always curious as to the details of other package management systems.
Netgate Registry Cleaner 1.0.3 Serial Key and Crack Keygen Full Free
It's a stock blogger theme. I've looked into adding this css definition/property, but it's a bit past my competency as a webmaster. I imagine myself breaking something else, and not knowing how to fix that either.

> Great writing, I really enjoy your vérité style.

thanks... I do some writing on other topics too, and try to keep 'fluff' to a minimum.
Simple hacked together feed reader/static site: http://akurls.com
Yeah, if we remove every mention of mathematics to make it less "elitist", then one could notice a few nice things, such as justification behind some TTD practices (writing down examples and counter examples to come up with more refined definition), healthy obsession with precise usage of words (plus not mentioned but important - to use as less of them as possible - just enough), and that, basically, the whole process is a heuristic search, so a "wrong" is nothing but merely an empty branch of the search process, not a "failure" - so, just accept it and backtrack. The need of assertions and tests (proofs) is obvious. And the ladder of abstractions is the very same notion of layers of composable abstractions, where each layer is a "language" and building blocks for a layer above, which was popularized by the on SICP and On Lisp books.

This, by the way, is also the answer to that question "do we need to study math for programming". Discipline in the use of ones own mind is what is required.
> Even if it's completely inorganic, plants (or algae cultures, etc) are a necessary comparison for anything like this, but that never seems to come up.

Probably that's because plants are typically only 2-3% efficient when it comes to their use of sunlight, and then it's still a long way (energetically and logistically) to usable fuel or electricity. Plants are really not a good comparison benchmark here.
Show HN: Professional Human Translations in Your Gmail
Lingviny.com. A browser extension which adds a button to your Gmail. You can type an email in your native a language and then choose among 35+ languages for translation. The email is sent to your recipient in about 30 minutes. It comes from you but already translated into another language. Helpful for the businesses an individuals who want to make sure that their message is understood. Currently working on decreasing the translation time. Feedback much appreciated.
> the more you thought CDOs were safe as houses

Didnt Warren Buffett say in 2002 that derivatives were weapons of mass destruction.
House of Suns generally seemed to make me viscerally feel Deep Time. I was rather impressed with that aspect in particular.
I like this from a representation theory perspective. The cyclic group of order two, C_2, is the set {1,x} with x^2=1 (it's reasonable to just use {1,-1} with the group operation being real-number multiplication). Let V be the set of continuous function R->R, and then let's define a linear representation where phi_1 is the identity operator on V and phi_x is the operator you describe, phi_x(f)(c)=f(-c). (The only two symmetries of a line which fix the origin are the identity and flipping, which is what this representation is representing.)

The group C_2 is known to have exactly two irreducible representations (the positive and the negative representations), so V decomposes into (at most) two subrepresentations (that is, there are two subspaces of V which are closed under the group action). Using the characters of C_2, we get two projection operators: (\phi_1+\phi_x)/2 and (\phi_1-\phi_x)/2. Examining what these do, they decompose a function into the even and odd parts, respectively!

This idea can be extended to the circle group for the Fourier transform.

Representations are able to capture a bit more than eigencomponent. Where an eigencomponent requires that the action be strictly scaling, components from representation can have more complicated actions. For instance, if you have a representaiton of the dihedral group of symmetries of a triangle, then there will be projections which will give you 1) the +1 eigencomponent, 2) the -1 eigencomponent associated with flipping the triangle over, and 3) the 2-dimensional component which faithfully represents the symmetries of the triangle (i.e., the one already mentioned when describing the dihedral group).
The 'good bits' of OSX is that there is no such a thing as 'drivers' from the users perspective.

Well, unless you buy some hardware that is not from Apple. Buy a 802.11ac USB stick (because your Mac has 802.11n and you cannot upgrade the hardware) with Mac drivers. The vendor decides to release a (buggy) driver update for El Capitan half a year after it's released.

Pretending that the driver problem does not exist on macOS does not make it go away.

(Mac user since 2007.)
I read the article and the answers certainly weren't clear to me.

'20x cheaper than some other catalysts' what does that mean exactly?

'special fluid keeps catalyst sites clean' does it get used up in the process? Is the fluid expensive and hard to manufacture?

The devil is in the detail here.

How exactly does this compare to other state of the art similar approaches? 10x cheaper? 2x cheaper? on par?

I think it's pretty valid to argue the article is doing some vague hand waving without actually saying if this is meaningfully better than other approaches.
Keybase Introduces End-To-End Encrypted File Sharing Service
This seems to me like a less-formal (and consequently less powerful) implementation of type completion in dependent-type systems and theorem provers such as Agda or Coq.
feedly because it's free but read thru reeder
Sure but then the verification will fail since you won't be able to sign the handshake with the "pin'd" cert. (Assuming they implement TLS or other crypto in their own code.) If you aren't modifying the execution environment then it's possible for an app to be "safe".
Short answer: probably not. Mean matters far more than n.

You're reminding me of an article which circulated some months back about where the question was: Where do you find the most of the world's tallest people -- in a small country with a tall average population (like Norway or the Netherlands) or in a very large country with a short average population.

I don't recall the references and they're not turning up in my archives.
It turns out that when you're multiple standard deviations above average, x-bar (mean) matters far more than n (population).

Which would suggest that in the race to breed intelligence, you'd do better at raising the mean rather than the n. Another hole punched in the "grow the planet to increase total intelligence" argument.
Yeah, but what if all the worst tranches were repackaged into CDOs that were knowingly composed of shit loans, and then rated AAA, like what happened?
In general, I agree, but it's also important for the manager to put together a team that respects him for his managerial ability rather than his ability to do the individual contributor's job. No respectable athlete evaluates his coach on his own athletic skill.
The Hyperloop: BUSTED
China has far less arable land per capita than most large countries.[1] There's not much slack for major screwups in agriculture. This has been a major driving factor in China's history. China had six famines in the 20th century, and a long history of them before that. The Great Leap Forward was the last and worst one.

[1] http://data.worldbank.org/indicator/AG.LND.ARBL.HA.PC
We'll guess your brain's political ideology
Am I right in thinking 8K refers to the number of LUTs/cells? If so I won't be fitting the Rocket RISC-V design in one any time soon. Although it's a good start - I'll be very happy to see the back of Xilinx Vivado awfulness one day.
People who write jailbreaks would love to get paid, I'm sure. In China, shady stuff like this won't get anyone sued, at least if they don't rip off anyone from within China. Do the math.

I used to jailbreak, but then I realized I didn't want to fight my device at every turn and switched to Android. I don't mean that Android is better, just that iOS is highly locked down, and asking it to do more than for what it was designed is a losing battle. Not to mention that the coders are fighting jailbreakers at every turn, too.

Raise your hand if you'd love to get on the bad side of Apple.
I, vacri, formally apologise to you, qwertyuiop924, for attempting a moment of levity.
this doesn't work anymore on iOS apps that use ATS. ATS is enabled by default and will be required by Apple by the end of 2016
Depends on the tree.

For some forestry applications, seeding is done from the air.

Note that if you're growing wood for fuel, you're not worried about grafting stock, or the net health (much), or overcrowding (you can thin later if necessary), etc.

Planting orchards is, as it happens, pretty expensive. But that's also a pretty high-end case, and the expected life is generally 20-50+ years. Upwards of 300 in cases (olives, grapes, and citrus).
I'd love to see an "every second" of revenue for the Fortune top 50
My recommendation? Don't publish A xor B xor C and instructions for how to recover "naughty" texts from that.
Right. But the difference here is you need to answer the question which is a task. Then based on what you actually want to do, there is an extra step in opening the dialog just to choose the other format etc.. maybe you just want to save in the application default. The point of the version I posted is that each button maps to a direct intention. The message is informative, and the user does what they want. It's not the application asking or warning or assuming anything. It's not the developer imposing anything. Based on what the application can do, the user is presented with the various options that map to intentions.
I didn't read a lot of these. And I'm a naturally skeptical person, so forgive the following observation. In every story I read, you seem to offer sage advice which people are almost immediately receptive and responsive to, even in dire or exigent situations. In my experience, people are rarely so responsive when flooded emotionally. In other stories, you're saving the day by calling cops when needed, etc. It seems like you're painting the picture of yourself as a sort of heroic sage. That's alright, I suppose, but it smells funny to my (admittedly skeptical) nose.

I'm glad you checked with mods before posting and if this is cool with them, then it's cool with me. But this smacks of self-promotion to me.

Also... Mitt Romney as a freedom fighter from the future who can help us stop Amazon's Skynet? Okay. Maybe I skimmed too quickly by this point, or I missed the metaphor, but this seems a little whack.
theoldreader.com is what I use. Closest to Google Reader...
Source required for art licensed under the GPL
I dont think a CS degree from a non-high-end school moves your career very far unless you want to work for the gov (have you given that a shot?).

So think of yourself as a person whos built a couple of websites. An internship would be a huge step up.

Think about what kind of technologies you want to work in. Do you want to do web dev? You should probably learn a popular mvc framework (laravel, rails, django, Etc)
If people are going to go to one of our competitors, it's usually Date-fns. It's a quality library, but it doesn't have a date parser. I personally think that this is an essential part of a javascript date library given how unreliable the JS date parser is, but then I do maintain Moment. JS Joda is another option that recently came on the scene. That one is worth checking out, as it ports JodaTime, which is a sweet library, to JavaScript.
Say bye to Regular coolers with our AWESOME allinone EZCOOLER
LOL. That was exactly what happened to me on the first transition as well. Good to know I'm not alone.
I considered using one of these libraries and writing the Qt GUI for my application in Python rather than C++.

However, I would like to build the application into a standalone binary for end-users to run on their own systems. This seems to be difficult with Python, and when I was able to build such a binary (using PyInstaller on Windows) it was large and slow to start-up.

(Qt itself is ~10MB (QtCore4.dll + QtGui4.dll) and (when using C++) can be made smaller by static linking, but PyQt doubles the size (python27.dll + PyQt4.QtCore.pyd + PyQt4.QtGui.pyd).)
To save you the effort of taking the entire survey to find out the methodology (disclosed on the last page), here it is:

How does this work?

A 2014 study[1] concluded that people who were more prone to disgust are more conservative and tend to align with the republican party. But, why?

Some scientists believe it's ancestral and that the adverse reactions were used to protect primitive ancestors from contamination and disease. This way a person wouldn't confuse drinking water with dirty pond scum.

The study measured participants' brain response to "disgusting" imagery using an MRI. The study could predict party affiliation with up to 98% confidence. The questionaire on chartsme.com uses Jonathan Haidt's disgust scale[2] in lieu of MRI and imagery, so results are likely far less accurate. Watch TED Talk[3] to learn more or read "Yuck!: The Nature and Moral Significance of Disgust".[4]

[1] http://www.cell.com/current-biology/abstract/S0960-9822(14)0...

[2] http://people.stern.nyu.edu/jhaidt/disgustscale.html

[3] https://www.youtube.com/watch?v=5YL3LT1ZvOM

[4] https://www.amazon.com/gp/product/0262015587
I can think of another way you can take sunlight and CO2 and produce a burnable fuel...
No, AWS was not unique. It became well-known because a) Amazon had the money to pump into marketing it, and Amazon was already a strong brand and b) aggressive integration of additional non-hosting services like S3 and Route53 made it a simple one-stop shop. They had the brand credit to get enterprise clients on the hook. As the rest of this thread is stating wrt DSC, the success is really only slightly related to the technology.
Cheap web startups have been possible since at least the mid-90s. AWS makes it much less cheap, actually.
Both terms are fine unless someone personally asks you to stop.
The Microsoft way (part 41): vulnerable by (poor implementation of bad) design
Can someone debunk the myth I read about the FreeBSD package management system?

In Debian/Ubuntu/Mint style Linux it's enough to use

apt-get update
apt-get upgrade

and only the changed packages including all interdepencies are downloaded and installed in the correct binary form (x86/x64/arm...).

How does FreeBSD really handles package management and is it ahead or behind the current state-of-art in this respect? And what is on the roadmap to improve the status-quo (in case there is a need)?
Wow, this guy has the completely opposite attitude of me. He seems to think it's a bad thing, an attack!, for users to see just what the hell data you're pulling off someone's phone. And, bizarrely, uses an example of an app that essentially stole data from its users.

I should be able to see what data an app is sending, and certificate pinning (and ATS according to another comment) kills that. That's not a good thing.
Totally missed on me. But things involving natural processes don't disgust me much.
Also, revenue/profit from selling lightning cables.
- Slate Star Codex (http://slatestarcodex.com/)

+ Really good analysis of complicated and interesting
issues in science, medicine, politics, rationality,
ethics, and community dynamics.
There are several large populations which aren't particularly associated with accelerating technological growth.

I'm suspecting an inverted causality arrow here. At best a confounded one.
It is, indeed, also on Android. I use it there constantly, works great. Back in the Google Reader demise days, I tried pretty much everything that was available, and NewsBlur was clearly the best. I've happily paid for it ever since. The founder and his staff are responsive to issues on Twitter, too.

As for what I read:

- Blogs category: 116 "blogs", which is to say irregularly (sometimes very rarely) updated feeds with longer-form content (includes some podcasts).

- Miscellaneous category:

- Charles Arthur's daily link list

- Daring Fireball

- LWN.net

- Marco Arment

- Matt Mullenweg

- Planet Gentoo

- Planet Mozilla

- The Codeless Code

- Trivium

- Comics

- CommitStrip

- Dilbert

- Geek&Poke

- Not Invented Here

- Oglaf

- Power Nap

- Questionable Content

- Strong Female Protagonist

- wulffmorgenthaler

- xkcd

The full list, if you're interested, is here:

https://dirkjan.ochtman.nl/files/NewsBlur-djc-2016-07-31.xml