▁▁⏐︎ 14220
mats: the big reveal
asciilifeform: http://www2.math.binghamton.edu/p/people/grads/schaefer/314s16 << in other lulz, 'Here is a link to Man vs. Machine, the randomness game mentioned in class.'
deedbot: http://qntra.net/2016/12/ubuntu-crash-reports-allow-remote-code-execution/ << Qntra - Ubuntu Crash Reports Allow Remote Code Execution
mircea_popescu: aaahahahaha
mircea_popescu: ok this is like ... great article shinohai
shinohai: >:3
mircea_popescu: "make things simple". you know, "to attract new people". so then call eval() on random text files!
shinohai: Because reporting system crashes automagically is VERY important!
mircea_popescu: wait, i thought this works on the crash report ~reader~
deedbot: http://qntra.net/2016/12/ashley-madison-settles-again/ << Qntra - Ashley Madison Settles Again
asciilifeform: shinohai: auto crash reporters are to report to the folx who Really Care at ftmead
asciilifeform: because hey, fuzzing in-house costs.
mircea_popescu: word.
asciilifeform: hence, e.g., the flipoladed 'apple bugreports' & similar keyz.
shinohai: Use Cases: "Willy was creating a logo for his soccer club in Inkscape when it crashed. Being the family's Ubuntu expert, he feels a responsibility to help improve the system. He's reported one or two bugs in Launchpad before, though it wasn't a particularly enjoyable experience. "
shinohai: Dear lord, if I find a bug, I certainly don't want to report it, I want to hide it away for future use, if any!
mircea_popescu: reporting bugs in here is very enjoyable in my experience.
BingoBoingo: http://qntra.net/2016/12/yahoo-leaks-again-up-to-1-billion-affected/#comment-81486
asciilifeform: mircea_popescu: link to my www in #10 in your piece is b0rked
mircea_popescu: no ?!
asciilifeform: (under 'keys are weak' )
asciilifeform: you have a www.www.... in there
mircea_popescu: are you aware YOUR server redirects to www.url all teh time ?
mircea_popescu: dude ubuntu is such a shitshow... gnomep-anel eating 35% of cpu wtf.
asciilifeform: mircea_popescu: possibly. i haven't opened the hood on that thing in eons
mircea_popescu: link fixt.
asciilifeform: ty
mircea_popescu: nono, ty!
asciilifeform: or wait
asciilifeform: http://www.loper-os.org/p=1733 ain't it
asciilifeform: http://www.loper-os.org/?p=1733 <<.
mircea_popescu: gah!
mircea_popescu: asciilifeform how about nao ?
deedbot: http://phuctor.nosuchlabs.com/gpgkey/C10265CAC01DE0B5C84F248879FB350192785D1C14FA53C6B4CAAE68A1BBA977 << Recent Phuctorings. - Phuctored: 1615...4883 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown CO ANT)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/5A4A4F036A5778A693B83E0707EE87CE8BEF16038402CD3B3F06684088336D75 << Recent Phuctorings. - Phuctored: 1030...8133 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown MX CHH)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/791F6C0F7D263391BA881D42F7E20BEB4107A6DEF86379934DB5144F6A6B2782 << Recent Phuctorings. - Phuctored: 1600...9207 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (panda.webfile.jp. JP)
asciilifeform: nao -- worx!
mircea_popescu: there's something i don't understand. if 3 mods pop at the same time like this, shouldn't it be because they shared a factor ?
mircea_popescu: whereas the reported factors are distinct...
asciilifeform: debianball
mircea_popescu: ah
asciilifeform: also not necessarily
mircea_popescu: so basically it's ssh vs debianball ?
asciilifeform: gedankenexperiment : funnelator adds mods m1, m2, m3
asciilifeform: m1 shares f1 with some previous p1, m2 -- with some p2; m3 -- with p3.
asciilifeform: so k modules can pop whenever k modules get added, in whatever order.
mircea_popescu: right
mircea_popescu: well, between k and 2k
asciilifeform: actually it is possible, in theory, for ALL of the moduli to pop , if satan made a modulus consisting of p1,p2,p3....pn (everybody's p...)
asciilifeform: to pop from an addition of ONE modulus, that is.
mircea_popescu: a right. so basically there's no reasonable expectation
asciilifeform: correct.
asciilifeform: 'If you are an Intel employee, you must prefix your normal windows idsid ' << l0l!!!
mircea_popescu: dude for srs.
mircea_popescu: there's some "b2b" app somewhere printing the banners as instruction sets or wtf.
mircea_popescu: an epic case of poor design.
mircea_popescu: it's up there on the level of, you know how pretentions twits NAME their house ? "Villa Futipemata" and stuff ?
mircea_popescu: this'd be on the level of naming it "Villa Please Turn The Doorknob To Gain Entrance."
asciilifeform: iirc we had a 'crypto-lordosis' thread
asciilifeform: ('nsa hole is this-way, please dun drill no moar hoalz')
mircea_popescu: actually iirc there was some woman who named her daugher Drop Table Students;-- so...
mircea_popescu: meanwhile torchlight has the following advice for me : "if you find yourseld dying too much, you should try to increase your armor"
mircea_popescu: i honestly thought i should run around drinking random fluids more. isn't random-fluids-drinking the death preventer ? it is ARMOR !?
phf: torchlight?? scrapping the bottom of the barrel there
mircea_popescu: lol! hey, one girl's huge d2 fan, so im trying it out
mircea_popescu: so far this very hard isnt all that hard
phf: i got to some "hell" levels on "hardcorest of modes, stay away" and gave up because i was just cutting through everything like butter. it just got dull
phf: d2 at least had balance
asciilifeform: mircea_popescu: re: 'proftpd' : https://www.exploit-db.com/exploits/15449
asciilifeform: (and possibly else)
mircea_popescu: asciilifeform ayup. there's tons of stuff, i cut it short because my reference list was gettying endless
mircea_popescu: linked just a coupla juicy bits.
mircea_popescu: phf what did you play, caster ?
asciilifeform: the 1 other worth mention,https://www.aldeid.com/wiki/Exploits/proftpd-1.3.3c-backdoor
asciilifeform: 'On Sunday, the 28th of November 2010 around 20:00 UTC the main distribution server of the ProFTPD project was compromised. The attackers most likely used an unpatched security issue in the FTP daemon to gain access to the server and used their privileges to replace the source files for ProFTPD 1.3.3c with a version which contained a backdoor....'
deedbot: http://phuctor.nosuchlabs.com/gpgkey/462B81C6D36BC1EEB1B52DA99EC1E704C722910F6398C0CD4154C663D3A61D09 << Recent Phuctorings. - Phuctored: 1030...8133 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown MX JAL)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/5A4A4F036A5778A693B83E0707EE87CE8BEF16038402CD3B3F06684088336D75 << Recent Phuctorings. - Phuctored: 1030...8133 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown MX CHH)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/E643BAEAC308F1BF33B37DDB9A258BBD07E85D30A9A63B95754CBA0BD2FFB346 << Recent Phuctorings. - Phuctored: 1615...4883 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (corp-190-12-56-72.mch.puntonet.ec. EC P)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/C10265CAC01DE0B5C84F248879FB350192785D1C14FA53C6B4CAAE68A1BBA977 << Recent Phuctorings. - Phuctored: 1615...4883 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown CO ANT)
asciilifeform: ahahahaha
phf: i think it was a trapper vanquisher
mircea_popescu: phf dude you gotta try the caster. it's the night of reason, so i got summon skeletons; summon skeleton archers and summo nzombies on the main + summon zombies and summon floating sword ON THE PET. that's like 40 different things ; and a sort of chain lightning that goes through walls. (summons also work through walls).
mircea_popescu: i'm basically following around a swarm of angry mobs cutting up a different swarm of angry mobs.
phf: ha, i'm not falling for that one! i'm right now in the process of trying to kill that damn dragon
mircea_popescu: oh, on emerald islands ? it can't be done.
mircea_popescu: i tried everything.
mircea_popescu: people in gaming always go "oh, it's always possible" and then point to the death of lord british as a definitive example.
mircea_popescu: but this has been an open and unsolved problem for 17 years.
phf: hmm, i'm giving it another three days
mircea_popescu: but no more plox you got useful stuff to do.
phf: they said the same about fermat's last theorem!
mircea_popescu: i even tried reloading the map billion times to see if useful peasant pops up. some give you major bonuses.
mircea_popescu: i tried four knights with spears and dotg...
phf: hmm
mircea_popescu: wands of shrapnel might do it, if you live long enough. but no chests there are good enough to spawn one
mircea_popescu: hey listen pete_dushenski , i need someone to be the auctioneer for the next s.mg auction in eulora because i want to be able to bid myself. do you wanna do the job ? i'll pay ya 1mn ecus.
deedbot: http://phuctor.nosuchlabs.com/gpgkey/791F6C0F7D263391BA881D42F7E20BEB4107A6DEF86379934DB5144F6A6B2782 << Recent Phuctorings. - Phuctored: 1481...0329 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (panda.webfile.jp. JP)
pete_dushenski: mircea_popescu: sure thing (assuming it's just in #eulora irc chan). on one condition : i do it pro bono.
mircea_popescu: no, it'd be in game actually.
BingoBoingo: Do it pete_dushenski, For the Republic!
mircea_popescu: i can link you to the proceedings of a coupla past ones if you wanna see
pete_dushenski: mircea_popescu: http://logs.minigame.bz/search?q=auction ?
pete_dushenski: BingoBoingo: bingo!
mircea_popescu: ah those are different, random people's auctions. this'd be an official minigame auction, like eg http://trilema.com/2015/one-hundred-million-eulora-coins-or-in-other-words-one-bitcoin/
mircea_popescu: or http://trilema.com/2015/and-there-was-another-auction-and-there-was-another-record-and-so-on/
mircea_popescu: anyway, this will be a pretty big one, as far as these go. i imagine it'd soak up 1-2 hrs of your time.
mircea_popescu is off to bed, but we shall continue this discussion tomorrow. along with all the others!
pete_dushenski: and it's this coming sunday ? or a future sunday ? time and timezone would also be helpful, unless that's for me to set.
mircea_popescu: pete_dushenski im thinking january 15th.
pete_dushenski: mircea_popescu: bon soir :)
pete_dushenski: o good. lots of time to prep then. ya, i'm game!
pete_dushenski marks off time on calendar. ☟︎
pete_dushenski: https://medium.com/opacity/the-syrian-war-condensed-a-more-rigorous-way-to-look-at-the-conflict-f841404c3b1d#.u85dggdtt (http://archive.is/oBRmn) << taleb on syrian situation. as a civilised sort of fellow, he's pretty staunchly pro-assad despite having plenty of room for personal grievances against the regime.
pete_dushenski: "Do not report this issue to Homebrew/brew or Homebrew/core!" << speaking of error reports, just got this lolzotron trying to install eulora on osx 10.8
pete_dushenski: SNITCHES GET STICHES!!1
pete_dushenski: *STITCHES
pete_dushenski: lol
trinque: pretty hard for me to condemn assad while my ass still sits in the country that sold al qaida chemical weapons to be used, then blamed on assad. ☟︎
pete_dushenski: http://wotpaste.cascadianhacker.com/pastes/eKTJb/?raw=true << osx 10.8 install attempt for those curious
pete_dushenski: trinque: that whole 'red line' act in the chemweapon affair took the cake.
pete_dushenski to study for compsci final exam tmrw morning.
trinque: I don't think much of luck, so I'll say do well instead!
trinque: in other python 2 was already shit... all([]) -> True yet any([]) -> False ☟︎☟︎☟︎☟︎☟︎
trinque: http://stackoverflow.com/questions/19601802/how-does-all-in-python-work-on-empty-lists/19601813#19601813 << great fucking scott, the towering minds.
davout: lulzy
trinque: All of Elliot's no girlfriends fucked him all night. -> True.
trinque: yeah I guess it checks out. ☟︎
Framedragger: WRQReflectionforSecureIT_7.0 << hahahahaha
Framedragger: epic lulz.
Framedragger: trinque: that's sorta fuckin' weird. "empty set as first class citizen" something something...
Framedragger: http://btcbase.org/log/2016-12-15#1583663 << two small notes: 1. i've now deleted the uncompressed *.log's, everything's in archive format (and raw logs still available of course). just not to waste disk space. ☝︎
a111: Logged on 2016-12-15 16:07 Framedragger: (and @all, http://siphnos.mkj.lt/datadrop/ is the canonical URL for all data gathered from the ssh scans. includes raw stderr logs from ssh-keyscan utility, e.g. http://siphnos.mkj.lt/datadrop/banners/s1/1_err_scan.log ; scripts for processing these are http://siphnos.mkj.lt/datadrop/banners/write_ssh_banners.py and http://siphnos.mkj.lt/datadrop/banners/process_all_banners.sh )
Framedragger: and 2., re. http://btcbase.org/log/2016-12-15#1583653 << asciilifeform: fyi internal line order does *not* map to order of openpgp files - sorry about this. but the filenames and numbers *do* map to parcels previously given. just to be clear. ☝︎
a111: Logged on 2016-12-15 15:54 Framedragger: (numbers in filenames and internal line order maps to openpgp files i gave you, fwiw)
Framedragger: oh and, http://siphnos.mkj.lt/datadrop/s1_scan.tar.bz2 and http://siphnos.mkj.lt/datadrop/s2_scan.tar.bz2 (note, large files) are the stdout of ssh-keyscan and contains the public keys in raw log format. just for completeness' sake. #actualscientificreplicabilitymotherfuckers ☟︎
Framedragger: (and http://siphnos.mkj.lt/datadrop/s1_ip.tar.bz2 and http://siphnos.mkj.lt/datadrop/s2_ip.tar.bz2 are all the 15`646`188 ssh IPs for anyone interested.) ☟︎
Framedragger: http://qntra.net/2016/12/ubuntu-crash-reports-allow-remote-code-execution/ << good stuff. fwiw Donncha is cool. here's him fucking around with coinbase: https://donncha.is/2013/06/coinbase-owning-a-bitcoin-exchange-bug-bounty-program/
Framedragger just discovered http://trilema.com/2012/the-mpex-rota/ - pretty neat. i take it this expensive experiment had been thus discontinued :) ☟︎
Framedragger: mircea_popescu: obtw, re. http://trilema.com/2016/internet-census-2016/#selection-21.0-21.13 it should probably say "Back in June", as it was june. the second scanning event was in july, but all of phuctor's finds thus far have been from the first scan in june
Framedragger: http://btcbase.org/log/2016-12-16#1583915 << whoops, correction: these contain all the >20M IPs answering to port 22. (otherwise these would be redundant cf. banner CSVs). ☝︎☟︎
a111: Logged on 2016-12-16 09:40 Framedragger: (and http://siphnos.mkj.lt/datadrop/s1_ip.tar.bz2 and http://siphnos.mkj.lt/datadrop/s2_ip.tar.bz2 are all the 15`646`188 ssh IPs for anyone interested.)
Framedragger: /me done with logspam
Framedragger: https://i.imgur.com/QC51FZz.png ☟︎
mircea_popescu: Framedragger ah i c.
mircea_popescu: http://btcbase.org/log/2016-12-16#1583891 << ah great then! ima write post announcing it today, what time works for you ? 17:00 ART ? ☝︎
a111: Logged on 2016-12-16 04:31 pete_dushenski marks off time on calendar.
mircea_popescu: http://btcbase.org/log/2016-12-16#1583902 << this is actually strictly speaking correct. an empty set is whole even if it has no elements. ☝︎
a111: Logged on 2016-12-16 06:24 trinque: in other python 2 was already shit... all([]) -> True yet any([]) -> False
mircea_popescu: but i can see why this is practically obnoxious. ☟︎
mircea_popescu: "are {} all the elements of the empty set ?" "yes." "name one such element." "there isn't one."
mircea_popescu: http://btcbase.org/log/2016-12-16#1583906 << yup. this goes nicely with http://btcbase.org/log/2016-12-01#1575797 ☝︎☝︎
a111: Logged on 2016-12-16 06:40 trinque: yeah I guess it checks out.
a111: Logged on 2016-12-01 18:44 mircea_popescu: the sad fact of the matter is that the brain is not a reasoning engine. in a very purely naturalistic, bio-logical way, this is sensible. the practice of "talk to the text, not context or subtext" has become established through moo practice
mircea_popescu: http://btcbase.org/log/2016-12-16#1583914 << btw, i'm hosting a copy of the whole file, so you don't get hammered too badly. ☝︎
a111: Logged on 2016-12-16 09:39 Framedragger: oh and, http://siphnos.mkj.lt/datadrop/s1_scan.tar.bz2 and http://siphnos.mkj.lt/datadrop/s2_scan.tar.bz2 (note, large files) are the stdout of ssh-keyscan and contains the public keys in raw log format. just for completeness' sake. #actualscientificreplicabilitymotherfuckers
mircea_popescu: all_internet_ssh_banners.txt.tar.gz 109 0 11.16 GB 102.38 MB so far ; not the end of teh world.
Framedragger: mircea_popescu: ah, that's cool and useful, ty
mircea_popescu: actually, 2nd largest bw eater this month, i also served 12 GB worth of http://trilema.com/wp-content/uploads/2016/04/lit.txt
mircea_popescu: but that's been #1 pretty much since april.
mircea_popescu: Framedragger it's an iffy thing from my pov, because on one hand you know, you did it i should link it ; but on the other i dunno how many people'd click and how well you're set-up for it. anyway if you'd like a blog linked or something do say.
Framedragger: mircea_popescu: thanks. in point of fact a blog is now in actual plans, not only oneday-maybewaybe. :) re. capacity to handle, at least the connection is unmetered, and it's just static nginx. but it's not anything big. so this is useful and appreciated.
mircea_popescu: cool deal.
mircea_popescu checked, about half of that was in the first half hour (thanks god for delayed rss otherwise it'd prolly be within five minutes eh!) so that's like 3MB/s jus' there.
shinohai: "Let's ALL scrap GPG, getting too hard to spy on peeps" https://www.schneier.com/blog/archives/2016/12/giving_up_on_pg.html
mircea_popescu: Framedragger not so much a matter of the webserver itself, the load on that is minimal for large file transfers ; but from experience most hosters offer 1Mbps to 1MBps links unless actually specified. and this is outide of any "intelligent" throttling at the router interface etc.
mircea_popescu: shinohai ironically we're also giving up on gpg, for the exactly opposite reason.
mircea_popescu: there's a lesson in this, where being a jwz dun pay. gotta pick sides, loud and clear.
shinohai: I shall make haste to leave these walls the day you recommend using signal+tor
mircea_popescu: the incredible audacity of the usg assets. really, they are STILL pushing tor ?
mircea_popescu: it's about equivalent to mit still pushing ethereum.
Framedragger: mircea_popescu: yeah, good point. well the hosting provider is ~shitty and quality of bw offered is not great (OVH), but it *does* make a more-or-less successful attempt at providing an actual full duplex 100 mbps, which isn't a lot, but still decent to my liking. so at least there's that.
Framedragger: even Framedragger doesn't push tor anymore. *and that's telling you somethin'* :D
mircea_popescu: lol
mircea_popescu: i honestly don't know anyone (who is someone, i don't mean kids with no money, no power and no value dicking about ; and who isn't actually nsa) is still using the thing.
mircea_popescu: so it is somewhat moot. they might as well advertise microsoft powerclip + yahoo briefcase as a solution, for all the difference it'd make.
mircea_popescu: and god knows both those "corporations" need it badly.
mircea_popescu: Framedragger you actually saw this in action ? ie, served 40ish GB in any given hour or anything like that ?
Framedragger: (i use tor to access things like library genesis while still in airstrip one, but that says more about airstrip one than anything else.)
mircea_popescu: !~google library genesis
jhvh1: mircea_popescu: Library Genesis / LibGen - The Meta Library - Sites - Google: <https://sites.google.com/site/themetalibrary/library-genesis>; Library Genesis - Reddit: <https://www.reddit.com/r/libgen/>; Libgen.cc: <http://libgen.cc/>
Framedragger: mircea_popescu: well, didn't *serve*, but benchmarked myself. i can try again tho, that was long ago
mircea_popescu: ah, same thing.
mircea_popescu: note though that sub-hour benchmarks are meaningless.
Framedragger: (oh oh, and also trying out masscan (the first-stage scanner, i.e. the one which sends TCP SYNs) with maybe 30-100k packets per second stable))
mircea_popescu: if you do it for say 10 seconds, well doh, they allow it.
Framedragger: yeah sure.
Framedragger will consider testing it. would be useful knowledge, i.e. OVH *is* cost effective for not-super-important "lower grade hardware ok" deployments
mircea_popescu: which is why like half of malware is hosted there
Framedragger: certainly. (also while on topic, large part of tor relay network. "decentralization!!!")
mircea_popescu: lol. right.
mircea_popescu: this is a fucking issue ffs. if the world worked like FOSS ~pretends it worked~ then we'd have LIKE HALF A DOZEN ssh protocol definitions ; which'd still interoperate ; and from hundreds to just one implementations of each of those. by distinct people in distinct teams.
mircea_popescu: irl, there's ssh 2.0 and ssh 2. 0 ; and ~one implementation, by a known-bad team.
mircea_popescu: what fucking foss. there is no foss. microsoft is the natural structure of ustards and everyone taking after them ; which is to see in a hurry to see results and in no particular mood to examine the quality thereof.
Framedragger: in unrelated newz, while installing an ubuntu package,
Framedragger: > 173 new root certificates were added to your trust store.
Framedragger: uh. how about, fuck your mother
mircea_popescu: the third most commonly seen ssh protocol is a misspelling of the most common one pushed out by mistake years ago!
mircea_popescu: Framedragger lol but you get free stuff for your store!
mircea_popescu: is your trust store on etsy ? :D
Framedragger: i don't even
mircea_popescu: where is this trust store even, now i'm curious.
Framedragger: i'm actually pissed, which just means that i was too optimistic about ubuntu. *i was installing a simple image editor*
Framedragger: wait i'm checking. there's a chinese root authority there... maybe package name denoted something else... still, who in their right mind?...
mircea_popescu: ftr it's /usr/share/ca-certificates ; and i got like... 7
Framedragger: `sudo apt-get install pinta` << is what i did. default ubuntu repos, default ubuntu install fwiw.
mircea_popescu: dude just get gedit.
Framedragger: k@burokas:/usr/share/ca-certificates/mozilla$ find . | wc -l
Framedragger: 174
mircea_popescu: i swear gedit is like the emacs of the art world. once you learn how to use its lisp parts you can never leave.
Framedragger: "i wanted to try something new, and now i have sharks."
mircea_popescu: do yourself a favour learn how to use gimp.scheme ; you will never look at graphics with the same eyes again.
Framedragger: hm! interesting advice
Framedragger: apparently i'm behind on linux graphics software
mircea_popescu: actually i would propose it's a very fine way if not the best way to learn lisp.
Framedragger: normally i'd just fool around with gimp
Framedragger: aha!
Framedragger lunch, bbl
mircea_popescu: not only does it mirror how we learned programming as kids (i did circles in a for loop in basic, obtained a nice worm guy!) but it gives an immediacy to lisping absent ANYWHERE else. ☟︎
mircea_popescu: literally, for the cost of installing gimp you get what ammounts to a visual repl. ☟︎
mircea_popescu: http://btcbase.org/log/2016-12-16#1583917 << it was expensive especially in human terms ; broke a few fingers off people who otherwise were well meaning and willing to try and help. ☝︎
a111: Logged on 2016-12-16 10:45 Framedragger just discovered http://trilema.com/2012/the-mpex-rota/ - pretty neat. i take it this expensive experiment had been thus discontinued :)
mircea_popescu: sadly this can't entirely be avoided it turns out.
shinohai: !!rated ben_vulpes
deedbot: shinohai rated ben_vulpes 3 at 2016/12/11 03:11:16 << http://cascadianhacker.com/ #trilema trb lisp
mircea_popescu: http://btcbase.org/log/2016-12-16#1583919 << wait, what ? which 20mn ? ☝︎
a111: Logged on 2016-12-16 10:52 Framedragger: http://btcbase.org/log/2016-12-16#1583915 << whoops, correction: these contain all the >20M IPs answering to port 22. (otherwise these would be redundant cf. banner CSVs).
Framedragger: mircea_popescu: the 20M or so servers which responded to TCP SYNs sent to port 22. however, out of those, about 5M (or however many) did not respond to ssh handshakes, hence the lower number in the banners and phuctor payloads.
mircea_popescu: ah right right.
Framedragger: i guess one should standardise terms here. the larger number corresponds to "something's running there" servers, found via 1st scan phase. the lower 15M number corresponds to "actually speaks ssh protocol" servers, found via 2nd (ssh-keyscan) scan phase.
Framedragger: i would avoid inducing all of this confusion if i wrote all of this shit up in place - mea culpa. will be done eventually.
Framedragger: in one place*
mircea_popescu: no big deal, it'd be confusing if we didn't know what this is.
Framedragger: http://btcbase.org/log/2016-12-16#1583998 << will try this - very useful pointer. ☝︎
a111: Logged on 2016-12-16 12:47 mircea_popescu: literally, for the cost of installing gimp you get what ammounts to a visual repl.
mircea_popescu: can be your first blog post! "here's me trying gimp repl"
Framedragger: "adventures in procedural cock drawing, vol 1"
mircea_popescu: lol
mircea_popescu: i didn't know you were a girl.
Framedragger: hey that vc dude apparently likes to call everything cocks, and it's working out for him
mircea_popescu: yes but that's because he's a girl.
mircea_popescu: incidentally, speaking of nothing in particular, everyone heard of carlos ghosn ? quite the fellow. ☟︎
Framedragger: hah busy fella!
mircea_popescu: fortune "gave him" some "best in business ~OUTSIDE OF US~" title, in typical byzantine style of "our nose's so upturned if it rains we drown" ; but then both gm and ford begged him to take them on (and he didn't. why didn't he ? is it because no great again possible in the us according to the people who specialize in great agains ?)
mircea_popescu: incidentally, the greatest skill in the world isn't to you know, get named head of michelin south america reporting directly to francois michelin and then turn it around in a coupla years.
mircea_popescu: the greatest skill is to turn down byzantine crap a la gm or ford. "oh great opportunity". heh, for THEM, maybe. they want to suck your juju, to extend their lifespan for a few short extra weeks WITHOUT CHANGING substantially. that's the fucking problem.
mircea_popescu: never take on a slave who's not aware she's abject refuse.
Framedragger: "In the first year of the Nissan Revival Plan, Nissan's consolidated net profit after tax climbed to $2.7 billion for fiscal year 2000, from a consolidated net loss of $6.46 billion in the previous year. Twelve months into his three-year turnaround plan, Nissan had returned to profitability, and within three years it was one of the industry's most profitable auto makers, with
Framedragger: operating margins consistently above 9%—more than twice the industry average." << wow
mircea_popescu: he's big in japan.
Framedragger: gotta love the empire's press and resulting ignorance
mircea_popescu: meanwhile they give professional company sinkers credit. carly fiorina, this tracy lorde of us business, singlehandedly destroyed two functional companies.
Framedragger: amusing.
Framedragger: https://www.schrauger.com/the-story-of-how-wosign-gave-me-an-ssl-certificate-for-github-com << ffs i have these jokers in my ca list now. need to go through it and remove shit.
mircea_popescu: just take everything out.
Framedragger: yea.
mircea_popescu doesn't even HAVE mozilla directory in ca-certs because wtf.
Framedragger: well there's no cert *outside* mozilla dir. maybe it's the ubuntu's organized. fresh install, don't ask...
Framedragger: mircea_popescu, what do you have in cert list if you don't mind me asking?
Framedragger: the way*
mircea_popescu: debconf.org, that sort of thing.
Framedragger: aha right.
mircea_popescu: (btw, mind that * in rm -f doesn't match dotfiles)
Framedragger: hm, good reminder...
mircea_popescu: {*,.*}
Framedragger: yeah. ridoinculous ca shitpile, wtf
davout: http://btcbase.org/log/2016-12-16#1583997 <<< c'est pas tombé dans l'oreille d'un sourd ☝︎
a111: Logged on 2016-12-16 12:47 mircea_popescu: not only does it mirror how we learned programming as kids (i did circles in a for loop in basic, obtained a nice worm guy!) but it gives an immediacy to lisping absent ANYWHERE else.
mircea_popescu: cool
shinohai: !~later tell BingoBoingo http://wotpaste.cascadianhacker.com/pastes/jbIJB/?raw=true
jhvh1: shinohai: The operation succeeded.
mircea_popescu: Framedragger there's a lot of interesting stuff at the "western world" - japan interface. japan being, of course, the only non-european industrialised country. but it doesn't stop there - when the whole socialist world went up in flames in the 20s, japan was doing absolutely fine ; even made a bundle speculating the loser's currencies.
mircea_popescu: this has A LOT to do with the mechanisms discussed in http://trilema.com/2013/digging-through-archives-yields-gold/ ; and so unsurprisingly the us marxists came up with all sorts of funny theories as to what "japan was really like" economically.
mircea_popescu: it's a topic worthy of investigation.
Framedragger: hey scriba catch this http://www.mail-archive.com/cryptography@metzdowd.com/msg09968.html
mircea_popescu: he was wrong on one point, re the "political suicide". not that the niggers aren't PRETENDING of course, but their pretense aside my credit's evidently better than clinton's.
mircea_popescu: so far it was political suicide - for her ; not for me.
mircea_popescu: on which note i should wish to muchly encourage the ~competent~ youth to not fear "suicide" of this nature. it's a control artefact implanted by the socialist motherhood for their detriment, a sort of imaginary pain box of the bene gesserit. there's no reason to even HAVE a "group of women who don't fuck" as a political entity, let alone ridoinculous imaginary boxes.
mircea_popescu: worry not about "political suicide".
asciilifeform: well '20s jp ~did~ get bulldozed.
asciilifeform: (though it did give usg a good run for its money, first)
mircea_popescu: right.
mircea_popescu: japan got buldozed chiefly because of the utterly immoral attitude of thinking people at the time. ☟︎☟︎
mircea_popescu: who, incidentally, mostly all figured out what a horrible sin it was to deliver the socialists the bomb.
mircea_popescu: except, in typical "i'm a thinker not a doer" puppy style, figured out after.
asciilifeform: as if anybody but the socialists could have paid for the bomb.
mircea_popescu: not really the point, is it.
mircea_popescu: "i just want to" i get it, i get it. it's stupid and disastrous.
asciilifeform: is the point though. someone was to end up with it, and that someone would have been a socialist throne of whichever colour.
mircea_popescu: !~google nishina
jhvh1: mircea_popescu: Yoshio Nishina - Wikipedia: <https://en.wikipedia.org/wiki/Yoshio_Nishina>; Shima Nishina - MyAnimeList.net: <https://myanimelist.net/character/130094/Shima__Nishina>; History | RIKEN Nishina Center: <http://www.nishina.riken.jp/about/history_e.html>
mircea_popescu: (guy who correctly identified us nuclear programme in 1939)
Framedragger: "It should be noted that no ethically-trained software engineer would ever consent to write a DestroyBaghdad procedure. Basic professional ethics would instead require him to write a DestroyCity procedure, to which Baghdad could be given as a parameter."
mircea_popescu: heh
Framedragger: in my quotes file, as a reminder...
mircea_popescu: there's no way to fix this other than "don't work for https://s-media-cache-ak0.pinimg.com/564x/fe/de/d0/feded087bb5b76da57473b6e7078ffaf.jpg )
Framedragger: (it may however be noted that lacking material wealth, the extreme case of the above appears to be gabriel_laddel (http://btcbase.org/log/2016-11-18#1570190); and i *do* prefer to have a friggin' mailing address; and there are places to work which do not do heaven-important things, but are not microshit, either; i.e., there's a spectrum.) ☝︎
a111: Logged on 2016-11-18 22:00 gabriel_laddel: Framedragger: fuck participating in the usg web / github / CC economy etc.
Framedragger: (that being said, /me considers working part-time in the future to come, and working more on personal/worthy projects on the side. i don't know how asciilifeform is tmsr-productive while doing other stuff full-time - maybe i should go on a modafinil diet heh)
asciilifeform: 'professional ethics' in usg schmuckdom is a ball of lulz. for instance, when asciilifeform was slaving for usg, he worked in the chemical weapons program. which of course he could not have worked in, because nixon cancelled it, and asciilifeform was never 'security cleared' !!11111 but oh, apparently ~antidotes~ are not weapons! despite the obvious use for the type of antidote that was funded (eat it, release gas, then fight without
asciilifeform: masks while enemy suffers in full body suit)
Framedragger: :(
mircea_popescu: hey, ethics is not mandatory, just a guideline,
mircea_popescu: asciilifeform at least they're coherent, "anti-missile shield is not a nuclear weapon". sure it isn't.
mircea_popescu: such nonproliferation indeed.
Framedragger: i agree, and there is the whole utilitarian framework to be considered in specific instances, such as, "make bloodmoney now, to be invested for quantifiably more good later", etc.; still, it's a nuanced thing...
asciilifeform: the hilarious part is that the ~actual~ impetus for the funding was lizards who understood that eventually someone ~will~ find a way to gas'em; and as soon as it became clear that the antidote will not remove all sequelae from gassing, the funding -- evaporated.
mircea_popescu: heh
mircea_popescu: still chasing perpetual youth up there in the tower of dreamsong huh.
Framedragger: funny you should say that, much-upvoted HN frontpage article right nao: http://mobile.nytimes.com/2016/12/15/science/scientists-say-they-can-reset-clock-of-aging-for-mice-at-least.html?referer=https://pay.reddit.com/r/science/comments/5ijdkz/in_the_first_attempt_to_reverse_aging_by/
Framedragger: oh lol @ referer field
mircea_popescu: pay ?!
mircea_popescu: they actually get paid dun they.
asciilifeform: Framedragger: see thread !
asciilifeform: !#s telomerase
a111: 6 results for "telomerase", http://btcbase.org/log-search?q=telomerase
Framedragger: oooh nifty asciilifeform
deedbot: http://trilema.com/2016/lauctionne-des-tooleries/ << Trilema - L'Auctionne des Tooleries!
Framedragger: http://btcbase.org/log/2015-03-20#1059324 << :p ☝︎
a111: Logged on 2015-03-20 04:11 asciilifeform: no prizes for guessing how much use came of this.
Framedragger: mircea_popescu: that subdomian forces https on traffic, was originally intended for 'reddit gold' (sic) users, but is available to all nowandgodwhydoiknowthis
mircea_popescu: (and in the list of "great western pravda" achievements : japan requested uranium oxide from germany (the great blessings of shinto - japan has no fucking resources of any kind), who shipped it via sub, except the sub surrendered once germany surrendered. and the us agitprop claimed it was... "catalyst for use in the production of synthetic methanol for aviation fuel". because totally, the zeros flew on methanol. (uranium dio
mircea_popescu: xide can work as redox catalyst, can oxidize methane).)
asciilifeform: we had thread
mircea_popescu: o we did ?
asciilifeform: it was the load that made up the shortfall from the idiot calutrons.
asciilifeform: that gen. groves proclaimed, correctly, would not supply even a test bomb until '46.
mircea_popescu: http://btcbase.org/log/2016-05-31#1473944 ☝︎
a111: Logged on 2016-05-31 01:17 asciilifeform: there is, in archive, a letter from general groves to truman stating, plainly, that there will not be REMOTELY enough U for bomb.
mircea_popescu: so we did.
asciilifeform: aha.
asciilifeform: funnily enough, uranium carbide + water == some qty of passable petrol.
asciilifeform: ( -ev , no shit )
mircea_popescu: for the same money, pornstar + biofermenter == electricity enough for some microseconds of porn watching
mircea_popescu: anyway, all this is becoming ever more interesting as the great again summoning will probably imply something that to the japanese will seem like us unreliability creating a disparity with china wrt nukes.
phf: http://btcbase.org/log/2016-12-16#1583902 << http://clhs.lisp.se/Body/f_everyc.htm where (every (lambda () nil) ()) => t (some (lambda () t) ()) => nil. this is a functional equivalent of and/or macros, where (and) => t and (or) => nil ☝︎☟︎
a111: Logged on 2016-12-16 06:24 trinque: in other python 2 was already shit... all([]) -> True yet any([]) -> False
mircea_popescu: logic is but one.
phf: surprisingly! fwiw at moscow state evening math school you didn't start with programming. for a couple of years the classes were physics, math and boolean logic. programming in C with frbrgeorge was considered an advanced class and the only ~actual touching of computer~ class
mircea_popescu: i don't teach math by computer either. it's like teaching cooking by washing socks.
mircea_popescu: yes, there's some flavour involved but good lord.
mircea_popescu: either functional analysis or set theory are sound basis for mathematical study, rather than applied algorithmics or w/e you'd call it.
thestringpuller: i thought most engineering schools wouldn't allow you to use calculators for math classes? We weren't allowed to use anything but our brains for all Math even DiffEq. I think statistics was the only class where there was an exception.
asciilifeform: in other noose, https://zifra.tech << yet new tardano!1111
BingoBoingo: CardanObama!
deedbot: http://phuctor.nosuchlabs.com/gpgkey/B6EE2D514424C138EC086E5840C712BFEA64874871CDB7D082605E69F709710B << Recent Phuctorings. - Phuctored: 1589...9383 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown US HI)
deedbot: http://qntra.net/2016/12/coinbase-targeted-in-cryptsy-class-action/ << Qntra - Coinbase Targeted In Cryptsy Class Action
Framedragger: (fwiw UK unis appear to decently cover basics of ZF set theory in CS classes, too, so at least there's that)
Framedragger: (well, that's an overgeneralization i guess)
mircea_popescu: Framedragger the point is, what do you build the discipline ~around~. it's a linguistic choice, of the level of "we'll write this in basic or php".
mircea_popescu: math ~in terms of~ set theory ; or functionals (as the math thing, not as the cs thing) ; as opposed to computering.
Framedragger: sure.
Framedragger wonders how "let's axiomatize from set theory, frege/russell style" would go for 1st year students tho :p
mircea_popescu: splendidly, if you don't expect most to make it to 2nd year.
mircea_popescu: (also you're not held to be more rigorous than the attendance supports, irl)
BingoBoingo thinking about building new, proper editor's desk in late Q1 or Q2 next year. Debating between oak, structural grade "southern yellow pine", and mixed wood
mircea_popescu: totally oak, it ages well can auction later.
BingoBoingo: Finishes easier too
mircea_popescu: aha.
BingoBoingo: But heavy, so harder to pick up and beat intruders with
BingoBoingo also would consider hickory if it can be sourced
phf: dropbox is finally discontinuing public folder. "we’ve built even better ways for you to share securely and work together with your team." what a load of shit. literally the best feature they had was unmediated ~/pub/. the "better ways" they are referring to is a web 2.0 style "USE DROPBOX CLIENT (or click here to download directly like some kind of loser)"
mircea_popescu: what is this, like an empire wotpaste ?
shinohai: phf is the nifty dragon you put between log schism still there?
BingoBoingo atm leaning towards mixed wood. Perhaps a walnut top and Douglas fir (maximally pink boards) structral components.
phf: mircea_popescu: kind of like a transparent rsync to a shared folder, with ~/public linked to public web url
mircea_popescu: right.
phf: shinohai: of course!
shinohai can't seem to find dragon, checks dates
phf: ohno i wonder if i broke it
mircea_popescu: speaking of which ben_vulpes : how would you feel about adding a rsync-like interface for wotpaste through rsa sessions ? ☟︎
shinohai: I spoke to him about that too actually xD
mircea_popescu: o ?
phf: shinohai: http://btcbase.org/log/2016-03-28#1440673 ☝︎
a111: Logged on 2016-03-28 13:11 mircea_popescu: upon consideration, i see no reason to continue supporting or otherwise encourage kakobrekla's bizarre worldview. on the contrary, i view further involvement with the nonsense as considerable moral hazard, and a miserable thing to do altogether.
shinohai: weird, my browser didn't render it
Framedragger: lol
phf: shinohai: is it still broken? it's possible that hr background is not portable..
mircea_popescu: i see it.
shinohai: I do now, my img block was on ;p
Framedragger: same (FF 50.0.2 linux x64)
mircea_popescu: "dear abby - i noticed today that while wearing my chastity belt, i can't seem to have sexual intercourse. please advise."
shinohai: !~display
jhvh1: shinohai: No GeoIP information found for
Framedragger: ^ digital ocean
shinohai: http://directorybooks.me/tmsr-btcbase.html <<< attempts to serve you weird pdf?
mircea_popescu: there's a bunch of these.
trinque: http://btcbase.org/log/2016-12-16#1584114 << that's fine, except that the empty list is nil which is used as false. ☝︎
a111: Logged on 2016-12-16 15:30 phf: http://btcbase.org/log/2016-12-16#1583902 << http://clhs.lisp.se/Body/f_everyc.htm where (every (lambda () nil) ()) => t (some (lambda () t) ()) => nil. this is a functional equivalent of and/or macros, where (and) => t and (or) => nil
mircea_popescu: the problem comes back to the very naive christian notions of the moral value of the void.
phf: trinque: i don't get it
trinque also now digesting mp's statement
trinque: from where I sit one can't ask a question of nothing regarding properties nothing doesn't have.
trinque: were ther a distinction between nil and false, I would expect (and) -> nil (and f) -> f
mircea_popescu: but nil isn't on the possible results list.
mircea_popescu: trinque aha, that lulzy "nature abhors a vacuum" theory hottie is shown demonstrating for yul brenner's "children" comes from right here.
phf: trinque: you're very confused ☟︎
trinque: muh feelings.
Framedragger: re. asking questions involving properties which do not exist, hah this is something that russell was actually battling with. what is the truth-value of the statement "the present king of france is bold"? some would say it does not have a value (because the term "present king of france" does not have a referent); russell would say "false".
mircea_popescu: it is false.
mircea_popescu: truth-value can not be nil.
Framedragger: so all statements have truth-values, then?
trinque: so then, I just said "is every element in this set true" and got a true on the empty set.
Framedragger: (ruseell's theory of definite descriptions says "yes", other frameworks say "not necessarily")
Framedragger: "bagumpa is blerpy" has truth-value?
mircea_popescu: Framedragger if your semantics allows for it. whether they do or don't is not the same as the truth-value BEING nil however.
mircea_popescu: i know it's commonly taught as equivalent, but saying "x doesn't have an y" is not the same as saying "x's y is nil"
trinque: is this a "the void has all properties" thing ?
Framedragger: note, strawson, frege would say that the king of france *expression* fails to provide a *(logical) proposition*. i.e., it does not have one. imho this is a valid thought, i.e. the matter is not 100% clear.
mircea_popescu: note however that many languages (which aren't english) allow purely constructive usage ; such as adjectival forms constructed from nouns, the noun of a verb and the verb of a noun and so following. depending on semantics bagumpa is blerpy could well have a truth value - if say your definition of is includes an equivalency class for all elements starting with the same letter.
Framedragger would like to carry on with phi of lang but will resume later, need to move self body
mircea_popescu: trinque perhaps the cheapest way to visualise the difference between nil and falsehood is to contrast "ex nihilo nihil" with the value table for false-implication.
trinque: so how do we get across the bridge from "the empty set has no members" to "every member of the empty set had blue hair" being true?
mircea_popescu: all sentences spring from a false ; but nothing springs from the nil.
trinque: I understand the difference, was saying lisp *should* have a separate false.
mircea_popescu: ianale.
trinque: nil is used everywhere to mean false, not say "this question can't be answered"
mircea_popescu: well part of the problem is that nil can't be used to mean anything other than nil./
Framedragger: (imho lisp's use of nil as false *is* incorrect, even if you disagree with "every member of the empty set had blue hair" having to be true. it *is* an unholy confusion, falsehood != nil.)
trinque: aha
trinque: SQL gets it right here.
mircea_popescu: as to the blue hair issue : if you can't produce a member which has non-blue hair, the proposition stands ; and if i can prove you can't (which i prove by showing there's no elements in the null set) then the proposition evaluates to true. ☟︎
trinque: ah!
trinque: proceeding from falsification I can understand.
Framedragger: suddenly karl popper in set theory? :O *suspicious*
Framedragger: but, consistent.
Framedragger: that's all well and good when you can enumerate countable set elements exhaustively / have firm grasp of a term's extension, but what if you don't - any predicate stands true until shown otherwise?
trinque: it feels practically wrong while logical
Framedragger: maybe there could be an empirical-tmsr-set-theory thing :) but for logical analysis, that's weird imo. for one, ontological arguments in regards to god's existence may gain more grounds.
trinque: if one proceeds from there the definition of truth gets pretty squashy
mircea_popescu: Framedragger a proposition ~stands~ until falsified. and is true once it can be showed it can't be false.
mircea_popescu: if i were to endeavour to prove all primenumbers larger than 2 are odd, you'd count yourself satisfied if i showed a number that's prime and larger than 2 can not exist, yes ?
phf: you're not asking for falsehood, when you're asking for nil-ness, so semantic confusion that arises from using same symbol for both concepts is almost always a theoretical problem. and when it's not, like in other situations of semantic ambiguity you can choose to be more precise. luckily people who like to solve theoretical problems of thinking-computing mismatch have moved away from lisp and are doing haskell now
mircea_popescu: the proposition "four is a prime number" doesn't stand, because a factor is known ; the proposition "this and this rsa key is made of two primes" stands, but is not known to be true.
mircea_popescu: lol phf up in arms.
mircea_popescu: anyway, the problem generally is that "all things" have an ontology and a gnoseology, which is separate and so trivially separable even the greeks were privy to it (hence plato's ideal objects) ; except for the void, which is AT THE SAME TIME the absence of ontology and the plenarity of gnoseology. which is to say, the same "thing" at the same time doesn't exist (ie, as nil) and implies everything (ie, as "false").
mircea_popescu: this duality then makes it a fine candidate for a "prime mover", which bothered the scholastics immensely, because they, much like the scholastics-lite version of smith in the us say, wanted to intercede their own agent in there, so he could do things and therefore their derpitude could matter.
phf: i just found this thing, and this should've been that, and that should've been the other, va a fare in culo! :E
mircea_popescu: fortunately, the people who like to solve theoretical problems of though/action mismatch moved on from logic and are doing "policy" nao.
trinque should bitch about programming moar often; what a ride
mircea_popescu: anyway. for completeness let it be stated that perceived problems of thought-computing mismatch are thoroughly a matter of perception, and in principle can not be fixed (other than fixing the perception). it's the fundamental problem of "ai", as derided often enough here (see the "what if you name the procedures something other than "understanding" etc ; see also chomski's attacks on "ai" centered on the constructed repeating
mircea_popescu: strings)
mircea_popescu: ((and mp was never as unimpressed with chomski as he was when the guy tried to deploy a cantor proof lite without saying so.))
mircea_popescu: the core of it being that computing is not thought.
asciilifeform: one problem that purveyors of sad-schmuck 'maths' chronically suffer from is the expectation that a consistent model has to mesh with naive child's conception of 'N apples' arithmetic. ☟︎
asciilifeform: see, e.g., the cantor crackpot i linked in last week's l0gz. 'oh noez, infinities!11'
mircea_popescu: i still love the captatio of that sort of guy. it always reduces to "here we show this is controversial". as if THIS has some sort of merit or value.
deedbot: http://www.contravex.com/2016/12/16/i-came-to-buy-a-smile-today/ << » Contravex: A blog by Pete Dushenski - I came to buy a smile today.
Framedragger: that's swell guys but a bit of a non sequitur neh. that being said, yea "if you try to formalize fleshworld, you're gonna have a bad time" :)
Framedragger: (inb4 mp quotes last sentence from tractatus logico philosophicus) :D
trinque: http://btcbase.org/log/2016-12-16#1584175 << This kind of thing ftr is pointedly useless tweeting of one's feelings. ☝︎
a111: Logged on 2016-12-16 16:58 phf: trinque: you're very confused
trinque: what was never volunteered in the thread is the practical usefulness of the behavior as seen in the programming language mentioned
trinque: "If everyone agrees to fire the nukes, fire them."
trinque: then your list of everybody was empty because squashy world. then nukes fire.
Framedragger agrees. (but fwiw i don't think it's legit even in terms of logical analysis, even before practical considerations)
phf: oh, shit, we've got a reddit consensus over here ☟︎
mircea_popescu: kinda fine illustration of why consensus can never be a sound basis for action
Framedragger: another non sequitur
Framedragger: without addressing points herein
mircea_popescu: "the avoidance of suffering can never be a point of policy, seeing how the simplest solution is immediate mass extermination." AND "consensus can never be the basis of action because the null set always agrees."
trinque: "all" in python is a control structure around a loop, not a term in a boolean statement
trinque: !!v F9F77A40226329ADB52E978F9C046D702962EFA3BDBA76168CCA8DA883792E32
deedbot: trinque unrated phf.
Framedragger: wtf is this shit anyway. even if it's a logical operator, and then, look: it's an AND underneath. and you all know the very-noncontroversial truth-table for AND. true iff for every member, predicate applies. NOT vice-versa falsification goofyness.
Framedragger: jeebus, chill
trinque: it's ok, guy can only type so much with one hand on keyboard.
asciilifeform: lolwatisthis
mircea_popescu: a dramatic development!
asciilifeform: pythagoras's boat or wat.
mircea_popescu: Framedragger what's the definition of every for null set ?
Framedragger: !$ prop7
scriba: Wovon man nicht sprechen kann, darüber muss man schweigen.
mircea_popescu: so then, goofyness.
Framedragger: mircea_popescu: notice, the "all" in python takes a predicate
trinque: aha.
mircea_popescu: hey, i'm not here to defend extant programing language design choices.
mircea_popescu: but i shall discuss logic with you, if you do not appease us.
Framedragger: uh? how'd *you* define "all" in that case?
trinque appreciated the discussion, learned.
mircea_popescu: i think it's a fabulous testament on the very matters at hand that the ~only guy who has a very introspective, quiet, slow and complete approach to thinking/speaking got derated for emotionals.
mircea_popescu: HAD HIGHER EXPECTATION FROM YOU phf !!!
Framedragger: hey i thought trinque unrating phf was a stupid reactionary thing. don't use this as a red herring.
mircea_popescu: but it's only red inasmuch as it's a herring
Framedragger adjusts tone
Framedragger: :D
Framedragger: anyway, i agree that there is a way to construct an "every" so that given a null set, it spits out true. however, "every" of what? usually there's a predicate, and then the way you'd test "every" with a predicate is that you run that predicate on every element encountered. and you test that it *obtains*, not that it *does not obtain*.
mircea_popescu: "every nonexistent thing"
mircea_popescu: amusingly all null sets are the same set.
Framedragger: ^ true re latter, sure.
asciilifeform: and hey remember when cantor and kronecker derated each other..
mircea_popescu: lol
Framedragger: but then if you want to entertain the latter "check if any *does not obtain*", you will have a "empty set if holder of *all* properties"
mircea_popescu: you can't test for all properties. ☟︎
Framedragger: ( and amusingly under classical ontological argument, empty set will be god :D )
mircea_popescu: yes i said that!!1
mircea_popescu: also practical, at that. god can stay god for as long as gets in no one's way.
Framedragger: *internal framedragger thought process*. "ok, so, maybe mp is empty set.. and he wants to be god.. AHH" :D
BingoBoingo: !!v F82354639AF453DA437A70D37194DEF5F5BB2B10AECAC839DC5A64AD0793FA9E
deedbot: BingoBoingo rated phf 2 << Kiln dried, solid work wrapping Republican proceedings with webs
phf: i usually just switch context when stupid shit is said, but this time i politely pointed it out, which tbh produced an opposite effect of what i expected. in polite circles when somebody goes as far as to point out that somebody is confused, it's an invitation for further introspection, not to loudly double down.
asciilifeform: ^
mircea_popescu: eh russkis.
BingoBoingo: trinque is Texan where confused is a synonym for sucking cocks. It's a cultural soft spot. ☟︎
BingoBoingo: Just not a polite word in his culture
mircea_popescu: holy shit we are now having diversity in tmsr.
Framedragger: hmmm. so we have both http://btcbase.org/log/2016-12-16#1584200 *and* http://btcbase.org/log/2016-12-16#1584272 ; i think this entails a logical explosion of "everything is true" :p ☝︎☝︎
a111: Logged on 2016-12-16 17:13 mircea_popescu: as to the blue hair issue : if you can't produce a member which has non-blue hair, the proposition stands ; and if i can prove you can't (which i prove by showing there's no elements in the null set) then the proposition evaluates to true.
a111: Logged on 2016-12-16 18:00 mircea_popescu: you can't test for all properties.
mircea_popescu: does it ?
Framedragger: well, okay, i'm not sure. but all predicates obtain in null set.
Framedragger: i don't know how a logician can entertain the latter. well, many things can be entertained, but it's not exactly.. how shall i put it.. ontologically economic?
trinque: it wasn't reactionary at all. now all my ratings of phf are 10.
Framedragger: :D this thread
mircea_popescu: dude what are you on about. ontological economy of the null set ?
BingoBoingo: trinque: Just 10, or Aleph(10) ?
Framedragger: null set is sorta fat under your view
Framedragger: nobody likes fatsos
Framedragger: q.e.d
asciilifeform: also folx regressing to the use of wot as reddit upvote ?
davout quietly popcorns
mircea_popescu: don't stereotype alf, we're doing diversity day.
BingoBoingo: asciilifeform: Nah, I just forgot to ever rate phf for his work.
asciilifeform: not you, BingoBoingo .
asciilifeform: microscope --- bestest hammer.
mircea_popescu: i really appreciate though that this topic can still get the blood going. you should see what it did to the monks of 1016.
asciilifeform: or the pythagoreans
Framedragger: mircea_popescu: just to clarify so you don't think i'm trying to fuck around, i mean that all predicates would be true under null set. i don't find that to be a good idea. that's all
mircea_popescu: there's an ancient quote about the wine vessel aleph of a party, with 3+ being the breaking of furniture
mircea_popescu: considerations of null set clearly are better than wine.
BingoBoingo: lol
BingoBoingo: Framedragger: Then don't linger in any null sets?
mircea_popescu: Framedragger you don't so far find it to be an idea altogether, as best it can be determined.
Framedragger: here's a compressed internal model: "mircea_popescu wants truth-conditions of predicates in set theory to abide by a kind of falsification-based criterion."
mircea_popescu: this isn't actually what i said though.
mircea_popescu: i just pointed out the method works ; didn't say it's the only approach.
Framedragger: (and just for the record, i'm interpreting any remarks by anyone here charitably, assuming no snide, and trying to be snide'y myself.)
Framedragger: okay, fair.
asciilifeform: how come nobody barfs from multiplications by 0 yielding same result no matter what is the multiplicand, but predicates being true under the null set -- different matter ??
mircea_popescu: asciilifeform this distinction stands at the very root of naive notions of "i'm creative" vs "i'm good with math"
asciilifeform: mircea_popescu: expand ?
mircea_popescu: ok.
Framedragger: because first of all these are not the same thing. we would first have to introduce, say (as an example), peano arithmetic atop set theory, and go from there. "multiplication" is a diff beast. why not division? etc etc.
mircea_popescu: it's not just that computing isn't thought ; what happens in the brain is also not reason. as far as the logic is concerned things may be whatever they are, but in the objective development of the subject there's an i-ontology and a world-ontology. this disjunction is or is not resolved in time ; but from the subjective development it was never a problem in the first place.
mircea_popescu: Framedragger we need no such thing, "0" means the same in the language of the commutative ring R as "nill" means in the natural language above.
mircea_popescu: it's just whether one is inclined to allocate either both of these domains to i-ontology, or just one of them.
mircea_popescu: asciilifeform does that answer ?
Framedragger: waitwait, algebra, okay [i'm trying to actually follow]
Framedragger: mircea_popescu: as regards that particular point, you are probably right. but what do you mean by "i-ontology"? the latter becomes wibbly-wobbly
Framedragger: seriously, i'll write an mp-bot with markov model to rebuke any arguments people throw at me. i'll reap ca$h.
mircea_popescu: i mean there's a set of expectations (this is what an ontology, ie, list of items and predicates, always is) for the self ; and ANOTHER one for the world.
mircea_popescu: what some psychologists then turn around and measure as "integration". but in any case, it's trivially evident that ~the world~ may be good or bad, but not the subject. observable at all scales, from the freeranged girlfriend of your choice to the us propaganda discussing aleppo/mosul. ☟︎
Framedragger: okay. can you give an example? "for the self" is too continental-philosophy ;)
mircea_popescu: yes. derps at dept of state GENUINELY BELIEVE that they "did what they had to" in mosul and the russians are being evil criminals in aleppo.
asciilifeform: nobody afaik tries to play table tennis by tying racket to his cock, but for some odd reason various folx walk around mathematicizing with the same undisciplined organ they hallucinate the self with
mircea_popescu: if girl a sees girl b drop a vase girl a thinks girl b is clumsy ; if girl a sees girl a drop the same vase girl a tihnks the vase is slippery. ☟︎☟︎
Framedragger: mircea_popescu: re. "integration", heh have you by any chance read any of jean piaget? iirc he did quite a bit of "logical system development in children, integration" etc. may be a curious read.
mircea_popescu: asciilifeform you may be surprised by that rocket thing ; iirc i posted a guy attached to a car.
mircea_popescu: yes.
Framedragger off, bbl. plox to be kind
mircea_popescu: in any case - mental models of logic, as with mental models of anything found in nature -, are approximations. the same mechanism that allows a guy to isolate 0* from null.predicate allows one all sorts of psycho-imunological responses that are rather requisite to maintain the subjective notion of the self ~in a format comprehensible to itself~! ☟︎
mircea_popescu: that's the major restriction, and the deep source of alf's comment above
mircea_popescu: (ie, http://btcbase.org/log/2016-12-16#1584223 ) ☝︎
a111: Logged on 2016-12-16 17:35 asciilifeform: one problem that purveyors of sad-schmuck 'maths' chronically suffer from is the expectation that a consistent model has to mesh with naive child's conception of 'N apples' arithmetic.
trinque: I did not have a crisis of self over learning the reasoning behind the current design of WoT db.
trinque: nor here.
mircea_popescu believes.
trinque: if we're doing "where I come from", "shut up about your feelings regarding the person and get to the meat", was it.
trinque appreciates the mircea_popescu whallopings because they are immensely educative.
BingoBoingo: Gold: "A Feminist World"—an future energy company, the Feminist Alternative Potash Corporation, wishes to mine for salts in the WIPP site. Although the team comes across the warning signs, once it becomes clear that they were written by a group consisting of mostly older white men, they dismiss them."
BingoBoingo: ^ From DEO Report on nuclear waste security
BingoBoingo: *DOE
mircea_popescu: wut ?!
BingoBoingo: From a group hypothesizing ways a nuclear waste site could be breached in the future.
mircea_popescu: oh i see, the old "chucka hunter-gatherer party warms self on rtg innards"
BingoBoingo: Other scenarios include compulsively drilling robots, and Roger Verian treasure seekers.
mircea_popescu: good to know feminist is how you say chucka in usian
BingoBoingo: Final possibility is in 10,000 years theme park erected on site and site not having been breeched is a sucess.
asciilifeform: ahahahahaha the 'we'll pretend breeder reactor never happened so to prop up petroworld' folx.
asciilifeform: they are always great for a lolball.
asciilifeform: (for n00bz/readers -- long-lived nuke waste is ~optional~)
Framedragger: asciilifeform: as in, nuclear waste storage is a propped-up issue/narrative? interesting
asciilifeform: Framedragger: correct. it is possible to carry on fission with < ~100 yr.-halflife exhaust. But It Would Be Wrong (tm) (r) because ohnoez, 'reactor indistinguishable from weapons cycle' and ohnoez nonpetropowered world.
Framedragger: ahh. i guess in the same vein, "stop what you're doing iran because it's weapons, and wrong"
mircea_popescu: tis not so plain an' simple as all that alfie. notwithstanding that yeah, prolly breeder reactors are going to take over as we run out of space to put the waste ; nevertheless they're more expensive an' complicated and etc. simply larger bar.
mircea_popescu: current used types are yet cheaper ; mostly because uranium turned out to be more plentiful than anyone realised in the 50s, and because the cost of waste storage is not properly accounted.
mircea_popescu: that 2nd lobe will change the economics, but in decades from now.
asciilifeform: very much cheaper, esp. since cost of breeder, properly accounted, includes obliteration of usg AND petrolizards
asciilifeform: which ain't cheap
mircea_popescu: yeah well ; to create a new set of miners.
mircea_popescu: anyway. the problem of very long lived actinides (like iodine 129) is certain to eventually drive burner designs. even if they're run as two separate installatiosn as currently the case for some insane reason (really, germany burns up uranium in light water reactor, then ships the leftover by train to france to be reburned in a special burner. could have done all in one place but hey.).
mircea_popescu: anyway. afaik both russia and japan still run significant (ie gigawatt) breeder designs
BingoBoingo: Oh, the joys of living in small town land. In anticipation of freezing rain, the "city" sprinkled the good BLUE ice melt on hills.
Framedragger: http://i.imgur.com/Dz73av4.jpg << lul
mod6: that ice-rain stuff is the worst.
BingoBoingo: Nah, it's normal
mod6: you like everything being coated in ice? it's rare here, since it just usually snows, but when it does, power outage everywhere.
mircea_popescu: yeah it can be brutal. had my patio furniture turned to sculptures once ; it looked damn pretty but everything was soldered in place.
mod6: yeh, it is very pretty actually. but just awful beyond that factor. haha.
BingoBoingo: It's not enjoyable, but it is normal. Far from being "the worst"
BingoBoingo: The summertime plague of "100 and 100" is worse by far.
trinque: the peace of nobody else being outside is - at least for a city dweller - lovely. no such respite in the south.
BingoBoingo: Aha, trinque gets it. The outdoor null set!
trinque: lol. see this thing gets clearer and clearer.
BingoBoingo: Nah, eventually the ice cracks, refreezes, and gets cloudy.
pete_dushenski: mircea_popescu: carlos ghosn is understandably well known in the auto industry. he's a true lebzilianenchman (lebanese-brazilian-frenchman), meaning he has a strong aesthetic sense but he's also quite the fierce deal-maker. only in the last 5 years has akio toyoda risen to ghosn's level as an overall strategist, product developer, and brand manager. alan mullaly and martin winterkorn were the only other two
pete_dushenski: of that same visionary calibre, but these latter two stepped down in the last couple of years (from ford and vw, respectively). i'm not persuaded that the rest of the lot, even say sergio marchionne, are anything more than bankruptcy artists slithering from swindle to swindle.
pete_dushenski: but yea, ghosn's quite the boss.
pete_dushenski: in addition to his dual-ceo jobs at renault and nissan, ghosn also recently took over managing the fumbling mitsubishi, of which his alliance now owns a third.
mircea_popescu: aha!
pete_dushenski was always one of those weird 'car guys' who fancied the machinations of the industry more than the greasy bits.
mircea_popescu: and some ru misventure.
pete_dushenski: 'avtosvaz' wtf that is.
pete_dushenski: not gaz, not zil, not trabant, that's all i know
asciilifeform: trabant?!
asciilifeform: sometimes i get impression that folx are posting from a parallel world
asciilifeform pulls out balalaika to adjust reactor and turn the bear in to the kgb
mircea_popescu: trabant would actually be a great brand under which to roll up all the vc/sv "revolutionary tech"
pete_dushenski sees that avtovaz makes lada, scolds himself for ignorance.
pete_dushenski: !~google electric trabant
jhvh1: pete_dushenski: Sadly, It's True. The Electric Trabant Is Real. | WIRED: <https://www.wired.com/2009/09/electric-trabant/>; Trabant nT - The Project - Trabant nT: <http://www.trabant-nt.de/365/en/the-project.aspx>; Trabant nT - The Project - Your Opinion: <http://www.trabant-nt.de/375/en/the-project/your-opinion.aspx>
pete_dushenski: ^^
pete_dushenski: anyways, looks like ukrainians, peruvians, chileans and bolivians can buy new lada. even republic of south ossetia!!! but not can, usa, arg, etc.
asciilifeform: cheap cars are banned in usa.
asciilifeform: have been for decades.
pete_dushenski: eh bull. you've got $8000 hyundai and mitsu shitboxen.
asciilifeform: auto loan is one of the whales on which the elephants stand, right down there with real estate racket.
asciilifeform: pete_dushenski: where do i buy these
pete_dushenski: so not quite $5k dacia logan, admittedly, or tata nano, but ustards literally pay less for cars than anywhere else in the world accounting for currency.
pete_dushenski: (if not accounting for ppp)
ben_vulpes: http://btcbase.org/log/2016-12-16#1584149 << would you elaborate? ☝︎
a111: Logged on 2016-12-16 16:37 mircea_popescu: speaking of which ben_vulpes : how would you feel about adding a rsync-like interface for wotpaste through rsa sessions ?
asciilifeform: pete_dushenski: link to the 8k auto plox, i could use this
pete_dushenski: asciilifeform: you've heard of car dealerships ? they're like computer stores, except for cars.
pete_dushenski: wonderful things.
asciilifeform: yes and there are no 4figure price tags there
asciilifeform: haven't been since i was a boy.
asciilifeform: not at a ~new~ auto lot anyway.
phf: cheapest i found was 18k for some of the kia models
asciilifeform: ^^
mircea_popescu: ben_vulpes i'm not altogether certain how it'd work, but basically i'd like it if mimisbrunnr allowed me to buy storage on wotpaste. i could pay from trinque 's deedbot once it's done ; and i should be able to buy by the gb of storage or by the tb of traffic.
mircea_popescu: maybe it could give me credentials on !%cred ?
ben_vulpes: uci by any other name...
mircea_popescu: very limited, storage / web only.
mircea_popescu: gotta start somewhere.
mircea_popescu: basically all you have to get together is a rsync-like and an elastic store/web infrastructure.
ben_vulpes: "rsync-like" has rather a few assumptions baked in
mircea_popescu: enumerate plox.
ben_vulpes: transport, and auth for two.
mircea_popescu: well evidently the tmsr-rsa isn't ready, so i'm guessing ad interim a scheme like this could work
ben_vulpes: i may be thick, by 'rsync-like' implies to me some amount of shell access for l*
pete_dushenski: phf: asciilifeform my research says that the nissan micra less than cad$10k, which is about $usd7.5, but sadly for you both, our good friend carlos ghosn saw fit not to sell it to you lot. sfyl ?
asciilifeform: pete_dushenski: and in india, 4k, even more 'sfyl' etc
mircea_popescu: 1. user says !%cred ; 2. mimisbrunnr replies with link to rsa-encrypted user/pass/url combination for, eg, a ftp session ; 3. if i share the url, i share the url, with whoever i want ; 4. you meter and bill ; 5. !%destroy kills it
asciilifeform: as i said -- usa bans cheap auto. because usury.
asciilifeform: mircea_popescu: seems like you want 'g' after all
mircea_popescu: which one was g ?
pete_dushenski: mircea_popescu: there's also this idea, prevalent and very much the norm in car industry, of 'dealer may sell for less'.
asciilifeform: (i described exactly this scheme , in march iirc )
mircea_popescu: link ?
asciilifeform: 1s
mircea_popescu: ben_vulpes ideally 4 works like, billed on 5 or else when X qty of btc is due, say 0.1 or w/e.
asciilifeform: mircea_popescu: it was the thing that touched off the block ciphers thread
mircea_popescu: and evidently you'd have to have a !%prices
mircea_popescu checks if !% is someone already lol
pete_dushenski: tbot!
mod6: yeah
mircea_popescu: so it is. heh. !W
mircea_popescu: pete_dushenski wtf happened to !Q ?
ben_vulpes: why no more top-row bot trigger combinations?
mircea_popescu: ben_vulpes it's concentric from !
asciilifeform: mircea_popescu: http://btcbase.org/log/2016-02-02#1394069 << thread re subj ☝︎
a111: Logged on 2016-02-02 15:53 ascii_butugychag: so there's a proggy i've been testin'
ben_vulpes: mircea_popescu: concentric?
pete_dushenski: !#s iQ
a111: 230 results for "iQ", http://btcbase.org/log-search?q=iQ
mircea_popescu: pete_dushenski i mean in the bot thing on your site.
mircea_popescu: ben_vulpes yes, !A is closer to ! than !&
BingoBoingo: <pete_dushenski> eh bull. you've got $8000 hyundai and mitsu shitboxen. << Maybe in Double Norte Americano, but in Single Norte Americano those left in the 1990's
pete_dushenski: mircea_popescu: o i know, i just thought we gave it out.
ben_vulpes: mircea_popescu: a man with two hands upon the kb will more easily type !)
ben_vulpes: !+ even
asciilifeform: BingoBoingo: go and try and sell 8k auto when ~mandatory~ airbag is ~3k
mircea_popescu: asciilifeform aha, like that.
mircea_popescu: ben_vulpes don;t you hold shift with the right ?
pete_dushenski: mircea_popescu: lobbesbot
mircea_popescu: ah kk ty pete_dushenski
ben_vulpes: mircea_popescu: don't you hold shift with the left?!
pete_dushenski: http://btcbase.org/log/2016-09-14#1541939 ☝︎
a111: Logged on 2016-09-14 18:57 lobbes: Aight. I'll set lobbesbot to !Q
pete_dushenski: lol i just mistyped !Q as iQ is all.
mircea_popescu: nope. when typing commands i use the right for the right shift, the fuck finger for ! and the index for whatever else.
mircea_popescu: therefore bot commands will be known as fucksticks.
BingoBoingo: asciilifeform: AHA, these things pete_dushenski is raving about are stricly Canadian thing.
pete_dushenski also uses right shift for commands
ben_vulpes: and you two are strictly talking about irc interfaces?
mircea_popescu: actually on meditation i almost never use left shift. cuz my left thumb is on ctrl/macro
asciilifeform: mircea_popescu: 'g' was result of my frustration with trb's plaintext tcp
ben_vulpes has a whole wad of key chords, irc a vanishingly small fraction
mircea_popescu: ben_vulpes well no, i get a ftp and a wwb for the trouble.
mircea_popescu: asciilifeform you wanna give him the code or what ?
pete_dushenski: BingoBoingo: it's mostly that we just get shittier models here, eg. micra. but obv. with weaker currency we pay more for same model. this is thankfully compensated by being richer in btc/localfiat terms.
mircea_popescu: www* not wwb
ben_vulpes: control, escape, meta these are all swappable between hands on my setup
asciilifeform: mircea_popescu: it needs tmsr-rsa (i ain't releasing anything with aes or koch's idiocy)
mircea_popescu: eh it'll be fine.
asciilifeform: and tmsr-rsa needs rng.
mircea_popescu: when that happens, we can upgrade.
BingoBoingo: pete_dushenski: Anyways the solution to the "wheels for alf" problem is he needs three 1990's Lexus IS 300's from which to construct a one superior example.
asciilifeform: BingoBoingo: it so happens that i have a working auto
mircea_popescu: i bet he drives like, a honda.
pete_dushenski: BingoBoingo: <pete_dushenski> eh bull. you've got $8000 hyundai and mitsu shitboxen. << Maybe in Double Norte Americano, but in Single Norte Americano those left in the 1990's << is mexico null norte americano in bb's paradigm ?
BingoBoingo: asciilifeform: Then why seeking 8k new auto
asciilifeform: mircea_popescu: almost
mircea_popescu: husqvarna ?
asciilifeform: it's an ancient 'acura'
BingoBoingo: Kubota?
pete_dushenski: ties in nicely to earlier mega-thread!
mircea_popescu: ben_vulpes do you get the idea ?
asciilifeform: but i'd sure like to not have to pay 5figs for its replacement when it finally crumbles.
BingoBoingo: pete_dushenski: Mexico is Median Americano
ben_vulpes: of the rsync-alike? somewhat. the fucksticks, i do not see.
mircea_popescu: gotta be moar patriotic, alf. buy gm, help the great again along.
BingoBoingo: asciilifeform: Just get two more identical cars for parts!!!
pete_dushenski: asciilifeform: anyways, don't get hung up on initial capital outlay, even if you're thinking of financing. tco (total cost of ownership) is the name of the game. ask ben_vulpes.
mircea_popescu: ben_vulpes eh, the command codes are inconsequential. i mean the rsync.
asciilifeform: BingoBoingo: i barely have where to keep 1
trinque actually in the market for new vehicle as of yesterday.
ben_vulpes: trinque: finally ded, eh?
mircea_popescu: try and eat dropbox market why not :)
ben_vulpes: what was the last straw?
BingoBoingo: asciilifeform: Then assemble the best of the parts into best possible car sooner?
trinque: vw wagon finally gave up the timing chain ghost, also exhaust blew into coolant system
ben_vulpes: hoho
trinque: it was just old as shit and drove in too many different climates
asciilifeform: BingoBoingo: i haven't anywhere where to assemble
asciilifeform: BingoBoingo: 0 pavement that isn't a city street.
ben_vulpes: mircea_popescu: interesting idea, i'll chew on it
BingoBoingo: How much is one of those garage sized "self storage" things go for around your parts?
mircea_popescu: worx
asciilifeform: BingoBoingo: $maxint
pete_dushenski: trinque: what has two thumbs and loves the car shopping for other people game ? this guy!
ben_vulpes: trinque: get a lotus elise
trinque seriously contemplating used 4runner with low mileage
asciilifeform: pete_dushenski: when mine rusts away, i might not even replace it, 20k usd buys a great many cab rides. probably more than i'd need in the 5yrs that a 20k-usd machine costs now.
trinque: driving up mountains / on beaches > *
asciilifeform: *lasts
BingoBoingo: trinque: Just break down and get 5 Saturn L-series
ben_vulpes: pickup + elise
ben_vulpes: itt: excellent advice
trinque: lol
pete_dushenski: asciilifeform: if only you lived back in great ru motherland, you could have perfect post-apocalyptic people's 4x4 : http://www.lada.ru/en/cars/4x4/3dv/tth.html
mircea_popescu: maybe in buenos aires. in wash dc 20k buys like 150 cab rides
asciilifeform: mircea_popescu: ~200
asciilifeform: depending on to where
asciilifeform: and that's about how many times i leave the house in 2-3 yrs.
mircea_popescu: 2-3 not 5 yo.
asciilifeform: yes. but it approaches !
mircea_popescu: meanwhile here, cab from city end to city end is like 20 bux
asciilifeform: and perhaps i could leave house -- less yet.
mircea_popescu: AND these people drive like monkeys on jenkem
ben_vulpes: asciilifeform: "amazon prime nao!"
asciilifeform: ben_vulpes: aha, such as.
BingoBoingo: asciilifeform: Here is your next vehicle, took ~4 minutes to find https://washingtondc.craigslist.org/nva/cto/5905446961.html
ben_vulpes: for some, there are few joys like burning petrol with friends.
asciilifeform: BingoBoingo: i never understood the point in buying these
asciilifeform: BingoBoingo: see the earlier 'total cost' point
BingoBoingo: asciilifeform: low maintenance costs
trinque: if I were in an area with trains I'd go without a car for a while. wouldn't be the first time.
asciilifeform: low if you have a garage.
trinque: PDX is perhaps one of the best places for this.
BingoBoingo: Low insurance costs
asciilifeform: BingoBoingo: high 'randomly stuck places' cost.
BingoBoingo: What?
pete_dushenski: ben_vulpes: have you tried installing eulora on a mac ?
ben_vulpes: trinque: recent 'snowpaclypse' affected me /not one whit/, as i could stroll to the train and be in city center more-or-less on domenad
asciilifeform: littoral combat car.
ben_vulpes: pete_dushenski: once a very long time ago
ben_vulpes: phf is your man for that
pete_dushenski: mhm. k. i'll bug him.
ben_vulpes: i don't think it's quite as simple as 'brew install eulora', although it was close
trinque: ben_vulpes: this among the things I miss.
BingoBoingo: Find other alf car candidate https://washingtondc.craigslist.org/nva/cto/5922091027.html
ben_vulpes: trinque: 'tis a wonder of socialist engineering
BingoBoingo: Only $500 more
asciilifeform: BingoBoingo compulsively collects 'lemons' or wat.
ben_vulpes: neighbor of mine was whingeing about the cost of the light rail, "o noes it'll never pay for itself" "my man, it got me to move to this neighbhorhood. give it a decade and you'll make the difference up personally with home value increase."
BingoBoingo: Car is not lemon just because it turns 13 years old. In Cuba car is still young at that age!
pete_dushenski: BingoBoingo: but car ~is~ lemon if 13yo ford. esp explorer
asciilifeform: BingoBoingo: a 2000s auto is a lemon after 5-7 yrs.
ben_vulpes looks at 04 pilot about to crack 200k outside
ben_vulpes: nope
asciilifeform: eh ben_vulpes is not a civilian, he gentoos his autos
ben_vulpes: possibly 'lemon' if you can't get in a car and hear mid diff wobble, possibly lemon if you don't do the sale at a dealership and pay 100 for the safety inspection before purchasing, possibly lemon if all sorts of 'civilian'
ben_vulpes: alternative is 'new tax'.
BingoBoingo: $2350 https://washingtondc.craigslist.org/nva/cto/5922271737.html
ben_vulpes: > 202k mails
mircea_popescu: lol!
ben_vulpes: fuck, buddy
ben_vulpes: that's a good lookin truck
BingoBoingo: If $2500 dollar car lasts 5 years averages to $500 per car/year. Would take much unexpected bullshit to make expensive.
ben_vulpes: srs
ben_vulpes: "you know, babe, instead of a single car that cost 35K, we could have.../35k of cars/"
asciilifeform: BingoBoingo: i'd actually rather have a trabant, if they could be had, at least they were cheap, than these monstrosities that drink petrol like airplane and die without warning in traffic
BingoBoingo: Put on a camper shell and you have a FUCKGOATS transporter
ben_vulpes: http://portland.craigslist.org/mlt/cto/5919119785.html << be still my heart
BingoBoingo: What die without warning? Plenty of warnings!
pete_dushenski: http://bringatrailer.com/auctions/ << plenty of solid, well-cared-for metal for under 10k here alf. as the lots cover the continent, you can even make a road trip (blog story!) out of the adventure. also gives you a chance to play autions without playing eulora.
shinohai: Oh gawd ben_vulpes ... the trunk on those things can sleep 6!
ben_vulpes: shinohai: all the more room for cleats and helmets
ben_vulpes: why drive a minivan when you can drive an EIGHTIES CADILLAC i aska you
shinohai agrees
asciilifeform: http://www.xach.com/naggum/articles/3145342016203910@naggum.no.html << see also
asciilifeform: ' I recently bought a fountain pen. it cost the equivalent of about 1500 throw-away ball pens. 1500 ball pens would have made me very frustrated, but this sleek, elegant pen made me happy.'
ben_vulpes: back on cadillac tindr
ben_vulpes: omg or this deville http://portland.craigslist.org/mlt/cto/5912437603.html
asciilifeform: pete_dushenski: it is not enough to buy a lemon, i should also travel to some shithole to do it?!
pete_dushenski: asciilifeform: dude, walking out your front door is 'travelling to some shithole'. and no one will bring new car to you! so might as well live a little. remember how fun chicago was ? or ba ?
asciilifeform: problem is that i dun actually ~like~ 'car ricing'. auto is best when it is forgotten about every day except when there is no way to escape driving somewhere, best when it 'stfus', like one's appendix.
ben_vulpes has several hondas, they are precisely this.
trinque wonders if after USocalypse, he too will think everything is terrible.
pete_dushenski: http://archive.is/QDzJl << ben_vulpes will like. a fleetwood piece penned by my older pal / newer sparring partner jack baruth
asciilifeform: ben_vulpes: ~several~ ?!
pete_dushenski: asciilifeform: toyota then. lexus if you sell a million fuckgoats.
asciilifeform: everyone but asciilifeform collects rustbuckets?!
trinque: "teh yankees have always produced plastic blue jeans"
trinque: lel
asciilifeform: ben_vulpes: sell a couple, buy airplane, those at least are actual fun
trinque: the shit works both ways y'see!
BingoBoingo: Anyways since it is clear alf needs to stick to Jap metal https://washingtondc.craigslist.org/nva/ctd/5922156298.html
asciilifeform: ben_vulpes: btw the kazakh d00d on junkbay actually has mig engine nao
asciilifeform: iirc you needed one
pete_dushenski: asciilifeform: well, tbf, you put all your rust ~in your house~ with all those old pdps and alphas. at least we put ours in garages.
asciilifeform has never ftr owned a pdp
asciilifeform: but yes, unlike you rich folx, all of my rusty anchors have to fit in small space.
ben_vulpes: asciilifeform: capital equipment is not for 'fun'
ben_vulpes: mig engines are for 'fun'
BingoBoingo: What about STFU buy used screams rich folk? If 2005-later cars suck the solution is buy older!
asciilifeform: BingoBoingo: classic 'gentooist' mistake in thinking: to forget to factor in the costs, not insignificant, of garage space, of time spent dealing with the finicky rusty bucket
asciilifeform: of being stuck in roads, parking lots
asciilifeform: of hunting for parts
asciilifeform: you're still paying ~= what new auto costs, just more slowly, painfully
asciilifeform: unless you are already 'grease man' and so it seems 'free'...
ben_vulpes: "this dress took me thirty minutes and ten years to make"
asciilifeform: aha.
ben_vulpes: theorems to prove, belts to change...
ben_vulpes: fwiw, i find car-swearing-time doubles as excellent design/thinking time.
asciilifeform: i know a d00d who reassembles '50s 'golden age of usa' autos. has machine shop, and even multiple houses , which he rents out except for garage, in each - keeps 1-3 of these museum pieces
pete_dushenski: "Uber relies on location services to ensure safe and accurate rides. In this latest version of the app, you’ll now be asked to allow location information collection from the time you request a ride through up to five minutes after it ends. This helps identify better pickup and dropoff points and helps customer service if you ever need to contact us about a trip. You’ll always be in control over what
pete_dushenski: location information is shared and can adjust this at any time in your device settings." << from latest version update. one wonders, why only 5 minutes ? why not perma-on ? perhaps "coming soon" (™). also, this is alf's alterna-car! THIS!!!1
asciilifeform: at one point i wanted to rent one of his houses, but learned that every single garage is in use !
asciilifeform: so 0 plus over my current one...
ben_vulpes: with the new monstrosity abutting the property line next door, i think i've finally bumped carport up on the list of shit to build
ben_vulpes: omg may i relate how bad a job next door is doing
asciilifeform: pete_dushenski: i used 'uber' a number of times, it is a very mixed bag ☟︎
ben_vulpes: so the vinyl, stamped-with-wood-grain siding showed up and was applied to the house
ben_vulpes: and maybe 2 boards out of the whole 150' house length per row are matched at the ends
ben_vulpes: which is particularly amusing, as this stamped material is designed to line up perfectly for the whole run
pete_dushenski: asciilifeform: i've generally had very positive experiences with it. 95% excellent drivers. 75% decent cars. proper taxi flips those two figures but also costs 20% more and wait times are unreliable.
pete_dushenski: ben_vulpes: sounds gnasty.
BingoBoingo: <asciilifeform> you're still paying ~= what new auto costs, just more slowly, painfully << Nah at some point you just break up with car and get new $2500 car for another few years.
asciilifeform: pete_dushenski: it's the picking-up part that works half the time.
BingoBoingo: ben_vulpes: Problem is after stamped plastic leaves factory
ben_vulpes: asciilifeform: when booting anode in 'solipsistic test network' mode with gen=1 and genproclimit=some reasonable fraction of local cores, i should see a few cores go to 100% utilization immediately, no?
ben_vulpes: BingoBoingo: noshit.png
asciilifeform: BingoBoingo: problem is anyhing that introduces 'will it start tomorrow??' into my workflow.
asciilifeform: ben_vulpes: theoretically
BingoBoingo: asciilifeform: In that case you want a 90s honda civic or 90s lexus 300
ben_vulpes: asciilifeform: 'getinfo' is telling me '0 hashes per sec', which is troubling
asciilifeform: BingoBoingo: that converts it to 'yes it started, but will it stop before i finish going to $place'
asciilifeform: ben_vulpes: you have empty blockchain ? (genesis only ) ?
BingoBoingo: asciilifeform: Max cost of brake work on such a vehicle tops out at ~900 to ~1200 to replace entire "make car stop" system.
BingoBoingo: Some expenses actually have a maximum
asciilifeform: replace with ~what~ ?
asciilifeform: where do i buy a NEW 80s merc motor.
pete_dushenski: as someone who just oversaw ownership of early 2000s lexus is300 that put on 40k km in a year, i'm not sure i'd recommend it unless you're pretty handy. not hard to work on, but parts aren't super cheap, it's a bit dicey in the winter, it's a ~very~ firm ride, and it's soooo hard on consumables (gas and oil).
BingoBoingo: new pads, calipers, rotors, drums, cylinders...
ben_vulpes: asciilifeform: genesis only
BingoBoingo: Oh, I thought you meant "will car stop when I press pedal" misread
BingoBoingo: And we are not talking 80s merc motors unless pete_dushenski, we are talking 90s honda motors of which there are LEGION!
asciilifeform: BingoBoingo: no, i meant 100% deterministic operation, starts when i turn key, stops -- when i unturn it, and never else.
asciilifeform: BingoBoingo: new ones?!
BingoBoingo: In which case 90s honda is solid choice
BingoBoingo: asciilifeform: Rebuilt and remanufactered ones
asciilifeform: not same.
BingoBoingo: It's Honda, quintessential "idiot proof" car
asciilifeform: 'dun worry, when your lemon dies, you can assemble a new one with parts from other lemons'
BingoBoingo: Brand new anything gets problems too
BingoBoingo: But more expensive ones because loan keeps "throw it away and replace" from being option
asciilifeform: ben_vulpes: describe plox your experimental setup (node)
asciilifeform: iirc you need '-gen' not '-gen=1'
ben_vulpes: in bitcoin.conf?
ben_vulpes: can be stuffed in cli
ben_vulpes: np
ben_vulpes: a recently compiled bitcoin node, running in its own directory, booted as `LC_ALL=C ./bitcoin -datadir=<local_data_directory> -debug -printtoconsole -gen'
asciilifeform: http://btc.yt/lxr/satoshi/source/src/init.cpp?v=asciilifeform_add_verifyall_option#0398
asciilifeform: ben_vulpes: what does getgenerate rpc call return .
asciilifeform: ?
ben_vulpes: getgenerate returns true, but fGenerateBitcoins is 0 at boot
asciilifeform: it is always 0 at boot
ben_vulpes: ah
asciilifeform: there's 1 more thing
asciilifeform: how the fuck do you intend to generate a block without any tx
asciilifeform: iirc you need at least 1 on trb
asciilifeform: in mempool
ben_vulpes: first hundred and seventy went fine
ben_vulpes: COOL
asciilifeform: 170 of what
ben_vulpes: blocks.
ben_vulpes: first hundred and seventy only paid out to satoshi iirc.
asciilifeform: and then stopped ?
ben_vulpes: no then he sent some somewhere?
asciilifeform: satoshi was not mining on trb eh
ben_vulpes: true nuff
ben_vulpes bbl, child has self-aborted nap
asciilifeform: i have nfi presently what 0.1 or whatnot did re mining.
ben_vulpes will read miner source for the site of this brilliance
ben_vulpes: miner should work just fine without a tx in mempool wtf
asciilifeform: btw, ben_vulpes , http://btc.yt/lxr/satoshi/source/src/main.cpp?v=asciilifeform_add_verifyall_option#2790 ☟︎
asciilifeform: it also dun work unless you have 1+ peer, apparently
asciilifeform: (dun ask me why)
ben_vulpes: ah
ben_vulpes: dumb
asciilifeform: this part of trb is completely virginal 0.5.3 btw
asciilifeform: btw phf do you think we could get a src viewer in your vtron that makes this kind of thing apparent to naked eye?
asciilifeform: like jurov's lxr, but vtronic.
asciilifeform: (shows from where in the vflow is each line)
ben_vulpes: neat idea
asciilifeform: see, in my head, i can see who last touched what, but this continue forever, is not a substitute for actual tool
asciilifeform: *cannot continue
ben_vulpes bbl for real this time
asciilifeform: btw i was mistaken, you don't need nonempty mempool
asciilifeform: but you ~do~ for some perverse reason need a peer.
asciilifeform: at least until we clean this piece up.
BingoBoingo: latest rental box has crossed 300,000 in sync!
asciilifeform: http://btcbase.org/log/2016-12-16#1583922 << ahahahaha i almost missed this gem ☝︎
a111: Logged on 2016-12-16 11:13 Framedragger: https://i.imgur.com/QC51FZz.png
BingoBoingo: sync not being done for any great technical reason other than to remind self I'm getting old.