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

The Uncanny Mind That Built Ethereum

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]
posted by kliuless on Jun 16, 2016 - 62 comments

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]
posted by kliuless on Aug 7, 2015 - 57 comments

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]
posted by kliuless on Jun 9, 2015 - 13 comments

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