log☇︎
130800+ entries in 0.073s
asciilifeform: lol in this sense an adder is 'specialcase of satsolver' ☟︎
phf: v runs with a special case of sat solver. i don't understand which part of "asdf doesn't have a sat solver" and "sat is never mentioned" is not clear. i'm saying that whatever dependency resolution is always a special case of sat. you put some contraints on it (no cirlces, etc.) and then you can have special case solutions.
asciilifeform: lemme guess, there are blocking packages ? that can't be used together on 1 system ?!
phf: and there's probably no formal sat in asdf. i'm saying that bulk of dependency resolution problems would come from sat though
asciilifeform: why is that in there??
phf: fare claims somewhere that he solved a gnarly dependency resolution bug in asdf, but the nature of bug is never revealed, and SAT is never mentioned (i suspect most bugs in asdf would be SAT related)
phf: also particularly gendered packages outright put #-asdf3 (error "requires asdf3") and ~usually~ it's because they silently rely on uiop, far's unix compatability layer ☟︎
phf: there's actually some extensions that are not necessarily evil (like :email or :author in a defsystem), bulk of fail comes from test-op, that's not supported in old version, but that nobody uses test-op consistently at all
phf: ben_vulpes: note that older versions of asdf actually work. i've been running 1.369 in my cmucl, and it does require manually updating half of your asdf to remove various later extensions, but it works ☟︎
ben_vulpes: phf: neat summary, ty
asciilifeform: nao this is so. it prolly oughta use naked sbclism for sockets.
phf: (fwiw ircbot is already sbcl specific, since it relies on a bunch of sbcl threading extensions, so pulling compat layer for cl-irc is a waste)
phf: one solution could be to, e.g. post cl-irc, but hard coded to a specific sbcl implementation. whoever wants to port it elsewhere (like cmucl or whatever) can just post a #-sbcl #+cmucl vpatch, etc.
asciilifeform: ( or whole effort is that very same submarine )
asciilifeform: and naturally no pulling-in of anything , in asdf or other packagetron, that hasn't been vgenesised.
asciilifeform: point is that it becomes removable!
asciilifeform: i expect there'll be plenty of rubbish in the genesis. as there was in trb.
phf: (not to mention what i bring up all the time, that asdf itself is the horror now)
phf: and it is submarine with screen doors. it's possible that asdf in vpatches is the door through which the horror comes.
phf: it would be perhaps worthwhile to triangulate sbcl towards a common deployment platform
phf: it's not added up to coherent whole yet. so far the conclusion is that compatability layers are evil, and that you basically have to maintain own versions of everything that abstracts your lisp implementation details
asciilifeform: or at least the process whereby produced.
asciilifeform: gotta post these fixes
phf: (which is by the way not what i do, i just fucking fix. every. single. fucking. piece. of. quicklisp. packaged. code. i. get. my. hands. on. motherfuckers) ☟︎
phf: if you want all of your compatability layers to work, you are forced to run trunk of everything.
asciilifeform can't wait to tip that particular cement mixer..
phf: but usocket probably defensively passes serve-events nil to make sure that "legacy" machinery doesn't kick in, because nobody knows about it, or wants to deal with it
phf: so instead of addressing the core machinery, they put these hooks all over the place, where some things are part of serve event, and some are not. anyway, you ran into the fact that 1.0.42 introduced a flag to socket-make-stream :serve-events, which is true by default. it was later changed to false
asciilifeform: it was a whole majorversion of sbcl that simply won't usocket..
phf: so that's why you sometimes get an infinite error loop with fd-register somesuch when you abruptly lose connection
phf: asciilifeform: serve event is a cmucl way of tracking streams of every kind (since no threading, repl mainloop is a reactor pattern). sbcl has just lifted the whole thing, but then never really redid the architecture
phf: asciilifeform: i know this one, it's unix!
asciilifeform: meanwhile, in other recent 'to allcomers' lulz , https://archive.is/3OTat >> '...n the Tesla world as a Model S owner built a cryptocurrency mining rig in his electric car... The idea was suggested in order to use the free access to electricity with the Supercharger network. Technically, if someone is able to draw power from the Tesla to power those mining systems... '
asciilifeform: ^ triggered by the ircbot-connect invocation .
asciilifeform: ^ by all indications, cl-irc is broken by something-or-other in the massive pot-o-liquishit
asciilifeform: in other noose, ben_vulpes , trinque , ircbot on sbcl 1.0.38-3.el6 : http://wotpaste.cascadianhacker.com/pastes/aojeZ/?raw=true
mircea_popescu: imo the only proper root of 4chan.
asciilifeform: really he oughta have fallen victim to a falling turtle after writing 'anathem'.
mircea_popescu: asciilifeform dja know the group im talking of ? "pushkin should be thrown overboard the steamship of modernity" ?
asciilifeform: he went full tard coupla yrs ago. it was sad.
mircea_popescu: "Science fiction author Neal Stephenson has become the "Chief Futurist" of Magic Leap, an augmented reality company"
asciilifeform: this was the d00d's 1 properly original item.
asciilifeform: none of it is much of a reference to anything, save for a coupla old greeks
mircea_popescu: please tell me hylaea is not a reference to the fucking futurists
mircea_popescu: im set, thanx.
asciilifeform: ( unless you like flipping to the glossary, stephenson did a bit of lem-like play with language )
asciilifeform: you can throw the html.
mircea_popescu: o look, there's a pt07 AND a part07
mircea_popescu: the next article title will be "we shall now read anathem", if that wasn't obvious
mircea_popescu: asciilifeform can put it through bash grindfer, make it be text.
mircea_popescu has long despaired of any hope anyone would produce text in some kind of proper format.
asciilifeform: can load OPS/xhtml/contents.xhtml in lynx , i think
mircea_popescu: so give her a copy, correct the item she produces and there you go, she got a blog now.
mircea_popescu: doesn't the pet read ru ?
asciilifeform: 1 of these days asciilifeform gotta translate maslennikov. the ONLY afaik discussion of The Gaping Black Hole Of Cryptohokum that exists outside of tmsr.
BingoBoingo: The ordering is more one of prioritizing. No need to stop. At any number of languages, but the focus can shift. As time makes the spanish more comfortable, Portuguese is a natural next point of focus.
asciilifeform: ( does that exist in english ? )
asciilifeform: traditionally the 3 is in'ere. e.g. 'what three know, the sow knows'
a111: Logged on 2015-06-14 16:31 mircea_popescu: that's ok, the rule is 0 1 infinity.
a111: 1 result for "one two three infinity", http://btcbase.org/log-search?q=one%20two%20three%20infinity
asciilifeform: !#s one two three infinity
mircea_popescu: oh no fucking way. this was a leit-motif
mircea_popescu: BingoBoingo once man takes ibovniki, man can not stop at arbitrary count.
BingoBoingo: asciilifeform: It turns out that Portuguese is making a strong case for third lang
mircea_popescu: (for les autres : defloration is another word for losing one's virginity. the woman's name being lorena, and her disposition deeply pubescent anxiotic (you should know what this is) which is beyond ridiculous in a 40yo not to mention hysterical given the amount of compensatory covers-for-impotence she engages in, pretending entirely without basis to be an actress, poetess and whatnot -- the nedeflorena name immediately clicke
asciilifeform: BingoBoingo is prolly almost ready to eat it at this point
mircea_popescu: you'll ruin my idea of romanian difficulty and i'll end up going "what, you don't get this kindergarten fare?!?!" at poor innocent slavegirls.
mircea_popescu: you get that joke ?
asciilifeform: but moar like victorian typhoidal 'nedeflorena' or who was it ☟︎
mircea_popescu: no, they want to die quietly and alone in a corner.
mircea_popescu: "maybe if i sit really still i cease to be ? no ? how about if i also close eyes ? still ? plug ears as well, how about then ???"
asciilifeform: and not to die 'with a bang' driving panzer over untermenschen, either
mircea_popescu: what the american aims to is to no longer exist.
mircea_popescu: entirely chtonic civilisation, it copied more from the original socialists than just goebbel's radio playlist. it fucking copied the will-to-die, and substantially.
asciilifeform: would rather magic it away. like in microshit's ciphered patches. ( i knew folx who made a comfortable living simply by reversing those. )
a111: Logged on 2017-12-29 15:47 mircea_popescu: http://btcbase.org/log/2017-12-29#1760654 << fucking annoying this imperial summarization style. "it had a bug" costs as much to say as "it had so and so bug". but nooooo, god forbid anything effectual ever occurs.
asciilifeform: http://btcbase.org/log/2017-12-29#1760692 << they don't want you to LOOK at the 'bug'. elementarily. ☝︎
asciilifeform: this item is the sucking black hole of suction at the heart of all modern cryptohokum
a111: Logged on 2017-03-02 18:10 asciilifeform: a 'secure prng' is fundamentally THE SAME animal as the 'secure hash' and the 'secure blockcipher'.
asciilifeform: ^ thread.
a111: Logged on 2017-03-02 18:13 asciilifeform: they are sides of the same triangle.
BingoBoingo pretty sure thread had, but under what key words...
asciilifeform: could've sworn we had this thread.
a111: 0 results for "cipher triangle", http://btcbase.org/log-search?q=cipher%20triangle
asciilifeform: !#s cipher triangle
asciilifeform: but to return upstack , if one could design a satisfactory ( somehow! ) hash , it would thereby also necessarily be a satisfactory symm cipher. ☟︎
asciilifeform: ditto symmetric ciphers ( we already discussed, they are equivalent )
mircea_popescu: i keep trying to not think so.
mircea_popescu: reading the keccak lisp thing that unpleasant irk becomes inescapably evident : this is just fucking "advanced" rot 13.
BingoBoingo: And plenty of pretty girls need to know who to ask for a light
asciilifeform: you ain't ever getting those brain cycles back
asciilifeform: srsly shinohai reddit is worse habit than smoking
mircea_popescu: asciilifeform i very frankly expect exactly nothing to be done about it ; i'm just bitter and that's all.
asciilifeform: ( this is prolly doomed to happen in the end. i.e. gotta retarget gnat to a simplified mips or the like, and then run in emulator, verify actual clock cycle counts ) ☟︎
a111: Logged on 2017-12-29 15:35 asciilifeform: http://btcbase.org/log/2017-12-29#1760640 << would be interesting to see exactly how this 'bug' looked. but currently can't be arsed to unearth the old crud ( where even is it )
mircea_popescu: http://btcbase.org/log/2017-12-29#1760654 << fucking annoying this imperial summarization style. "it had a bug" costs as much to say as "it had so and so bug". but nooooo, god forbid anything effectual ever occurs. ☝︎☟︎
asciilifeform: would have to be emulated, and gcc retargeted...
asciilifeform: it also so happens that i do not own a non8bitbyte iron to test on, nor know where to obtain such.
asciilifeform: all of them but the FFA_IO items and the hex_digit thing.
asciilifeform: afaik all of the routines as they stand nao, will work on nontraditional bitnesses of bytes and bytenesses of words