log☇︎
120500+ entries in 6.104s
asciilifeform: and it is a preemptive and permanent cure for the unicode retardation.
asciilifeform: 'Each character code is composed from a character script and a character label. The convention by which a character script and character label compose a character code is implementation dependent. [X3J13 did not approve all parts of the proposal from its Subcommittee on Characters. As a result, some features that were approved appear to have no purpose.'
mircea_popescu: may be false rather than true, if the value of z is a character."
asciilifeform: and so the result was, as always is from committee, a chimera.
asciilifeform: it is how character became a distinct type
phf: include any number of extra characters, say code 120 #\lambda, and also decide how it wants to present them to console/file (say, by writing unicode, or letting user choose the encoding). so a maxima machine can have a set of mathematical symbols for there and then, but not with any sort of claim to univesality.
phf: apropos i like how cl does it, there's a set of characters that are predefined to be standard and portable, and it's basically an mp set: alphabet, digits, top row, handful of controls like newline. each character has a numeric code and a verbose name #\a #\b #\space #\newline. there's a handful of predicates that let you query characters basic nature, upcasep/downcasep/whitespacep. that's it. an implementation though can choose to
asciilifeform: and the bloody mess worked as a magnet for ten thousand insect men
asciilifeform: ibm cavorted in a 'lisp never happened' parallel universe for a loooong time.
asciilifeform: searched for a way to sink a claw into the living.
asciilifeform: incidentally, sgml was ibm grasping for a relevance toehold
mircea_popescu: ima give this theory a very cautious maybe.
mircea_popescu: they did all sorts of stupid shit, but again, the whole "a wizard did it, to a vectorizer, logically" is enough to sink that ship.
asciilifeform: it was a classical 'committee' thing.
asciilifeform: the wrong people had a seat at the table.
mircea_popescu: in a logical way.
mircea_popescu: they tried the same sleigh of hand, basically. "oh, driving a vectorizer in a logical way"
asciilifeform: in a logical way
asciilifeform: i.e. you would embed the glyph, if it is a non-traditional one, and represented as an s-expr driving a vectorizer
mircea_popescu: anyway, i'm not prepared for this matter to get a ruling.
mircea_popescu: you're so far not content with A FINITE ALPHABET!
mod6: I guess this does actually effect us a bit -- i mean, lets say we wanna do some math modeling or expound upon some properties of something fourier whatever, and send it to the ML... now you gotta have it in ascii otherwise you can't sign it.
mircea_popescu: guy had a (rather transparent) profit motive.
mod6: <+mircea_popescu> "a tensor" << haha, i missed this
mircea_popescu: i bet you they all grew up as kids among a herd of wolves worshipping the symbol, never once thinking to make them write it down in words.
mircea_popescu: "a tensor"
asciilifeform: mod6: now verbalize a tensor.
mod6: it just seems like stuff like this works well: <+mircea_popescu> For any smooth, simple closed positively oriented curve in a plane, if two functions are defined on any open region containing the area bounded by that curve, should those functions have continuous derivatives in the region then the integral over their sum is the integral over the region's integration of their differential.
asciilifeform: mod6: visit a university library and read the atrocious typewriter manuscripts.
mod6: i like the idea that we could have a regular char set, like 127 bit ascii, and do everything from this. and if you need Sigma, its SIG, or LAMBDA, its LMA or Absolute Value, ABS.
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.
mircea_popescu: is to hold up a piece of exam paper and say "now explain to me what's in here".
mircea_popescu: For any smooth, simple closed positively oriented curve in a plane, if two functions are defined on any open region containing the area bounded by that curve, should those functions have continuous derivatives in the region then the integral over their sum is the integral over the region's integration of their differential.
asciilifeform: speaking of this & earlier thread, a treatise on 'v' philosophy is definitely a necessary thing
mircea_popescu: and he still wants a proof because the log is not here or something
asciilifeform: if i have to be shiva, mircea_popescu can be a racehorse!111
mircea_popescu: what do you think i am, a race horse ?
mircea_popescu: or else make the thing plain text and sort it in your head like a functioning brain already.
mircea_popescu: yes, and your option is to either do a retarded sort of implicity tree by using hyeroglyphicd
asciilifeform: your head is a finite thing.
mircea_popescu: i'm not a fucking cpu.
asciilifeform: there is such a thing as fits-in-head
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'
mircea_popescu: my brain doesn't work by thje eyefull iom not a fucking toad omfg
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.
mircea_popescu: yeah i had a raft of that retarded shit too
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
mircea_popescu: this is a self-ridiculing proposition.
asciilifeform: my position was 'maths can only adequately happen on a graphical terminal'
mircea_popescu: be the scotsman with a parasol, what do i care.
mircea_popescu: i'm not telling you how to grasp things, you're the one that keeps going "no true scotsman would go around without a parasol" or w/e.
asciilifeform: typically the only way any of it makes a difference to me is between grasping and not-grasping a thing.
mircea_popescu: dude get out. there's 7 bn people alive today, not to mention historically, and you think having twenty or a hundred slices of tp makes a difference ?
mircea_popescu: by looking at parts at a time!
mircea_popescu: just define whatever the fuck and work on one sum at a fucking time already.
asciilifeform: then you're writing a graphics engine, mayhap
mircea_popescu: in 6th or 7th grade at some point i discovered sums and the sigma. i was enchanted for about a year. throughout highschool i just wrote them out.
asciilifeform: mircea_popescu speaks like a fella who never has to.
asciilifeform: let's do a brick-in-your-face-obvious illustrative case.
ben_vulpes: memory implies it was a link followed from some acl conference sponsors list.
asciilifeform: lemme guess, it was a gabriel_laddel thread
asciilifeform: and the keyboard of a civilized person ~ought to~ have a alt-graph metakey and a λ printed on the front facet of the L.
ben_vulpes: http://log.bitcoin-assets.com/?date=11-01-2016#1366807 << aheha this from the guy who when looking at a dsl for a rules engine complained "but but what's wrong with the sexprs?!" ☝︎
thestringpuller: LOL smickles has only beeng gone a year. I thought it was longer than that.
asciilifeform can't wait for a map of washington made in pyongyang
BingoBoingo: Inflation is a hell of a drug
mircea_popescu: a yeah.
mircea_popescu: yeah cuz we had a fully researched or whatever it was ? bp to make that battleship
gribble: smickles was last seen in #bitcoin-assets 1 year, 30 weeks, 5 days, 21 hours, 45 minutes, and 40 seconds ago: <smickles> easily a few more bil in things like BPOs and BPCs
gribble: smickles was last seen in #bitcoin-assets 1 year, 30 weeks, 5 days, 21 hours, 45 minutes, and 38 seconds ago: <smickles> easily a few more bil in things like BPOs and BPCs
mircea_popescu: feels like 30 fucking years, i reemember it as from under a concrete slab.
mircea_popescu: anyway, iirc what we did was, we had a full space station that produced fuel
mircea_popescu: but i do recall BingoBoingo did a bunch of hauls in one of those what were they called ? obelisk ?
mircea_popescu: anyway, the bitcoin eve society had like... a space station fully built and i dun remember how many of the not-titan class ships, a dozen or some shit
BingoBoingo: He was mining in his little pickup truck with a new recruit and then he got FOOF'd
BingoBoingo: <mircea_popescu> nah, eve has an inflation problem larger than the usg's. << And a problem where some things had absolutely no market anywhere, like slaves.
ben_vulpes: in the sense of a game that is most effectively played with spreadsheets.
assbot: Logged on 11-01-2016 15:21:54; copypaste: i very much love the concept of a 3d game with a bitcoin economy. i've played a few, but all poorly done.
asciilifeform: and useless in that i never found a serious use for it
ben_vulpes: http://log.bitcoin-assets.com/?date=11-01-2016#1366272 << whattabout the pronounceable mnemonic hashes a la urbit? ☝︎
mircea_popescu: and it being a random process, "guarantee" is necessarily an average sort of concept.
asciilifeform: at a given time.
mircea_popescu: shinohai a few people have asked, which is why i said.
assbot: Logged on 12-01-2016 00:59:53; mircea_popescu: anyway, maybe all this "soft-fork" bullshit is really a good opportunity to start a #b-a mining pool. ☟︎
shinohai: http://log.bitcoin-assets.com/?date=12-01-2016#1367122 <<< /me would certainly try to obtain miners to mine on a #b-a pool ☝︎
asciilifeform: interesting idea, but what's to keep a public pool from infinite ddos 24/7.
mircea_popescu: anyone want to run a pool ?
mircea_popescu: anyway, maybe all this "soft-fork" bullshit is really a good opportunity to start a #b-a mining pool. ☟︎
asciilifeform: BingoBoingo: it won't show up in the log as a distinct thing
BingoBoingo: asciilifeform: I haven't seen any other commands in debug.log yet. Perhaps leave a comment on post?
BingoBoingo: <mircea_popescu> might even make a good qntra piece. this sort of miserable behaviour needs some castigation., << for srs jurov
jurov: <ThomasV> [20151130 17:24] that's my point. I think nobody would use a closed source fork
mircea_popescu: fuck you with a fucking stick, who the heck is supposed to fall for this ?
mircea_popescu: might even make a good qntra piece. this sort of miserable behaviour needs some castigation.,
jurov: "Hello, thanks for asking, but I refuse to change the license of my contribution. I cannot with clear conscience recommend a Bitcoin wallet with closed source modifications. Would you use one yourself, really?"
mircea_popescu: wake me up when your imperial/european drill bits produced a robot that routed the usg at tikrit.
mircea_popescu: guruvan i like isis a lot more than i like mit.
mircea_popescu: it's shameful. if you're going to prostitute yourself, at least do the world a favour and do it in istanbul, in the nude, in the dedicated quarter for ephebs