1.
Harrison Ainsworth
@hxa7241
Why did I choose OCaml ? I translated a project into multiple languages, and OCaml was alone in needing no debugging โ due to types.
2.
Harrison Ainsworth
@hxa7241
Attn:
List notation is THE WRONG WAY AROUND.
It SHOULD be:
[] cons 0 cons 1 cons 2
and
[0 ; 1 ; 2]
ie: head is START, append to TAIL.
List notation is THE WRONG WAY AROUND.
It SHOULD be:
[] cons 0 cons 1 cons 2
and
[0 ; 1 ; 2]
ie: head is START, append to TAIL.
3.
4.
5.
6.
7.
Harrison Ainsworth
@hxa7241
'Cooperative attractor': something that induces a concentration of preferences and a diffusion of compliance.
Harrison Ainsworth
@hxa7241
"Anger is the fellow of folly"
โ Thucydides, B3 S40.
โ Thucydides, B3 S40.
Harrison Ainsworth
@hxa7241
Think of maths not as a language of physical structure, but as another structure itself. Hence various loss in translation.
Harrison Ainsworth
@hxa7241
The human mind is no better a model for artificial intelligence than the human body is for artifical mechanisms.
Harrison Ainsworth
@hxa7241
"Why blockchain is uninteresting"; HXA7241; 2016 / 342words / note.
hxa.name/notes/note-hxaโฆ
โ earlier tweet-thread, consolidated/expanded
hxa.name/notes/note-hxaโฆ
โ earlier tweet-thread, consolidated/expanded
8.
9.
10.
11.
Harrison Ainsworth
@hxa7241
Bitcoin is like a steam-powered horseshoe, or an electronic typewriter: it is a contrafunctory overlap of two different eras.
Harrison Ainsworth
@hxa7241
The wish for 'decentralisation' is not technical; really, it is a wish for a different economic model โ a post-capitalist one.
Harrison Ainsworth
@hxa7241
"For all practical purposes a planet is a blob of liquid with no surface tension."
Harrison Ainsworth
@hxa7241
@mwotton "The Design Of Design" ; Brooks ; 2010 / ISBN-9780201362985 / book .
...but wait! There's more!
1.
fakhright
@fakhright
astaghfirullah peng.krim guaaaaaaaa..............a *salto sambil solat*
