log☇︎
312200+ entries in 0.193s
mircea_popescu: phf that's her isn't it ? the woman with a horse face ? carrie something ?
mircea_popescu: once that was out, horseface exploded with her pretenses of being interesting and a writer like a sunned carcass.
mircea_popescu: it was the last cork keeping the derpy femitards in check, really.
asciilifeform had nfi this existed outside of fiction
asciilifeform: ah that
mircea_popescu: then there's a denouement.
mircea_popescu: asciilifeform no, it's a special party where everyone invites ugly chicks pretending they're pretty.
phf: asciilifeform: that's too witty for me, i'm just typing all over the place
phf: asciilifeform: i thought current emacs is gosling emacs derivative?
mircea_popescu: i thought it went out of style with the 50s household
asciilifeform: as i understand that was phf's usage.
mircea_popescu: o you know what that is ?!
mircea_popescu: somehow josling kept parsing as the name of an activity.
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
mircea_popescu: they decided to live separated by age groups ; unlike saner people in europe and arab world, they don't coerce young women into fucking old men
mircea_popescu: i don't think this is a man problem. imo this is a family problem.
asciilifeform: for 'man' with the long-term memory of a fish, what else is life if not a series of 'reruns'.
mircea_popescu: it's not even specifically highly complex, intellectually-intensive things. fad diets consist of reruns.
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. ☝︎
phf: it's this guy https://en.wikipedia.org/wiki/James_Gosling
gribble: http://www.urbandictionary.com/define.php?term=Bannan&defid=2522572 | Being touched and/or blessed by Bannan: "Bannanized". Refrence back to the definition for examples on how to use the word "Bannan." by Michael Josling July  ...
mircea_popescu: http://btcbase.org/log/2016-04-06#1447364 << i think he's exactly right. ☝︎
mircea_popescu: doesn't work for the even discussion tho.
mircea_popescu: http://btcbase.org/log/2016-04-06#1447356 << this sounds good in theory, and is doubtless the case in many other places. ☝︎
phf: go to tapas bars or whereverfuck
phf: that's my impression of american "lucrative" corporate jobs though, because people that i know from that place went on to very similar places, and that's what they do. code as part of special clojure team in a company that's all java, or code in f# for a special f# team in a company that's all .NET. they get drunk during lunch, shit faced on fridays
phf: then grads? probably, i mean it's twenty year olds making six figures to do fuck all in clojure
BingoBoingo: I bet the people around you were somehow more insufferable though.
BingoBoingo: So, basically this job was like grad school, but with colleagues and paychecks that could support not borrowing to get sloshed?
phf: we had a sort of ritual there, we'd go to a whisky bar for lunch and try their top shelf, the goal was to see how sloshed you can get for after-lunch-standup without mgmt calling you out
phf: that was also my first and last "corporate" job, which was interesting, i quit on the first day after coming back from burning man that same year. good times.
phf: fwiw my first exposure to clojure was a clojure job in finance industry, i did a couple of talks on common lisp within airshot of the hiring person from the team, that was way before 1.0, and we must've been one of the first corporations to use clojure, because hicky made a point of coming to a local tech conference and speaking, i've had beer with him a few times
asciilifeform: but overall the question calls for an expert entomologist and i am grossly underequipped.
asciilifeform: these, iirc, are for the capons, o. for the hens.
phf: i think that would be npr
asciilifeform: o stands for something else, 'intellectual' wankery of the squirrel-brained
asciilifeform: spears is the one that stands for unwashed entertainment
asciilifeform: i actually had to stop and think, to pluck the name out of my nether brain.
phf: and yet she exists within your mind as a placeholder for unwashed masses entertainment, if only we had tlp to write something about that
asciilifeform: i am still waiting for the gasenwagen to come on account of my never having seen oprah.
asciilifeform: even here in the heart of the idiot reich.
asciilifeform: nor is involvement with them in any sense obligatory.
asciilifeform: neither is of any intellectual significance to folks with so much as half a squirrel's brain. ☟︎
asciilifeform: likewise, there is also wide adoption of britney spears, and oprah.
phf: but to your genuis of marketing point, not having even a decenarian math within flying distance, i don't really see a way out of that one. guys design their systems for the masses, say as much in public, and yet somehow there's wide adoption, because one has to eat
phf: c-sharp lambda is definitely first class, i'm trying to remember if it has weird restrictions like the python one
phf: hmm, i thought c-sharp has a "real" lambda?
asciilifeform: the java and c-sharp lambdas are precisely this plastic grille.
BingoBoingo: <asciilifeform> (it is, i think, imitating the rear engine block of 12 cyl 'ferrari' with its air cooled motor) << it is
asciilifeform: aha. and joseph smith thought about marketing very carefully, really beat the shit off the other zombie cults of his time and prior
phf: to be abcl would've benefited greatly from making their java ffi as nice as the one in clojure. that is of course a marketing problem, and that's something hicky thought about very carefully
asciilifeform: especially on this laughably short time scale, it is fall-off-yer-chair hilarious
asciilifeform: they have the classical ustard affliction of 'we are the greatest people, we are the greatest empire, nothing like us ever was'
asciilifeform: briefly back to clojure lulz thread, i have yet to run into a single clojure user who ever heard of armed bear common lisp ☟︎☟︎
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: (for n00bz: it ~is~ called 'coq', i shit thee not)
asciilifeform: phf: if the halting theorem were actually taught as serious business, the coq-suckers would eventually have to fellate their pistols.
phf: mod6: it's not clear at this point which school will bring sufficient clarity to this kinds of questions, without paying much more attention to current industry fads. see the thread about mit and sicp. they might mention halting problem in one class, and then go talking about proofs in Cog (if you're lucky or unlucky depending on how you look at it) in the next, with no explicit connection between the two
mod6: is this also related to church-turing's paper surrounding the entscheidungsproblem?
asciilifeform: (turing's halting theorem is really a generalization of godel's incompleteness t.) ☟︎
asciilifeform: http://www.cgl.uwaterloo.ca/csk/halt << fortunately no need to blow yearz and megabux
mod6: is this like common knowledge that I missed by not attending a college? ☟︎
asciilifeform: (virtually any attempt reduces to the halting problem)
asciilifeform: the unfortunate thing is that there is not much that is mathematically provable in the general case about a program.
mod6: putting everything aside, really, I want a machine that will do stuff that is deterministic, mathematically provable.
asciilifeform: mod6: the denoument of the story, http://www.loper-os.org/?p=1390
mod6: thx for the link
asciilifeform: (it requires, at least in its known restatements, entities to appear and disappear in ways no physical object behaves in)
phf: also mccarthy said a few times that lisp has not much to do with lambda calculus, he just completely misunderstood the papers (or rather was inspired by them)
asciilifeform: but the whole story is in the logz.
asciilifeform: mod6: mr mold went and tried to derive a programming system from ski calc (isomorphic to lambda calc) and ended up with 'nock' and the rest.
mod6: i think for me, this is the allure of something like lambda calc.
asciilifeform: i bet pete_dushenski had this thought
mod6: im at the point of paranoia enough where if we can not write out our program mathemtically, mechanically, then there is some magic going on in there. and that freaks me out.
asciilifeform: (it is, i think, imitating the rear engine block of 12 cyl 'ferrari' with its air cooled motor) ☟︎
asciilifeform: just as i was just now walking past a lot full of american shitcarz, and finally realized why 'mustang' has plastic grille over the rear window.
phf: it's not really a secret why java, every time someone like alf starts talking about cogs in the machine the inevitable answer is "duh", that was the whole point, josling says as much in his early interviews, including the famous "at least we got them to grok gc"
asciilifeform: even microshit, at this point, has some faux lambda thing.
mod6: WELL THEN BROSEPH, EVERYTHING IS AWESOME!
mod6: these guys are crazy. i have to bite holes in my tounge every day.
phf: well, i think anything short of common lisp is not really a lisp :P (i.e. reader macros, restarts, pervasive defvar/defparameter clarity, well thought out function library, and such)
asciilifeform: the galling thing is the fraudulent advertising, 'this is lisp'
asciilifeform: i personally don't give half a fuck re folks wanting to use bizarre shitlang with square brackets etc.
mod6: "Wow. This is absolutely hysterical. Sorry dude, Clojure won. Get over it."
asciilifeform: that thing is still bringing in idiots, like flypaper, ~7 years (!) later.
asciilifeform: but the result is no longer lisp, as seen from the business end.
asciilifeform: in some cases one wants this.
asciilifeform: eval-less lisp is a sterile thing, like a bullock or capon.
phf: scheme48 does it that way, for example, with pre-scheme
phf: if you're buying your schemes from supermarket, sure, but my point is that technique is available as part of the dictionary. can do a hybrid from there, i.e. compiled subtrate
asciilifeform: which makes it definitely more of a 'el cheapo undergrad lisp' than a scheme.
asciilifeform: you typically don't get call/cc either
phf: why perverse? it's pretty standard for scheme to be compiled to C, it's a classical cps technique, sort of a couple of next chapters away from how tinyscheme is a classical interpreter
mod6: i think this program was called 'uplift' or something - it guys employeed it to build vms quickly or w/e ☟︎
asciilifeform: but in some perverse cases (e.g., 'chicken') compiled to c, but then you lose eval
phf: unless we're talking compsci 101 scheme
phf: actually there aren't many schemes that are interpreted, it's much more in vogue to compile them, since that's an easy thing to do
mod6: actually, we tore our hair out
mod6: i've only used one clojure application and it was a very haphazardly implemented docker-like thingy.
asciilifeform: the operation of the compiler in common lisp is generally semantically transparent.