Re: [fonc] Unsolved problem in computer science? Fixing shortcuts.

2014-10-05 Thread Tristan Slominski
One thing that comes to mind are copying garbage collectors which need to keep track of references while moving objects around. Probably looking into how that is solved will provide some insight. On Sun, Oct 5, 2014 at 12:35 PM, John Carlson yottz...@gmail.com wrote: Not obvious to me. Are you

Re: [fonc] Final STEP progress report abandoned?

2013-09-03 Thread Tristan Slominski
Hey Alan, With regards to burning issues and better directions, I want to highlight the communicating with aliens problem as worth of remembering. Machines figuring out on their own a protocol and goals for communication. This might relate to cooperating solvers aspect of your work. Cheers,

Re: [fonc] Macros, JSON

2013-07-21 Thread Tristan Slominski
All this talk of macros and quotes reminds me that there is Kernel language where they are extraneous (if I understand it correctly). Operative and applicative combiners are used explicitly: http://www.wpi.edu/Pubs/ETD/Available/etd-090110-124904/unrestricted/jshutt.pdf On Sun, Jul 21, 2013 at

Re: [fonc] Why Mind Uploading could be horrible

2013-04-23 Thread Tristan Slominski
AM, Loup Vaillant-David l...@loup-vaillant.frwrote: 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

Re: [fonc] Why Mind Uploading could be horrible

2013-04-23 Thread Tristan Slominski
apr 2013 18:13 skrev Tristan Slominski tristan.slomin...@gmail.com: With great trepidation, I will try to keep this to computing :D It may revolve around the meaning of uploading, but my problem with the uploading approach, is that it makes a copy. Whether a copy is the same as the real thing

[fonc] Actors, Light Cones and Epistemology (was Layering, Thinking and Computing)

2013-04-14 Thread Tristan Slominski
statement, but otherwise, I accept your assertion. On Sat, Apr 13, 2013 at 1:29 PM, David Barbour dmbarb...@gmail.com wrote: On Sat, Apr 13, 2013 at 9:01 AM, Tristan Slominski tristan.slomin...@gmail.com wrote: I think we don't know whether time exists in the first place. That only

Re: [fonc] Meta-Reasoning in Actor Systems (was: Layering, Thinking and Computing)

