354600+ entries in 0.231s
mircea_popescu: "∀ x ∈ R ∃! y ∈ R ∋ x + y = 0" offers exactly no benefit over "for any real number
there exists another real number so
that
the
two add
to 0".
mircea_popescu: the computer ain't working any better because it "knows" supposedly
that ∀. and neither is anything else.
mircea_popescu: but as far
the machine is concerned,
there is no difference between sum-sigma and letter-sigma. nor any meaning
to any symbol. and so
the whole "oh we gotta have universal quantifier as a symbol" is
to my eyes an exercise of naming
the function "understanding" so as
to get ai.
mircea_popescu: at
the rate
this discussion is going,
the alt-"lisp" will need a pun function which
tells you if
the string was used in pun.
assbot: Logged on 11-01-2016 13:49:26; mircea_popescu: naming is by its nature
this :
that
there will be a group in power, allocating
the names, and everyone else can go suck it.
phf: bringing
this into char discussion makes no sense whatsoever because spec explicitly says you can't
mircea_popescu: or in a less charitable view, it's a half assed attempt
to hand-gcc.
phf: you can expect eq
to compile
to some asm level equality procedure
phf: it's a
totally
technical low level detail for explicitly managing your memory, and speeding up operations
phf: you can't make any statements about chars using eq. eq is a special beast used
to
test ~von neumann~ identity. and all
the comments in
the spec are related
to
that. sometimes (eq 1 1) but (eq 123123 123123) is not
mircea_popescu: phf well if you have
this
tag-and-glyph duality you're wide fucking open
to
the issue.
phf: i
think if my lisp rendered same character but claimed
that
they are not char=, i would be very unhappy
mircea_popescu: it'[s not
that "my girlfriendf" and "his wife" all "look like
the same woman"
mircea_popescu: but i
think it's very instructive because i suspect we're uncovering a psychotron here.
phf: mircea_popescu:
this a hypothetical mechanism you guys are discussing.
this is not actually in lisp
mircea_popescu: attempting
to make
the sign carry your guts is not going
to result in a functioning computer.
mircea_popescu: there is no actual meaning
to proposing Σ-which-i-interpreted-as-sum and Σ-which-i-interpreted-as-plotin are somehow different in
the "eq" manner but similar in
the "equal" manner.
mircea_popescu: Tubro,
the fat Panamanian God of Money is a useful notion
mircea_popescu: i don't see why you
think
this answer is not retarded.
assbot: Logged on 12-01-2016 04:30:11; mircea_popescu: do you get a Σ
to be
the sum and a self-same Σ
to be
the uppercase sigma ?
trinque: gun
to fire
today, gun
to fire
tomorrow.
mircea_popescu: do you get a Σ
to be
the sum and a self-same Σ
to be
the uppercase sigma ?
☟︎ mircea_popescu: so logically,
the
tensor is
the lowercase of
the sum, and it's equal
to
two Cs
mircea_popescu: phf which is why i said, it's contrary
to everything he was saying.
phf: welcome
to unicode land
mircea_popescu: so do we have
the complete set of "meaningfully-toggleable properties" of characters set in stone ?
mircea_popescu: isn't
this contrary
to everything you been saying
to date ?
mircea_popescu: mno, i am merely in
the habit of having a mendelev
table on my fucking wall.
mircea_popescu: suppose you limit yourself
to a hundred or so of
these.
mircea_popescu: you actually aim
to use a dword for
the alphabet encoding ?
mircea_popescu: there's as
the romanians say, "mai e mult pina departe".
there's a lot
to go
to far away.
mircea_popescu: while
the idea
that "letters aren't numbers, sit down" is sound,
mircea_popescu: anyway. i have nothing against lisp, neither historically nor intellectually. but
this is an unsatisfactory notion of an alphabet.
mircea_popescu: depending on who you asked, it was "not clear"
that mpex will bury mtgox, let alone bitcoinica.
mircea_popescu: i have had enough seawater in
the shape of bitcoin genesis
mircea_popescu: anyway. i have no intention
to bake in historical idiocy, and especially not of
this ilk.
mircea_popescu: it's after all what mpex did.
the children did go away.
mircea_popescu: nothing wrong with "fuck you, you're childrten, go away.
this is
the spec."