log☇︎
3400+ entries in 0.038s
gabriel_laddel: apart from this, I have written Emacs Lisp functions to make a statement into a question and vice versa, to join and split sentences (not quite as trivial as it sounds), to upgrade from singular to plural and vice versa, to change the person from second to third and vice versa, et cetera. significant parts of grammar is the way it is to maintain correspondence between numbers and persons and tenses and such, and sin
gabriel_laddel: Lemme find the quote
gabriel_laddel: Erik Naggum disagreed
gabriel_laddel: http://log.bitcoin-assets.com//?date=29-04-2015#1116068 << see the lisp machine etc. ☝︎
gabriel_laddel: http://log.bitcoin-assets.com//?date=29-04-2015#1116069 << b/c it doesn't belong in a blog post. ☝︎
gabriel_laddel: http://log.bitcoin-assets.com//?date=29-04-2015#1116046 << http://gabriel-laddel.github.io ☝︎
gabriel_laddel: http://log.bitcoin-assets.com//?date=29-04-2015#1115889 << and I will point out that you're wrong. The simplicity of lisp vs. C is absolutely due to the inherrent properties of the respective artifacts. Seriously, MMM vs GC, parsing vs. not, no bignums vs. numerics - "abstractions push upward" (TM). ☝︎
gabriel_laddel: ad, as most people would immediately recoil in horror, seeing something so very different what they're used to.
gabriel_laddel: http://log.bitcoin-assets.com//?date=29-04-2015#1115871 << If the "rules" of human language are formalized it becomes much easier to break them in interesting ways. One could use the output of a shannonizer to inform word choice for his story, enforcing that each word is followed by one of the top 10 least likely words in the whole of the language up to this point. I suspect that such a tale would be great fun to re ☝︎
gabriel_laddel: http://log.bitcoin-assets.com//?date=29-04-2015#1115836 << lol ☝︎
gabriel_laddel: http://log.bitcoin-assets.com//?date=29-04-2015#1115832 << We're discussing the same thing. If the program has "marked" all instances of $WHATEVER I can trivally add "Would you like me to a) check all places where it's called and report what I can figure out about the context ? b) iterate you through all locations ? c) change it back ? d) run a trace see what happens ?" on top of it. ☝︎
gabriel_laddel: thank you
gabriel_laddel: ^ many thanks to stas for pointing me to that via his blog
gabriel_laddel: ^ http://www.douglasadams.com/dna/980707-00-a.html
gabriel_laddel: BingoBoingo: die
gabriel_laddel: trinque: related - pastebin.com/AdTXnKT6
gabriel_laddel: ^ trinque
gabriel_laddel: ific inquiry, but as a consequence of a comprehensible, expressive design that empowers the individual. "
gabriel_laddel: graphics routines are inadequate, I can fall back on an 'api' independent of man. Lessons, as a refinement of research, shall offer the same capabilities. Networking (e.g., sharing these programs or crafting interactions between them) shall be trivial. No single authority shall dictate what is an isn't appropriate to publish. This is not to be enforced by social machinery which promises to promote and cherish scient
gabriel_laddel: "I need the ability to publish a unit of research as an interactive program containing all information used to draw my conclusions. It shall be entirely and trivially modifiable, extensible, and if reproducing the research is possible on this machine, running the program shall be a single click or procedure call away. WYSIWYG tools shall be included and fashioned from the precepts of geometry. Thus, if the supplied ☟︎
gabriel_laddel: compiler, dependencies blah blah blah
gabriel_laddel: why? ☟︎
gabriel_laddel: right now I can't draw you a 3D picture you can just open up, modify and send back to me
gabriel_laddel: I don't think "in person" has much to do with it.
gabriel_laddel: The preceding discussion was largely myself and trinque learning the others vocabulary.
gabriel_laddel: perhaps that was phrased poorly.
gabriel_laddel: Without a shared language the logs will end up in endless cycles of the above.
gabriel_laddel: I'm simply of the opinion that our current platform (irc) is too barbaric and doesn't force enough shared context upon us to do anything interesting. Any sort of shared vision or whatever gets watered down into discussions like the above. ☟︎
gabriel_laddel: BingoBoingo: diss away too.
gabriel_laddel: BingoBoingo: question away.
gabriel_laddel *shivers*
gabriel_laddel: If I could just get a working shared kill ring...
gabriel_laddel: Having the same keybindings for the web browser + editor gets me all hot and bothered.
gabriel_laddel: BingoBoingo: Making it production ready is going to take some time, but as is, it is better than any other distro I've used.
gabriel_laddel: I just spent 2 days fucking with mozilla
gabriel_laddel: it is on the way
gabriel_laddel: Also, you don't have to parse anything, or have "generator rules" or whatever, which cuts out a lot of the complexity that you get when doing something like what you've done.
gabriel_laddel: So, in your model of computing you get to work with incomplete languages in the "data model" and when generating "views". While this does provide defaults, when hacking lisp you always have the full language at your disposal.
gabriel_laddel: ;; google symbolics Statice
gabriel_laddel: But yes.
gabriel_laddel: Well, the lines get blurry.
gabriel_laddel: you just end up writing a predicate to see that the information you're manipulating is (every #'string ...) or whatever
gabriel_laddel: I can do the same thing if I want.
gabriel_laddel: nope
gabriel_laddel: you might get a "relational algebra"
gabriel_laddel: "how in lips could you take the ast of a view against one table" << This ends up being just hacking at sexprs with the full language at your disposal.
gabriel_laddel: btw, I'm still putting together a model of what exactly it is you've done so that I can discuss this with you using your vocabulary...
gabriel_laddel: because parsing is a terribly boring (and totally unnecessary) task.
gabriel_laddel: but you'll end up like paul phillips
gabriel_laddel: anyone /can/ add meta-programming to whatever language they want.
gabriel_laddel: but sexprs are nice because they're easy to parse.
gabriel_laddel: everything is a "list of lists" or a "tree" when you get down to it (in the compiler - though yes, you can go directly stack machine).
gabriel_laddel: agreed
gabriel_laddel: "lisp", like "lispy" is an ill-defined idea.
gabriel_laddel: well, s-expressions are at least
gabriel_laddel: because it is inescapable
gabriel_laddel: I've no idea why you did, but am assuming you've got some reason why
gabriel_laddel: trinque: done what exactly?
gabriel_laddel: kk, I'm not going anywhere
gabriel_laddel is a child :/
gabriel_laddel: oh my fucking god
gabriel_laddel: hahahahahahahhaa
gabriel_laddel: btw, one can trivially deal with sexpr 'ASTs' as sets
gabriel_laddel: trinque: could you rephrase "take the ast of a view against one table"
gabriel_laddel: ha
gabriel_laddel: I have to check that I know what these terms mean before I respond. one sec
gabriel_laddel: the purpose isn't what I'm horrified by
gabriel_laddel: Sure, even in sexprs you have a 'grammer' you might want to check
gabriel_laddel: I'd like to clarify that what I'm finding appaling here is the huge amount of effort spent generating syntatically correct strings.
gabriel_laddel: hehe
gabriel_laddel: Adlai: he is/was storing lexing and grammer information.
gabriel_laddel: trinque: I understand what you're talking about.
gabriel_laddel: ;; later tell EllieAsksWhy 'proxies'
gabriel_laddel: I find the parsing to be a gigantic PITA
gabriel_laddel: I don't find it controversial at all
gabriel_laddel: or, like, looking at it now?
gabriel_laddel: trinque: you're just learning CL, right?
gabriel_laddel: holy fuck no
gabriel_laddel: ^ sounds like a bitch - but I'm lazy...
gabriel_laddel: "automatic to-string for the ASTs"
gabriel_laddel: yeah that sounds like a lot of work
gabriel_laddel: (filter (lambda (l) (and (eq :function (car l)) (= 3 (length (nth 2 l))))) (js-ast #P"~/somejsfile.js"))
gabriel_laddel: as for the js ast
gabriel_laddel: ^ ding ding ding
gabriel_laddel: hmmm.
gabriel_laddel: correct
gabriel_laddel: like, say that I want to find all javascript functions with 3 arguments
gabriel_laddel: trinque: one can just query over ASTs
gabriel_laddel: trinque: ummm
gabriel_laddel: ah
gabriel_laddel: Adlai: I saw that - but wtf
gabriel_laddel: !s reflections on trusting trust
gabriel_laddel: Adlai: tables of cons cells?
gabriel_laddel: http://www.paulgraham.com/thist.html
gabriel_laddel: anyways...
gabriel_laddel: one could tear out all windows crud from SBCL, and replace the C crud with some clever assembler hacks in a manner similar to what I've been told T did.
gabriel_laddel: trinque: I don't know how to read that.
gabriel_laddel: SBCL has a %6 C core for GC stuff
gabriel_laddel: ~398k LoC vs. >14 million ☟︎
gabriel_laddel: regarding comprehensible computing - an observation, sbcl vs. GCC