2013-04-14 Thread Tristan Slominski
with it. :D On Sun, Apr 14, 2013 at 9:55 AM, Tristan Slominski tristan.slomin...@gmail.com wrote: Impressive. But with Turing complete models, the ability to build a system is not a good measure of distance. How much discipline (best practices, boiler-plate, self-constraint) and foresight (or up

Re: [fonc] Layering, Thinking and Computing

2013-04-12 Thread Tristan Slominski
all the different layers (meta-levels) when thinking about computing? On Wed, Apr 10, 2013 at 12:21 PM, David Barbour dmbarb...@gmail.com wrote: On Wed, Apr 10, 2013 at 5:35 AM, Tristan Slominski tristan.slomin...@gmail.com wrote: I think it's more of a pessimism about other models. [..] My

Re: [fonc] Layering, Thinking and Computing

2013-04-10 Thread Tristan Slominski
Barbour dmbarb...@gmail.com wrote: On Tue, Apr 9, 2013 at 12:44 PM, Tristan Slominski tristan.slomin...@gmail.com wrote: popular implementations (like Akka, for example) give up things such as Object Capability for nothing.. it's depressing. Indeed. Though, frameworks shouldn't rail too

Re: [fonc] Layering, Thinking and Computing

2013-04-09 Thread Tristan Slominski
producing inconsistency (or the analogous 'bad' outcome). Thank you Chris, your highlights tremendously helped to anchor my mind at the correct layer of the conversation. On Mon, Apr 8, 2013 at 11:37 PM, David Barbour dmbarb...@gmail.com wrote: On Mon, Apr 8, 2013 at 6:29 PM, Tristan Slominski

Re: [fonc] Layering, Thinking and Computing

2013-04-08 Thread Tristan Slominski
at 2:56 PM, Tristan Slominski tristan.slomin...@gmail.com wrote: stability is not necessarily the goal. Perhaps I'm more in the biomimetic camp than I think. Just keep in mind that the real world has quintillions of bugs. In software, humans are probably still under a trillion

Re: [fonc] Layering, Thinking and Computing

2013-04-08 Thread Tristan Slominski
:52 PM, Tristan Slominski tristan.slomin...@gmail.com wrote: This is incorrect, well, it's based on a false premise.. this part is incorrect/invalid? A valid argument with a false premise is called an 'unsound' argument. ( http://en.wikipedia.org/wiki/Validity#Validity_and_soundness

Re: [fonc] Layering, Thinking and Computing

2013-04-07 Thread Tristan Slominski
, and not in the procedural actor behavior. How would one program a flock in LISP? On Sun, Apr 7, 2013 at 3:47 AM, Julian Leviston jul...@leviston.net wrote: On 07/04/2013, at 1:48 PM, Tristan Slominski tristan.slomin...@gmail.com wrote: a lot of people seem to have the opinion the language a person

Re: [fonc] Layering, Thinking and Computing

2013-04-07 Thread Tristan Slominski
dmbarb...@gmail.com wrote: On Sat, Apr 6, 2013 at 8:48 PM, Tristan Slominski tristan.slomin...@gmail.com wrote: a lot of people seem to have the opinion the language a person communicates in locks them into a certain way of thinking. There is an entire book on the subject, Metaphors We

Re: [fonc] Layering, Thinking and Computing

2013-04-07 Thread Tristan Slominski
A purpose of language is to convey how to solve problems. You need to look for robust solution. You must deal with that real world is inprecise. Just transforming problem to words causes inaccuracy. when you tell something to many parties each of them wants to optimize something different.

Re: [fonc] Layering, Thinking and Computing

2013-04-07 Thread Tristan Slominski
://pleiad.dcc.uchile.cl/_media/bic2007/papers/conscientioussoftwarecc.pdf On Sun, Apr 7, 2013 at 10:50 AM, David Barbour dmbarb...@gmail.com wrote: On Sun, Apr 7, 2013 at 5:44 AM, Tristan Slominski tristan.slomin...@gmail.com wrote: I agree that largely, we can use more work on languages, but it seems

Re: [fonc] Layering, Thinking and Computing

2013-04-07 Thread Tristan Slominski
...@gmail.com wrote: On Sun, Apr 7, 2013 at 10:40 AM, Tristan Slominski tristan.slomin...@gmail.com wrote: Consider: You can't treat a group of two actors as a single actor. You can definitely group two actors as a single actor. It's almost trivial to do so. It requires creating another

Re: [fonc] Natural Language Wins

2013-04-04 Thread Tristan Slominski
Thus a major improvement for world computing would be careful adherence to a world wide natural language That seems to be contrary to how the world works. We can't even agree whether to read bytes from right to left or left to right ( http://en.wikipedia.org/wiki/Endianness).

Re: [fonc] Natural Language Wins

2013-04-04 Thread Tristan Slominski
It appears you are successfully working with English as do most people [**citation needed**] who communicate internationally. Not to say English best but it is what most people know [**citation needed**] and using it in programs would make them readable by more people [**no evidence for this

Re: [fonc] misc: code security model

2011-08-11 Thread Tristan Slominski
I feel obligated to comment on usage of MD5 for any security purpose: http://www.codeproject.com/KB/security/HackingMd5.aspx On Thu, Aug 11, 2011 at 19:06, BGB cr88...@gmail.com wrote: On 8/11/2011 12:55 PM, David Barbour wrote: On Wed, Aug 10, 2011 at 7:35 PM, BGB cr88...@gmail.com wrote:

[fonc] OMetaJS + NodeJS

2011-06-26 Thread Tristan Slominski
In anticipation of future work, I had a need for a command-line tool ( instead of the Workspace ) that would execute OMetaJS. The project provides for passing OMetaJS grammars, interpreters, or compilers/code emitters via command-line and chaining them together. The project is up on github:

Re: Age and Language (was Re: [fonc] Alternative Web programming models?)

2011-06-15 Thread Tristan Slominski
but, yeah... being young, time seems to go by very slowly, and just sitting around fiddling with something, one accomplishes a lot of stuff in a relatively short period of time. as one gets older though, time goes by ever faster, and one can observe that less and less happens in a given

Re: [fonc] Alternative Web programming models?

2011-06-14 Thread Tristan Slominski
By parsing limits I mean the fact that the language grammar usually has to be more verbose than is required by a human to resolve ambiguity and other issues. This is mainly a problem if you start thinking of how to mix languages. To integrates say Java, SQL and regular expressions in one

Re: [fonc] Alternative Web programming models?

2011-06-14 Thread 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 graph database. Then languages would be composed by declaring lenses between them. As long as there is a lens to a editor dsl