tmsr - Search: a

105500+ entries in 0.801s

mircea_popescu: there's fundamentally two ways to approach computing : as an engineer and as a mathematician.

asciilifeform: for fucks sake it isn't a c

asciilifeform: mircea_popescu: how is a 'towards Derive' a fortran ?!

mircea_popescu: honestly a proper modern fortran would prolly be worth the time to make. this specifically means upgrading it more towards derive than towards haskell

trinque: because who doesn't want to run binary blobs in a web page?

mircea_popescu: atm trying a thing called "seamonkey"

asciilifeform: it is a steaming megatonnne of shit.

phf: betting 74btc from his iphone at a brunch or something

mircea_popescu: "the web" as a sort of google-run itunes store ? in the grand tradition of the bbs archive ?

phf: yeah, that's about how long it's been since you could get a decent browser behavior. i think that's when firefox switched from "general purpose xul renderer" to "modern browser"

phf: mircea_popescu: you've not looked at "modern" browsers in a while

mircea_popescu: shares a bar for url and search ? "click here to log what you type in url bar which we now call omnibar" ? there's no way to see cookies, all you can do is "obliterate" items, and limited to "from the past...." so you can't actually purge the shitbag ?

davout: aaand pete_dushenski takes the lead with a 74 btc bid

mircea_popescu: in any case he held top bid for a longer interval than the eventual winner is likely to :D

mircea_popescu: i have a trilema article all ready for when this finally happened, went to bed expecting to publish it this morn... no dice...

davout: aaaaand pete is back in the race with a 72 btc bid

asciilifeform: can anyone suggest a reason why an honest man might ask for such a thing ?

asciilifeform: if Matic could, as a matter of courtesy, provide the complete logs for the site.

asciilifeform: 'Although this is not a requirement, and assuming he has kept a copy, I would also appreciate

davout: l'argent n'a pas d'odeur

mircea_popescu pictures various groups frantically trying to gather more liquidity while the +1 btc bit bought them a little time etc

mircea_popescu: hmm seems there's a 71 ?

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: anyone cares enough to see if whoever's left at paymium wants to do a qntra interview ? ☟︎

asciilifeform: 'The Education Department has assembled a “behavioral sciences unit” to study the psychology of borrowers and why they don’t repay. “We obviously have not cracked that nut but we want to keep working on it,” said Ted Mitchell, the Education Department’s undersecretary. He said many defaulted borrowers dropped out of school and are underemployed.'

asciilifeform: '... The picture has improved slightly from a year earlier, when the nonpayment rate was 46%, but that progress largely reflected a surge in Americans entering a program for distressed borrowers to lower their payments.'

mircea_popescu: PeterL sounds like the usual cocky bullshit infantile idiots with a useless degree and too much reddit exposure spout.

PeterL: ben_vulpes would you hire a guy who sent you this? http://wotpaste.cascadianhacker.com/pastes/e6b34c9c-a218-4740-8f68-2048b244fdae/?raw=true ☟︎

ben_vulpes: man, wouldn't it be neat if CBlockIndex weren't actually a "tree-shaped structure"?

ben_vulpes: > a decision has been made

phf: correct way is to have n bots running on different machines, connecting to different freenode hosts, talking to each other as they get messages, and then submitting a shared answer

phf: can of course not have a sequential id/entry mapping, but i think that breaks expectations

phf: i assume assbot handled that by having a short reconnect cycle and simply losing a message or two during an outage ☟︎

phf: bigger concern is not really losing entries, but having invalid id numbers. bot keeps log a b c d bot reconnects and misses a handful of messages g h i j, now in order to insert e f back into the log need to shift g h i j ids forward so if i references h, it's now refering f instead

ben_vulpes: this is all immaterial. i don't disagree that it's a nifty "all in 1".

asciilifeform: just a bitch to scroll.

deedbot: $くそ is not a command.

deedbot: $пиздец is not a command.

deedbot: $pizdets is not a command.

deedbot: $conbibe is not a command.

deedbot: $reconvene is not a command.

phf: (logging bot croaked in case people wondering why no updates, will fix in a bit)

asciilifeform: i just happen to see lenin as a necessary forest fire, so that idiot dynasty could properly die

mircea_popescu: under a thin veneer of bullshit he hides all the socialism you could possibly wish for.

mircea_popescu: but go buy your girl a fur.

mircea_popescu: are you familiar with how "animal rights" moved from a laughable nothing to a point of policy ?

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

mircea_popescu: and it is not clear to you that a brian-less 1984 would have lead to anything less than a complete domination right ? after all, at least he gave winston the book, right ?

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

mircea_popescu: i can't see him as anything more or anything else than a decoy.

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.

mircea_popescu: each and every time at issue was something irrelevant, he took a principled stand.

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

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

mircea_popescu: and for as long as there's a rms to fuck up things, we'll be waiting.

mircea_popescu: hing they thought might get stolen and they wanted to lock it up, but they didn't care about the other people they were affecting by locking up other things in the same room. Almost every time this happened, once I brought it to their attention, that it was not up to them alone whether that room should be locked, they were able to find a compromise solution: some other place to put the things they were worried about, a desk t

mircea_popescu: In the years that followed I was inspired by that ideas, and many times I would climb over ceilings or underneath floors to unlock rooms that had machines in them that people needed to use, and I would usually leave behind a note explaining to the people that they shouldn't be so selfish as to lock the door. The people who locked the door were basically considering only themselves. They had a reason of course, there was somet

mircea_popescu: a well.

mircea_popescu: so thinking about it, phf really deflated my article. fact remains : cpu is cpu, it will do what it will do. whatever the fuck you call what it does, it's what it does. yes ada is well mistaken to speak wrong mathematics, but then again it's not a mathematics shop. you want to use your lengthier, thicker and more nodular math cock to mock the poor engineers, go ahead, but the fuck it does.

phf: unless it's a sarah jessica parker joke that i'm somehow missing

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

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: 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: then there's a denouement.

mircea_popescu: asciilifeform no, it's a special party where everyone invites ugly chicks pretending they're pretty.

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

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: as a result...

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: 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: 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: 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: 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: let's see if mircea_popescu coughs up a better example when he wakes up.

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: neither is of any intellectual significance to folks with so much as half a squirrel's brain. ☟︎

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

asciilifeform: the py one is a sad, sad joke

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

phf: hmm, i thought c-sharp has a "real" lambda?

asciilifeform: and a quintessential american.

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: 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: (turing's halting theorem is really a generalization of godel's incompleteness t.) ☟︎

mod6: is this like common knowledge that I missed by not attending a college? ☟︎

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.

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: 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: 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"

mod6: bro, if java were a pile of garbage why would a genius like Ellison and oracle still push it?

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: i personally don't give half a fuck re folks wanting to use bizarre shitlang with square brackets etc.

mod6: It’s dynamic, we rarely restart a JVM when coding/testing."

asciilifeform: eval-less lisp is a sterile thing, like a bullock or capon.