(trilema) gabriel_laddel: How about a working linux?!
(trilema) gabriel_laddel: Does any commercial Lisp IDE have a fast autocomplete that works like "apropos at point" ie, across all packages?
(trilema) gabriel_laddel: wtf is the *point* if I can't go back in time to something stable.
(trilema) gabriel_laddel: I was shocked to find out that they only keep the couple most recent versions of everything in the master repository.
(trilema) gabriel_laddel: asciilifeform: have you, or will you be emailing any of the gentoo mirror maintainers asking around for backups?
(trilema) gabriel_laddel: !s Lothar's potion
(trilema) gabriel_laddel: !s Lothar Neethling
(trilema) gabriel_laddel: !s Wouter Basson
(trilema) gabriel_laddel: asciilifeform: are you aware of any molecules with symmetries like [6,6] chiralane?
(trilema) gabriel_laddel: !up pete_dushenski
(trilema) gabriel_laddel: asciilifeform: https://www.youtube.com/watch?v=AsI27lrFWis
(trilema) gabriel_laddel: e.g., don't let smelly homeless into the neato hacker fortress in SF
(trilema) gabriel_laddel: if they'd just get out of the way, it would be a lot of fun.
(trilema) gabriel_laddel: Hrm. In the silly valley the problem with these hackerspaces is typically idiots everywhere.
(trilema) gabriel_laddel: ^ web2.0
(trilema) gabriel_laddel: what is a stream
(trilema) gabriel_laddel: gotcha
(trilema) gabriel_laddel: asciilifeform: hence derive.
(trilema) gabriel_laddel: mircea_popescu: I remember reading it, and at the time I couldn't tell if you were discussing seriously using V as a basis for academics, or just the general notion of having a explicit academic WoT.
(trilema) gabriel_laddel: by vmath you mean PGP based academics?
(trilema) gabriel_laddel: could you elaborate or point me to some lit?
(trilema) gabriel_laddel: asciilifeform: the models being shit is because of the von-n bottleneck, no?
(trilema) gabriel_laddel: why the dentist & plastic surgeon?
(trilema) gabriel_laddel: ^ canonical repo
(trilema) gabriel_laddel: punkman: what are you looking for? I'm pretty familiar with the current state of the docs.
(trilema) gabriel_laddel: punkman: not that I'm aware of
(trilema) gabriel_laddel: last piece in the complete CLIM desktop experience
(trilema) gabriel_laddel: (a CLIM dired implementation)
(trilema) gabriel_laddel: I got flexi-trivial-dired to sorta work!
(trilema) gabriel_laddel: phf: have you used CLIM?
(trilema) gabriel_laddel: phf: you're an old lisp hand right?
(trilema) gabriel_laddel: phf: sorta like the chinese system?
(trilema) gabriel_laddel: post em here
(trilema) gabriel_laddel: BingoBoingo: and photos of that agent
(trilema) gabriel_laddel: BingoBoingo: anyways, you should really take a cruise
(trilema) gabriel_laddel: trinque: I have a photo of the agent's card, actually
(trilema) gabriel_laddel: trinque: unless I'm greatly mistaken, he has a court case for something or other physical and US dept of treasury agents have dropped by his house b/c btc.
(trilema) gabriel_laddel: trinque: why?
(trilema) gabriel_laddel: COMPUTERS DUDE
(trilema) gabriel_laddel: BingoBoingo: The pics would be for our intel systems dude
(trilema) gabriel_laddel: it would also be cool to fly in and do the same, but you can't b/c the court
(trilema) gabriel_laddel: BingoBoingo: anyways, let me spell this out for you - it'd be really cool to take a cuise down to BA, get coffee with MP and cruise back right?
(trilema) gabriel_laddel: Facial recognition goes both ways. I could use pics.
(trilema) gabriel_laddel: BingoBoingo: take pics of that?
(trilema) gabriel_laddel: oh my fuck you're missing my point.
(trilema) gabriel_laddel: BingoBoingo: and write a Qntra article about walking off the reserve.
(trilema) gabriel_laddel: BingoBoingo: right. So sail around.
(trilema) gabriel_laddel: BingoBoingo: yea, but I thought you were scared of the gangs?
(trilema) gabriel_laddel: asciilifeform: ah, but notice BingoBoingo's problem isn't the cash for the ticket
(trilema) gabriel_laddel: BingoBoingo: have you ever thought about taking a cruise down to SA?
(trilema) gabriel_laddel: my guess: price-point
(trilema) gabriel_laddel: trinque: settling in nicely?
(trilema) gabriel_laddel: speaking of which, do you know how Al burned off "half his skin"?
(trilema) gabriel_laddel: girls in labs
(trilema) gabriel_laddel: A tangentially related lol: http://log.bitcoin-assets.com/?date=14-11-2014#922449
(trilema) gabriel_laddel: they suck
(trilema) gabriel_laddel: the current issue is the people involved with the black market
(trilema) gabriel_laddel: asciilifeform: that problem reduces to "why doesn't MP run of with MPEX funds"
(trilema) gabriel_laddel: and by pharma, I don't mean dope
(trilema) gabriel_laddel: I wish the black market folk would get their shit together, start buying spectroscopy equipment and setup "trap houses" where you can go verify the pharma you buy is what you think you're buying.
(trilema) gabriel_laddel: Pardon?
(trilema) gabriel_laddel: which is to say !s anything made for $20k or so
(trilema) gabriel_laddel: I love how *everyone* either missed or ignored where ascii was taking the "cocaine sales practice as a measure of USG power, whatever its form" thread.
(trilema) gabriel_laddel: A PHD in string theory!
(trilema) gabriel_laddel: If a man tries to fail and succeeds, which did he do?
(trilema) gabriel_laddel: Wow, brilliant guys. Really, truly, innovative. Von N., Turing, Engelbart, McCarthy etc would be proud.
(trilema) gabriel_laddel: "No Comments Allowed on Reddit’s New News Site ‘Upvoted’"
(trilema) gabriel_laddel: You ask way too much.
(trilema) gabriel_laddel: Close all that you have worked on.
(trilema) gabriel_laddel: ABORTED effort:
(trilema) gabriel_laddel: But now it is gone.
(trilema) gabriel_laddel: It might be very useful.
(trilema) gabriel_laddel: A file that big?
(trilema) gabriel_laddel: * * * Windows error messages in haiku
(trilema) gabriel_laddel: most are meh, but w/e
(trilema) gabriel_laddel: "Grigori Perelman's theorem: There is no offer you can't refuse."
(trilema) gabriel_laddel: "What do you get when you cross a joke with a rhetorical question?"
(trilema) gabriel_laddel: "Entropy isn't what it used to be."
(trilema) gabriel_laddel: some choice lines
(trilema) gabriel_laddel: sure, it is only a temporary solution, but we've no other option
(trilema) gabriel_laddel: asciilifeform: what is wrong with stockpiling AMD opterons?
(trilema) gabriel_laddel: fire the client?
(trilema) gabriel_laddel: Bahaahahah the 2nd comment is from Joe Armstrong (created Erlang) and reduces to "yeah, I dunno".
(trilema) gabriel_laddel: I love that these people *never* question the god-given axiom "all GUI development must be done on 'the web'"
(trilema) gabriel_laddel: This is terrible and we should all be ashamed. No wonder PHP is so popular. How am I supposed to tell a new web developer that this is what they have to look forward to?"
(trilema) gabriel_laddel: And I’m really not picking on Ruby, or Rails, or this particular app. I hate deploying my own web software, because there are so many parts all over the system that only barely know about each other, but if any of them fail then the whole shebang stops working. I have at least five things just running inside tmux right now, because at least I can read the logs and restart them easily.
(trilema) gabriel_laddel: Instead, we stack layer after layer of additional convoluted crap on top of what we’ve already got because we don’t know how to fix it. Instead, we flit constantly from Thin to Mongrel to Passenger to Heroku to Bitnami to Docker to whatever new way to deploy trivial apps came out yesterday. Instead, we obsess over adding better Sass integration to our frameworks.
(trilema) gabriel_laddel: "We’ve been doing this for 20 years. We should have this by now. It should work, it should be pluggable and agnostic, and it should do everything right — so if you threw away the web gui, it would look like something a very tidy sysadmin set up by hand, not autogenerated sludge.
(trilema) gabriel_laddel: Oh Stas, what a treat. TY.
(trilema) gabriel_laddel: Google drive link to quality video: https://drive.google.com/file/d/0Bznn0f9Mk3KAd21xY21pczRDTGs/view?usp=sharing
(trilema) gabriel_laddel: ben_vulpes: to be clear - I've "banged together" nothing, unless you want to count a patch allowing one to use truetype fonts. The majority of my work is assembling obtuse packages for noobz with justification as to *why* certain decision were made.
(trilema) gabriel_laddel: Terrible quality, but I can't be arsed to fix for something so minor.
(trilema) gabriel_laddel: ben_vulpes: http://log.bitcoin-assets.com//?date=10-09-2015#1269708 << https://www.youtube.com/watch?v=sLsvFjuQFAk
(trilema) gabriel_laddel: Now, I don't *know* exactly what particular sexpr will 'click' for my program, so I'll write a few versions, find something I like and then distribute it.
(trilema) gabriel_laddel: Completing the above thought (CLIMweb) : there are two obvious categories of references, those that contain (backup) the reference and those that do not. Those that do not should be of one of two types - an identifier coupled with an identity, which you can use to lookup in the WoT you can "see" and "speculative" references, e.g., some arbitary computation.
(trilema) gabriel_laddel: (eval (read-from-string "(mjr_meta::mjr_meta_use-packages :BASE-PATH \"~/quicklisp/local-projects/lispy/\")")))
(trilema) gabriel_laddel: (eval (read-from-string "(mjr_meta::mjr_meta_load-packages :BASE-PATH \"~/quicklisp/local-projects/lispy/\")"))
(trilema) gabriel_laddel: (load (merge-pathnames mjrcalc-path "lib-meta.lisp"))
(trilema) gabriel_laddel: (let* ((mjrcalc-path (qlpp "/lispy/")))
(trilema) gabriel_laddel: ben_vulpes: ftr, MJR_CALC compiles without any work on my part aside from
(trilema) gabriel_laddel: ben_vulpes: http://www.mitchr.me/SS/mjrcalc/
(trilema) gabriel_laddel: oh right, I knew that
(trilema) gabriel_laddel: sure, but you rewrite sentences several times before you distribute.
(trilema) gabriel_laddel: so, for example, the notion of references on a CLIMweb running on a WoTnet
(trilema) gabriel_laddel: mircea_popescu: and wrt "hacking around until something clicks", this is the only way I know how to work on UIs and other 'finicky' programs? You certainly don't distribute this to friends who don't program.
(trilema) gabriel_laddel: mircea_popescu: as for that quote, agreed - I should have quoted 3 paragraphs up.
(trilema) gabriel_laddel: mircea_popescu: http://www.femlisp.org/
(trilema) gabriel_laddel: all loaded in the same proc, all with access to BLAS, CUDA etc.
(trilema) gabriel_laddel: for those of you who have not seen femlisp, MGL-MAT and MJR_CALC, the full nifty of this might not be readily apparent.
(trilema) gabriel_laddel: so I have CLIM etc
(trilema) gabriel_laddel: yeah
(trilema) gabriel_laddel: ben_vulpes: but goddamnit I need interns. I got maxima loaded into my master lisp proc over the weekend and I'm going to play around with that whenever I have free time.
(trilema) gabriel_laddel: ben_vulpes: you can use it iff you follow the guide
(trilema) gabriel_laddel: ben_vulpes: slowly
(trilema) gabriel_laddel: ben_vulpes: I should actually be cutting out options right now, but I'm instead drinking and browsing the net
(trilema) gabriel_laddel: ben_vulpes: I did the project, they thought it had "too many options" so I'm cutting some out
(trilema) gabriel_laddel: ben_vulpes: something like that
(trilema) gabriel_laddel: punkman: yeah, several people have dropped that link on me
(trilema) gabriel_laddel: ;; ud FYIAD
(trilema) gabriel_laddel: mircea_popescu: fuck you and your intuition about things
(trilema) gabriel_laddel: you can hang whoever
(trilema) gabriel_laddel: whatever, the point is that the structure is available for me to make arbitrary computations against
(trilema) gabriel_laddel: BingoBoingo: bind real eval to nil
(trilema) gabriel_laddel: because morons.
(trilema) gabriel_laddel: "I don't want to see people who cite XYZ"
(trilema) gabriel_laddel: BingoBoingo: yep.
(trilema) gabriel_laddel: none of this is hard to code - you hack around until something "clicks"
(trilema) gabriel_laddel: it will evolve out of whatever the "networking" substrate ends up being and tbh, I don't see what the big deal is?
(trilema) gabriel_laddel: where :name names the program, :version, the version
(trilema) gabriel_laddel: trinque: I have a listing of programs associated with my PGP identity, you can make references to them, and people will be able to see them (or not) based on my trust relationship with them. Your "references" can be any arbitary computation, buut probably some standards will evolve (e.g., we don't check sexprs who pass some test of being a plist of the structure (:name ... :version ...)).
(trilema) gabriel_laddel: trinque: this is how URLs work already.
(trilema) gabriel_laddel: nano sources: Total Physical Source Lines of Code (SLOC) = 21,577
(trilema) gabriel_laddel: using whatever criteria you'd like
(trilema) gabriel_laddel: trinque: you can only make a reference with 'respect to me'
(trilema) gabriel_laddel: or "here are the sources"
(trilema) gabriel_laddel: I don't see how you'll be able to reference things on WoTnet further than "the joe I know with this pub key"
(trilema) gabriel_laddel: trinque: PGP identity with a list of programs to run.
(trilema) gabriel_laddel: trinque: Right now I can press C-t m, pull up a "map" of all "research nodes" and "lessons" and right click to get a menu from which I can run the associated program.
(trilema) gabriel_laddel: or do you want a spec for how the "dispatch" occurs?
(trilema) gabriel_laddel: sorry, are you asking what the UI should look like?
(trilema) gabriel_laddel: trinque: you call a program to display my paper?
(trilema) gabriel_laddel: ^ quote I was looking for
(trilema) gabriel_laddel: trinque: https://groups.google.com/forum/message/raw?msg=comp.lang.lisp/XpvUwF2xKbk/Xz4Mww0ZwLIJ
(trilema) gabriel_laddel will find nano LoC stats *after* I find the quote I am looking for.
(trilema) gabriel_laddel: dunno what I'm missing here
(trilema) gabriel_laddel: and airgap
(trilema) gabriel_laddel: "Do I like this string, would I like more from the identity that produced it?"
(trilema) gabriel_laddel: the end
(trilema) gabriel_laddel: then read in the string
(trilema) gabriel_laddel: holy fuck, bind *read-eval* to nil
(trilema) gabriel_laddel: you shouldn't.
(trilema) gabriel_laddel: trinque: ?
(trilema) gabriel_laddel: self driving cars
(trilema) gabriel_laddel: or thereabouts
(trilema) gabriel_laddel: SBCL is 400k
(trilema) gabriel_laddel: vs. SBCL?
(trilema) gabriel_laddel: how many LoC is nano?
(trilema) gabriel_laddel: mircea_popescu: well by that token, the same stands for nano
(trilema) gabriel_laddel: just do it
(trilema) gabriel_laddel: it isnt' a big deal
(trilema) gabriel_laddel: I fucking write "apps" for it now, for money.
(trilema) gabriel_laddel: BingoBoingo: I do?
(trilema) gabriel_laddel: mircea_popescu: the people who authored CL thought of your use case.
(trilema) gabriel_laddel: mircea_popescu: you're still missing the whole "bind *real-eval* to nil" part of the discussion
(trilema) gabriel_laddel: that browser (to me) means strictly JS+CSS+HTML
(trilema) gabriel_laddel: trinque: the whole lispm is a "browser" if you go that direction with words.
(trilema) gabriel_laddel: trinque: well these are all very good questions, but that's application development.
(trilema) gabriel_laddel: trinque: I don't see how this is a problem?
(trilema) gabriel_laddel: if you don't like it, well, you've got the sexprs right there
(trilema) gabriel_laddel: trinque: so someone could write and distribute a "~google search" that looks over the CLIM streams of all GUIs it knows about.
(trilema) gabriel_laddel: WoTnet.
(trilema) gabriel_laddel: the "scaffolding" will evolve as you go
(trilema) gabriel_laddel: dunno what else you could possibly want, other than sane 3D etc.
(trilema) gabriel_laddel: Sure, I send you a sexpr containing a program you can load.
(trilema) gabriel_laddel: finding link
(trilema) gabriel_laddel: one sec
(trilema) gabriel_laddel: You want Super-Meta-Click IMHO
(trilema) gabriel_laddel: here are some objects, display them. "OK"
(trilema) gabriel_laddel: I don't get why I need another language?
(trilema) gabriel_laddel: why not use presentations?
(trilema) gabriel_laddel: but I want the AST!
(trilema) gabriel_laddel: maxima has it's own syntax, for example.
(trilema) gabriel_laddel: trinque: they didn't do *everything* correctly, but yes.
(trilema) gabriel_laddel: trinque: it does?
(trilema) gabriel_laddel: what, every MMORPG is a "web" too?
(trilema) gabriel_laddel: just programs with networking functionality
(trilema) gabriel_laddel: why "web"
(trilema) gabriel_laddel: wtf is this hypertext
(trilema) gabriel_laddel: trinque: presentation methods!?
(trilema) gabriel_laddel: building tesseract atm
(trilema) gabriel_laddel: we shall see how it goes
(trilema) gabriel_laddel: my plan is to OCR + script the fuck out of the web
(trilema) gabriel_laddel: unless I'm missing something big
(trilema) gabriel_laddel: punkman: there isn't really anyway out of that
(trilema) gabriel_laddel: BingoBoingo: nope.js is the name of the transpiler
(trilema) gabriel_laddel: which will take some work
(trilema) gabriel_laddel: scripting it with PS sucks unless it is the "base layer" of the UI
(trilema) gabriel_laddel: needs some love
(trilema) gabriel_laddel: it does about 40% right now
(trilema) gabriel_laddel: punkman: trinque: the idea here is to use nope.js on conkeror, which is written in js
(trilema) gabriel_laddel: srsly gtfo
(trilema) gabriel_laddel: (it does an old version of JS)
(trilema) gabriel_laddel: (partially complete)
(trilema) gabriel_laddel: trinque: he is discussing nope.js, the javascript to parenscript transpiler
(trilema) gabriel_laddel: apt-get install sbcl or whatever.
(trilema) gabriel_laddel: BingoBoingo: why take my (or anyone else's) word for it, spin up an SBCL REPL.
(trilema) gabriel_laddel: trinque: lol, we understand each other. BingoBoingo doesn't though.
(trilema) gabriel_laddel: BingoBoingo: I swear to you that you can input arbitrary strings in LISP.
(trilema) gabriel_laddel: I cut 3 paragraphs from that quote, which are quite relevent to this conversation.
(trilema) gabriel_laddel: EWD10xx/EWD1036.html
(trilema) gabriel_laddel: e bit further back, to the Middle Ages. One of its characteristics was that 'reasoning by analogy' was rampant; another characteristic was almost total intellectual stagnation, and we now see why the two go together. A reason for mentioning this is to point out that, by developing a keen ear for unwarranted analogies, one can detect a lot of medieval thinking today." -- https://www.cs.utexas.edu/~EWD/transcriptions/
(trilema) gabriel_laddel: "On the historical evidence I shall be short. Carl Friedrich Gauss, the Prince of Mathematicians but also somewhat of a coward, was certainly aware of the fate of Galileo —and could probably have predicted the calumniation of Einstein— when he decided to suppress his discovery of non-Euclidean geometry, thus leaving it to Bolyai and Lobatchewsky to receive the flak. It is probably more illuminating to go a littl
(trilema) gabriel_laddel: trinque: reader macros or macros?
(trilema) gabriel_laddel: Reader macros also allow you to deal with syntax mechanically for whatever it's worth.
(trilema) gabriel_laddel: Partially through translating the imaxima LaTeX stuff such that you can take a maxima AST, view it as LaTeX, maxima syntax or lisp all at the CLIM listener.
(trilema) gabriel_laddel: and figured out how to get and eval maxima ASTs
(trilema) gabriel_laddel: trinque: I got maxima loaded into my master lisp proc
(trilema) gabriel_laddel: trinque: hey guess what
(trilema) gabriel_laddel: good for them
(trilema) gabriel_laddel: nothing particularly challenging about it
(trilema) gabriel_laddel: yeah
(trilema) gabriel_laddel: trinque: Oh.
(trilema) gabriel_laddel: trinque: at the beginning of (I'd assume "A Realistic Solution to the Education Problem" but don't see it there)?
(trilema) gabriel_laddel: which you already speak, because you're lisping
(trilema) gabriel_laddel: because you can always "open up" any "structure" and are guaranteed to get more of the same i.e., lisp, i.e., sexprs
(trilema) gabriel_laddel: and all your tooling always works
(trilema) gabriel_laddel: so you never have to write another parser
(trilema) gabriel_laddel: punkman: When you hack lisp, everything "deals in" (modifies, returns) these structures.
(trilema) gabriel_laddel: now, that AST (in blue) can be mapped, with no loss of information to the "lisp" (s-expression) under it: (/ (* (+ 3 2) 8) (* 3 (^ 3 6)))
(trilema) gabriel_laddel: http://gabriel-laddel.github.io/arsttep.html#sec-6-2-1 << check the image here out
(trilema) gabriel_laddel: so, this doesn't happen in lisp because everything IS it's own AST, as is.
(trilema) gabriel_laddel: because you can't "get at" the AST, because that isn't how people naively write parsers.
(trilema) gabriel_laddel: punkman: and everytime this happens you need all new tooling for this new language, right?