Show Idle (>14 d.) Chans


← 2022-06-27 | 2022-06-29 →
08:05 crtdaydreams vex: asdfghjkl tig finally came today, wia 200i ac/dc
08:14 crtdaydreams anyone hacking a cl implementation of pest yet?
~ 4 hours 10 minutes ~
12:24 asciilifeform crtdaydreams: iirc phf was baking one, but not posted yet. ( and asciilifeform a while ago started, but that one quite rudimentary and no frontend yet at all )
~ 3 hours 29 minutes ~
15:53 shinohai http://logs.nosuchlabs.com/log/asciilifeform/2022-06-28#1109430 << I personally would not fault asciilifeform at all if this only had irc frontend for now.
15:53 dulapbot Logged on 2022-06-28 08:21:29 asciilifeform: crtdaydreams: iirc phf was baking one, but not posted yet. ( and asciilifeform a while ago started, but that one quite rudimentary and no frontend yet at all )
15:54 asciilifeform shinohai: was thinking re 'move ircism to an annex in spec and replace with universal frontend' but opens q 'what is 'universal frontend'
15:55 asciilifeform ( irc, recall, has no intrinsic notion of log, 'here's an old msg you missed', or of threading, or of hearsay relayer lists, etc )
15:57 shinohai Despite the quirks with relying on irctronic frontend, I'm pretty happy with current implementations. I could imagine worse ways to do comms.
15:59 asciilifeform shinohai: even from 'better irc' pov, still plenty of work to do -- e.g. integration with old irctronic loggers is rubbish atm ( no way to enforce ordering of msgs )
15:59 asciilifeform and the 'order buffer' thing is a kludge imho
15:59 dulapbot (pest) 2022-06-20 asciilifeform: ... the 'order buffer' otoh would be superfluous in a 'mutable' pestron.
16:00 asciilifeform the irc frontend is very much, imho, a straightjacket
16:01 asciilifeform obv can't dispensed with just yet, but protocol oughtn't to be baked ~around~ it
16:01 dulapbot (pest) 2022-06-20 asciilifeform: awt: theoretically could still operate a pestron via irc frontend, but perhaps the Right Thing would be for the buffer logic to live in a separate glue (given as irc offers no way to represent 'changing the past')
~ 2 hours 36 minutes ~
18:37 verisimilitude My solution exposes Pest with two logs: A log of red packets and a log of packet identifiers with a count and list of peer identifiers who sent the packets; a special value enables cases in which all peers sent the packet to use constant space.
18:37 asciilifeform verisimilitude: iirc we had this thread. why the fuck wouldja store dupe packets.
18:38 verisimilitude It's a log of deduplicated red packets.
18:38 verisimilitude It's what would be sent to the IRC interface.
18:38 asciilifeform this is roughly equiv. to what happens presently
18:39 asciilifeform also can't resist to bite, how wouldja 'constant space' when can add new peers ?
18:39 verisimilitude Let the count of zero indicate all current peers sent the corresponding packet.
18:40 verisimilitude If I don't finish my Pest in time, before the major shift, I'll hack this into someone's Pest so that I may build tooling around the interface anyway.
~ 2 hours 13 minutes ~
20:53 * asciilifeform evidently misparsed verisimilitude's orig sentence
~ 1 hours 18 minutes ~
22:11 verisimilitude It's interesting to refresh myself on CDR-coding and then think of this. The Lisp machines used the most obvious option to terminate a CDR-coded list, a simple NIL state.
22:14 verisimilitude That does result in fewer bits to check, compared to checking a cell holding NIL.
22:15 verisimilitude How do we pronounce NIL? I used to pronounce it like ``ill'', but the Romans pronounced it as ``kneel'', so now I also do so.
22:16 verisimilitude For the same reason, I now pronounce null like ``school'' and not ``skull''.
22:20 mats sick
22:20 verisimilitude That's an odd way to pronounce it, but alright.
~ 46 minutes ~
23:06 * asciilifeform reads'em as нил and нул and only when reminded remembers that not errybody does, lol
23:08 asciilifeform ( 'neel' and 'nool' roughly )
~ 22 minutes ~
23:30 verisimilitude We match now, asciilifeform.
23:33 phf Весёлые приключения Нила и Нула Компьютерном Мире
← 2022-06-27 | 2022-06-29 →