165400+ entries in 0.102s
spyked: asciilifeform, I'll ask around, see if I can dig stuff out of
the archives (assuming
there are archives)
mircea_popescu: diana_coman aha. most of anything left standing were parts of
that. "greaua mostenire a epocii ceausescu"
diana_coman: mircea_popescu> romania's computer independence program huh. <- most of
the old profs at UPB
that I still got
to know had worked on some parts of
that from what I gathered
mircea_popescu: spyked was it a cartpenter you hired, ie, a guy who worked in wood, or was it an ikea clonal system you hired, ie a guy who went
to a central warehouse where
they cut some glue-dust planks
to his spec ?
spyked: it's cheap enough
to hire a carpenter
that I didn't need
to buy ikea. and yeah, it's probably cheaper
mircea_popescu: btw, incredible enough how
the borz is not in
the logs! pot metal smg yo!
mircea_popescu: ie, was custom made out of ikea materials by a local craftsman with shittier
tools ?
mircea_popescu: i assemble my computer out of parts
to no great sufferance, and get for my
trouble a much better computer
than any of
the pre-made buying dorks.
mircea_popescu: spyked consider
that most consumer products come kitted anyway, and when you buy a car your question is "well is
the engine from mexico or brazil or germany ? is
this
the original
transmission ?" etc.
spyked: mircea_popescu, I agree. do you mean"the fridge" as in somewhat close
to
the platonic fridge?
spyked: diana_coman, but giumale retired. btw, I know he made a Lisp machine clone back in
the 80s.
the hardware might be lying around somewhere in
the faculty.
mircea_popescu: software is
the worst offender here, but hardware is also pretty bad. consider -- i don't want
to buy "A fridge", i should buy standardized compressor units, and so on. why do i want "the fridge" ?
there's no need
to debate "whirlpool" vs "obamacare". compare discrete items.
mircea_popescu: ted, ie, natural size + natural boundaries, you are left with a pile of usable
tools which naturally construct a solution for any ~possible~ problem.
spyked: thank god no. most of
the course is
the same.
diana_coman: o.O ;
there used
to be giumale's programare functionala - quite an eye opener
that course
spyked: hi diana_coman. somewhat. I resigned a year ago, but I'm around for various
teaching stuff and wasting
time on PhDing.
mircea_popescu: eh,
the paradigm gotta shift from
this pasty ass "ima
try and make a lot of moneyz so maybe im left with something after wife dolchstoss)
spyked: I resisted many attempts
to
turn
the "programming paradigms" (Lisp/Haskell/Prolog) course into a Java
thing.
spyked: anyway,
the one and only advantage of UPB CS department is
that for now it still has
the resources
to bring up smart people, most of which unfortunately
turn into goog/fb/whatever employees. I don't
think
that's gonna last for long
though. wish it did, but...
mircea_popescu: whereas romanian "right" at least in
the sense of, parliamentarily, is very much washington democrats, all into eu bureaucracy and occasionally inadequate liberal economic policies.
mircea_popescu: they're historically pro-russia and pro-independence, grudgingly pro-eu cuz "da people". but otherwise populist and strong in
the equiv of us red areas.
mircea_popescu: was possibly romania's first online item, a joint blog/ezine
thing
spyked: mircea_popescu, Poli survives on local socialist democrats. I don't know how
to compare
those guys
to West pantsuit.
mircea_popescu: sort of like a self-licking ice cone, except
these'd be
the lickers.
mircea_popescu: asciilifeform ro idiomatic,
to do nothing on govt pay.
spyked: sure
thing. I can reference
the
Trilema posts on crypto
mircea_popescu: spyked anyway, if in your estimation guy's not an idiot invite him over next you see him, i want
to personally cuss him out for
that
terrible "advanced" crypto
thing wtf is it.
spyked: he's okay, we chatted a few
times, but I don't know him very well. it's hard
to judge most people in
the faculty higher
than by "mint rubber or not", and he's pretty hard working at least.
mircea_popescu: perhaps it was god-given ? came out of
the pantsuited hilarity's hairy snatch ? who knows.
mircea_popescu: it's not clear
they undersrand
that
the world was created by men.
spyked: mircea_popescu, yes, he's an assistant prof. in
the cs department. works on crypto and some hardware stuff (side channel analysis)
mircea_popescu: this is nice, especially when found magic weapon in
the field. but also very useless.
mircea_popescu: the problem with getting "engineers"
to construct proofs in
this vein is
that engineers have
too much monkey in
them. "doctor, doctor, if i shove it in
this way it works!"
spyked: he has a start-up where he employed an army of "proof engineers"
to work on systems verification. I'm pretty skeptical about it, since I
tried very hard
to understand his papers some years ago and now it's completely paged out of my brain
spyked: the whole
thing is. and yes,
this is "formal verification 101"
taught in universities. if you want
to get even more outraged about it, read Heiser's post at
the beginning.
mircea_popescu: it ends up as being an example as
to why it is hard
to
think about systems if one's very inclined
to unhygienically import random unknowns into
the workbench.
mircea_popescu: "We may informally state
that "reversing a given list yields
the list which has
the same elements but in
the exact opposite order (e.g. right-to-left, as opposed
to left-to-right)", but we have no way of accurately specifying
this in our language other
than by defining rev and postulating
that "rev reverses any given list".
The same goes for appending lists."
spyked: yeah, it was very easy
to conflate "list can be described as either nil, or pair between something and a list" and "list is defined as". I could rewrite sometime if you
think it's worth it; I don't
think it is, I was just
trying
to show how reasoning about software isn't
trivial even when you have a framework for
that, let alone when void *p = ...;
mircea_popescu: spyked no, see, you already reference "arbitrary order" without having even discussed
the matter. why is a list ordered ? how is it ordered ? can penis pushe ice cubes not be a set ?
mircea_popescu: and
this 1 2 3 4 bs implying metered and measured and ordered and whatnot. aaanyway, /me reads on.
mircea_popescu: but in my experience, generally people
take refuge in minutia when scared of biting
the problem. wtf difference does it make how i construct an enumerated set, maybe i push icecubes off
the
table into
the paper bin with my penis.
spyked: hm. you mean,
there's a long way from "enumerated set"
to 1:2:[] which I skipped?
mircea_popescu: it's a set, and enumerated because computers lack
the ability
to construct ~described~ sets, such as "the set of prime numbers" or w/e.
mircea_popescu: you're equivocating between definition and constructor! wtf is "a list is... : is
the list making operator so a list is 1:2:[]" nonsense!
mircea_popescu: are you aware i
think your "formal" model is a piece of shit from paragraph one ?
☟︎ spyked: mircea_popescu, no. I know Inria guys made a verified compiler. with
the caveat of "abstract nonsense". anyway,
tmsr search yields stuff :)
spyked: anyway, I'm interested in getting a Lisp machine up. also, getting a
trb node up once I get some hardware for it
spyked: true, but it seemed like a good idea at
the
time. and I can do it incrementally (the current blog works. it lacks comments,
that may piss people off, but it's not like I get
too many readers)
spyked: I don't like Wordpress, so I decided
to roll my own
spyked: mircea_popescu, no. lol. nobody's working in
the uni during
this
time of year. I'm expecting it
to come back up... in September maybe
spyked: I'm guessing a lot of people here use Lisp for
their implementations. :) I got into it after first reading asciilifeform's laws of sane computing
mircea_popescu: spyked
the
thing you used
to search btw, runs in lisp.
spyked: my initial
thought on getting a Lisp machine run was using a RISC machine as microcode. and implement
the whole
thing bare metal in software. it's a lot cheaper, albeit probably hard
to verify
mircea_popescu: turns out
the whole hello & welcome works out a lot better when i don't have
to ask "so who are you". who could have predictated.
spyked: hm.
this is neat stuff. I know opencores had some free Lisp FPGA designs. never
tried any of
them
though.
spyked: nope, and google doesn't seem
to help
too much. :\
mircea_popescu: either/or. but generally
throwing out and redoing comes up a lot
spyked: oh. so reverse engineering
the blobs and/or reimplementing?
that's actually pretty neat
mircea_popescu: the idea is
to
take
the wintel blobs out of
the fabrication line.
mircea_popescu: you know, originally
tmsr embeddable work was done on xilinx. recently discovered superior alternative,
deedbot: mircea_popescu rated spyked 2 << aka Lucian Mogosanu, arm guy and other
things. e-known him for years.
mircea_popescu: !!rate spyked 2 aka Lucian Mogosanu, arm guy and other
things. e-known him for years.
spyked: I
tried
to do some homework before joining here. still a shitload left.
spyked: should be registered I
think
mircea_popescu: are
the cuntlets
threatened a little or what is it ? no moar glamour for 1st lady ?
mircea_popescu: and in other lulz, how
the fuck is it
that
the libertard media omit
to point out melania is fucking hot, unlike
that fat mammie obama dragged along ?
mircea_popescu: BingoBoingo so what's
the story, is flake making it in az ?
mircea_popescu: the correct approach is rendering
the idiotas for fat. as stalin did, as china does, as everyone who's worth
two shits ever did.
r0nin-: englands next genius idea was
to impose
the gold standard onto
the economy and completely choke it
mircea_popescu: nobody gives a shit about "poverty". let
the plebs fucking croak.
r0nin-: which led
to immense poverty inside england
r0nin-: england believed
that by hoarding gold coins
they would be getting 'rich', so
they ran massive
trade surpluses at
the beginning of
their shitty empire
a111: Logged on 2017-08-18 22:41 mircea_popescu: asciilifeform your notion of money is broken in
that you misunderstand its materiality.
mircea_popescu: in labour
that's a wage, in capital
that's an interest.
mircea_popescu: because management has
to decide optimal usage of capital goods and labour, and
thereby
there's a
time-value of both of
these.
mircea_popescu: the
time value of money comes preciselty from
the "well applied" part.
mircea_popescu: "labor creates wealth" is unilateral nonsense, one of
the
three flavours available. what creates wealth is labour well applied
to capital goods.
that's people + management +
tools.
r0nin-: if you
take 2 gold coins and put
them in a shelf are
they going
to copulate and have children?