gosub

I suggested:

    Alan Turing - On Computable Numbers, With an Application to the Entscheidungsproblem
    C. E. Shannon - A Mathematical Theory of Communication

Other robots, obviously.

don't talk to police

https://www.youtube.com/watch?v=6wXkI4t7nuc

And failing that, government could declare "war on cryptocurrencies".

I wish there was a light markup language for this kind of work. Something like: markdown + a less verbose SVG for static illustrations + elm for the interactive part

I've tried to install NixOS on an old laptop, for a minimal installation, there were some things I did non like:

* Default packages are compiled with all the dependencies

* The configuration language is a functional programming language, and that's a plus, but the syntax is quiet weird, not similar to ML, Haskell nor Lisp.

* some command line tools are cryptic at best, for example searching for available packages is done with nix-env -qa \* -P | fgrep -i "$1"

Your game design idea is very similar to 0x10c[1] from notch/mojang. Unfortunately it has been Indefinitely postponed.

[1] http://en.wikipedia.org/wiki/0x10c

more than a service (the service provider could also disappear), it should be a function of the publishing platform

I think the inspiration is the original theme of Jeskola Buzz http://cdn7.atwikiimg.com/buzzusers?cmd=upload&act=open&page...

More like engineering philosophy

also author of my favourite puzzle collection http://www.chiark.greenend.org.uk/~sgtatham/puzzles/

So we should also add Docker to the chimera that systemd is becoming?

Aren't stability and "dealing with negative externalities" also services? Without goverments people would seek them elsewhere (other forms of ruling, insurance companies, etc.)

    Nagel takes a slightly different approach.
    In an effort to make his argument more adaptable and relatable, he takes the stand of humans attempting to understand the sonar capabilities of bats.
    Even with the entire physical database at one's fingertips, humans would not be able to fully perceive or understand a bat's sonar system, namely what it is like to perceive something with a bat's sonar.

My car emits a sound while parking in reverse. As the car behind gets closer, the sound is emitted more frequently, and becomes constant under a certain distance. When I'm parking a different car, I'm unable to 'feel' the distance from the next car. It's like being blind.

Is OpenBSD well suited for realtime synthesis? I've been looking for a minimal platform (no graphics) with better latency than linux out of the box, to use with SuperCollider and puredata.

Even Alan Turing, in "On computable numbers, with an application to the Entscheidungsproblem", practically invents turing machines modelling how a mathematician works: He has a pencil, some paper and a number of different states inside his brain.

    If we can construct a value of a certain type, we have simultaneously constructed a proof that the theorem encoded by that type holds.

    data _even : ℕ → Set where

I do not understand how to interpret this passage. _ even, given a number, returns a type? in this case, zero even is a type, but we have not created any value with that type. What am I missing?

    consider that there are only two options: (1) watch TV or (2) listen to the radio.

isn't the idea that there would be only one option, the future that already depends on the answer? the demon should know its internal state, its answer, and the reaction to the answer. if any answer gives a logical contradiction, it will not give it. Also: being able to see the future does not imply being able to tell it. A kind of cassandra curse.

print it http://www.chrisfenton.com/the-turbo-entabulator/

the whole page is an iframe for this: http://homepage.ntlworld.com/edmund.grimley-evans/bcompiler....

Did the function object have a reference to the source object, so that it would be possible to read the original source until it is garbage collected?

There's one thing I always wanted to understand about working with image-based system (like a lisp-machine o smalltalk VMs): when you change a class or a function, how do you manage the mismatch between the code you have just written and an already running version. For example: you change the definition of a function on a live system, and then you go home for the weekend. Monday morning you notice a background process running that uses that function; how do you check if the version used is the old one or the new one?

do you think that python should use "define" instead of "def"?

I understood that, but it's an unfortunate suffix.

    let x = 5i;

so, integers are written like complex numbers?

Category theory by Tom LaGatta[1] is also a nice introduction. He suggests taking a look at the nLab website[2], a wiki of Maths and Physics from the categorical point of view.

[1] https://www.youtube.com/watch?v=o6L6XeNdd_k [2] http://ncatlab.org/

It makes for a more elegant (imho) recursive definition of the sum. Instead of:

    a + S(b) = S(a) + b
    a + 0 = a

you would have:

    a + S(b) = S(a) + b
    a + 1 = S(a)

And also you would not be able to express 1 as a sum of two numbers.

CoffeeCollider is a coffeescript clone of SuperCollider, it has a lot of options for subtractive/additive/fm/granular synthesis and algorithmic sequencing/composition.

http://mohayonao.github.io/CoffeeCollider/