log☇︎
57200+ entries in 0.49s
assbot: Logged on 11-01-2016 06:36:31; BingoBoingo: copypaste: I suspect the reason you dislike pete_dushenski aping trilema is he comes from boring Canada and his cool factor and empire potential are limited by that.
assbot: Logged on 12-01-2016 04:27:01; mircea_popescu: (yes, greek sigma has two lowercases!)
trinque: 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". << ftr I am precisely the african that would benefit from the math textbook written in *only* this manner.
asciilifeform: what would make sense is for folks plugged into a mircea_popescutron to get the requisite answer when they ask it
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: mircea_popescu: correct
asciilifeform: http://www.lispworks.com/documentation/lw50/CLHS/Body/f_eq.htm#eq vs http://www.lispworks.com/documentation/lw50/CLHS/Body/f_equal.htm#equal vs http://www.lispworks.com/documentation/lw50/CLHS/Body/f_eql.htm vs http://www.lispworks.com/documentation/lw50/CLHS/Body/f_bt_and.htm#bit-eqv vs http://www.lispworks.com/documentation/lw50/CLHS/Body/f_eq_sle.htm#EQ
phf: mircea_popescu: this a hypothetical mechanism you guys are discussing. this is not actually in lisp
asciilifeform: as in the mircea_popescu> because capital alpha is A. example,
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 ?
asciilifeform: mircea_popescu: what do you have in yours, a shell callout to iptables ?!1
asciilifeform: mircea_popescu: because buncha medieval bozos decided they like small/big letter
asciilifeform: see mircea_popescu you are arithmetizing in your head
asciilifeform: was it mircea_popescu who had the article with the giant and his chair ?
phf: mircea_popescu: there are parts of standard that are underspecified :)
mircea_popescu: phf and if idiots make functions going ___function where in the ordered list do i look for them ?
phf: mircea_popescu: wait, partial ordering in this case means that alphabet is ordered. it's meaningless things like "is _ greater then a" that are not defined
asciilifeform: mircea_popescu: you can trivially define a partial ordering when sorting
mircea_popescu: so if i sort a file containing a bunch of words, i do not know if i should look for ___stuff at the end or beginning or scattered anywhere.
asciilifeform: mircea_popescu: there is NOT a 'the alphabet' in the cl standard !
phf: mircea_popescu: http://www.lispworks.com/documentation/HyperSpec/Body/13_af.htm
phf: mircea_popescu: file:///Users/pf/Desktop/documentation/HyperSpec-7-0/HyperSpec/Body/13_af.htm
asciilifeform: mircea_popescu: it is an in-band magic sequence denoting a named character
asciilifeform: mircea_popescu: pound-quote
asciilifeform: i get it, mircea_popescu wants boyer-moore
asciilifeform: mircea_popescu: that was a warning not to attach side effects to the act of comparison
asciilifeform: http://www.lispworks.com/documentation/lw50/CLHS/Body/f_search.htm
asciilifeform: mircea_popescu: this is CORRECT
mod6: <+mircea_popescu> how about you drink benzene and talk to the stove. << haha
mod6: <+mircea_popescu> "a tensor" << haha, i missed this
asciilifeform: mircea_popescu: sure did
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: if i have to be shiva, mircea_popescu can be a racehorse!111
asciilifeform: if mircea_popescu posts the plaintext rigorous green's theorem, i promise to read it..
asciilifeform: or what, mircea_popescu would've stayed in mathematics if not for the squigglies
asciilifeform: mircea_popescu didntcha do peano, frege, et al? how did you manage with 26 letters ?
asciilifeform: mircea_popescu speaks like a fella who never has to.
ben_vulpes: not even searching for from:ben_vulpes asciilifeform http -log.bitcoin-assets.com
asciilifeform: ben_vulpes: can you recall any ?
asciilifeform: lemme guess, it was a gabriel_laddel thread
asciilifeform: ben_vulpes: wai wut
assbot: Logged on 11-01-2016 17:40:46; ascii_butugychag: and i'm not interested in writing word 'nabla' instead of ∇ every time !111
danielpbarron: ben_vulpes> you played trader without spreadsheets? << what is it for? I use strictly txt files in my various Eulora activities
BingoBoingo: ben_vulpes: mircea_popescu even got suicide ganked once
mircea_popescu: ben_vulpes sure.
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.
assbot: Logged on 11-01-2016 13:56:49; mircea_popescu: yes, naming can work like that, if 8chan.co and 94875984375983.jksldak are the same to you.
assbot: Logged on 12-01-2016 01:13:37; mircea_popescu: not really. to guarantee same-day inclusion, you'd need 1/10/24 * 10^11 = 0.5% of the current hash rate. to guarantee the usual thing wires guarantee (2-3 days) proportionally less.
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. ☟︎
BingoBoingo: https://en.bitcoin.it/wiki/Software#Mining_Pool_Servers_.28backend.29 << List not inspiring confidence
BingoBoingo: <mircea_popescu> might even make a good qntra piece. this sort of miserable behaviour needs some castigation., << for srs jurov
assbot: Logged on 11-01-2016 23:09:29; mircea_popescu: they're idiots, but at least they're productive. unlike the mit imbeciles who https://www.youtube.com/watch?v=8ve23i5K334
BingoBoingo: !up ascii_butugychag
guruvan: you not a fan of MIT license mircea_popescu ?
BingoBoingo: <ascii_butugychag> but in either case, a liver largely consisting of scar tissue is not an argument against having had a liver in the first place. << B.. But Discriminashun, Cundishuns...
ascii_butugychag: when mircea_popescu calculates for own reckoning, does he use roman notation? if not, why not?
ascii_butugychag: but since it was referred to, i assumed mircea_popescu was thinking of the idea.
phf: mircea_popescu: aaah now i see what you mean by obscurantist claptrap
assbot: Logged on 11-01-2016 18:36:12; mircea_popescu: if you're lucky and enough work has been put on doing the transforms that a function was found. plenty of times the transformation's either not obviously or not at all formalizable.
assbot: Logged on 11-01-2016 18:33:28; mircea_popescu: yes you can figure out what quarks do in either matriceal or formulaic form. but if you can't afterwards SAY what the fuck you found to either heisenberg or schroedinger, the problem's in your head.
assbot: Logged on 11-01-2016 18:46:27; mircea_popescu: this "you gotta run the city in which i wrote the letter to read the letter" thing is for the birds.
mircea_popescu: !up ascii_butugychag
mircea_popescu: ben_vulpes technically you could only put your own pubkey in there, and still let everyone else benefit from yours
mircea_popescu: which reminds me of our very own brave sir gabriel_laddel and his x.org thing
ascii_butugychag: mircea_popescu doesn't do mathematics, this is evident. perhaps he did at one point, but not now.
BingoBoingo: <ascii_butugychag> philosophy. (not a dirty word, just maths that haven't been mechanized) << Prolly hard to mechanize "Fear and Trembling"
assbot: Logged on 11-01-2016 17:44:07; ascii_butugychag: find me an actual working, practicing maths pro who disagrees with me on this.
assbot: Logged on 11-01-2016 17:57:01; mircea_popescu: such as by using structureless or poorly structured "symbols".
mircea_popescu: !up ascii_butugychag
mircea_popescu: <mircea_popescu> quick test : does http://trilema.com/2015/sa-muare-haterii-mei-doi/#selection-83.0-83.6 blink for anyone but me ? << lemme reiterate
ascii_butugychag: and i notice that mircea_popescu links to bitmaps of gurlz, not homeric descriptions in 10,000 words...
mircea_popescu: !up ascii_butugychag
trinque: ascii_butugychag: there is python (or cursed rubby) which is "more compact" like your equation, yet I prefer lisp
ascii_butugychag: mircea_popescu: whatcha talking about, the text is selectable
mircea_popescu: hey ascii_butugychag are those graphs pngs ? hm ? HM ?
ascii_butugychag: mircea_popescu: mno. you are, for instance, using irc client, which is not same as telnet, isn't showing you (or making you manually type in) the PING and PONG, say
mircea_popescu: <ascii_butugychag> everything you see is 'binary blob', you just happen to own a convenient interpreter for it << one. ONE.\
mircea_popescu: !up ozymandias_
ascii_butugychag: but iirc mircea_popescu is allergic to the whole notion of vector graphics for-printer
ascii_butugychag: mircea_popescu: pdf crapped out by latex is all of these !
mircea_popescu: <ascii_butugychag> and presently only achieved in pdf. << have you lost it, man ?! what of pdf is searchable, cut/paster able etc ?
ascii_butugychag: mircea_popescu: i own a gigantic crate
mircea_popescu: ascii_butugychag what "page"
ascii_butugychag: i have yet to see a pill against pdf proposed here that doesn't reduce to mircea_popescu's broomstick.
mod6: !up ascii_butugychag
mod6: <+mircea_popescu> pdf must die already omfg. << yes.
copypaste: mircea_popescu: here's how Okular (KDE PDF client) interpreted it: http://dpaste.com/1GY12RN
mircea_popescu: ascii_butugychag heh.
ascii_butugychag: mircea_popescu: dan mocsny had a spiffy essay on man and mechanism in this sense, but afaik it is lost to history
mircea_popescu: ascii_butugychag this thing, that we were discussing. seems to me to make the echo sounds typical of a huge cave, even if we only found a little hole.
mircea_popescu: !v assbot:mircea_popescu.rate.copypaste.1:900d82e7c59245e329102c53b146c1d58cddb571df4cc512b93fdab831b55a4a
mircea_popescu: ascii_butugychag nope. there isn't a person in every cunt, yet they all work.
ascii_butugychag: re: malleus thread: did mircea_popescu ever write an article about the error of 'postel's law' ?
mircea_popescu: ascii_butugychag numerous examples of pretorian guard heads that thought going with the usg is safe beheaded.
mircea_popescu: ascii_butugychag or, for that matter, from me.
assbot: Logged on 11-01-2016 16:35:36; mircea_popescu: “This cop needs to be shot and then displayed for all others to see. Time to let these Nazi thugs who really runs the show here in this country. We need to string all of them up and make an example for the next generation that these acts will not be tolerated. They answer to us, not the other way around. Time we start asking the hard questions and lay the hammer down on those who truly deserve it.”
ascii_butugychag: re: earlier thread: for historian types such as pete_dushenski: http://log.bitcoin-assets.com/?date=15-11-2014#922643 << my original source for concept in 'v' ☝︎
mircea_popescu: !up ascii_butugychag
mircea_popescu: <trinque> "CHECK_OR_DIE" << word.
trinque: "CHECK_OR_DIE"