##
22 posts tagged with computation by kliuless.

Displaying 1 through 22 of 22.

## Sapiens 2.0: Homo Deus?

In his follow-up to

*Sapiens*, Yuval Noah Harari envisions what a 'useless class' of humans might look like as AI advances and spreads - "I'm aware that these kinds of forecasts have been around for at least 200 years, from the beginning of the Industrial Revolution, and they never came true so far. It's basically the boy who cried wolf, but in the original story of the boy who cried wolf, in the end, the wolf actually comes, and I think that is true this time." [more inside]## WORLD OF TOMORROW

World After Capital by Albert Wenger [Work in Progress; GitHub; GitBook; PDF; FAQ] - "Technological progress has shifted scarcity for humanity. When we were foragers, food was scarce. During the agrarian age, it was land. Following the industrial revolution, capital became scarce. With digital technologies scarcity is shifting from capital to attention.

*World After Capital*suggests ways to expand economic, informational and psychological freedom to go from an industrial to a knowledge society." (previously)## Werner Herzog has made a documentary about AI and technology

*Lo and Behold: Reveries of the Connected World*- "With interviewees ranging from Elon Musk to a gaming addict, Werner Herzog presents the web in all its wildness and utopian potential in this dizzying documentary." (via)

## Desire Modification in the Attention Economy

The Future of (Post)Capitalism - "Paul Mason shows how, from the ashes of the recent financial crisis, we have the chance to create a more socially just and sustainable global economy." (previously; via) [more inside]

## 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]

## Famous Fluid Equations Are Incomplete

The Singular Mind of Terry Tao - "Imagine, he said, that someone awfully clever could construct a machine out of pure water. It would be built not of rods and gears but from a pattern of interacting currents." (via) [more inside]

## After Capitalism, Humanism

Shared Prosperity, Common Wealth, National Equity and a Citizen's Dividend: Nirit Peled takes a look at social experiments in basic incomes for VPRO Tegenlicht, a Dutch public television documentary series. Starting with a German crowdfunded UBI chosen by raffle -- kind of like the opposite of Le Guin's

*Omelas*(or Shirley Jackson's*Lottery*in reverse) -- the focus moves on to Albert Wenger who wants to disconnect work from income not only as automation progresses but to accelerate the process. Then it's on to Guy Standing who has conducted basic income experiments in India and Namibia (pdf) and is trying to get one off the ground in Groningen (Utrecht apparently is also a go). Finally, a stop in Alaska to ask some of its residents about their views on the state-owned Permanent Fund. This last part brings to mind the question: just what is wealth anyway? [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]

## Embodied Cognition

The Deep Mind of Demis Hassabis - "The big thing is what we call transfer learning. You've mastered one domain of things, how do you abstract that into something that's almost like a library of knowledge that you can now usefully apply in a new domain? That's the key to general knowledge. At the moment, we are good at processing perceptual information and then picking an action based on that. But when it goes to the next level, the concept level, nobody has been able to do that." (previously: 1,2) [more inside]

## 21st Century Wiener

Norbert Wiener: The Eccentric Genius Whose Time May Have Finally Come (Again) - "The most direct reason for Wiener's fall to relative obscurity was the breakthrough of a young mathematician and engineer named Claude Shannon." [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 ;)

## there is no soundtrack

Finite time blowup for an averaged three-dimensional Navier-Stokes equation - "[Terence Tao] has shown that in an alternative abstract universe closely related to the one described by the Navier-Stokes equations, it is possible for a body of fluid to form a sort of computer, which can build a self-replicating fluid robot that, like the Cat in the Hat, keeps transferring its energy to smaller and smaller copies of itself until the fluid 'blows up.' " [1,2,3] (previously)

## John Baez on the maths of connecting everyone (and everything) on earth

Network Theory Overview - "The idea: nature and the world of human technology are full of networks! People like to draw diagrams of networks. Mathematical physicists know that in principle these diagrams can be understood using category theory. But why should physicists have all the fun? This is the century of

*understanding living systems and adapting to life on a finite planet*. Math isn't the main thing we need, but it's got to be part of the solution... so one thing we should do is develop a unified and powerful theory of networks." (via ;)## knowledge-based programming

## 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]

## SPAUN of the living

The simulated brain - "First computer model to produce complex behaviour performs almost as well as humans at simple number tasks." [1,2,3,4,5,etc.]

## direct realism

The Nature of Computation - Intellects Vast and Warm and Sympathetic: "I hand you a network or graph, and ask whether there is a path through the network that crosses each edge exactly once, returning to its starting point. (That is, I ask whether there is a 'Eulerian' cycle.) Then I hand you another network, and ask whether there is a path which visits each node exactly once. (That is, I ask whether there is a 'Hamiltonian' cycle.) How hard is it to answer me?" (via) [more inside]

## use value vs. exchange value

## when woz cries

## transcendental numbers rumble in the technium

Extropy

How did life arise? What is information? In his recent dispatches from The Technium, Kevin Kelly would say extropy (cf. negentropy & Prigogine). [previously 1|2]

How did life arise? What is information? In his recent dispatches from The Technium, Kevin Kelly would say extropy (cf. negentropy & Prigogine). [previously 1|2]

## Computable data* (conceivably knowable) about people

Stephen Wolfram discusses Wolfram|Alpha: Computational Knowledge Engine - at the same time Google Adds Search to Public Data, viz: "Nobody really paid attention to the two hour snorecast" -- like a cross between designing for big data and a glossary of game theory terms -- on Wolfram|Alpha (previously), yet the veil is being lifted nonetheless: "[on] a platonic search engine, unearthing eternal truths that may never have been written down before," cf. hunch & cyc (and in other startup news...) [via] [more inside]

## The Secret life of Plants

Page:
1