8 posts tagged with Programming by kliuless.
Displaying 1 through 8 of 8.

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]
posted by kliuless on Jun 23, 2014 - 45 comments

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 ;)
posted by kliuless on Apr 12, 2014 - 24 comments

knowledge-based programming

Starting to Demo the Wolfram Language (via; previously ;) [more inside]
posted by kliuless on Mar 1, 2014 - 55 comments

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]
posted by kliuless on Sep 25, 2013 - 28 comments

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)
posted by kliuless on Mar 27, 2013 - 63 comments

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]
posted by kliuless on Mar 16, 2013 - 25 comments

use value vs. exchange value

What Is Value? What Is Money? (via via) [more inside]
posted by kliuless on Sep 1, 2012 - 15 comments

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."
posted by kliuless on Feb 23, 2012 - 25 comments

Page: 1