tmsr - Search: from:asciilifeform

168100+ entries in 0.542s

asciilifeform: they are driven by what the broken pieces are that they find to glue into mosaics, are of.

asciilifeform: verbal dressing is 'part of balanced diet.'

asciilifeform: there is always chunks we haven't any shorthand for, yes

asciilifeform: aha

asciilifeform: you used... notation!11

asciilifeform: ahahahaha but not verbal !!

asciilifeform: ^ lulzz

asciilifeform: connection from 62.210.127.113:49726 dropped (banned)

asciilifeform: connection from 186.137.7.31:47307 dropped (banned)

asciilifeform: connection from 62.210.127.113:49725 dropped (banned)

asciilifeform: connection from 186.137.7.31:47303 dropped (banned)

asciilifeform: or so much as an ordinary quaternion.

asciilifeform: mod6: now verbalize a tensor.

asciilifeform: mircea_popescu: sure did

asciilifeform: and weep.

asciilifeform: mod6: visit a university library and read the atrocious typewriter manuscripts.

asciilifeform: that doesn't make user want to eat his pistol ?

asciilifeform: can you picture a computeralgebratron that eats english ?

asciilifeform: (vs a kid asked to prove that he hadn't cribbed.)

asciilifeform: the canonical representation that is to be worked with by a serious user.

asciilifeform: ought to include even building rubber band model.

asciilifeform: now this, yes

asciilifeform: (archimede's law)

asciilifeform: 'Тело, впернутое в воду Выпирает на свободу. С массой выпертой воды Тела, впертого туды!'

asciilifeform: also reminds me of canonical ru kidz rhyme,

asciilifeform finds himself mentally converting this to proper format !11

asciilifeform: (since patch)

asciilifeform: no 'blackholing', etc., any of it.

asciilifeform is watching the scrolling logs from his trb nodez, it is like music, so smooth

asciilifeform: nothing immediately usable. might take another stab at it on the train tomorrow

asciilifeform: easier.

asciilifeform: ended up writing v instead

asciilifeform: i tried to write it, actually, and ran out of juice

asciilifeform: speaking of this & earlier thread, a treatise on 'v' philosophy is definitely a necessary thing

asciilifeform: if i have to be shiva, mircea_popescu can be a racehorse!111

asciilifeform: l0lz

asciilifeform: if mircea_popescu posts the plaintext rigorous green's theorem, i promise to read it..

asciilifeform: just like everybody;s.

asciilifeform: your head is a finite thing.

asciilifeform: there is such a thing as fits-in-head

asciilifeform: same basic idea as cpu cache

asciilifeform: merchant of venice != theorem

asciilifeform: just like you can brag about being a muscle man, but i can always fill a knapsack that you cannot move with, so you cannot say 'it does not matter what a knapsack weighs!111'

asciilifeform: and if your working memory is titanic and you laugh, all that is needed is to come up with an example that straddles the line ~for you~

asciilifeform: it isn't about magical force of squiggle, but elementarily FITTING A THING ON A PAGE that would not otherwise fit in one eyeful.

asciilifeform: or what, mircea_popescu would've stayed in mathematics if not for the squigglies

asciilifeform: aha but generally

asciilifeform: didja ever walk up to the author, and ask 'why didntcha do plain text like euclid'

asciilifeform: aha

asciilifeform: inked in the integral signs.

asciilifeform: EVEN THERE folks laboured to ascii-art the sigmas etc.

asciilifeform: relatedly, i spend a great deal of time in uni maths library. to this day. and every so often i end up picking up a thing that was typeset on the cheap, in the dark ages, using typewriter

asciilifeform: my position was 'maths can only adequately happen on a graphical terminal'

asciilifeform: mno

asciilifeform: typically the only way any of it makes a difference to me is between grasping and not-grasping a thing.

asciilifeform: washing it, yes.

asciilifeform: even.

asciilifeform: during the course of ONE SHIT.

asciilifeform: toilet paper.

asciilifeform: is like reusing

asciilifeform: reusing letters in 1 proof

asciilifeform: we ran through all of latin, greek, went through much of hebrew on one chalkboardfull

asciilifeform: mircea_popescu didntcha do peano, frege, et al? how did you manage with 26 letters ?

asciilifeform: who said code.

asciilifeform: or to use more than 26 variables ?

asciilifeform: what next, if i need to define an operator i also fucked up ?

asciilifeform: then you're writing a graphics engine, mayhap

asciilifeform: mno.

asciilifeform: also wrote out ?

asciilifeform: and when you have 11 of them nested ?

asciilifeform: idk, get out old notebook from school, and see how many pages it'd take you to ~unambiguously~ and ~rigorously~ english-verbalize, e.g., green's theorem ?

asciilifeform: has to any of it.

asciilifeform: mircea_popescu speaks like a fella who never has to.

asciilifeform: l0l

asciilifeform: now WHICH ONE IS READABLE

asciilifeform: (the alert reader will recognize the infamous 'y combinator.')

asciilifeform: lambda f. (lambda x. f (x x))(lambda x. f (x x))

asciilifeform: vs

asciilifeform: λf. (λx. f (x x))(λx. f (x x))

asciilifeform: let's do a brick-in-your-face-obvious illustrative case.

asciilifeform: ...

asciilifeform: as did assbot.

asciilifeform: i must've slept through this.