log☇︎
2400+ entries in 0.028s
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"
gabriel_laddel: trinque: PGP identity with a list of programs to run.
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.
gabriel_laddel: ...
gabriel_laddel: or do you want a spec for how the "dispatch" occurs?
gabriel_laddel: sorry, are you asking what the UI should look like?
gabriel_laddel: trinque: you call a program to display my paper?
gabriel_laddel: ^ quote I was looking for
gabriel_laddel: trinque: https://groups.google.com/forum/message/raw?msg=comp.lang.lisp/XpvUwF2xKbk/Xz4Mww0ZwLIJ
gabriel_laddel will find nano LoC stats *after* I find the quote I am looking for.
gabriel_laddel: dunno what I'm missing here
gabriel_laddel: and airgap
gabriel_laddel: "Do I like this string, would I like more from the identity that produced it?"
gabriel_laddel: the end
gabriel_laddel: then read in the string
gabriel_laddel: holy fuck, bind *read-eval* to nil
gabriel_laddel: you shouldn't.
gabriel_laddel: trinque: ?
gabriel_laddel: self driving cars
gabriel_laddel: or thereabouts
gabriel_laddel: SBCL is 400k
gabriel_laddel: vs. SBCL?
gabriel_laddel: how many LoC is nano?
gabriel_laddel: mircea_popescu: well by that token, the same stands for nano
gabriel_laddel: just do it
gabriel_laddel: it isnt' a big deal
gabriel_laddel: I fucking write "apps" for it now, for money.
gabriel_laddel: BingoBoingo: I do?
gabriel_laddel: mircea_popescu: the people who authored CL thought of your use case.
gabriel_laddel: mircea_popescu: you're still missing the whole "bind *real-eval* to nil" part of the discussion
gabriel_laddel: that browser (to me) means strictly JS+CSS+HTML
gabriel_laddel: trinque: the whole lispm is a "browser" if you go that direction with words.
gabriel_laddel: trinque: well these are all very good questions, but that's application development.
gabriel_laddel: trinque: I don't see how this is a problem?
gabriel_laddel: if you don't like it, well, you've got the sexprs right there
gabriel_laddel: trinque: so someone could write and distribute a "~google search" that looks over the CLIM streams of all GUIs it knows about.
gabriel_laddel: WoTnet.
gabriel_laddel: the "scaffolding" will evolve as you go
gabriel_laddel: dunno what else you could possibly want, other than sane 3D etc.
gabriel_laddel: Sure, I send you a sexpr containing a program you can load.
gabriel_laddel: finding link
gabriel_laddel: one sec
gabriel_laddel: You want Super-Meta-Click IMHO
gabriel_laddel: here are some objects, display them. "OK"
gabriel_laddel: I don't get why I need another language?
gabriel_laddel: why not use presentations?
gabriel_laddel: but I want the AST!
gabriel_laddel: maxima has it's own syntax, for example.
gabriel_laddel: trinque: they didn't do *everything* correctly, but yes.
gabriel_laddel: trinque: it does?
gabriel_laddel: what, every MMORPG is a "web" too?
gabriel_laddel: just programs with networking functionality
gabriel_laddel: why "web"
gabriel_laddel: wtf is this hypertext
gabriel_laddel: trinque: presentation methods!?
gabriel_laddel: building tesseract atm
gabriel_laddel: we shall see how it goes
gabriel_laddel: my plan is to OCR + script the fuck out of the web
gabriel_laddel: unless I'm missing something big
gabriel_laddel: punkman: there isn't really anyway out of that
gabriel_laddel: BingoBoingo: nope.js is the name of the transpiler
gabriel_laddel: which will take some work
gabriel_laddel: scripting it with PS sucks unless it is the "base layer" of the UI
gabriel_laddel: needs some love
gabriel_laddel: it does about 40% right now
gabriel_laddel: punkman: trinque: the idea here is to use nope.js on conkeror, which is written in js
gabriel_laddel: srsly gtfo
gabriel_laddel: (it does an old version of JS)
gabriel_laddel: (partially complete)
gabriel_laddel: trinque: he is discussing nope.js, the javascript to parenscript transpiler
gabriel_laddel: apt-get install sbcl or whatever.
gabriel_laddel: BingoBoingo: why take my (or anyone else's) word for it, spin up an SBCL REPL.
gabriel_laddel: trinque: lol, we understand each other. BingoBoingo doesn't though.
gabriel_laddel: BingoBoingo: I swear to you that you can input arbitrary strings in LISP.
gabriel_laddel: I cut 3 paragraphs from that quote, which are quite relevent to this conversation.
gabriel_laddel: EWD10xx/EWD1036.html
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/
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 ☟︎
gabriel_laddel: ah
gabriel_laddel: trinque: reader macros or macros?
gabriel_laddel: Reader macros also allow you to deal with syntax mechanically for whatever it's worth.
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.
gabriel_laddel: and figured out how to get and eval maxima ASTs
gabriel_laddel: trinque: I got maxima loaded into my master lisp proc
gabriel_laddel: trinque: hey guess what
gabriel_laddel: good for them
gabriel_laddel: nothing particularly challenging about it
gabriel_laddel: yeah
gabriel_laddel: trinque: Oh.
gabriel_laddel: trinque: at the beginning of (I'd assume "A Realistic Solution to the Education Problem" but don't see it there)?
gabriel_laddel: which you already speak, because you're lisping
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 ☟︎
gabriel_laddel: and all your tooling always works
gabriel_laddel: so you never have to write another parser
gabriel_laddel: punkman: When you hack lisp, everything "deals in" (modifies, returns) these structures.
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)))
gabriel_laddel: http://gabriel-laddel.github.io/arsttep.html#sec-6-2-1 << check the image here out
gabriel_laddel: so, this doesn't happen in lisp because everything IS it's own AST, as is.
gabriel_laddel: because you can't "get at" the AST, because that isn't how people naively write parsers.
gabriel_laddel: punkman: and everytime this happens you need all new tooling for this new language, right?