##
32 posts tagged with computation.

Displaying 1 through 32 of 32. Subscribe:

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

## On your mark, get set.... GO!

"Following 9 months of computation and 4 petabyte of disk IO on a Dell PowerEdge R820 server, generously provided by Piet Hut, and administered by Lee Colbert, at the IAS School of Natural Sciences in Princeton, we determined..." (the number of legal moves on an 18x18 Go board). [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]

## Sphere Factory

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

## ‘Insanely more ambitious’ than Google knowledge graph

Not satisfied with Rule 110 - the first Turing Complete cellular automata (as proven by Matthew Cook), Wolfram Mathematics has announced a system that is “Making the world computable..."
A combination of natural language recognition, data description and computational language, the goal is to allow a person to define what they want, not how to get it and manipulate it. Wolfram describes the process as follows: "A human defines what the goal should be, and a computer does its best to figure out what that means, and does its best to do it..." Of course, the rest is left as an exercise for the reader...

## We're Going To Have To Find Out How To Deal With Lots Of Idle Hands

The Forces Of The Next 30 Years - SF author and Mefi's Own Charles Stross talks to students at Olin College about sci-fi, fiction, speculation, the limits of computation, thermodynamics, Moore's Law, the history of travel, employment, automation, free trade, demographics, the developing world, privacy, and climate change in trying to answer the question What Does The World Of 2043 Look Like? (Youtube 56:43)

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

## Loading Noise...

Textures Processing...
Loading Perlin Noise...
Loading Worley Noise...
Loading Terrain...
Adding Pretty Lights...
Enjoy the Refreshing Taste.

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

## What's gonna happen outside the window next?

## use value vs. exchange value

## when woz cries

## Morpion Solitaire

Morpion Solitaire is a very simple pencil-and-paper, line-drawing game for which the best possible score is not known! New records are still being set.

## "Because we don't know how to make a wheel that is still generally useful for legitimate wheel applications but useless to bad guys."

Cory Doctorow's 28C3 talk

*The Coming War on General Purpose Computation*(abstract, transcript) warns that*"the coming century will be dominated by war against the general purpose computer, and the stakes are the freedom, fortune and privacy of the entire human race."*[more inside]## Open Compute Project

Facebook's Open Compute Project aims to share with the public the social network's efficiency design improvements to its compute nodes. [ via ]

## Pretty good for a bunch of plastic blocks

## Escher Circuits - Software for your Wetware

Escher Circuits. What if you could compute the output of complex algorithms just by viewing an image?

Our everyday visual perceptions rely upon unfathomably complex computations carried out by tens of billions of neurons across over half our cortex. In spite of this, it does not “feel” like work to see. Our cognitive powers are, in stark contrast, “slow and painful,” and we have great trouble with embarrassingly simple logic tasks. Might it be possible to harness our visual computational powers for other tasks, perhaps for tasks cognition finds difficult? I have recently begun such a research program with the goal of devising ways of converting digital logic circuits into visual stimuli – “visual circuits” – which, when presented to the eye, “tricks” the visual system into carrying out the digital logic computation and generating a perception that amounts to the “output” of the computation. That is, the technique amounts to turning our visual system into a programmable computer.

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

## "You named your collaboration QAP? Really?"

The DiVincenzo Code [youtube trailer, geekery]. Faced with a strict demand from a funding agency to allocate research funds towards the dissemination of research ideas to the public, an experimental physics group at the University of Oxford produced a feature-length (55 min) action thriller about murder, ancient prophecy, tea breaks, and quantum computation. [more inside]

## Teleportation Breakthrough

Teleportation Breakthrough. Until now scientists have teleported similar objects such as light or single atoms over short distances from one spot to another in a split second.
But Professor Eugene Polzik and his team at the Niels Bohr Institute at Copenhagen University in Denmark have made a breakthrough by using both light and matter.
A more technical explanation.

## Turing: The Final Years

Among his collected works, in the few, short years before mathematician Alan Turing was driven to suicide, he published

*"The Chemical Basis of Morphogenesis"*, theorizing how a standing wave-like distribution of "cannibal" and "missionary" chemicals might explain how plants and animals develop their shape and pigmentation. Blogger Jonathan Swinton focuses on this more obscure aspect of Turing's research, and reviews some of his posthumous and unpublished efforts — including one of the earliest known examples of digital computation applied to the field of biology.## Someone to watch over me

Once the stuff of academic and corporate experimentation, ubiquitous computation (or "ubicomp") is gearing up for its commercial debut in the very near future. Along the lines of ostensibly "nanotechnological" pants, the reality of ubicomp as made manifest in consumer products may fall somewhat short of the prognostications: buying a personal communicator designed to work seamlessly within a ubicomp context is not the same thing as living in and with a truly pervasive network.

But already there are signs that the ubiquitous visions beloved by the corporate players and enshrined in their hype are coming into being. So which do you think it'll be? Guardian angel or inescapable, panoptical prison? Neither? Maybe both? I have a sinking feeling we're going to find out, one way or another.

But already there are signs that the ubiquitous visions beloved by the corporate players and enshrined in their hype are coming into being. So which do you think it'll be? Guardian angel or inescapable, panoptical prison? Neither? Maybe both? I have a sinking feeling we're going to find out, one way or another.

## The World Is Numbers

Explorations of computation: the world is numbers, and the divine a mathematician. Maybe. [Flash, Javascript]

## The Secret life of Plants

## The End of equations?

The End of equations? Paul Dirac and Albert Einstein thought equations were things of beauty, Stephen Wolfram, by contrast thinks they are antiquated.

Page:
1