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 completed ones. Sure, it's just a classic

[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 this

[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

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

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,

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 :D)

[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. If I

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 dmbarb...@gmail.com 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

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 they

[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

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?

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's

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. instead of std::string

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] 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 preference that the code is easier to work

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

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