gosub

14 ms·

91.
by gosub 12y ago
https://wiki.haskell.org/Physical_units
92.
by gosub 12y ago
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 i
93.
Telescope Making [video](youtube.com)
13 points by gosub 12y ago|1 comments
94.
by gosub 12y ago
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, give
95.
by gosub 12y ago
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, i
96.
by gosub 12y ago
print it http://www.chrisfenton.com/the-turbo-entabulator/
97.
by gosub 12y ago
the whole page is an iframe for this: http://homepage.ntlworld.com/edmund.grimley-evans/bcompiler....
98.
by gosub 12y ago
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?
99.
by gosub 12y ago
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 a
100.
by gosub 12y ago
do you think that python should use "define" instead of "def"?
101.
by gosub 12y ago
I understood that, but it's an unfortunate suffix.
102.
by gosub 12y ago
let x = 5i; so, integers are written like complex numbers?
103.
by gosub 12y ago
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
104.
by gosub 12y ago
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
105.
by gosub 12y ago
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/CoffeeCol
106.
by gosub 12y ago
Still, the experiments should put to rest the argument about whether mice in the lab are running on wheels because they live in cages—they'll do it anywhere they find one and They also put the wheel inside an enclosure with a small
107.
by gosub 12y ago
I would imagine that the sudden appearance of food and new environment elements would set the mind of any animal in a "run around and explore" mode, especially for species living near humans.
108.
by gosub 12y ago
Are there natural (as in non-human) phenomenona that produce the sequence of prime numbers?
109.
by gosub 12y ago
Seinfeld already did it. http://www.youtube.com/watch?v=yd9ma2UVLHM
110.
by gosub 13y ago
errors = 0 if keypress == ' ': for i,letter in enumerate(entered_word): if letter != presented_word[i]: errors += 1
111.
by gosub 13y ago
"Whatever goes up, that’s what we do" vs "Whatever’s best for the people, that’s what we do"
112.
by gosub 13y ago
You could lazily evaluate the universe and save some cpu power.
113.
by gosub 13y ago
aerosolved
114.
by gosub 13y ago
or a faster one
115.
Water Filtration Using Plant Xylem(plosone.org)
2 points by gosub 13y ago|0 comments
116.
by gosub 13y ago
my quick python version: https://gist.github.com/gosub/9206636
117.
by gosub 13y ago
http://en.wikipedia.org/wiki/Anteater
118.
by gosub 13y ago
ventilation, illumination type and intensity, human presence.
119.
by gosub 13y ago
We should have been using very different dialects of BASIC, since I can't remember mine having algebraic data types, pattern matching, integrated testing, first class functions, high order functions and bignums.
120.
by gosub 13y ago
I suppose anywhere there's an affirmative action policy in place.

More ›