log☇︎
42100+ entries in 0.442s
asciilifeform: http://btcbase.org/log/2016-04-08#1448626 << afaik there is nothing to keep usg from zeroing out any usd account they feel like, whenever ☝︎
asciilifeform: http://btcbase.org/log/2016-04-08#1448622 << was it mircea_popescu at c2 who had a talk about how 'scammitude' is rather like friction, and is not escapeable ? ☝︎
asciilifeform: http://btcbase.org/log/2016-04-08#1448586 << i have a scan of the canonical (j. barnes) 2012, if either of you want. ☝︎
asciilifeform: http://btcbase.org/log/2016-04-08#1448569 << this is sorta why i was astonished at the high sale price; buyer will have to build ~his own~ mircea_popescutron ☝︎
asciilifeform: http://btcbase.org/log/2016-04-08#1448593 << 'we have packaged the defective transistors separately!111' ☝︎
mod6: (04:07) <+ben_vulpes> mod6: i have a trashy pdf copy of dodrill's 95 ada instructional material. lmk if you want a copy. << sure! hit me with a link or we can talk in pm if you wanna exchange in other method. ☟︎
mircea_popescu: you pm it $up and decrypt the otp it gives you, then pass it back with $v <result>
mircea_popescu: davout> ben_vulpes trinque mats ty, fixed. this particular flavour of retardation has been shot in the head << making it the... 5th ? since bitbet receivership brought serious republican scrutiny to franco.is blog ?
asciilifeform: http://btcbase.org/log/2016-04-08#1448517 << again, unlike literally the entire whole of rest of computingdom, the old adas are neither less-broken NOR BETTER-supported. ☝︎
jurov: lmao whats this <a href='http://log.bitcoin-assets.com/...' target='_blank'>http://btcbase.org/log/...'>http://log.bitcoin-assets.com/...
PeterL: http://btcbase.org/log/2016-04-08#1448483 << I said the same thing in the other chan a few hours earlier http://log.bitcoin-assets.com/?date=07-04-2016#1443837 ☝︎☝︎☟︎
asciilifeform: http://btcbase.org/log/2016-04-08#1448516 << nope ☝︎
trinque: http://fr.anco.is/wp-admin/admin-ajax.php <<
danielpbarron: http://btcbase.org/log/2016-04-07#1448245 >> pete_dushenski> o sorry that, left those out because unsigned << signature wasn't required! ☝︎
asciilifeform: http://www.thocp.net/hardware/pascaline.htm << moar
pete_dushenski: BingoBoingo: Znor987 << there's a "t" in there
davout: http://btcbase.org/log/2016-04-07#1448228 <<< sorry! i have to admit i was slightly disappointed to see you didn't take bb home ☝︎
davout: http://btcbase.org/log/2016-04-07#1448250 <<< i just did, ty! ☝︎
mircea_popescu: asciilifeform> like the sov towns in far east that are frozen ghost towns now. << this makes one hell of a trip btw.
BingoBoingo: <mircea_popescu> i'm in awe of what ustardia can do to people. << PUBLISHING!!!
asciilifeform: http://www.findlayw.plus.com/KDF9/emulation/emulator.html << irrelevant but very interesting imho.
asciilifeform: in other 'news', http://users.cis.fiu.edu/~weiss/ada.html << useful data structures stuff
mircea_popescu: http://fr.anco.is/2016/bitbet-receivership-first-progress-report#comment-8471 << so it seems the winner is znort guy, 86 btc bid.
asciilifeform: http://btcbase.org/log/2016-04-07#1448178 << poppycock. ☝︎
mircea_popescu: http://btcbase.org/log/2014-11-27#936365 << missing ☝︎
mircea_popescu: Nov 27 03:57:31 <mod6> ;;bc,stats
mircea_popescu: anyway. the forever-bitcoin, ready to be buried under the sea or w/e, is not happening. because : "<mircea_popescu> how are you going to define a sorting rule for a type you don't know yet. <asciilifeform> by knowing it ?" is actually inescapable. ☟︎
mircea_popescu: it is, in places such as ada, "must use contiguity" the EXACT equivalent of "my ai program thinks because the procedure is called <<understanding>>"
asciilifeform: <+mircea_popescu> so this is what i mean by "it's a c" : whatever the
mircea_popescu: " people don't like them, but it is also possibly the case that they've gotten as close as possible." <<< we're in exact agreement, here. no alternative known, and not likely possible.
davout: the sig is valid once i add <pre>s
davout: danielpbarron: i usually add <pre> tags
mircea_popescu: asciilifeform> 'More than 40% of Americans who borrowed from the government’s main student-loan program aren’t making payments << incidentally... i own a coupla of these.
mircea_popescu: http://fr.anco.is/2016/so-long-paymium#comment-8391 << interesting point, actually.
PeterL: asciilifeform> (it is, i think, imitating the rear engine block of 12 cyl 'ferrari' with its air cooled motor) << I always thought it was supposed to provide some shade, keep inside car from heating up in the sun?
asciilifeform: http://btcbase.org/log/2016-04-07#1447771 << hire to what? sweep floor ? ☝︎
asciilifeform: http://btcbase.org/log/2016-04-07#1447772 << news at never'o'clock - 'microshit's license revoked' ☝︎
mircea_popescu: davout> tl;dr: FROM_UNIXTIME() yields localized strings, not GMT <<< time implementation is dumb. see also
shinohai: https://www.helpnetsecurity.com/2016/04/06/hackingteams-global-export-license-revoked/ <<< top keks ☟︎
mircea_popescu: "that is exactly the spirit that we must teach them not to have." <<< mno, pure evil.
ben_vulpes: http://btcbase.org/log/2016-04-07#1447504 << this is patently false ☝︎
ben_vulpes: http://btcbase.org/log/2016-04-07#1447437 << that someone would use clojure for any kind of scripting activity is hilarious, as startup time measures in integer seconds ☝︎
gribble: "You're the guy who wasn't good enough to sling dope." on Trilema ...: <http://trilema.com/youre-the-guy-who-wasnt-good-enough-to-sling-dope>; Maxwell House Tomatoes - Food Gardening part 3 - YouTube: <https://www.youtube.com/watch?v=fNXR85ec5Z4>; 10 Gorgeous Hollywood Actresses Who are Actually Moms! – All ...: <http://thingsrated.com/2015/05/13/hollywoods-10-most- (1 more message)
asciilifeform: http://www.gnu.org/philosophy/stallman-kth.html << rms re gosling.
mircea_popescu: http://btcbase.org/log/2016-04-07#1447528 << this is not really warranted .oprah originally had a book club for blacks. ☝︎
mircea_popescu: http://btcbase.org/log/2016-04-07#1447504 << this is generally pretty funny, and more us-specific than anything. doing the nth reimplementation of thing X, never heard of n-1th and take offensew with a complete statement of X. ☝︎
mircea_popescu: http://btcbase.org/log/2016-04-07#1447491 << more like "well chosen college afterparties", at best. ☝︎
mircea_popescu: http://btcbase.org/log/2016-04-07#1447470 << doh! ☝︎
mircea_popescu: http://btcbase.org/log/2016-04-06#1447364 << i think he's exactly right. ☝︎
mircea_popescu: http://btcbase.org/log/2016-04-06#1447356 << this sounds good in theory, and is doubtless the case in many other places. ☝︎
BingoBoingo: <asciilifeform> (it is, i think, imitating the rear engine block of 12 cyl 'ferrari' with its air cooled motor) << it is
gribble: Welcome! | The Coq Proof Assistant: <https://coq.inria.fr/>; What is Coq? | The Coq Proof Assistant: <https://coq.inria.fr/what-is-coq>; A tutorial by Mike Nahas | The Coq Proof Assistant - Inria: <https://coq.inria.fr/tutorial-nahas>
asciilifeform: http://www.cgl.uwaterloo.ca/csk/halt << fortunately no need to blow yearz and megabux
asciilifeform: mod6: http://www.loper-os.org/?p=103 << my version
BingoBoingo: http://btcbase.org/log/2016-04-06#1446968 << Aha, like someone giving you a wedie while you wear buttplug attached pants ☝︎
trinque: http://btcbase.org/log/2016-04-06#1447290 << the thing can work without a hot wallet at all, provided there's a reasonable duration to accomodate cashing out. ☝︎
asciilifeform: http://sworthodoxy.blogspot.com/2014/03/ada-vs-c-bit-fields.html << also of interest
deedbot: mircea_popescu rated lobbes 2 at 3632157688 << #eulora logs bot
asciilifeform: http://sworthodoxy.blogspot.com/2015/08/ada-2012-type-invariants-and-predicates.html << re earlier
mircea_popescu: http://logs.minigame.bz/2016-02-20.log.html#t16:14:05 << guy who did the #eulora logger / link reader / rss thing.
mircea_popescu: ("you'd have to do it in parallel anyway!" "well if you're doing it anyway, wouldn't it be ~rational~ they don';t do it at all and save the cost ?" << that's the logic.)
asciilifeform: if you're poor you're priviledged << waiwut?!
mircea_popescu: http://btcbase.org/log/2016-04-06#1447053 << you don't go //msg NickServ identify p, you go /msg NickServ identify a p and THEN you go release a and then you go ghost a and then you go nick a and you're done. ☝︎
mircea_popescu: trinque> seems the voice model pairs with gossipd rather well, where voicing is a matter of message forwarding rules << it doesn't even pair, it IS it. substance of the universe, not even protocol.
trinque: phf: http://dpaste.com/1SZ14HH << here's what I beat your example into
mircea_popescu: "and, in addition, a call of a Boolean logical operator and, or, xor, not whose operands are such static predicate expressions, and, a static predicate expression in parentheses." << right there. a xor maxint-1 > 0
phf: http://btcbase.org/log/2016-04-06#1446778 << i also agree, i just politely pointed out that the feature is obviously needed, i just don't trust bot part enough yet to put more functionality on it. ☝︎
mircea_popescu: asciilifeform> [...] you can declare a variable, where, say, assigning a prime number to it is an error condition in the runtime. which means, yes, a check on EVERY assignment. <<< now imagine the converse type :D
mircea_popescu: http://btcbase.org/log/2016-04-06#1446818 << phf tell you what, ima hold up changing trilema links until you're happy with it then. you say. ☝︎
mircea_popescu: http://btcbase.org/log/2014-07-28#774690 << ahh what a quote. ☝︎
mircea_popescu: http://btcbase.org/log/2016-04-06#1446775 << makes sense. hopefully the holders will be kind enough to get out of their positions amiably. ☝︎
deedbot: mircea_popescu updated rating of phf from 2 to 3 << Teh desire has been expressed and heard!
deedbot: mircea_popescu rated phf 2 at 3644159832 << Fixed our boxen!
mircea_popescu: http://btcbase.org/log/01-02-2013 << fanci that ?!
asciilifeform: http://btcbase.org/log/2016-04-06#1446782 << it is not clear that fella had unilaterel workfunction-twiddling auctoritas ☝︎
asciilifeform: http://btcbase.org/log/2016-04-06#1446788 << what 'discovery' again ? ☝︎
mircea_popescu: http://btcbase.org/log/2016-04-06#1446757 << guy reads teh logs. ☝︎
mircea_popescu: http://btcbase.org/log-top-refs << this is a splendidly useful tool, actually!
mircea_popescu: phf: well, so far i've succeeded in breaking annotations phf: or maybe not phf: well, something's working anyway <<< bwahahaha check out the ada-lisper at work! :D
mircea_popescu: phf: incidentally there's a bug in ref counter, only finds one ref << thanks danielpbarron :D
mircea_popescu: phf: adlai: i'm half expecting bot to fall over at any second, you want it to spew log lines, you crazy, mang << no, seriously, this is a must. deedbot must say the logline when it sees the reference, there's no way about it, because seeing the line reminds me of the log directly, but clicking links etc is such a high bar...
mircea_popescu: adlai: asciilifeform: would you argue that satoshi should've switched PoW each time a new optimized (ie, gpu, fpga, etc) miner was released, at least, before he sepukkud? <<< whatever he'd argue, it is a fact that YES, satoshi should have been a man rather than an herb, and once he knew things blew up should have called forth the dragon. ☟︎
shinohai: https://www.washingtonpost.com/news/morning-mix/wp/2016/04/06/house-of-horrors-police-find-apparent-sex-slave-chained-to-strippers-pole-in-detroit-home/ <<< Police said mircea_popescu was nowhere to be found. ☟︎
davout: http://btcbase.org/log/2016-04-04#1445594 <<< what i was thinking is "offer wires as an alternative to a cash settlement to people who presently hold x.eur and to whom i've committed to delivering upon request", and then close it, at least until i have another professionnal setup to handle it properly ☝︎☟︎
davout: http://btcbase.org/log/2016-04-04#1445593 <<< answered http://fr.anco.is/2016/bitbet-receivership-first-progress-report#comment-8406 ☝︎
BingoBoingo: http://btcbase.org/log/2015-01-19#983318 << The damnation of the guilty is of severe importance ☝︎
danielpbarron: the second most reference line : http://btcbase.org/log/2015-01-19#983318 << Rozal admitting he lied about whatever ☝︎
danielpbarron: http://btcbase.org/log/2016-04-05#1446454 << http://btcbase.org/log/2014-06-04#700916 << the most referenced line : asciilifeform commenting on some news story that BingoBoingo wanted to scoop before coindesk, saying that they'd all pretend they scooped it first anyway ☝︎☝︎
danielpbarron: http://btcbase.org/log/2013-04-26#1 << new url to first log line, and its 2nd reference :) ☝︎
adlai demonstrates: <asciilifeform> http://log.bitcoin-assets.com/?date=19-03-2016#1436450 << adlai awake? or is he still digesting that kg of lsd. ☝︎
adlai: http://log.bitcoin-assets.com//?date=19-03-2016#1436476 << yes, yes, etc. the awakeness knob goes to 11! ☝︎
asciilifeform: in other not-quite-news, http://ideone.com/a1ky4l << ada mandelbrot generator, safely threaded, ~170 lines.
asciilifeform: http://btcbase.org/log/2016-04-05#1446562 << surely you meant : sold for ~biodiesel~ ☝︎
asciilifeform: http://btcbase.org/log/2016-04-05#1446423 << i read it as 'here be dragonz' re the continuing but no longer tmsrtronic old logz ☝︎
asciilifeform: http://btcbase.org/log/2016-04-05#1446421 << clearly my simpopescu needs wurk!111 ☝︎
asciilifeform: http://btcbase.org/log/2016-04-05#1446433 << that was ~cauchy~ ☝︎
mircea_popescu: http://trilema.com/2013/the-broad-and-the-million-fireants-a-parable/ << lol check out the antique, from back when ben_vulpes was benkay
BingoBoingo: "This site requires JavaScript and Cookies to be enabled. Please change your browser settings or upgrade your browser." << Nice app
ben_vulpes: ;;later tell pete_dushenski http://i.kinja-img.com/gawker-media/image/upload/s--j_gUUw4a--/18ich0cl88iu7jpg.jpg << shelby billet
mircea_popescu: mike_c> yeah. well, how long could mpoe have survived without mpoe-pr? << in fairness... mpex listed itself by reverse-merger with the then-listed mpoe ; which continued operation as a distinct profit center but that has meanwhile discontinued. it's such a historical layering of evolutions etc that some restructuring years later seems inevitable.