11 posts tagged with Programming by kliuless.
Displaying 1 through 11 of 11.
Vitalik Buterin invented the world's hottest new cryptocurrency and inspired a movement — before he'd turned 20 - "I think a large part of the consequence is necessarily going to be disempowering some of these centralized players to some extent because ultimately power is a zero sum game. And if you talk about empowering the little guy, as much as you want to couch it in flowery terminology that makes it sound fluffy and good, you are necessarily disempowering the big guy. And personally I say screw the big guy. They have enough money already." [more inside]
In case you missed it Ethereum announced its first developer release a week ago. What is Ethereum? According to the video it's a "planetary scale computer powered by blockchain technology." Given the breathlessness, some skepticism is in order, but what if it purports to do on the tin is true? [more inside]
Univalent Foundations Redefines Mathematics - "When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics." (previously) [more inside]
Scott Aaronson on building a 'PageRank' for (eigen)morality and (eigen)trust - "Now, would those with axes to grind try to subvert such a system the instant it went online? Certainly. For example, I assume that millions of people would rate Conservapedia as a more trustworthy source than Wikipedia—and would rate other people who had done so as, themselves, trustworthy sources, while rating as untrustworthy anyone who called Conservapedia untrustworthy. So there would arise a parallel world of trust and consensus and 'expertise', mutually-reinforcing yet nearly disjoint from the world of the real. But here's the thing: anyone would be able to see, with the click of a mouse, the extent to which this parallel world had diverged from the real one." [more inside]
Computers are providing solutions to math problems that we can't check - "A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it's talking about — because the solution, which is as long as all of Wikipedia's pages combined, is far too voluminous for us puny humans to confirm." (via; previously ;)
How The Economic Machine Works by Ray Dalio actually makes a case against austerity and for redistribution, but also for money printing (and, arguably, for bailouts), while stressing the need to keep making productivity-improving public and private investments. However, it could be equally entitled: How The Industrial Age Political-Economy Doesn't Work Anymore, viz. Surviving Progress (2011)... [more inside]
Kids In Vietnam Are Crazy Good At Programming - '11th graders in Vietnam are so good at programming that they could easily pass an interview at Google' (via)
Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]
The Control Revolution And Its Discontents - "the long process of algorithmisation over the last 150 years has also, wherever possible, replaced implicit rules/contracts and principal-agent relationships with explicit processes and rules."