63000+ entries in 0.471s
a111: Logged on 2017-06-03 02:15 asciilifeform: my least nonsensical hypothesis is that thiel funded urbit (yes) to make
a half-hearted play at 'embrace&extinguish'ing bitcoin
erlehmann: thought
a bit about it, have not met her since
erlehmann: e.g. had
a 20 year old tell me recently that she would not meet me that often if she would expect that fucks would not be given
erlehmann: since i learned that sex is cheap i try to only fug with ppl who i would spent
a similar amount of time with even if sex was not in the picture. turns out this is
a good heuristic to avoid assholes.
erlehmann: well, i know that approach works. slowly, but it works. after
a while you have
a knot of people who hook up with each other.
mircea_popescu: ~only way out is to keep slavegirls, but then
a) you won't particularly want to share and b) it'll take
a lot of actual work.
mircea_popescu: erlehmann the problem with this approach is that females don't actually have much interesting to say as
a general rule ; and the ones that do are too busy to be worth much on the hookup front.
phf: a111 is
a scribe, toils at keeping the logs, what do you expect
erlehmann: mircea_popescu i once was in
a channel where the rule was that new members would only be full members if they are in the local hookup graph
erlehmann: oh i thought this might be
a channel with sluts
erlehmann: asciilifeform but there is no recognizer. just
a rune to tell the hoon interpreter to get fucked
herbijudlestoids: how does
a fool change their pubkey association, phf or anyone? or am I just stuck now
mircea_popescu: i dunno what one'd have to have been eating in college to imagine jets as "
a-wizard-did-it" handwave solution could possibly work in any practically useful sense.
erlehmann: in the beginning i thought jets would work like
a recognizer + cache
a111: Logged on 2017-06-03 01:50 phf: his concept of jets sort of reminds me of lisp VOPs, with similar failure modes. vops originally were supposed to abstract
a lisp machine cpu on traditional hardware, so that, say, addition vop adds all the assembler overhead of typechecking etc. in reality it turned into an everything and kitchen sink way of adding arbitrary assembler to the system
mircea_popescu: asciilifeform basuically this crash-safe thing looks like
a mostly theoretical xilinx blob
mircea_popescu: it's probably the case
a correct cpu is closer to how they make gpus -- paste
a bunch of same cores all over the chip surface and that's that.
herbijudlestoids: so I guess then it's not just
a question of Ada, but also you want
a good arch
herbijudlestoids: I had
a lot of fun reading the log today of asciilifeform talking about NIC drivers
herbijudlestoids: asciilifeform: I didn't look too deeply, but take
a look, it has TLA+ style formal verification properties
herbijudlestoids: good question... been spending
a lot of time recently studying SPARK/Ada
a111: Logged on 2017-06-02 23:56 erlehmann: dear diary, yesterday
a person on IRC asked me if i am jealous after i referred to ethereum as
a scam again. jealous, i asked. yes, she answered, jealous of people who invest in cryptocurrencies!
erlehmann: translating to
a lot of canadian dollares
BingoBoingo: Is it
a specific thing or "cryptpscamming" in general
erlehmann: BingoBoingo does there exist
a gatekeeping mechanism so that qntra does not drown in horsecock as kuro5hin did?
BingoBoingo: Well, there's quite
a few people around but it's Friday night.
BingoBoingo: Well
a lot has happened since then... there's
a nearly two and
a half year old media empire, etc
erlehmann: !!rate deedbot 1 Most likely
a bot.
phf: there's
a handy visualizer, but i've no idea what frequency it runs at
phf: there's no "democracy", you're in deedbot's level 2 web of trust through my rating. there's
a handful of useful people in l1 that can at some point decide that you shouldn't really speak anymore. that's about it. if you ever become useful, you can get into l1. thus the s/r is maintained
erlehmann: > Ostracism was crucially different from Athenian law at the time; there was no charge, and no defence could be mounted by the person expelled. The two stages of the procedure ran in the reverse order from that used under almost any trial system — here it is as if
a jury are first asked "Do you want to find someone guilty?", and subsequently asked "Whom do you wish to accuse?"
erlehmann: if you pissed of
a minority of users,
a ban happened
erlehmann: in
a channel i administered we had
a ὀστρακισμός done by bot
phf: erlehmann: now you can /msg deedbot !!up and after decoding
a challenge response send it back with /msg deedbot !!v <response> you'll be permanently upped while you're connected to services anyway
a111: Logged on 2017-06-03 02:48 phf: c standard is written with an assumption of
a "c machine", which in turn is entirely undefined
a111: Logged on 2017-06-03 02:46 asciilifeform: the basic idiocy of c world is that there is permitted to exist
a gap between written standard and the actual implementation programs rely on
phf: so you bring all your assumptions of what c machine is with you, and then map
a "standard" on top
phf: c standard is written with an assumption of
a "c machine", which in turn is entirely undefined
☟︎ erlehmann: i see it as
a kind of type annotation
a111: Logged on 2016-12-28 19:23 mircea_popescu: which i suppose warrants
a general warning : DO NOT UPGRADE YOUR GCC TO 5.0! SAVE YOUR COPIES OF 4.X AND PRIOR!
erlehmann: reason: i wrote
a vintage filter for GNOME 3 when i discovered their screenshot app has
a postprocessing step. i submitted patch and one person saw it as the garbage it was intended as, but then others were like WHAT
A COOL EASTER EGG MERGE.
erlehmann: if you have GNOME 3, you have software on your computer that i wrote as
a joke
erlehmann: i thought
a bit and decided that person would probably eat shit if it promised riches.
erlehmann:
a guy i know told me he put 600€ in ETH and 400€ in BTC. without
a concrete plan, of course.
phf: in
a degenerate case this is also how scams work "everyone here already bought, what are you waiting for"
phf: it's
a pretty standard marketing tactic: give out
a bunch of stuff to high profile people, make the rest buy it on the assumption that "such and such bought"
phf: no idea, nock(..) doesn't work, so i did
a substitution to *[57 [4 [0 1]]] and it gave me 1
erlehmann:
a simple task, really. and one i have used to mock the workings of nock (heh)
erlehmann: asciilifeform why then buy
a dukedom?
erlehmann: asciilifeform how long did it take you to discover that urbit was built on sand? less than
a year probably, going from the date on the blog post.
erlehmann: the beginning of nock.sed has
a label “: reduce” and
a single “p” command (“print the current pattern space”)
phf: probably can be done with ascii's version by dropping
a format somewhere inside mk-op
erlehmann: turns out changing the order of reduction rules is
a problem in that case
erlehmann: funnily enough, my incomplete nock 5k implementation in sed(1) was
a rough transliteration of the nock 5k spec
phf: for some reason i always thought mr mold was
a monarchist
phf: his concept of jets sort of reminds me of lisp VOPs, with similar failure modes. vops originally were supposed to abstract
a lisp machine cpu on traditional hardware, so that, say, addition vop adds all the assembler overhead of typechecking etc. in reality it turned into an everything and kitchen sink way of adding arbitrary assembler to the system
☟︎ erlehmann: programming (to me) is
a blue collar job, like taking out the trash.
erlehmann: however, having
a single command in
a build script that says “rebuild the target, then rebuild the current target” seems trivial in comparison.
erlehmann: i come from imageboard culture, where discussions only devolved into shitting on each other if
a person was assuming
a name
a111: Logged on 2017-05-31 18:37 asciilifeform: 'Generating large amounts of truly random data is expensive. Fortunately, truly random data can be simulated by pseudorandom data produced by
a stream cipher from
a much smaller key. (Even better, slight deficiencies in the randomness of the cipher key do not compromise security.) The literature contains several scalable ciphers....' -- djb et al
erlehmann: i think it is like fefe said:
a) tenure b) does not care