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] 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] Final STEP progress report?

2012-11-08 Thread Loup Vaillant-David
Seconded. For instance, I want to re-implement OMeta on top of Lua. The papers are good, but I had to look at the code to feel able to do my implementation myself. I believe it applies to the other pieces of Frank. You compressed much work in little code, so even if it's just an undocumented sn