185900+ entries in 0.103s
phf: c standard is written with an assumption of a "c machine", which in
turn is entirely undefined
☟︎ erlehmann: so i guess whoever hates on undefined behavior hates some kinds of
typing
erlehmann: allowing
the compiler
to infer
that
this does not happen, ever
erlehmann: i see it as a kind of
type annotation
erlehmann: asciilifeform do you mean you need integer overflow or
that it is difficult
to check for it?
erlehmann: i don't get
the hate against optimizing c compilers at all
☟︎ 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: make
the culture palatable
to
the businesspeople
erlehmann: judas goat,
that is harsh. and
to
the point.
erlehmann: if i was sufficiently bored, i would do
the same
to systemd
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 sometimes
tell
that
to hipsters.
erlehmann: i knew about
the patreon page and
thought he was just unemployable maybe?
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.
erlehmann: “if
the above makes sense
to you, do not attempt revolution, sit in your chair and await certain death”
erlehmann: “this is how bitcoin dies” and “we'll make our system so
the state can censor everything with ease”
erlehmann: i always
thought it piggybacked on bitcoins marketing.
erlehmann: and where
the impedance mismatches came from.
erlehmann: like, not
the code. but i started
to understand hoon digraphs.
erlehmann: my worst urbit moment: after i read some hoon language code i started
to understand it. immediately decided
to no longer look at
the stuff.
erlehmann: oh, but it has not ended yet! i am sure
there can be at least one other unlaunch and relaunch
erlehmann: on
the other hand, i successfully used “see,
this guy sold his dukedom in 2013” as argument
to convince someone
that urbit is of no use
☟︎ 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"
erlehmann: especially since i had followed
the urbit story at
that
time
phf: no idea, nock(..) doesn't work, so i did a substitution
to *[57 [4 [0 1]]] and it gave me 1
erlehmann: asciilifeform maybe
that is it why it is nock 5K!
erlehmann: phf please do not devote
time
to debugging. but is
the result of nock([57 [4 [0 1]]]) NOT 58?
erlehmann: a simple
task, really. and one i have used
to mock
the workings of nock (heh)
erlehmann: where he asked people
to decrement with only addition
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.
phf: (actually i'm not getting
the same result from ascii's version as you do in your evaluator, but i don't want
to devote any more
time
to it)
erlehmann: that being said, back
to
the
topic at hand: intellectual dishonesty
erlehmann: the beginning of nock.sed has a label “: reduce” and a single “p” command (“print
the current pattern space”)
erlehmann: turns out changing
the order of reduction rules is a problem in
that case
erlehmann: just
to illustrate you can get by with search-and-replace if your spec looks like
that
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
erlehmann: i am of
the impression
that any change
to nock 5k should have become nock 4k, if goldbug were following his self-proclaimed principles, correct?
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: or, for
that matter,
the silent bugfixing of nock 5k … without adjusting
the
temperature.
erlehmann: oh,
that. well, i would argue
the hints in hoon are enough
to discount
that stuff.
erlehmann: asciilifeform i
think one of
the reasons why i
thought it was satire was “Make RSA Great Again”
erlehmann: it seems
that it is not for other people.
erlehmann: wait, no, not
taking out
the
trash. whatever it is called when
they pick up
trash cans.
erlehmann: programming (to me) is a blue collar job, like
taking out
the
trash.
erlehmann: btw, most problem's do not feel interesting
to me and programming is not fun.