asciilifeform: rms was not built to be liked.

asciilifeform: she says 'whatever'

asciilifeform: just as meat in restaurant.

asciilifeform: available by the megatonne.

asciilifeform: we had machine-gunners at nih animal facility.

asciilifeform: as, incidentally, with the fucking rats

asciilifeform: just led to armed guards.

asciilifeform: this didn't work so well for the fetus-rights folks

asciilifeform: not very

asciilifeform: draw, for my education, a 'genuine article rms'

asciilifeform: (if you think os+hardware is dire...)

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: ~all of his actual lasting work (gcc) happened prior.

asciilifeform: an intellectual ~0.

asciilifeform: the really tragic bit re rms is that he became a shadow of a man after getting his mcarthur prize. ended up hiring programmers (!) and turning into a bureaucrat.

asciilifeform: example?

asciilifeform: and he took a principled stand against every major technoscumbag to date.

asciilifeform: to much ridicule, recall.

asciilifeform: when palladium was but a mere microshit patent, entirely theoretical, rms was the ~only~ one to publicly ring the alarm bells.

asciilifeform: i tell ya, i dun see it

asciilifeform: rms is moderate ?!

asciilifeform: kindly illustrate this one

asciilifeform: still waiting' for this pike

asciilifeform: linux is the only reason we have anything to converse about.

asciilifeform: you might not want antimatter in your refrigerator, but it has its uses.

asciilifeform: rms was the only effective antidote to microshit.

asciilifeform: different planet.

asciilifeform: the terminals 'selfishly locked' belonged to the kolhoz.

asciilifeform: rms lived whole life in motherfucking research institutes

asciilifeform: mircea_popescu: see thread. the haskell folks went entirely with 'fuck the cpu, we'll plug our ears and eyes'

asciilifeform: ollow the same spirit that I started with the original Emacs. Then he stabbed everyone in the back by putting copyrights on it, making people promise not to redistribute it and then selling it to a software-house. My later dealings with him personally showed that he was every bit as cowardly and despicable as you would expect from that history.'

asciilifeform: 'In the summer of that year, about two years ago now, a friend of mine told me that because of his work in early development of Gosling Emacs, he had permission from Gosling in a message he had been sent to distribute his version of that. Gosling originally had set up his Emacs and distributed it free and gotten many people to help develop it, under the expectation based on Gosling's own words in his own manual that he was going to f

asciilifeform: http://www.gnu.org/philosophy/stallman-kth.html << rms re gosling.

asciilifeform: phf: possibly, https://web.archive.org/web/20030905055728/http://freeroller.net/page/vanessa/20030820

asciilifeform had nfi this existed outside of fiction

asciilifeform: ah that

asciilifeform: the art of fucking hogs ?

asciilifeform: mircea_popescu: aha! BingoBoingo explained it!11

asciilifeform: as i understand that was phf's usage.

asciilifeform: and yes, quite like hogging.

asciilifeform: earlier g was famous for a mutilated version of emacs.

asciilifeform: for 'man' with the long-term memory of a fish, what else is life if not a series of 'reruns'.

asciilifeform: see l0gz!

asciilifeform brb

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.

asciilifeform: let's see if mircea_popescu coughs up a better example when he wakes up.

asciilifeform: perhaps wrong character ?

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.

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.

asciilifeform: and so can others.

asciilifeform: i eat without committing public atrocities

asciilifeform: also mustang grille.

asciilifeform: the py one is a sad, sad joke

asciilifeform: but i have nfi, never microshat in csharp

asciilifeform: if it isn't first-class-data (i.e. a closure) it isn't a proper lambda.

asciilifeform: the java and c-sharp lambdas are precisely this plastic grille.

asciilifeform: and a quintessential american.

asciilifeform: also genius of marketing.

asciilifeform: him and, 100 y later, l. r. hubbard

asciilifeform: aha. and joseph smith thought about marketing very carefully, really beat the shit off the other zombie cults of his time and prior

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 ☟︎☟︎

asciilifeform: it.

asciilifeform: ;;google coq

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.

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

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.

asciilifeform: in case you missed. (it was long ago)

asciilifeform: mod6: the denoument of the story, http://www.loper-os.org/?p=1390

asciilifeform: (it requires, at least in its known restatements, entities to appear and disappear in ways no physical object behaves in)

asciilifeform: lambda calc does not comport with physical machines well.

asciilifeform: aha.

asciilifeform: but the whole story is in the logz.

asciilifeform: imho his design sucks ballz

asciilifeform: mod6: http://www.loper-os.org/?p=103 << my version

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.

asciilifeform: ?

asciilifeform: phf: gosling

asciilifeform: i bet pete_dushenski had this thought

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.

asciilifeform: even microshit, at this point, has some faux lambda thing.

asciilifeform: per same argument.

asciilifeform: why, i wonder, not go whole hog and go microshit.

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.

asciilifeform: that thing is still bringing in idiots, like flypaper, ~7 years (!) later.

asciilifeform: enjoy mod6

asciilifeform: but the result is no longer lisp, as seen from the business end.