Re: [fonc] Earley Parsing Explained (incomplete first draft)

2014-09-21 Thread Loup Vaillant-David
On Sun, Sep 21, 2014 at 04:51:32PM -0400, Josh Grams wrote: > The left back pointers move back through the rule. So a pre-order > traversal will go like this (I'm using tildes because it was > annoying to copy/paste the bullet): > > A -> B C D ~ -- at this step you apply A => B C D. > A -> B C ~

Re: [fonc] Earley Parsing Explained (incomplete first draft)

2014-09-20 Thread Loup Vaillant-David
On Sat, Sep 20, 2014 at 11:57:58AM -0400, Josh Grams wrote: > On 2014-09-20 02:27PM, Loup Vaillant-David wrote: > >Actually, you don't need the back pointers. Plain Earley items are > >enough. Even better, you don't need all the items. You only need the > >complet

Re: [fonc] Earley Parsing Explained (incomplete first draft)

2014-09-20 Thread Loup Vaillant-David
On Sat, Sep 20, 2014 at 06:58:14AM -0400, Josh Grams wrote: > How's that for coincidence? I had just finally (on the 18th) got > around to watching Ian's "Trap a Better Mouse" talk and starting > to try it myself, and then saw that you posted this. I've done > some parsing before, so you haven't (y

[fonc] Earley Parsing Explained (incomplete first draft)

2014-09-18 Thread Loup Vaillant-David
Hi, After spending months banging my head over Earley Parsing, I have decided to write a tutorial. Ian once said Earley parsing is simple and easy to implement. I agree with "simple", but not with "easy". The required background knowledge is not trivial. This tutorial is an attempt to gather th

[fonc] Left-most derivation with Earley Parsing

2014-06-22 Thread Loup Vaillant-David
Hello, I am currently trying to implement Earley Parsing. My ultimate goal is to combine all the advantages of OMeta and Earley parsing: - OMeta can handle some context-sensitive grammars. - OMeta's prioritised choice have obvious semantics. - Earley work on left-recursive grammars out of the bo

Re: [fonc] Xml to git: the interesting bit

2014-03-07 Thread Loup Vaillant-David
On Fri, Mar 07, 2014 at 11:31:08PM +0600, Attila Lendvai wrote: > https://plus.google.com/+LinusTorvalds/posts/X2XVf9Q7MfV > > nothing interesting if you ask me. a few dozen more shell scripts to > glue it together and git will work just fine for just about > anything... :) Which by itself sounds

Re: [fonc] Really nice presentation of the VPRI project

2013-11-09 Thread Loup Vaillant-David
I don't understand the first link... Am I supposed to find a video recording there? Loup. On Fri, Nov 08, 2013 at 01:12:24PM +0100, karl ramberg wrote: > http://d.hatena.ne.jp/squeaker/20131103#p1 > > http://tinlizzie.org/~ohshima/AGERE2013/AGERESlides.pdf (33 Mb) > > Cheers, > Karl ___

[fonc] Modern General Purpose Programming Language (Was: Task management in a world without apps.)

2013-11-04 Thread Loup Vaillant-David
On Sun, Nov 03, 2013 at 04:11:15AM -0800, Alan Kay wrote: > if we were to attempt an ultra high level general purpose language > today, we wouldn't use Squeak or any other Smalltalk as a model or a > starting place. May I ask what would be an acceptable starting point? Maru, maybe? Loup. ___

Re: [fonc] To fork or not to fork? (was: Hacking Maru)

2013-10-23 Thread Loup Vaillant-David
Terrific work! I have just cloned your git repository, I will check it out. But first, I need to crack generalised Earley Parsing. I love OMeta, but the hack it uses to get around PEGs limitations on left recursion is ugly (meaning, not fully general). I basically want PEGs that run on Earley p

Re: [fonc] Hacking Maru

2013-10-23 Thread Loup Vaillant-David
On Mon, Oct 21, 2013 at 06:18:26PM -0700, Ian Piumarta wrote: > I recommend you get hold of > - Parsing Techniques: A Practical Guide > - SPPF-Style Parsing from Earley Recognisers > - Practical Earley Parsing Whoa, thanks. Will do right away. > > - Read scientific papers. […] > > - Build a to

[fonc] To fork or not to fork? (was: Hacking Maru)

2013-10-21 Thread Loup Vaillant-David
On Sun, Oct 20, 2013 at 10:40:32PM -0700, Ian Piumarta wrote: > > * Is the idea that everyone should be doing/forking his own, > > CipherSaber style, or is there an intent to share and build common > > platform? > > I'd love to build a common platform. Maru is in particular trying > to be malleab

Re: [fonc] "Afterword: What is a Dynabook?"

2013-10-04 Thread Loup Vaillant-David
On Thu, Oct 03, 2013 at 04:15:12PM -0700, James McCartney wrote: > Because ARPA probably would have rejected funding for a worldwide system > for the interchange of kitty pictures and porn. That's only the first step. According to Benjamin Bayart, "CEO" of the non-profit ISP "French Data Network"

Re: [fonc] Personal Programming Environment as Extension of Self

2013-09-24 Thread Loup Vaillant-David
One way of escaping is indentation, like Markdown. This is arbitrary code This is arbitrary code *in* arbitrary code. and so on. No more escape sequences in the quotation. You just have the inconvenience of prefixing each line with a tab or something. Loup. On Mon, Sep

Re: [fonc] Formation of Noctivagous, Inc.

2013-09-23 Thread Loup Vaillant-David
When a font is hard to read, I use [Ctrl +]. So I did read the whole page. I didn't found it appealing, for one silly reason. Despite the pretty picture and the sales pitch… …I haven't the slightest idea _how_ this program is used. Loup. On Sun, Sep 22, 2013 at 10:05:58AM -0400, Tom Lieber

Re: [fonc] Why Mind Uploading could be horrible

2013-04-23 Thread Loup Vaillant-David
On Tue, Apr 23, 2013 at 04:01:20PM +0200, Eugen Leitl wrote: > On Fri, Apr 19, 2013 at 02:05:07PM -0500, Tristan Slominski wrote: > > > That alone seems to me to dismiss the concern that mind uploading would not > > be possible (despite that I think it's a wrong and a horrible idea > > personally

[fonc] Separating computation from the machine

2013-04-17 Thread Loup Vaillant-David
On Sat, Apr 13, 2013 at 09:25:19PM +0200, John Nilsson wrote: > This discussion reminds me of > http://www.ageofsignificance.org/ > > It's a philosophical analysis of what computation means and how, or if, it > can be separated from the machine implementing it. The author argues that > it cannot.

Re: [fonc] 90% glue code

2013-04-16 Thread Loup Vaillant-David
On Mon, Apr 15, 2013 at 12:15:10PM -0700, David Barbour wrote: > On Mon, Apr 15, 2013 at 11:57 AM, David Barbour wrote: > > 90% or more of code will be glue-code, but it doesn't all need to be > hand-written. I am certainly pursuing such techniques in my current > language development. Err, I ma

Re: [fonc] 90% glue code

2013-04-15 Thread Loup Vaillant-David
On Sun, Apr 14, 2013 at 04:17:48PM -0700, David Barbour wrote: > On Sun, Apr 14, 2013 at 1:44 PM, Gath-Gealaich > In real systems, 90% of code (conservatively) is glue code. Does this *have* to be the case? Real systems also use C++ (or Java). Better languages may require less glue, (even if the

Re: [fonc] Natural Language Wins

2013-04-05 Thread Loup Vaillant-David
On Fri, Apr 05, 2013 at 06:42:53AM -0700, Kirk Fraser wrote: > […] Truly worthwhile inventions judging by percent of Nobel Prize > awards are by Jews, hence in Hebrew. […] Are your saying that most Nobel prize winning Jews were using Hebrew to think the thoughts that lead them to the Nobel prize?

[fonc] 37 Ways That Words Can Be Wrong

2013-04-05 Thread Loup Vaillant-David
Okay, at this point, I have to recommend the sequence mentioned in the subject. Here: http://lesswrong.com/lw/od/37_ways_that_words_can_be_wrong/ Simply put, a human mind have a certain structure, most of which is universally shared among functioning members of a human society (like the expressi

Re: [fonc] education experimental target

2013-03-03 Thread Loup Vaillant-David
On Sun, Mar 03, 2013 at 07:23:50PM +0100, Gath-Gealaich wrote: > Is this going to require another dose of proprietary binary blobs? With Pi, > you at least have to prospect of being able to compile your graphics stuff > from Nile into something that actually uses the graphics hardware the way > it'

Re: [fonc] Terminology: "Object Oriented" vs "Message Oriented"

2013-02-12 Thread Loup Vaillant
Alan Kay a écrit : Hi Loup I think how this happened has already been described in "The Early History of Smalltalk". But [Incredibly detailed and thoughtful response] Whoa. Thank you. Loup ___ fonc mailing list fonc@vpri.org http://vpri.org/

[fonc] Terminology: "Object Oriented" vs "Message Oriented"

2013-02-12 Thread Loup Vaillant
This question was prompted by a quote by Joe Armstrong about OOP[1]. It is for Alan Kay, but I'm totally fine with a relevant link. Also, "I don't know" and "I don't have time for this" are perfectly okay. Alan, when the term "Object oriented" you coined has been hijacked by Java and Co, you mad

Re: [fonc] deriving a POL from existing code

2013-01-09 Thread Loup Vaillant
David Barbour a écrit : […] Creating a good POL can be difficult. (cf. http://lambda-the-ultimate.org/node/4653) From your link: > It is easy to miss valuable symmetries or dualities. That one is funny, because I sensed for a long time that this could apply to OMeta-JS¹ (I didn't look at abou

Re: [fonc] Incentives and Metrics for Infrastructure vs. Functionality

2013-01-02 Thread Loup Vaillant-David
On Tue, Jan 01, 2013 at 11:18:29PM +0100, Ondřej Bílka wrote: > On Tue, Jan 01, 2013 at 09:12:07PM +0100, Loup Vaillant-David wrote: > > > > void latin1_to_utf8(std::string & s); > > > Let me guess. They do it to save cycles caused by allocation of new > string

Re: [fonc] Incentives and Metrics for Infrastructure vs. Functionality

2013-01-01 Thread Loup Vaillant-David
On Tue, Jan 01, 2013 at 03:02:09PM -0600, BGB wrote: > On 1/1/2013 2:12 PM, Loup Vaillant-David wrote: > >On Mon, Dec 31, 2012 at 04:36:09PM -0700, Marcus G. Daniels wrote: > >>On 12/31/12 2:58 PM, Paul D. Fernhout wrote: > >>2. The programmer has a belief or prefere

Re: [fonc] Incentives and Metrics for Infrastructure vs. Functionality

2013-01-01 Thread Loup Vaillant-David
On Mon, Dec 31, 2012 at 04:36:09PM -0700, Marcus G. Daniels wrote: > On 12/31/12 2:58 PM, Paul D. Fernhout wrote: > 2. The programmer has a belief or preference that the code is easier > to work with if it isn't abstracted. […] I have evidence for this poisonous belief. Here is some production C+

Re: [fonc] Me too! A META-II for Lua

2012-12-09 Thread Loup Vaillant-David
On Sat, Dec 08, 2012 at 03:58:46PM -0800, Long Nguyen wrote: > Why you too proud? Hand compiling indeed sucks. I did it so you don't have > to. Now I'm offended. > But awesome work anyway. Well, I had something to prove. :-) Seriously though, I also wanted to make sure I understood how the damn t

[fonc] Me too! A META-II for Lua

2012-12-08 Thread Loup Vaillant-David
On Wed, Nov 21, 2012 at 11:54:53PM -0800, Long Nguyen wrote: > Hello everyone, > > I was very impressed with Val Schorre's META-II paper that Dr. Kay gave me > to read, so I built a version of it for C; the metacircular part of which > can fit in a half of a sheet of A4 or Letter paper. Here it is

Re: [fonc] [talk] Cool Code - Kevlin Henney

2012-12-03 Thread Loup Vaillant
vidually useful) and gaining some intuition for the composition laws. I.e. start concrete and work towards abstract. If you start by tossing concepts like 'arrows' at students, they'll be quite intimidated. If a language requires users `import Control.Arrow` or `import Control.M

Re: [fonc] [talk] Cool Code - Kevlin Henney

2012-12-03 Thread Loup Vaillant
David Barbour a écrit : On Sun, Dec 2, 2012 at 6:12 AM, Pascal J. Bourguignon mailto:p...@informatimago.com>> wrote: Julian Leviston mailto:jul...@leviston.net>> writes: > Concrete is better than abstract for learning. Definitely. Programmer students should learn assembler an

Re: [fonc] Final STEP progress report?

2012-11-08 Thread Loup Vaillant-David
gt; > > > Regards, > > Kim Rose > > Viewpoints Research Institute > > > > Viewpoints Research is a 501(c)(3) nonprofit organization dedicated to > > improving "powerful ideas education" for the world's children and advancing > > the stat

[fonc] Final STEP progress report?

2012-11-07 Thread Loup Vaillant
Hi, The two last progress reports having being published in October, I was wondering if we will have the final one soon. Have we an estimation of when this might be completed? As a special request, I'd like to know a bit about what to expect. Unless of course it's all meant to be a surprise. B

Re: [fonc] How it is

2012-10-03 Thread Loup Vaillant
Miles Fidelman a écrit : Loup Vaillant wrote: De : Paul Homer If instead, programmers just built little pieces, and it was the computer itself that was responsible for assembling it all together into mega-systems, then we could reach scales that are unimaginable today. […] Sounds neat, but

Re: [fonc] How it is

2012-10-03 Thread Loup Vaillant
De : Paul Homer If instead, programmers just built little pieces, and it was the computer itself that was responsible for assembling it all together into mega-systems, then we could reach scales that are unimaginable today. […] Sounds neat, but I cannot visualize an instantiation of this. Me

Re: [fonc] How it is

2012-10-03 Thread Loup Vaillant
Ryan Mitchley a écrit : On 03/10/2012 10:39, Loup Vaillant wrote: An example of a killer-something might be a Raspberry-Pi shipped with a self-documented Frank-like image. By self-documented, I mean something more than emacs. I mean something filled with tutorials about how to implement, re

Re: [fonc] How it is

2012-10-03 Thread Loup Vaillant
Pascal J. Bourguignon a écrit : The problem is not the sources of the message. It's the receiptors. Even if it's true, it doesn't help. Unless you see that as an advice to just give up, that is. Assuming we _don't_ give up, who can we reach even those that won't listen? I only have two answ

[fonc] I can't find a copy of The Influence of the Designer on the, Design

2012-09-17 Thread Loup Vaillant
Hello, I am reading Ian's "Open, extensible composition models" (extended abstract), and the citation of Stoyan's work[1] piqued my interest. Unfortunately, my Google-fu fails me (I get a citation, a 404, and Ian's own paper). Could someone provide me a link to, or a copy of, this paper? Thanks

Re: [fonc] success building maru in maru - a bunch of bugs I had to fix to make it happen

2012-08-31 Thread Loup Vaillant
From the maru page http://piumarta.com/software/maru/ The 2.2 tarball seems to be here: http://piumarta.com/software/maru/maru-2.2.tar.gz (at the bottom of the page). However, we can see Ian did further work: maru is now at version 2.4 Loup. Tom Koenig a écrit : Ian, where do I find the ma

Re: [fonc] Historical lessons to escape the current sorry state of personal computing?

2012-07-17 Thread Loup Vaillant
Pascal J. Bourguignon a écrit : BGB writes: dunno, I learned originally partly by hacking on pre-existing codebases, and by cobbling things together and seeing what all did and did not work (and was later partly followed by looking at code and writing functionally similar mock-ups, ...). some

Re: [fonc] Historical lessons to escape the current sorry state of personal computing?

2012-07-17 Thread Loup Vaillant
BGB a écrit : people need to live their lives, and to do this, they need a job and money (and a house, car, ...). As individuals, in our current society, yes. We can strive for other solutions, however. A analogy with computing would be to say people need an http//html browser to search the I

Re: [fonc] Historical lessons to escape the current sorry state of personal computing?

2012-07-16 Thread Loup Vaillant
Pascal J. Bourguignon a écrit : Unfortunately, [CS is] not generalized yet, like mathematics of history. Did you mean history of mathematics? Or something like this? http://www.ted.com/talks/jean_baptiste_michel_the_mathematics_of_history.html Loup. ___

Re: [fonc] memristors and the changing landscape of systems architectures

2012-07-11 Thread Loup Vaillant
I think the most game changing features are its impressives capabilities, but its impressive *flexibility*. Even if performance wise, relative to power and physical volume, it does no better than other architectures, it is still a full system on a chip, with one crucial difference: nearly all

Re: [fonc] The Web Will Die When OOP Dies

2012-06-15 Thread Loup Vaillant
Paul Homer wrote: It is far more than obvious that OO opened the door to allow massive systems. Theoretically they were possible before, but it gave us a way to manage the complexity of these beasts. Still, like all technologies, it comes with a built-in 'threshold' that imposes a limit on what w

[fonc] Dynabook ideas

2012-03-15 Thread Loup Vaillant
Le 15/03/2012 00:44, Alan Kay a écrit : To me the Dynabook has always been 95% a "service model" and 5% physical specs (there were three main physical ideas for it, only one was the tablet). Err, what those ideas were? I have seen videos of you presenting it, but I can't see more than a table

Re: [fonc] Block-Strings / Heredocs (Re: Magic Ink and Killing Math)

2012-03-14 Thread Loup Vaillant
Michael FIG wrote: Loup Vaillant writes: You could also play the human compiler: use the better syntax in the comments, and implement a translation of it in code just below. But then you have to manually make sure they are synchronized. Comments are good. Needing them is bad. Or use a

Re: [fonc] Block-Strings / Heredocs (Re: Magic Ink and Killing Math)

2012-03-14 Thread Loup Vaillant
BGB wrote: On 3/13/2012 4:37 PM, Julian Leviston wrote: I'll take Dave's point that penetration matters, and at the same time, most "new ideas" have "old idea" constituents, so you can easily find some matter for people stuck in the old methodologies and thinking to relate to when building yo

[fonc] The subject line can be changed

2012-03-13 Thread Loup Vaillant
So let's change it the next time the actual subject changes. Loup. David Barbour wrote: This has been an interesting conversation. I don't like how it's hidden under the innocent looking subject `Error trying to compile COLA` ___ fonc mailing list f

Re: [fonc] Error trying to compile COLA

2012-03-01 Thread Loup Vaillant
Le 01/03/2012 22:58, Casey Ransberger a écrit : Below. On Feb 29, 2012, at 5:43 AM, Loup Vaillant wrote: Yes, I'm aware of that limitation. I have the feeling however that IDEs and debuggers are overrated. When I'm Squeaking, sometimes I find myself modeling classes with the br

Re: [fonc] Error trying to compile COLA

2012-03-01 Thread Loup Vaillant
BGB wrote: there is also, at this point, a reasonable lack of "industrial strength scripting languages". there are a few major "industrial strength" languages (C, C++, Java, C#, etc...), and a number of scripting languages (Python, Lua, JavaScript, ...), but not generally anything to "bridge the

Re: [fonc] Sorting the WWW mess

2012-03-01 Thread Loup Vaillant
Martin Baldan wrote: That said, I don't see why you have an issue with search engines and search services. Even on your own machine, searching files with complex properties is far from trivial. When outside, untrusted sources are involved, you need someone to tell you what is relevant, what is no

[fonc] Sorting the WWW mess

2012-03-01 Thread Loup Vaillant
Right now I'm a bit confused. I saw here 2 aspects of the world wide web that make it "a mess". 1. The browser cannot host arbitrary processes. So instead of something simple and general, we have the current html + CSS + Javascript + webGl + whatnot… And of course a huge pile of "

Re: [fonc] Error trying to compile COLA

2012-02-29 Thread Loup Vaillant
re for industrial-strength use. Cheers, Alan *From:* Loup Vaillant *To:* fonc@vpri.org *Sent:* Wednesday, February 29, 2012 1:27 AM *Subject:* Re: [fonc] Error trying to compile COLA Alan Kay wrote: > Hi Loup > > Very good question -- and tell your Boss

Re: [fonc] Error trying to compile COLA

2012-02-29 Thread Loup Vaillant
Alan Kay wrote: Hi Loup Very good question -- and tell your Boss he should support you! Cool, thank you for your support. […] One general argument is that "non-machine-code" languages are POLs of a weak sort, but are more effective than writing machine code for most problems. (This was quit

Re: [fonc] Error trying to compile COLA

2012-02-28 Thread Loup Vaillant
fast If I'm being over-confident.) Thanks, Loup. Cheers, Alan *From:* Loup Vaillant *To:* fonc@vpri.org *Sent:* Tuesday, February 28, 2012 2:21 AM *Subject:* Re: [fonc] Error trying to compile COLA Originally, the VPRI claims to be able to do a system that'

Re: [fonc] Error trying to compile COLA

2012-02-28 Thread Loup Vaillant
Julian Leviston wrote: Two things spring out of this at me (inline): On 28/02/2012, at 9:21 PM, Loup Vaillant wrote: - Features matter more than I think they do. - One may not expect the user to write his own features, even though it would be relatively simple. What about when using

Re: [fonc] Error trying to compile COLA

2012-02-28 Thread Loup Vaillant
Originally, the VPRI claims to be able to do a system that's 10,000 smaller than our current bloatware. That's going from roughly 200 million lines to 20,000. (Or, as Alan Kay puts it, from a whole library to a single book.) That's 4 orders of magnitude. From the report, I made a rough break do

Re: [fonc] Raspberry Pi

2012-02-09 Thread Loup Vaillant
K. K. Subramaniam wrote: Has anyone looked at Beaglebone - affordable, hacker-friendly ARM board? This? http://beagleboard.org/bone ___ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc

Re: [fonc] Raspberry Pi

2012-02-08 Thread Loup Vaillant
Alan Kay wrote: Hi Loup Actually, your last guess was how we thought most of the optimizations would be done (as separate code "guarded" by the meanings). […] > In practice, the optimizations we did do are done in the translation > chain and in the run-time, […] Okay, thanks. I can't recal

Re: [fonc] Raspberry Pi

2012-02-08 Thread Loup Vaillant
Jecel Assumpcao Jr. wrote: Alan Kay wrote: We have done very little of this so far, and very few optimizations. We can give live dynamic demos in part because Dan Amelang's Nile graphics system turned out to be more efficient than we thought with very few optimizations. Here is were the binary

Re: [fonc] One more year?!

2012-01-21 Thread Loup Vaillant
Le 1/21/2012 2:52 AM, Reuben Thomas a écrit : I have just skimmed VPRI's 2011 report; lots of interesting stuff there. The ironies of a working system that the rest of us can only view in snapshot form grow ever-stronger: the constant references to active documents are infuriating. The audience w

Re: [fonc] Inspired 3D Worlds

2012-01-17 Thread Loup Vaillant
Le 1/17/2012 6:58 PM, karl ramberg a écrit : On Tue, Jan 17, 2012 at 5:43 PM, Loup Vaillant mailto:l...@loup-vaillant.fr>> wrote: David Barbour wrote: On Tue, Jan 17, 2012 at 12:30 AM, karl ramberg mailto:karlramb...@gmail.com> <mailto:karlramb.

Re: [fonc] Inspired 3D Worlds

2012-01-17 Thread Loup Vaillant
David Barbour wrote: On Tue, Jan 17, 2012 at 12:30 AM, karl ramberg mailto:karlramb...@gmail.com>> wrote: I don't think you can do this project without a understanding of art. It's a fine gridded mesh that make us pick between practically similar artifacts with ease and that make t

Re: [fonc] OLPC related

2011-11-13 Thread Loup Vaillant
Nitpick: Le 11/13/2011 10:54 PM, David Corking a écrit : It needs the resources of the West (really the Global North) to make it a programmable device - you need to beg or borrow a keyboard, a USB hub, a mouse, a storage card, (an optional network connection) and a screen with an HDMI input, or

Re: [fonc] IBM eyes brain-like computing

2011-10-26 Thread Loup Vaillant
Eugen Leitl wrote: On Wed, Oct 26, 2011 at 09:00:36AM -0400, John Zabroski wrote: Kurzweil addresses that. As far as I know Kurzweil hasn't presented anything technical or even detailed. Armwaving is cheap enough. Kurzweil addresses that. Do you have literature references for that? As f