log☇︎
50200+ entries in 0.417s
asciilifeform: guten morgen mircea_popescu !
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: for the republic's store of reaction gifs, in case of need : http://49.media.tumblr.com/560a9088996bebfe3e89c4275dd5aa5b/tumblr_o1god4CWCq1ule9rko1_500.gif
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 ?
davout: ben_vulpes trinque mats ty, fixed. this particular flavour of retardation has been shot in the head
asciilifeform: mod6: for a good example of one that ~isn't~ - see the epic mircea_popescu thread with otp!
danielpbarron: http://btcbase.org/log/2016-04-07#1448245 >> pete_dushenski> o sorry that, left those out because unsigned << signature wasn't required! ☝︎
BingoBoingo: https://www.reddit.com/r/Bitcoin/comments/4dty1x/in_liquidation_bitbets_noncash_assets_fetch_86/
BingoBoingo: pete_dushenski: I am tentatively adding the t as per davout's announcement
davout: mircea_popescu: lemme check all that tomorrow when i'm fully woken up :D
pete_dushenski: mircea_popescu: notbadatall
BingoBoingo: pete_dushenski: Not in the name as he presented it with the winning bid
mod6: mircea_popescu: ooh. huh. no wonder i didn't see it.
mod6: pete_dushenski: hey I did get your message about the weird balance thing. i've seen that myself too.
pete_dushenski: ;;later tell ben_vulpes i can see why you like that shelbyllet : it's aircraft meets muscle car. and wouldja check out that inboard/pushrod suspension! mega-nifty. largely unseen on street cars outside lambo aventador ($500k) and, of course, pagani ($1mn+++)
asciilifeform: mircea_popescu: didja have in ro the old folks holding up pictures of stalin ?
hanbot: mircea_popescu it's possible something like that is the cheaper option for a certain sort of person in a certain sort of context
BingoBoingo: <mircea_popescu> i'm in awe of what ustardia can do to people. << PUBLISHING!!!
asciilifeform sees where mircea_popescu is going.
asciilifeform: ah i see what mircea_popescu meant re gold etc.
asciilifeform: mircea_popescu: bit-serial arithmetic is slow. and bit-serial storage is slow.
asciilifeform: mircea_popescu: you gotta pick some quantum of info for the logic to operate on.
asciilifeform: mircea_popescu: do you recall the 1-bit cpu thread ?
mircea_popescu: in other news, http://40.media.tumblr.com/7721937b94021017b390613747b70b10/tumblr_o0f40swxzv1tk9udjo1_1280.jpg
asciilifeform: mircea_popescu: what did templos ever do to you!111
asciilifeform: pete_dushenski: mine was signed..
pete_dushenski: mircea_popescu: http://www.contravex.com/2016/04/07/that-time-i-let-outright-ownership-of-bitbet-slip-through-my-fingers/#comment-43090
asciilifeform: pete_dushenski: http://www.contravex.com/2016/04/07/that-time-i-let-outright-ownership-of-bitbet-slip-through-my-fingers/#comment-43089
mircea_popescu: "Ada.Text_IO is a "package" that comes with Ada. (In Ada 83, the package name is just Text_IO, and for compatibility, Ada 95 also accepts the shorter name.) We'll learn more about packages later."
shinohai: Thanks for making my day entertaining anyway pete_dushenski o/
asciilifeform: mircea_popescu: re thread, see also earlier threadz re 'impedance matching'
pete_dushenski: mircea_popescu: something like that
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. ☟︎
asciilifeform: it is, i think, how mircea_popescu uses bitcoin, for instance.
phf: mircea_popescu: fwiw a lot of vlsi research in the 70s and 80s was about that, how do we make bedrock a lot less engineery, but that all died with microcomputer revolution(sic)
jurov: mircea_popescu: there's "unum" numeric system that does support ranges, and is improved replacement of ieee floats
phf: i don't understand why the point mircea_popescu would be so controversial among compscis here, it's sort of the whole point of numerical analysis
jurov: mircea_popescu: there is, using ranges
asciilifeform: mircea_popescu: easy, just don't use the idiot ieee float ☟︎
asciilifeform: if you want rational numeric tower (as mircea_popescu describes above) you are condemned to lisp.
asciilifeform: <+mircea_popescu> so this is what i mean by "it's a c" : whatever the
davout: aaaand pete_dushenski is at 85
asciilifeform: mircea_popescu: possibly say what you think of as 'a c'
asciilifeform: mircea_popescu reads 3 pages of ada examples and spews nonsense re same
asciilifeform: mircea_popescu: for the latter, common lisp.
asciilifeform: mircea_popescu: how is a 'towards Derive' a fortran ?!
asciilifeform: mircea_popescu: there ARE NO sane graphical wwwtrons
davout: and why's pete_dushenski not around?
phf: mircea_popescu: you've not looked at "modern" browsers in a while
davout: aaand pete_dushenski takes the lead with a 74 btc bid
asciilifeform: mircea_popescu: it still tastes like rusty nailz
PeterL: mircea_popescu mpex faq still points to #bitcoin-assets
davout: also i fell of chair when i discovered wp_comments table has two fields comment_date_gmt, and comment_date
danielpbarron: ;; later tell pete_dushenski whoops, false alarm!
danielpbarron: ;;later tell pete_dushenski congrats on winning bitbet!
davout: still 12 minutes left to outbid pete_dushenski
davout: mircea_popescu: one hour after the bid war has stopped basically
mircea_popescu: davout> tl;dr: FROM_UNIXTIME() yields localized strings, not GMT <<< time implementation is dumb. see also
PeterL: ben_vulpes would you hire a guy who sent you this? http://wotpaste.cascadianhacker.com/pastes/e6b34c9c-a218-4740-8f68-2048b244fdae/?raw=true ☟︎
davout: tl;dr: FROM_UNIXTIME() yields localized strings, not GMT
asciilifeform: ben_vulpes: worked fine here.
asciilifeform: ben_vulpes: try on 'ipad' or similar.
asciilifeform: ben_vulpes: pretty much best 'all in 1' article on subj i could find tho.
asciilifeform: ben_vulpes: sure does.
asciilifeform: mircea_popescu often says 'i don't deal in counterfactuals', and the principle seems quite in place here - it is not clear to me that a gcc-less 1980s would have led to anything other than a wintel os+compiler monopoly
asciilifeform: mircea_popescu: see thread. the haskell folks went entirely with 'fuck the cpu, we'll plug our ears and eyes'
BingoBoingo: mircea_popescu: Did you just google the string "horseface"
phf: mircea_popescu: i'm thinking the 1970 something movie
asciilifeform: mircea_popescu: aha! BingoBoingo explained it!11
phf: mircea_popescu: gosling, the guy who designed java, is notable for recognizing the right thing, but intentionally committing an atrocity of java as a language for the corporate programming. in one of his interviews he says something along the lines of "at least we got ~them~ to use a garbage collector". before java gc was an explicitly lisp thing, which is also gosling's pedigree
phf: it's this guy https://en.wikipedia.org/wiki/James_Gosling
asciilifeform: let's see if mircea_popescu coughs up a better example when he wakes up.
asciilifeform: i bet pete_dushenski had this thought
mod6: hey, im just posting this here so we don't lost it -- this is from funk_ iirc, he never sent it to the list -- i'm told that it "works" but have never tested it myself: http://dpaste.com/2WTCSHV.txt
phf: mircea_popescu: i think it's because whole thing is various degrees of successful abstraction on top of von neumann machine
asciilifeform: mircea_popescu: it has sharp edges but afaik it is the best we have short of massive-runtime-turd abominations like haskell.
asciilifeform: mircea_popescu: i didn't build the thing!1111
asciilifeform: mircea_popescu: also interesting,
asciilifeform: mircea_popescu: it means you ought to be able to get successor by + and predecessor by -.
asciilifeform: mircea_popescu: hm?
asciilifeform: mircea_popescu: in usa software cos were EXEMPTED from liability suits
deedbot: mircea_popescu rated lobbes 2 at 3632157688 << #eulora logs bot
asciilifeform: mircea_popescu: you mean so that trinque has to build a castle around the server ? ☟︎
mircea_popescu: diana_coman maybe by the time that's on the plate, we actually change in-game chat to gossipd.
mircea_popescu: diana_coman well in game-stuff i ideally want to change the chat to irc, but hey.
davout: mircea_popescu: why would one desire such an abomination?
asciilifeform: mircea_popescu et al: was there ever a btctronic auction site ?
davout: ;;later tell pete_dushenski you have a point, i did not specify a timezone for "the end of wednesday the 6th of april"
davout: mircea_popescu: http://fr.anco.is/2016/bitbet-receivership-first-progress-report#comment-8416
pizzaman1337: mircea_popescu: hey, long time no see.
asciilifeform: mircea_popescu: ru
asciilifeform: mircea_popescu: modern usa, taxwise, and in many other respects, is circa 1900 or so.
asciilifeform: mircea_popescu: i dunno any other philip
asciilifeform: mircea_popescu: half?!
asciilifeform: the crack smokers, as mircea_popescu correctly observes, are more or less invulnerable.
asciilifeform: mircea_popescu: only true in the 'blood from a stone' sense
asciilifeform: mircea_popescu: l0l! does that fella also sell own shit ?
asciilifeform: mircea_popescu: these were ~examples~
phf: mircea_popescu: yeah, but then you have to write that logic into a bot. i was hoping that using login/password just kicks the previous account off
asciilifeform: mircea_popescu: ada is a merciless thing. e.g., you cannot use two types interchangeably even if 'they're the same inside'; can only take pointers of items explicitly declared pointerable-to; by default, pointers only valid in the context where they were taken