##
10 posts tagged with Programming by kliuless.

Displaying 1 through 10 of 10.

## Ethereum Launched

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]

## HoTT Coq

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]

## Eigendemocracy: crowd-sourced deliberative democracy

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]## A SAT Attack on the Erdos Discrepancy Conjecture

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 ;)

## knowledge-based programming

## Game behind gamed: your narrative programming for the day

How The Economic Machine Works by Ray Dalio[1] actually makes a case against austerity[2] 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]

## CS in VN

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)

## Computerized Math, Formal Proofs and Alternative Logic

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]

## use value vs. exchange value

## The Failure of Judges and the Rise of Regulators

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."

Page:
1