erlehmann: i assume FUCKGOATS does not help here?

erlehmann: so i guess whoever hates on undefined behavior hates some kinds of typing

erlehmann: i see it as a kind of type annotation

erlehmann: i don't get the hate against optimizing c compilers at all ☟︎

erlehmann: asciilifeform i also have no gnomes.

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: rms is pretty charismatic btw. would meet again, even if i can guess i will not learn much.

erlehmann: nope. should i?

erlehmann: but apparently i do not know my history

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: i always thought it piggybacked on bitcoins marketing.

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: i must admit moldbug is pretty good at creating memetic hazards

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

erlehmann: especially since i had followed the urbit story at that time

erlehmann: asciilifeform my fault. i should have assumed differently.

erlehmann: a simple task, really. and one i have used to mock the workings of nock (heh)

erlehmann: i remember that blog post i think

erlehmann: as far as i can remember, i actually used it for debugging

erlehmann: asciilifeform my implementation has the questionable benefit of seeing each step of the reduction rules being applied. screenshot: http://i.imgur.com/qh3zvSv.png

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?

erlehmann: oh, that. well, i would argue the hints in hoon are enough to discount that stuff.

erlehmann: i agree with your assessment of urbit btw

erlehmann: i know that

erlehmann: asciilifeform i think one of the reasons why i thought it was satire was “Make RSA Great Again”

erlehmann: at least i am not aware of garbagemen having groupies

erlehmann: asciilifeform i have probably done more work on automatically capturing non-existence dependencies in real-world usecases (which seems also trivial, in retrospect) – so is it now my idea? why should i care what the guy says if he does not followup with code?

erlehmann: also non-existence dependencies. yeah, i read it at djb's website, but if his implementation does not exist (not published = not existing in practical terms), i don't care about his opinions regarding that.

erlehmann: often not, yes. to understand why URbit is designed in such an idiosyncratic way, i always suggest to read unqualified reservations first.

erlehmann: i come from imageboard culture, where discussions only devolved into shitting on each other if a person was assuming a name

erlehmann: i have no interest in arguing about djb's merits tbh

erlehmann: but then again i was sceptical of weev's aryan awakening at first as well

erlehmann: i believed the suggestion to let NIST generate your private key was sarcasm

erlehmann: i think it is like fefe said: a) tenure b) does not care

erlehmann: phf i believe redo is an unpolished gem. sadly, many people implement it ALMOST correctly and then do something stupid

erlehmann: and by ”massively shitty” i mean apenwarr used sqlite because “filesystem is slow of course”. turns out 300 lines of shell script are faster than more than double that amount of python if you actually benchmark and not talk out of your own ass.

erlehmann: phf if you want to learn about redo, i suggest to: 1. read djb's notes. 2. read http://news.dieweltistgarnichtso.net/bin/redo-sh.html and my man page 3. avoid apenwarr's unmaintained implementation (it is the only one that got some popularity, but massively shitty)

erlehmann: second: “i have written a redo implementation, does it work correctly?”, i again lost him. he suggested to meet at a place at a time during the conference and i thought i knew the place but apparently i erred because there was no place with the name i thought he had said.

erlehmann: first: “where is your redo implementation?”, i believe his answer was like “has to be cleaned up before release” or something before i stupidly decided to come back later bcause he was answering crypto questions

erlehmann: i had two interactions with djb regarding that

erlehmann: i suspect he has at least a prototype, but he has never published it. reason: i found dofiles in some stuff about elliptic curves.

erlehmann: i think the main reason for me implementing and using redo is that the scripts work fine without all the logic. it is just an optimization.

erlehmann: regarding redo: needing dependencies is not limited to compiling programs. datasets are also something. i build my website with redo. i have managed converted media files with redo. i would not want to wait hours for the re-encoding of each file every time i rebuild a web site.

erlehmann: whatever, i use rc shell for day to day work. but sh is portable and bash is not.

erlehmann: i consider bash an abomination

erlehmann: i also consider building stuff not very interesting. but redo is so simple that it can be implemented in <250 lines of shell script.

erlehmann: phf i hope this change flies without a vpatch, should be evident it is not malicious

erlehmann: phf http://i.imgur.com/UuhywZT.png

erlehmann: if i ever get around to making my own v toolchain (probably in bourne shell, for portability and clarity), i'll address that of course.

erlehmann: v looks like a nice approach as far as i can see (and is the reason i chose to join #trilema), but as i commented, i suspect there exist parser differentials

erlehmann: asciilifeform do you have an opinion on DJB redo? or maybe even a simpler design? i would only trust my own implementation and MAYBE the one from jonathan de boyne pollard (although he requires a C++ compiler as a dependency, lol) ☟︎

erlehmann: asciilifeform i like your project names

erlehmann: as a free-software enthusiast myself, i have managed to experience many invitations to “netflix and chill” entirely without netflix. freedoms preserved!

erlehmann: and rms was like “no, it was not flirting, i am very sure”

erlehmann: > A friend once asked me to watch a video with her that she was going to display on her computer using Netflix. I declined, saying that Netflix was such a threat to freedom that I felt uncomfortable with promoting its use in this way.

erlehmann: last time i wrote him it was because of this https://stallman.org/netflix.html

erlehmann: asciilifeform if you are interested, i suggest to email rms yourself. he answers.

erlehmann: as far as i can remember, we did not talk about fpga. his example was some company creating your board and not you.

erlehmann: i once met rms at a conference and asked him about viability of free hardware. his answer was along the lines of 1. apparently non-free hardware has worked for decades 2. whoever makes your board can still subvert your trustworthy design, you can't check that 3. maybe if we have star-trek-style replicators one day, hahaha

erlehmann: for some reason i thought of asciilifeform when i learned about the MNT VA2000 amiga graphics card