On Sun, Sep 28, 2014 at 8:36 AM, Miles Fidelman mfidel...@meetinghouse.net
wrote:
You're assuming that QA is a good way to discuss a topic in depth.
I believe you're misreading Julian. AFAICT, he's said nothing about the
utility of the discussions on each site.
QA can be good for depth - see
A proposed stack exchange for programming language theory has reached
commitment phase. It needs two hundred people. If you're interested in PL,
please participate:
http://area51.stackexchange.com/proposals/65167?phase=commitment
___
fonc mailing list
Look into F* from Microsoft Research. It isn't quite what you're asking
for, but it might be what you need.
On Mon, Jan 6, 2014 at 11:27 AM, John Carlson yottz...@gmail.com wrote:
Is anyone interested in a POL/DSL for security? What's out there now? I
am thinking of a language which
Instead of 'applications', you have objects you can manipulate (compose,
decompose, rearrange, etc.) in a common environment. The state of the
system, the construction of the objects, determines not only how they
appear but how they behave - i.e. how they influence and observe the world.
Task
possibilities.
They divided a unified media world into two regimes, neither of which are
very good for end-users.
Cheers,
Alan
--
*From:* David Barbour dmbarb...@gmail.com
*To:* Fundamentals of New Computing fonc@vpri.org
*Sent:* Thursday, October 31, 2013 8
when I look at the world we live in and and
note the trends then I feel worse, not better.
-David Leibs
On Oct 31, 2013, at 11:10 AM, David Barbour dmbarb...@gmail.com wrote:
The phrase Worse is better involves an equivocation - the 'worse' and
'better' properties are applied in completely
On Thu, Oct 31, 2013 at 12:37 PM, Chris Warburton chriswa...@googlemail.com
wrote:
In the case of an OS, providing a dumb box to draw on is much easier
than a complete, complementary suite of MVC/Morphic/etc. components,
even though developers are forced to implement their own incompatible
On Tue, Oct 15, 2013 at 12:09 AM, Faré fah...@gmail.com wrote:
Without going into too much detail on what becomes possible when programs
are stored in domain specific data structures [...]
Yes, yes, yes, but to beat a good text editor like Emacs, you have to
fight this phenomenon
I agree with much of what you describe about the problem. We should support
many different views of the data describing the program. And not just for
different people. Even a single person can benefit from many views, e.g.
when debugging or addressing different problems. Text seems to be very
The usual problem with this sort of handle this super-rare event when it
happens code is that it is poorly tested in practice. Should you trust it?
On Thu, Sep 26, 2013 at 11:46 PM, Robbert van Dalen
robbert.van.da...@gmail.com wrote:
Hi,
ZFS has de-duplication built on top of SHA256
I love these sorts of hashes. I call them fingerprints as in audio
fingerprints or visual fingerprints. They're extremely useful for
augmented reality applications, for physical security applications, and
many others. Even better if fingerprints from multiple sources can be
combined.
Aliasing is
.
Even EEC memory suffers that fate (but of course with a much lower chance).
It is impossible to build a system that achieves 100% data correctness:
SHA256 will do fine for now.
On Sep 27, 2013, at 4:37 PM, David Barbour dmbarb...@gmail.com wrote:
The usual problem with this sort of handle
.
I'm not sure understand enough of David's idea (or substructural logic) to
tell if this is a real problem or not, but I wanted to chime in, since I
find the thread fascinating.
Best regards,
Eran.
On Thu, Sep 26, 2013 at 2:23 AM, David Barbour dmbarb...@gmail.comwrote:
...
If I
On Thu, Sep 26, 2013 at 10:03 AM, Sam Putman atmanis...@gmail.com wrote:
The notion is to have a consistent way to map between a large sound file
and the large sound file. From one perspective it's just a large number,
and it's nice if two copies of that number are never treated as different
On Thu, Sep 26, 2013 at 3:05 PM, Sam Putman atmanis...@gmail.com wrote:
On Thu, Sep 26, 2013 at 2:31 PM, David Barbour dmbarb...@gmail.comwrote:
On Thu, Sep 26, 2013 at 11:58 AM, Sam Putman atmanis...@gmail.comwrote:
How often do we compare very large integers for equality?
Rather
The usual idea here is that you use very large hashes (e.g. 256 bits or
larger) such that the probability of a collision is less than, for example,
the probability of cosmic radiation causing the same issues over the course
of a couple years, or of a meteor striking your computer.
Then you stop
I wouldn't trust anyone selling hash collision insurance.
On Thu, Sep 26, 2013 at 6:11 PM, mclelland.m...@gmail.com wrote:
Buy insurance.
On Sep 26, 2013, at 7:50 PM, Wolfgang Eder e...@generalmagic.at wrote:
hi,
in recent discussions on this list, the idea of using hashes to
identify
On Thu, Sep 26, 2013 at 6:10 PM, Martin McClure
martin.mccl...@gemtalksystems.com wrote:
1) Have a single central authority that hands out identifiers.
The central authority model works in some scenarios, but for widely
distributed systems the reliability problems (the central authority may
Yeah. Then I tried chapter two.
The idea of memoizing optimized functions (jets) is neat. As is his
approach to networking.
On Sep 24, 2013 10:54 PM, Julian Leviston jul...@leviston.net wrote:
http://www.urbit.org/2013/08/22/Chapter-0-intro.html
Interesting?
Julian
-from.html
Regarding 'jets', I'd be more interested if there was a way to easily guide
the machine to build new ones. As is, I'd hate to depend on them.
Regards,
Dave
On Tue, Sep 24, 2013 at 11:30 PM, David Barbour dmbarb...@gmail.com wrote:
Yeah. Then I tried chapter two.
The idea
I would also be interested in a history for this subject.
I've read a few papers on the subject of VR programming. Well, I remember
the act of reading them, but I can't recall their subjects or authors or
being very impressed with them in PL terms.
Does anyone else have links?
On Wed, Sep 25,
.) as well as VWF (Virtual Worlds Framework),
but I'm always interested in expanding my horizons, since this topic is
near and dear to my heart.
Thanks.
cheers, danm
On 9/25/13 10:22 AM, David Barbour wrote:
I would also be interested in a history for this subject.
I've read a few papers
What you first suggest is naming for compression and caching. I think
that's an okay performance hack (it's one I've contemplated before), but I
wouldn't call it naming. Names generally need to bind values that are
maintained independently or cannot be known at the local place or time. I
think
If we're just naming values, I'd like to avoid the complexity and just
share the value directly. Rather than having foo function vs. bar
function, we'll just have a block of anonymous code. If we have a large
sound file that gets a lot of references, perhaps in that case explicitly
using a
Thanks for the ref, Chris. I'll take some time to absorb it.
On Tue, Sep 24, 2013 at 1:46 AM, Chris Warburton
chriswa...@googlemail.comwrote:
David Barbour dmbarb...@gmail.com writes:
Text is also one of the problems I've been banging my head against since
Friday. Thing is, I really hate
:* augmented-...@**googlegroups.com [mailto:augmented-...@**
googlegroups.com] *On Behalf Of *David Barbour
*Sent:* Tuesday, September 24, 2013 9:11 AM
*To:* augmented-...@**googlegroups.com; reactiv...@googlegroups.**com;
Fundamentals of New Computing
*Subject:* Re: Personal Programming Environment
Lisp does.
2) If not, format quoted text like quote number_of_chars char char char
Yes I know 2) is fragile, but so is escaping.
On Tue, Sep 24, 2013 at 7:24 AM, David Barbour dmbarb...@gmail.comwrote:
Oh, I see. As I mentioned in the first message, I plan on UTF-8 text
being one
sequences in the quotation. You just have the
inconvenience of prefixing each line with a tab or something.
Loup.
On Mon, Sep 23, 2013 at 10:24:20PM -0700, David Barbour wrote:
Text is also one of the problems I've been banging my head against since
Friday. Thing is, I really hate escapes
. Fortunately, UI is a relatively good fit for both pipelining
and reactive programming. I think I can make this work, but I might be
using GPipe or LambdaCube as bases for the GL API.
Best,
Dave
On Mon, Sep 23, 2013 at 2:59 AM, Chris Warburton
chriswa...@googlemail.comwrote:
David Barbour dmbarb
is an important factor here. I actually
do think that many programmers actually like the existence of such boundary
and are not motivated to make it disappear, but this is really just an
opinion.
On Fri, Sep 20, 2013 at 7:35 AM, David Barbour dmbarb...@gmail.comwrote:
Over the last month, I feel
:* augmented-programm...@googlegroups.com [mailto:
augmented-programm...@googlegroups.com] *On Behalf Of *David Barbour
*Sent:* Tuesday, September 24, 2013 5:10 AM
*To:* augmented-programm...@googlegroups.com
*Subject:* Re: Personal Programming Environment as Extension of Self
** **
It isn't
the universe of names is still
very important.
** **
*From:* augmented-programm...@googlegroups.com [mailto:
augmented-programm...@googlegroups.com] *On Behalf Of *David Barbour
*Sent:* Tuesday, September 24, 2013 9:11 AM
*To:* augmented-programm...@googlegroups.com;
reactive-dem
processing, but that's your choice.
I'm reminded of the omgcraft ad for cachefly.
John
On Sep 23, 2013 8:11 PM, David Barbour dmbarb...@gmail.com wrote:
Okay, so if I understand correctly you want everyone to see the same
thing, and just deal with the collisions when they occur.
You also plan
supporting 6 different string classes. I
understand that a name is different than a string, but I come from a perl
background. People don't reinvent strings in perl to my knowledge.
On Sep 23, 2013 11:15 PM, David Barbour dmbarb...@gmail.com wrote:
I think it's fine if people model names, text
Mark,
You ask some good questions! I've been taking some concrete actions to
realize my vision, but I haven't much considered how easily others might
get involved.
As I've written, I think a tactic concatenative (TC) language is the key to
making it all work great. A TC language can provide a
.
On Fri, Sep 20, 2013 at 8:28 PM, David Barbour dmbarb...@gmail.comwrote:
On Fri, Sep 20, 2013 at 2:57 PM, Matt McLelland mclelland.m...@gmail.com
wrote:
I would say that in my experience text is a much better construct form
for most programs than those other forms, so I would expect
Can you change the font on that website? My eyes are bleeding.
On Sat, Sep 21, 2013 at 9:49 AM, John Pratt jpra...@gmail.com wrote:
In the process of learning programming to form Noctivagous, Inc.
I came to question fundamental computing science, specifically
how the programs are laid out.
On Sat, Sep 21, 2013 at 12:29 PM, Matt McLelland
mclelland.m...@gmail.comwrote:
An image could be interpreted as a high level world-map to support
procedural generation with colors indicating terrain types and heights.
This is common practice in games, but it doesn't IMO make artists into
= \ x - bar (\y - x+y)
Concatenative languages are often somewhere in between Applicative and
Monad, since they require explicitly modeling the data-plumbing and hence
can control the expressiveness of bindings.
Regards,
Dave
On Fri, Sep 20, 2013 at 2:15 PM, David Barbour dmbarb
Over the last month, I feel like I stumbled into something very simple and
profound: a new perspective on an old idea, with consequences deeper and
more pervasive than I had imagined.
The idea is simply this: every user action is an act of meta-programming.
More precisely:
(1) Each user event
types. Negative or fractional types can do a
similar job. A fractional type can model piping a time-varying signal
through a promise.
Best,
Dave
On Tue, Sep 10, 2013 at 10:35 PM, Darius Bacon wit...@gmail.com wrote:
On Wed, Sep 11, 2013 at 12:24 AM, David Barbour dmbarb...@gmail.com
wrote:
One
Thanks for this ref. It looks interesting.
On Mon, Sep 9, 2013 at 7:33 PM, K. K. Subramaniam kksubbu...@gmail.comwrote:
On Tuesday 10 September 2013 06:24 AM, Alan Kay wrote:
Check out Smallstar by Dan Halbert at Xerox PARC (written up in a PARC
bluebook)
Available online at
in widgets
(lambdas). Widgets will show up when their scope is entered, or you could
have an inspect mode.
On Sep 9, 2013 5:11 PM, David Barbour dmbarb...@gmail.com wrote:
I like Paul's idea here - form a pit of success even for people who
tend to copy-paste.
I'm very interested in unifying PL
Keyboard and Keystrokes
Audio: waveform and controls
Webcam: video and controls
Networking: the extend/receive I/O operation
System interface: pipes, command prompt
On Tue, Sep 10, 2013 at 12:25 PM, David Barbour dmbarb
anything so complex you can't debug it, or automate tests for it. This is
likely why we see much more XML than X12 these days. If you don't know
what X12 is, think of a mixture between s-expressions and comma separated
values.
On Sep 10, 2013 7:13 PM, David Barbour dmbarb...@gmail.com wrote
On Fri, Sep 6, 2013 at 1:19 AM, Chris Warburton
chriswa...@googlemail.comwrote:
David Barbour dmbarb...@gmail.com writes:
But favoring a simpler programming model - e.g. one with only
integers, and where the only operation is to add or compare them
-might also help.
If the problem
On Mon, Sep 9, 2013 at 2:11 AM, Chris Warburton
chriswa...@googlemail.comwrote:
I think a quite modest improvement would be more powerful
calculators.
Smart phones? :)
(But seriously.)
Honestly, one of the things I would really want in a more powerful
calculator is a powerful array of
I like Paul's idea here - form a pit of success even for people who tend
to copy-paste.
I'm very interested in unifying PL with HCI/UI such that actions like
copy-paste actually have formal meaning. If you copy a time-varying field
from a UI form, maybe you can paste it as a signal into a
On Thu, Sep 5, 2013 at 8:17 AM, Carl Gundel ca...@psychesystems.com wrote:
I’m not sure why you think I’m attributing special reverence to
computing. Break all the rules, please. ;-)
To say you're touching the hem generally implies you're also on your
knees and bowing your head.
the hem in this sense I meant that we’ve got a blindfold on
and we’re trying to guess what the elephant looks like by touching any one
part of it.
** **
-Carl
** **
*From:* fonc-boun...@vpri.org [mailto:fonc-boun...@vpri.org] *On Behalf
Of *David Barbour
*Sent:* Thursday
All very good points, Chris.
On Thu, Sep 5, 2013 at 10:27 AM, Chris Warburton
chriswa...@googlemail.comwrote:
David Barbour dmbarb...@gmail.com writes:
I agree we can gain some inspirations from life. Genetic programming,
neural networks, the development of robust systems in terms
On Thu, Sep 5, 2013 at 11:40 AM, Chris Warburton
chriswa...@googlemail.comwrote:
to prevent type errors like true 5 + it uses a different stack for each
type
I think these errors might not be essential to prevent. But we might want
to support some redundant structure, i.e. something like
On Thu, Sep 5, 2013 at 5:35 AM, Chris Warburton
chriswa...@googlemail.comwrote:
there can often be a semantic cost in trying to assign meaning
to arbitrary combinations of tokens. This can complicate the runtime
(eg. using different stacks for different datatypes) and require
arbitrary/ad-hoc
Life is, in some ways, less messy than binary. At least less fragile. DNA
cannot encode absolute offsets, for example. Closer to associative memory.
In any case, we want to reach useful solutions quickly. Life doesn't evolve
at a scale commensurate with human patience, despite having vastly more
what will computing be in a hundred years?
We'll have singularity - i.e. software and technology will be developed by
AIs. But there will also be a lot of corporate influence on which direction
that goes; there will likely be repeated conflicts regarding privacy,
ownership, computational rights,
.
-Carl
** **
*From:* fonc-boun...@vpri.org [mailto:fonc-boun...@vpri.org] *On Behalf
Of *David Barbour
*Sent:* Tuesday, September 03, 2013 3:50 PM
*To:* Fundamentals of New Computing
*Subject:* Re: [fonc] Final STEP progress report abandoned?
** **
what will computing
abridged your message David; sorry if I've dropped important
context. My words below...
On Sep 3, 2013, at 3:04 PM, David Barbour dmbarb...@gmail.com wrote:
Even better if the languages are good for exploration by genetic
programming - i.e. easily sliced, spliced, rearranged, mutated.
I've
a bad plan, so I'd love some
clarification if possible.
On Sep 3, 2013, at 5:30 PM, David Barbour dmbarb...@gmail.com wrote:
Factor would be another decent example of a concatenative language.
But I think arrowized programming models would work better. They aren't
limited to a stack
seems like an excellent place to draw inspiration for a DSL
that is in some ways very imperative (focused on mutation), while also
playing nicely with the type system and providing nice abstractions for
thinking about the properties of your code.
On Thu, Aug 29, 2013 at 9:42 PM, David Barbour
On Fri, Aug 30, 2013 at 4:40 AM, Ian Piumarta i...@vpri.org wrote:
I'm doubting the deepness of this one, because you could certainly
construct a valid isomorphism where values are not used in a linear fashion.
Your second statement says only that implication is not commutative.
I had
On Wed, Aug 28, 2013 at 5:57 PM, John Carlson yottz...@gmail.com wrote:
Multi-threaded Object-Oriented Stack Environment ... MOOSE for short.
Would you mind pointing me to some documentation? I found your document on
A Visual Language for Data Mapping but it doesn't discuss MOOSE. From the
Thanks for responding, Sean. But I hope you provide your own ideas and
concepts, also, rather than just reacting to mine. :)
On Thu, Aug 29, 2013 at 6:23 PM, Sean McDirmid smcd...@microsoft.comwrote:
My response:
** **
1) Formal justification of human behavior is a lofty goal,
the column of text. You could have multiple selected
text regions in the document.
On Aug 29, 2013 5:47 PM, David Barbour dmbarb...@gmail.com wrote:
[fwd to fonc]
Use of tree zippers to model multi-media documents in the type system is
an interesting possibility. It seems obvious in hindsight
them concurrently. Seems very related to your
stack of stacks ideas.
On Thu, Aug 29, 2013 at 8:36 PM, David Barbour dmbarb...@gmail.comwrote:
Thanks for clarifying. I can think of a few ways to model such cursors,
but I think this use-case would generally not fit Awelon's model.
* if we
-programm...@googlegroups.com [mailto:
augmented-programm...@googlegroups.com] *On Behalf Of *David Barbour
*Sent:* Friday, August 30, 2013 11:20 AM
*To:* augmented-programm...@googlegroups.com
*Cc:* Fundamentals of New Computing
*Subject:* Re: Interaction Design for Languages
I understand 'user modeling' [1] to broadly address long-term details (e.g.
user preferences and settings), mid-term details (goals, tasks, workflow),
and short-term details (focus, attention, clipboards and cursors,
conversational context, history). The unifying principle is that we have
more
for agreement, e.g. with airbus.)
On Tue, Jul 30, 2013 at 6:08 PM, Casey Ransberger
casey.obrie...@gmail.comwrote:
Hi David, comments below.
On Jul 30, 2013, at 5:46 PM, David Barbour dmbarb...@gmail.com wrote:
I'm confused about what you're asking. If you apply an optimizer to an
algorithm
I'm confused about what you're asking. If you apply an optimizer to an
algorithm, it absolutely shouldn't affect the output. When we debug or
report errors, it should always be in reference to the original source code.
Or do you mean some other form of 'optimized'? I might rephrase your
question
Your pessimism does not seem justified. And I'm quite looking forward to
the future of heads up displays and augmented reality.
http://www.meta-view.com/
https://www.thalmic.com/myo/
http://awelonblue.wordpress.com/2013/07/18/programming-with-augmented-reality/
On Wed, Jul 24, 2013 at 3:18
we distinguish
practice from theory? Seems like a fallacy there.
On Apr 20, 2013 10:51 PM, David Barbour dmbarb...@gmail.com wrote:
only in practice
On Sat, Apr 20, 2013 at 8:23 PM, John Carlson yottz...@gmail.comwrote:
Take my word for it, theory comes down to Monday Night Football
--
*From:* David Barbour dmbarb...@gmail.com
*To:* Fundamentals of New Computing fonc@vpri.org
*Sent:* Wednesday, April 17, 2013 6:13 PM
*Subject:* Re: [fonc] 90% glue code
Sounds like you want stone soup
programminghttp://awelonblue.wordpress.com/2012/09/12/stone-soup
On Wed, Apr 17, 2013 at 8:26 AM, Steve Wart st...@wart.ca wrote:
It depends what you mean by 'glue' - I think if you're going to quantify
something you should define it.
Glue code is reasonably well defined in the community.
http://en.wikipedia.org/wiki/Glue_code
A related term sometimes
On Wed, Apr 17, 2013 at 11:04 AM, Steve Wart st...@wart.ca wrote:
The wikipedia definition is circular, but I agree that people know it when
they see it :)
I don't believe it's circular. It does assume you already know the meaning
of glue and code independently.
skrev Miles Fidelman mfidel...@meetinghouse.net:
So let's ask the obvious question, if we have powerful languages, and/or
powerful libraries, is not an application comprised primarily of glue code
that ties all the piece parts together in an application-specific way?
David Barbour wrote:
On Tue
who have claimed it, too. Do you doubt its veracity?
On Mon, Apr 15, 2013 at 12:15 PM, David Barbour dmbarb...@gmail.comwrote:
On Mon, Apr 15, 2013 at 11:57 AM, David Barbour dmbarb...@gmail.comwrote:
On Mon, Apr 15, 2013 at 10:40 AM, Loup Vaillant-David
l...@loup-vaillant.fr wrote
On Tue, Apr 16, 2013 at 4:28 PM, Loup Vaillant-David
l...@loup-vaillant.frwrote:
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
On Tue, Apr 16, 2013 at 8:03 PM, Miles Fidelman
mfidel...@meetinghouse.netwrote:
So let's ask the obvious question, if we have powerful languages, and/or
powerful libraries, is not an application comprised primarily of glue code
that ties all the piece parts together in an application-specific
On Mon, Apr 15, 2013 at 6:46 AM, Eugen Leitl eu...@leitl.org wrote:
Few ns are effective eternities in terms of modern gate delays.
I presume the conversation was about synchronization, which
should be avoided in general unless absolutely necessary, and
not done directly in hardware.
On Mon, Apr 15, 2013 at 11:57 AM, David Barbour dmbarb...@gmail.com wrote:
On Mon, Apr 15, 2013 at 10:40 AM, Loup Vaillant-David
l...@loup-vaillant.frwrote:
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
On Mon, Apr 15, 2013 at 3:10 PM, Pascal J. Bourguignon
p...@informatimago.com wrote:
I think that one place where light cone considerations are involved is
with caches in multi-processor systems. If all processors could have
instantaneous knowledge of what the views of the other processors
, David Barbour dmbarb...@gmail.comwrote:
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 matters to people who want as close to the Universe as
possible.
To the rare scientist who
On Sun, Apr 14, 2013 at 1:23 PM, Pascal J. Bourguignon
p...@informatimago.com wrote:
David Barbour dmbarb...@gmail.com writes:
On Apr 14, 2013 9:46 AM, Tristan Slominski
tristan.slomin...@gmail.com wrote:
A mechanic is a poor example because frame of reference is almost
irrelevant
(Forwarded from Layers thread)
On Sun, Apr 14, 2013 at 1:44 PM, Gath-Gealaich
gath.na.geala...@gmail.comwrote:
Isn't one of the points of idst/COLA/Frank/whatever-it-is-called-today to
simplify the development of domain-specific models to such an extent that
their casual application becomes
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 matters to people who want as close to the Universe as
possible.
To the rare scientist who is not also a philosopher, it only matters
Neat! I love how the IDE looks like a spellbook.
There is also an associated paper, On the Nature of Fires and How to Spark
Them
When You’re Not There [1].
[1]
http://db.grinnell.edu/sigcse/sigcse2013/Program/viewAcceptedProposal.pdf?sessionType=papersessionNumber=252
I've occasionally
On Fri, Apr 12, 2013 at 11:07 AM, Tristan Slominski
tristan.slomin...@gmail.com wrote:
my main criticism of Bloom/CALM was assumption of timesteps, which is an
indicator of a meta-framework relying on something else to implement it
within reality
At the moment, we don't know whether or not
or is this a common occurrence Bringing it
back to the topic somewhat, how do people handle reasoning about all the
different layers (meta-levels) when thinking about computing?
On Wed, Apr 10, 2013 at 12:21 PM, David Barbour dmbarb...@gmail.comwrote:
On Wed, Apr 10, 2013 at 5:35 AM, Tristan
...@usergenic.comwrote:
Wasn't John McCarthy's Elephant programming language based on the
metaphor of conversation? Perhaps voice based programming interactions are
addressed there?
On Apr 9, 2013 8:46 AM, David Barbour dmbarb...@gmail.com wrote:
On Tue, Apr 9, 2013 at 1:48 AM, Casey Ransberger
casey.obrie
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
non-pessimism about actors is linked to Wolfram's cellular automata turing
machine [..] overwhelming consideration across all those hints is
On Tue, Apr 9, 2013 at 5:21 AM, Chris Warburton
chriswa...@googlemail.comwrote:
To use David's analogy, there are some desirable properties that
programmers exploit which are inherently 3D and cannot be represented
in the 2D world. Of course, there are also 4D properties which our
3D
On Tue, Apr 9, 2013 at 1:48 AM, Casey Ransberger
casey.obrie...@gmail.comwrote:
The computer is going to keep getting smaller. How do you program a phone?
It would be nice to be able to just talk to it, but it needs to be able --
in a programming context -- to eliminate ambiguity by asking me
On Tue, Apr 9, 2013 at 9:19 AM, Chris Warburton
chriswa...@googlemail.comwrote:
There is a distinction between programming a mobile phone and
programming when mobile.
True enough! And there's also a distinction between programming WITH a
mobile phone and programming while mobile. As hard as
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 much against their hosts.
I still
On Mon, Apr 8, 2013 at 2: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. (
On Mon, Apr 8, 2013 at 6:29 PM, Tristan Slominski
tristan.slomin...@gmail.com wrote:
The problem with this, that I see, is that [..] in my physics view of
actors [..] Messages could be lost.
Understanding computational physics is a good thing. More people should do
it. A couple times each
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 that
making the programming language responsible for solving all of programming
problems is somewhat narrow.
I believe each generation
On Sun, Apr 7, 2013 at 2:56 PM, Tristan Slominski
tristan.slomin...@gmail.com wrote:
Well... composing multiple functions does not result in the same
termination properties as a single function either, does it? Especially
when we are composing nondeterministic computations? (real question,
On Sun, Apr 7, 2013 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
On Fri, Feb 15, 2013 at 12:10 AM, John Carlson yottz...@gmail.com wrote:
The way I read rest over http post (wikipedia) is that you either create a
new entry in a collection uri, or you create a new entry in the element
uri, which becomes a collection.
There are other options. For example, if
On Fri, Feb 15, 2013 at 12:56 AM, J. Andrew Rogers and...@jarbox.orgwrote:
REST is not a highly efficient protocol by any means
Indeed. REST isn't even a protocol.
The largest total consumer of CPU time [.. is ..] parsing JSON source
formats
While this is a good point, it isn't clear to
1 - 100 of 219 matches
Mail list logo