← | Results 3001 ... 3250 found in all logged channels for 'f:laddel' | →
(trilema) gabriel_laddel: trinque: one can trivially query over ASTs
(trilema) gabriel_laddel: ^ this contains information about how to get a list of all hardware - the kernel can determine hardware -> driver mappings somehow. Find, document.
(trilema) gabriel_laddel: Another useful thing someone could do is to figure out how we would go about generating a canonical hardware -> driver mapping
(trilema) gabriel_laddel: equery y maxima ;; shows available versions of maxima
(trilema) gabriel_laddel: emerge info maxima ;; get all information
(trilema) gabriel_laddel: emerge -s maxima ;; searches maxima
(trilema) gabriel_laddel: basically all one needs is
(trilema) gabriel_laddel: ^ http://dev.gentoo.org/~zmedico/portage/doc/ this is probably a good place to start for portage -> CL
(trilema) gabriel_laddel: something went wrong with imaxima and gnuplot in portage - it only works on one of my machines now
(trilema) gabriel_laddel: I should note that masamune installs
(trilema) gabriel_laddel: Anyways, if someone were to move portage to CLOS detecting cycles is easy, hence we can have all the documentation we ever wanted
(trilema) gabriel_laddel: I should commit
(trilema) gabriel_laddel: Portage has a USE flag (what is that? Idk, some nonsense abstraction) for docs so you can tell it to build all docs, but it gets caught in cyclic dependencies atm.
(trilema) gabriel_laddel: Adlai: you're piping data back and forth from CL to elisp or...?
(trilema) gabriel_laddel: If someone would like to make themselves useful and move us that much closer to a source-only #-assets distribution, a CL interface to portage is desperately needed.
(trilema) gabriel_laddel: 8. http://log.bitcoin-assets.com//?date=27-04-2015#1113452 << Masamune is based on funtoo, which is gentoo without SystemD.
(trilema) gabriel_laddel: I'll note that I wrote a prototype for the RPC described above - ran into an issue with TCP or the library I was using it from. Messages were disappearing in flight.
(trilema) gabriel_laddel: clang's AST crud is >100k LoC
(trilema) gabriel_laddel: in lisp easy peasy pie
(trilema) gabriel_laddel: if you don't you'll be fucked, because generating syntatically correct code means AST manipulations
(trilema) gabriel_laddel: ^ anyway, all of the above are simple if you adknowledge that you've got to operate on an AST
(trilema) gabriel_laddel: Just trying to point MP at something
(trilema) gabriel_laddel: I should be able to have a cursor on either one of the (x 4) and hit a keystroke to extract it into a let binding
(trilema) gabriel_laddel: Nah - say I have this expression: (+ (x 4) k (x 4))
(trilema) gabriel_laddel: Why isn't all this information part of the version control toolchain? I can't query over all commits to find those that changed `some-function'..? WHAT THE FUCK IS HTTP? All I want to do is expose a procedure to a network - how is this more difficult than selecting a list of procedures which are then exposed?
(trilema) gabriel_laddel: l data structures to those appropriate for the information being pushed through it? If the type information exists, shouldn't it inform auto-completion? Shouldn't I be able to query over the type signature, known return types and lambda list of all procedures?
(trilema) gabriel_laddel: is not be handled automatically? Why isn't there grammer/spellchecking for my comments? If I modify a package or system definition at runtime, shouldn't I be prompted to write that change to the defining expression? Why must I optimize my programs and add type annotations? Can't test data be used to add typing annotations in an automated manner? Can't this information inform modifications of the program's fundamenta
(trilema) gabriel_laddel: 7. http://log.bitcoin-assets.com/?date=28-04-2015#1113989 << When I change the argument list, rename a procedure, use an unnamed reference why are the holes not marked or filled? Why must I manually declare my local variables and functions? Can't the current top level expression be searched for occurrences then factored out on a keystroke? Why must I balance strings, whatever the level of nesting or escaping? Can th
(trilema) gabriel_laddel: ll try harder next time.
(trilema) gabriel_laddel: 5. <mircea_popescu> kinda why i'm discovering all i really like off unix these days is like... curl. grep. << http://ridiculousfish.com/blog/posts/old-age-and-treachery.html
(trilema) gabriel_laddel: 4. http://log.bitcoin-assets.com//?date=28-04-2015#1114416 << Auotools is 150k LoC. Might as well just require SBCL at that point.
(trilema) gabriel_laddel: 2. http://log.bitcoin-assets.com//?date=28-04-2015#1114502 << Vocabulary note: code and data reduce to "information".
(trilema) gabriel_laddel: 1. A WoT host has been mentioned a few times in the logs - MP's new hosts (abusehosting.ru) accept bitcoin. It is probably easier to get them into the WoT than to start a new hosting company, which (understandably) no one wants to do. See also: http://log.bitcoin-assets.com/?date=18-03-2014#565389
(trilema) gabriel_laddel: mircea_popescu: are you ever going to post the Jerusalem follow-up to your Istanbul article?
(trilema) gabriel_laddel B.A.D (bitcoin-assets distro) update #1, I just finished rewriting mozrepl in parenscript. Now to cut out extra crud.
(trilema) gabriel_laddel: While we're here, I'll note that being tied to text (perl) is quite limiting. On CLIM today I can tell any object how to "present" itself, i.e., how to draw itself on the screen. Such a thing is unthinkable in a language based around regexes.
(trilema) gabriel_laddel: way less mental fatigue looking at them, I've found << I suppose. One can learn to read most anything. The importance here is the triviality of generating "syntactically correct" program texts.
(trilema) gabriel_laddel: s-expressions + read tables are the ultimate notational abstraction
(trilema) gabriel_laddel: checkout the scala "macro" system sometime.
(trilema) gabriel_laddel: not only that - you /must/ have a simple parsing algorithm, else upgrades are a bitch
(trilema) gabriel_laddel: we know how ALGOL and meta-programming (tree-traversals) interact
(trilema) gabriel_laddel: <trinque> seems relevant to the lisp vs perl thing << ummm... the angle I'm attacking this from is that meta-programming is inescapable and sexprs are the only sane way to go unless you want to program forth or APL.
(trilema) gabriel_laddel: in "temporary storage"
(trilema) gabriel_laddel: decimation: well, now it is sitting on-site at the 100 reactor sites across the US
(trilema) gabriel_laddel: anyways, I ran across lots of juicy information.
(trilema) gabriel_laddel: I ended up trolling through gov. documents on the yucca mountain facility (I had previously quoted wikipedia)
(trilema) gabriel_laddel: mircea_popescu: oh, btw thanks for your input on my document
(trilema) gabriel_laddel: what aesthetic do you wish to live in?
(trilema) gabriel_laddel: that doesn't mean I should stop "butchering slugs"
(trilema) gabriel_laddel: You'll never be entirely free of idiots
(trilema) gabriel_laddel: hence they'll be beaten in the marketplace by yours truly.
(trilema) gabriel_laddel: hence, they waste money
(trilema) gabriel_laddel: this conversation is going in the direction of "heat death of the universe" so I'll note that companies that use e.g., scala have to hire a lot of people to regin in the complexity inherrent in ALGOL.
(trilema) gabriel_laddel: so they waste a lot of effort doing it.
(trilema) gabriel_laddel: they all have failed, and will continue to fail
(trilema) gabriel_laddel: in every single language
(trilema) gabriel_laddel: I should note that "they" (algol programmers) try to add the tree traversal properties of lisp to their languages
(trilema) gabriel_laddel: (I'm assuming you're saying "why don't you think they don't - do tree traversals")
(trilema) gabriel_laddel: because they're mentally defective
(trilema) gabriel_laddel: I don't because it's stupid
(trilema) gabriel_laddel: therefore they suck c0cks
(trilema) gabriel_laddel: they can't do tree traversals on their "structured data"
(trilema) gabriel_laddel: I use strings all the time, don't use regexes
(trilema) gabriel_laddel: nah - if you're using regexes you're doing it wrong.
(trilema) gabriel_laddel: my first pass at a definition for a string: A string is a collection of characters from an alphabet.
(trilema) gabriel_laddel: wtf is this. lisp doesn't have strings?
(trilema) gabriel_laddel: I wouldn't dare draw that equivalence without agreeing on a formal definition for regexes and the process in question.
(trilema) gabriel_laddel: not everything is the same thing.
(trilema) gabriel_laddel: regexes are regexes - nothing elese is.
(trilema) gabriel_laddel: which means that as long as you live, you will not live in a clean world. << select portions of humanity have, to varying degrees created "clean" computing.
(trilema) gabriel_laddel: It doesn't run on "perl" "perl" is a well specified computer program. Meat runs another separate well specified meat program.
(trilema) gabriel_laddel: der fucking nonsense.
(trilema) gabriel_laddel: it isn't necessary.
(trilema) gabriel_laddel: analogy need not enter into the conversation
(trilema) gabriel_laddel: This conversation bothers me. We don't understand how to make dragonflies, nor how the reproductive system works. We know how to write computer programs that work - the failing to do the latter correctly is a human failing.
(trilema) gabriel_laddel: if you're /ever/ using them, you're doing it wrong.
(trilema) gabriel_laddel: we know how to write computer programs such that you don't need regexes.
(trilema) gabriel_laddel: people are machines - but computer programs are not people, nor cells.
(trilema) gabriel_laddel: the reason we build abstract machines is because people are not very good at repetitive tasks.
(trilema) gabriel_laddel: yeah, I don't see the analogy to perl
(trilema) gabriel_laddel: or miscarriage?
(trilema) gabriel_laddel: you're talking about the women in question purposefully aborting her pregnancy?
(trilema) gabriel_laddel: I've had sex with a female if that's what you're asking.
(trilema) gabriel_laddel: in what sense? that it'll accept all sorts of odd inputs?
(trilema) gabriel_laddel: I mean literally - steal their bitcoin, hack their bank accounts
(trilema) gabriel_laddel: if you are parsing, you're doing it wrong
(trilema) gabriel_laddel: you should not have to parse anything - ever
(trilema) gabriel_laddel: About this "don't feed raw data into your app" and "filtering" nonsense - if you're using a language that isn't complete shit you never need to "filter data" (just communicate in sexprs and (let* ((*read-eval* nil)) ...))
(trilema) gabriel_laddel: ;; gettrust Naphex
(trilema) gabriel_laddel: FUCK YOU READ MORE
(trilema) gabriel_laddel: and perhaps I'll tell them to stfu and read?
(trilema) gabriel_laddel: Naphex: read the linked post if you'd like to know
(trilema) gabriel_laddel: Naphex: Currently writing it.
(trilema) gabriel_laddel: EVERYTHING you've thought on the subject has been covered.
(trilema) gabriel_laddel: then all of the logs
(trilema) gabriel_laddel: then read all of loper os
(trilema) gabriel_laddel: Naphex: regarding lisp - read more. This section + footnotes http://gabriel-laddel.github.io/arsttep.html#sec-6-2-1
(trilema) gabriel_laddel: Naphex: regarding security - read more. A few links that have turned up in the logs are available at http://gabriel-laddel.github.io/arsttep.html#sec-6-2-3
(trilema) gabriel_laddel: One should be able to pick up a computer and learn
(trilema) gabriel_laddel: While I think that the whole submitting to a teacher thing is important in some cases, we have 100ks of people running through e.g., introductory chemistry courses. There are only so many paths to walk.
(trilema) gabriel_laddel: (well, one that I learned from)
(trilema) gabriel_laddel: I've never had a formal teacher.
(trilema) gabriel_laddel: but what about autodidacts?
(trilema) gabriel_laddel: Let's say that you sign up for a course. You cannot possibly learn anything interesting because they've got to execute all code in the browser, or barring that, you're aping youtube videos.
(trilema) gabriel_laddel: Completion rate is really irrelevent, the problem is that they've created this new "format" and books are still superior.
(trilema) gabriel_laddel: they're failures.
(trilema) gabriel_laddel: mircea_popescu: or seen their completion rates?
(trilema) gabriel_laddel: mircea_popescu: have you tried to use one?
(trilema) gabriel_laddel: yeah, him and Bruce Willis
(trilema) gabriel_laddel: It is the good sword. However in the game I stole the reference from - it was the sword of the villain.
(trilema) gabriel_laddel: anyways, that is confusing and I'll update it
(trilema) gabriel_laddel: unless I give someone the direct link, as in here they'll only see it from that code path.
(trilema) gabriel_laddel: I'm not saying that it will happen, merely planning for the unlikely
(trilema) gabriel_laddel: They are guaranteed to have an agent one or two handshakes away.
(trilema) gabriel_laddel: y linux kernel via sneakernet produced by ? who didn't interface with the kernel devs and originally uploaded his modifications from several drones abandoned on coffee shop rooftops."
(trilema) gabriel_laddel: "A single procedure call being all that is necessary to bundle the entirety of the (possibly heavily modified) sources into a redistributable bootable USB stick installer or network download. Coupled with meaningful extensibility, the unsophisticated interests that have taken ahold of the bureaucratic process of all linux distributions are bypassed. Imagine hunting down 1000s of individuals distributing a less crapp
(trilema) gabriel_laddel: http://log.bitcoin-assets.com/?date=11-04-2015#1097455 << I'm not "doomed to it" anymore than anyone else. But I am looking for someone in the silly valley to pay my bills. When I explain what it is that I'm doing, let's say that this individual truely understands the implications of
(trilema) gabriel_laddel: the distro has been curated - the development on top of that has not been finished
(trilema) gabriel_laddel: ben_vulpes: no
(trilema) gabriel_laddel: good afternoon
(trilema) gabriel_laddel: ^ Amazing that this shmuck (Yudkowsky) has funding.
(trilema) gabriel_laddel: than "the lordship".
(trilema) gabriel_laddel: http://log.bitcoin-assets.com//?date=25-03-2015#1069268 << for the record I was not attempting to "pass off" anything, but rather clearly define what it is that I'm talking about. I'm rather happy to have second-guessed that decision because the correct answer is that the lordship isn't clearly defined outside of what has been posted to trilema and as one who isn't a lord I have no buisness calling it anything other
(trilema) gabriel_laddel: !down the_scourge
(trilema) gabriel_laddel: !up the_scourge
(trilema) gabriel_laddel: http://log.bitcoin-assets.com/?date=08-02-2015#1012802 << Seriously looking at linux has convinced me that this must wait until after a stable #-assets distribution and wotnet.
(trilema) gabriel_laddel: Which would be sane, and teh hotness.
(trilema) gabriel_laddel: The programmatic object returned then can be used on top of something like e.g., CLIM
(trilema) gabriel_laddel: http://log.bitcoin-assets.com/?date=11-04-2015#1096338 << The docview program for Emacs converts .pdfs into .png files for viewing. Use this in 'batch mode' to prep for OCR. Then use ML to extract images, alignment information, resolve citations, authors.
(trilema) gabriel_laddel: Adlai ben_vulpes mats ^
(trilema) gabriel_laddel: project. I would suggest that no one waste their time working on this for the time being, I've simply cleaned things up on the off chance that I end up in alphabet soup or the like. The remainder of hacking that needs to be done is of the flavor described here: https://raw.githubusercontent.com/gabriel-laddel/masamune/master/browser/conkeror.lisp
(trilema) gabriel_laddel: I've made little to no progress on the codebase recently short of cleaning it up and ensuring that if, for some reason I'm interrupted, that someone else will be able to pick up where I left off if necessary. The sources, coupled with http://gabriel-laddel.github.io/arsttep.html provide enough detail for one to know what I have in mind and why. http://gabriel-laddel.github.io/system.html provides an overview of the
(trilema) gabriel_laddel: #bitcoin-assets distro update:
(trilema) gabriel_laddel: /s/asicminerism/earth
(trilema) gabriel_laddel: !s so sick of asciminerism I can't even begin to tell all
(trilema) gabriel_laddel: joecool: story of my life.
(trilema) gabriel_laddel: !up CheckDavid
(trilema) gabriel_laddel: !v assbot:gabriel_laddel.rate.mats.1:af274b559672ad59e75e9980aa8d67558cdb50339e2cab5747d1fcc90c50c0bd
(trilema) gabriel_laddel: ascii_field: I'll note that without comprehensive design documents others have to retrace your steps entirely and anyone who is a fan of your work is running on grey goo pipe dreams.
(trilema) gabriel_laddel: ascii_field: o. I thought that you could if they have an entirely known design?
(trilema) gabriel_laddel: ascii_field: iirc your argument was "it isn't worthwhile because if you succeed you'll not have enough of them to do anything interesting with"
(trilema) gabriel_laddel: I can't remember your exact words, but I think you said in here once "my time would have been better spent putting together a demo than blogging"
(trilema) gabriel_laddel: ascii_field: yep.
(trilema) gabriel_laddel: ascii_field: we've already discussed this. I'm for doing it piecemeal because there are no other options.
(trilema) gabriel_laddel: ascii_field: Sometime in the next 48 hours I'm going to drop some information in here regarding the #b-a distro, and when finished with that move on to finding funding again.
(trilema) gabriel_laddel: ascii_field: nonsense.
(trilema) gabriel_laddel: mircea_popescu: actually, re-reading your last message - isn't that really an argument against abstraction period?
(trilema) gabriel_laddel: HTML/CSS/SWING/AWT ruined me.
(trilema) gabriel_laddel: ^ I never would have thought of presentation systems unless I happened upon ascii_field's blog.
(trilema) gabriel_laddel: mircea_popescu: ascii is discussing knowns.
(trilema) gabriel_laddel: mircea_popescu: nonsene. We know any programming language that doesn't allow the operator to manipulate its own ast programmatically is going to waste the operator's time.
(trilema) gabriel_laddel: mircea_popescu: ^
(trilema) gabriel_laddel: because some of the $random-african-gruntlangs don't have any means to describe the future or past.
(trilema) gabriel_laddel: mircea_popescu: learning latin is very different from learning $random-african-grunt-lang
(trilema) gabriel_laddel: Urbit is probably a good example for what I think stas is discussing. You can get paid very well so long as you are very active doing nothing.
(trilema) gabriel_laddel: ascii_field: it is palpable. << Yep. Let's say, for example that you learn perl. Nothing you learn has any use outside of... writing perl. If you learn javascript, java, C++, scala etc. idem. The web and these related "technologies" are going away. All of the effort poured into learning them is wasted.
(trilema) gabriel_laddel: it isn't handy atm
(trilema) gabriel_laddel: <mircea_popescu> gabriel_laddel he's very tender on the topic for some reason. << the lady doth protest too much, methinks
(trilema) gabriel_laddel: soviet cocolate
(trilema) gabriel_laddel: Lol, this has been discussed so much I've actually a list of foods to bribe stas with
(trilema) gabriel_laddel: I understand your needs to some degree.
(trilema) gabriel_laddel: asciilifeform: We're not discussing you though. We're discussing whaack
(trilema) gabriel_laddel: not that one /must/ do this, just an option
(trilema) gabriel_laddel: My point is that food and rent are cheap if you go to the correct place. Also, if you're betting on btc taking over the world, bet on it.
(trilema) gabriel_laddel: asciilifeform: pardon?
(trilema) gabriel_laddel: whaack: see the above logs
(trilema) gabriel_laddel: Move to argentina, purchase pallets of rice + lots of steak. Code.
(trilema) gabriel_laddel: - gossipd (check logs)
(trilema) gabriel_laddel: - btc hosting (check logs)
(trilema) gabriel_laddel: whaack: there are a few obvious ways to make btc atm
(trilema) gabriel_laddel: I'm not going to do anything, just... read moar
(trilema) gabriel_laddel: you can up her
(trilema) gabriel_laddel: hit her over the head with it... perhaps she'll grok?
(trilema) gabriel_laddel: trinque: I'm trying to teach her the WoT
(trilema) gabriel_laddel: !down indiancandy1_
(trilema) gabriel_laddel: indiancandy1_: start at bitcoin-assets.com
(trilema) gabriel_laddel: indiancandy1_: read more
(trilema) gabriel_laddel: Which US is this where "intelligence" is discussed?
(trilema) gabriel_laddel: I always wonder about the people who see this sort of thing everyday but never connect the dots, how do they internally deal with actual reality? I once flipped through the book Dangerous Thoughts by Yuri Orlov. He claimed that in the soviet collapse people would have multiple "selves". When they would break the law that would be their "off work" I, vs. the at work I who would report such a transgression to the poli
(trilema) gabriel_laddel: <asciilifeform> we have these here in abundance << I saw one outside the Palo Alto four seasons just the other day... 20 guys just standing around more or less.
(trilema) gabriel_laddel: ^ what happens in the USA
(trilema) gabriel_laddel: "don't have fun"
(trilema) gabriel_laddel: since the beginning, that's the whole of puritanism, no?
(trilema) gabriel_laddel: <mircea_popescu> what was the fucking soviet term for this, << kommunalki?
(trilema) gabriel_laddel: I'm (in an ad-hoc manner) catching up on logs.
(trilema) gabriel_laddel: nubbins`: is the guy an actual lunatic or just a deviant his "family & friends" decided to reformat (in your estimation).
(trilema) gabriel_laddel: nubbins`: I'd pirate it.
(trilema) gabriel_laddel: "Only a man from Budapest can enter a revolving door behind you and exit ahead of you" -- jvn
← | →
Download hourly DB snapshot | Get Source Code