A thought about bytecode: One problem with distributing things in a
compiled version is that it doesnt really afford collaboration. If the
primary means of distribution instead would be the source as such it's much
easier to debug and fix issues discovered in imported modules. If something
like a g
http://en.wikipedia.org/wiki/Thinking_processes_%28theory_of_constraints%29
BR,
John
On Thu, Sep 5, 2013 at 8:00 PM, John Carlson wrote:
> What is an impact map model? Is it something like a use case?
> On Sep 5, 2013 12:33 PM, "John Nilsson" wrote:
>
>> Even if the diff
Even if the different domains are different it should still be possible to
generalize the basic framework and strategy used.
I imagine layers of models each constrained by the upper metamodel and a
fitness function feeding a generator to create the next layer down until
you reach the bottom executa
Check out http://www.cat-language.com/
BR
John
Skickat från min iPhone
4 sep 2013 kl. 01:43 skrev Casey Ransberger :
> I've heavily abridged your message David; sorry if I've dropped important
> context. My words below...
>
> On Sep 3, 2013, at 3:04 PM, David Barbour wrote:
>
>> Even better
It's not so much if a copy is the same as the real thing, but rather how do
you define the difference between an all-at-once copy with a simultaneous
destruction of the original and a piece by piece replacement of the parts?
It seems to me they only differ by the size of the part replaced.
BR
John
krev "John Carlson" :
> Excel is indeed interesting. Can google docs/libreoffice/OpenOffice do
> something similar?
> On Apr 21, 2013 2:52 AM, "John Nilsson" wrote:
>
>> I think Excel is interesting in this regard. The common idiom in excel is
>> to em
I think Excel is interesting in this regard. The common idiom in excel is
to employ user triggered code generation by fill formula to adapt the ui to
dynamically resized collections.
Not exactly automatic, but is it sufficiently trivial to group with or
trivial ui operations such as scroll or resiz
le interfaces even for their
> own local needs has not succeeded well.
>
> But ...
>
> Cheers,
>
> Alan
>
> --
> *From:* John Nilsson
> *To:* Fundamentals of New Computing
> *Sent:* Saturday, April 20, 2013 7:32 AM
> *Subject
edom to abstract and separate problem-specific link logic
> (including decision-making) rather than having a one-size-fits-all solution.
>
> Re: In my mind "powerful languages" thus means 98% requirements
>
> To me, "power" means something much more graduated: that I c
Maybe not. If there is enough information about different modules'
capabilities, suitability for solving various problems and requirements,
such that the required "glue" can be generated or configured automatically
at run time. Then what is left is the input to such a generator or
configurator. At
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 you haven't read it you might find it interesting. Unfortunately only
Layering kind of implies a one dimensional space: lower vs. higher
abstraction. Although we try hard to project other dimensions such as the
why-how onto this dimension the end result is complex mess of concepts from
different domains trying to fit in a way to small space. So besides
layering we sh
I'm thinking that there are two kinds of input to such an effort. Domain
specific knowledge formalized to varying degrees in various ways, and cross
domain interpretation of such formalized knowledge.
In my mind we are all to occupied with encoding domain knowledge into
machines with little though
than abstract for learning.
>
> Julian
>
>
> On 03/12/2012, at 12:23 AM, John Nilsson wrote:
>
> Yes.
>
> Hence you write a pattern language and spare people the agony of reading
> the programs it was discovered in.
>
> Which was precisely my point. Maybe this is
John
Den 2 dec 2012 14:18 skrev "Pascal J. Bourguignon" :
> John Nilsson writes:
>
> > Isn't the pattern language literature exactly that? An effort to
> > typeset and edit interesting design artifacts.
>
> Unless you're programming in lisp(*), readi
Isn't the pattern language literature exactly that? An effort to typeset
and edit interesting design artifacts.
BR
John
Den 2 dec 2012 10:30 skrev "Iian Neill" :
> Benoit,
>
> I would very much like to read source code more often, as I suspect would
> many others, but I think the problem lies in
On Thu, Oct 4, 2012 at 1:06 AM, Pascal J. Bourguignon
wrote:
> And who has the resources to do this work: it seems to me to be a big
> endeavour. Collecting the research "prototype" developed during the
> last 50 years, and develop a such a product.
I'm not sure it has to be that big of an effor
I read that post about constraints and kept thinking that it should be
the infrastructure for the next generation of systems development, not
art assets :)
In my mind it should be possible to input really fuzzy constraints
like "It should have a good looking, blog-like design"
A search engine woul
More work relative to an approach where full specification and controll is
feasible. I was thinking that in a not to distant future we'll want to
build systems of such complexity that we need to let go of such dreams.
It could be enough with one system. How do you evolve a system that has
emerged
Random as in where it's applied or random in what's applied?
I was thinking that the viral part was a means to counter the seeming
randomness in an otherwise chaotic system. Similar in spirit in how
gardening creates some amount of order and predictability, a gardener
who can apply DNA tweaks as w
I just had a weird though, maybe there is some precedence?
If we were to do software development in a more organic manner,
accepting the nature of complex systems as being... complex. In such a
setting we might have no blue-print (static source code) to usable for
instantiating new live systems ex
On Mon, Jul 16, 2012 at 2:20 PM, Miles Fidelman
wrote:
> question becomes: is this a separate discipline, or is it something to be
> incorporated into math and science?
This question is examined at length here: http://www.ageofsignificance.org/
(Unfortunately something seems to have derailed the
I think one of the video links are wrong, should they both be the same?
BR,
John
Den 20 apr 2012 01:57 skrev "Andre van Delft" :
> Scala Days 2012 was held this week in London; 400 passionate developers;
> many presentations on DSLs, parallelism, concurrency, FP, compiler
> technology and much oth
Maybe not what you are looking for, but you might find
http://awelon.org/ interesting.
BR,
John
2012/3/19 Benoît Fleury :
> Hi,
>
> I was wondering if there is any language out there that lets you describe
> the behavior of an "object" as a grammar.
>
> An object would receive a stream of events.
On Tue, Jul 26, 2011 at 8:16 AM, BGB wrote:
> the main merit of a bytecode format is that it could shorten the path in
> getting to native code, potentially allowing it to be faster.
>
It seems to me that there is a lot of derivation of information going on
when interpreting source code. First a
Regarding languages it is refreahing then to see a well researched language
like Scala gain so much popularity. I would say that Scala is in a very good
position to maybe even replace Java as the language of choice.
BR,
John
p.s. Scalas parser combinator library provides a language very similar t
ílka :
> On Tue, Jun 14, 2011 at 01:04:20PM -0700, BGB wrote:
>> On 6/14/2011 12:14 PM, Michael FIG wrote:
>> >Hi,
>> >
>> >John Nilsson writes:
>> >
>> >>So my fix is to make the separation a hidden thing, which means the
>> >>pro
t;BGB" :
> On 6/14/2011 2:31 PM, John Nilsson wrote:
>>
>> On both questions the answer is basically that Java was an example. I
>> was looking for a general solution. Something that would work withoug
>> prior assumptions about the languages involved.
>>
>> Th
On both questions the answer is basically that Java was an example. I was
looking for a general solution. Something that would work withoug prior
assumptions about the languages involved.
The problem I was thinking about was how to provide an infrastructure where
in anyone could be a language desi
On Tue, Jun 14, 2011 at 5:14 PM, Tristan Slominski
wrote:
> Just for completeness, the lenses you describe here remind me of OMeta's
> foreign rule invocation:
> from http://www.vpri.org/pdf/tr2008003_experimenting.pdf
> see 2.3.4 Foreign Rule Invocation p. 27 of paper, p. 46 of pdf
> So, if you d
Thanks for the pointer. I'll have a look.
BR,
John
Sent from my phone
Den 14 jun 2011 17:17 skrev "Tristan Slominski" :
>>
>> I had some thoughts about how to approach the issue. I was thinking that
>> you could represent the language in a more semanticaly rich form such as
a
>> RAG stored in a g
I'm not sure how OMeta would help. At a textual level it's just a
PEG-parser.
I can see how OMeta will make it easier to step away from parsing text
though. Which is precisly the point, text is a bad representation to work
in.
I had some thoughts about how to approach the issue. I was thinking th
On Mon, Jun 13, 2011 at 10:02 PM, BGB wrote:
> but, what would be the gain?... the major issue with most possible graphical
> representations, is that they are far less compact. hence, the common use of
> graphical presentations to represent a small amount in information in a
> "compelling" way (s
On Mon, Jun 13, 2011 at 9:26 PM, Julian Leviston wrote:
> ... also, the idea of modelling change ITSELF is an appealing one in this
> context, and all changes including data "entry" etc being simply represented
> as a log of mutations using the command pattern. Thus the data represented
> in the f
Is static types really an intensic property of the language? In my mind any
language can be statically typed. It is just more or less hard to do.
In any case, does SQL match your definition?
BR
John
Den 4 jun 2011 16:55 skrev "Scott McLoughlin" :
___
f
There is a library for java called checker-framework which provides for
pluggable types using annotation processing. Most importantly it is a
framework that can be used by the user to create their own specialized
types.
I have been thinking of using this library to implement a unique constraint
on
m actions and sending that directly to the server.
>
> Food for thought.
>
> [1] http://www.google.com/search?q=how+to+add+a+column+to+a+large+table
> [2] http://martinfowler.com/articles/evodb.html
> [3] http://databaserefactoring.com/
> [4] http://guides.rubyonrails.org/migrations.h
;parallel-busyness" chipmaker's crave. I'd recommend Mark Turner's
> paper Forging Connections, which suggests some meaning belong to the
> mapping itself, rather the source-target approaches. In other words,
> we tend to construct meaning in a blend between the source a
I would think that it is generally impossible to automatically extract
intentions from code. I run into this wall every day at work, I know
_what_ the code is doing. But there is often little information as to
_why_ it does what it does. It's not only due to the fact that the
program is shaped by t
Oh sorry. Missed that little word "you" in the OP. ;-)
BR,
John
On Wed, Mar 30, 2011 at 8:07 PM, Alan Kay wrote:
> It is worth a mention, but it was not done by Viewpoints folks in current or
> previous incarnations
>
> Cheers,
>
> Alan
>
> ___
I think Subetextual[1] deserves a mention.
[1] http://www.subtextual.org/
BR,
John
On Wed, Mar 30, 2011 at 4:09 PM, John Zabroski wrote:
> I am trying to round up all visual programming kit research written by you
> folks, so that I can then compile a biography that I can read in one
> sitting.
On Wed, Jan 19, 2011 at 5:34 AM, John Zabroski wrote:
> That makes me wonder if the group here on the FONC mailing list can suggest
> their favorite TED videos. There are simply too many for all of us to watch
> them all (my guess), but if we all contributed here and there, we might come
> up wit
On Sun, Dec 19, 2010 at 3:14 AM, Steve Taylor wrote:
> Reuben Thomas wrote:
>
>> 1. You prefer to release only polished artefacts. This is just
>> egotistical.
>
> Demanding that people show you their work before it's ready can come across
> as pretty egotistical too.
>
> Yes - I'd love to see a l
On Fri, Oct 15, 2010 at 3:20 AM, Casey Ransberger
wrote:
> I wonder: what if all we did was write the tests? What if we threw some kind
> of genetic algorithm or neural network at the task of making the tests pass?
I've been having a similar thought for a while now, but its not really
the test a
On Mon, May 10, 2010 at 11:29 PM, BGB wrote:
>
> like having documentation in a hypertext form, and having code contain
> links into the docs, and from the docs back into the code?...
>
For example.
> I guess it would be a notable improvement on having to edit external files
> for the documents,
On Mon, May 10, 2010 at 8:55 PM, John Zabroski wrote:
> Can you provide an end-to-end exemplary situation in Enterprise Resource
> Planning (ERP) software where FONC ideas are relevant? You sort of jumped
> off that stream of thought and onto modeling sine waves graphically, etc.
>
Depends on wh
On Mon, May 10, 2010 at 6:54 PM, John Zabroski wrote:
>
> Schematic tables are a separate issue entirely.
>
First of all. Thanks for the explanation about the thinking wrt the TCP/IP
implementation. I'll have to peruse the code with that in mind.
My questions was, as you pointed out, about a sepa
Hi,
When reading about the TCP/IP implementation in OMeta it strikes me that
parsing the ASCII-art is still text. Isn't it kind of silly to spend all
that syntax on representing something as fundamental as a table?
So I was wondering, have you, at vpri, been contemplating alternative
program repr
48 matches
Mail list logo