All the cool developments over the past 80 years or so
has been focus on the Church and Turing models. Considering
all functional stuff to be essentially Church and all Von Neumann
or procedural programming to be essentially Turing.
What's up with the other models? Anything new being done
with Post systems or Thue system? Are there other weirder ones?
I suppose Macro processors are in a sense a development
of Post string rewriting. But, .... not really. Nobody does
Macro processing like that, right? You pack more built-in
power to the macro itself, with math and lists and control
structures and stuff, right?
luser droog <mijoryx@yahoo.com> writes:
I suppose Macro processors are in a sense a development
of Post string rewriting.
Yes. They were once very active areas of work/research -- trac, TeX, m4
and so on -- but I think the all interesting ideas have been worked out.
When that happens, an area needs a new spark to re-ignite interest.
All the cool developments over the past 80 years or so
has been focus on the Church and Turing models. Considering
all functional stuff to be essentially Church and all Von Neumann
or procedural programming to be essentially Turing.
What's up with the other models?
Anything new being done
with Post systems or Thue system? Are there other weirder ones?
I suppose Macro processors are in a sense a development
of Post string rewriting.
But, .... not really. Nobody does
Macro processing like that, right? You pack more built-in
power to the macro itself, with math and lists and control
structures and stuff, right?
On 03/12/2021 07:13, luser droog wrote:
All the cool developments over the past 80 years or so
has been focus on the Church and Turing models. Considering
all functional stuff to be essentially Church and all Von Neumann
or procedural programming to be essentially Turing.
(Just to be clear, in case anyone is unsure - Church and Turing were
very interested in the theory of what could be computed, rather than how
to compute it, and their models along with all other models come up with
the same set of computable functions. Different models, including
quantum computing, can all solve the same problems - they just do it in different ways, and can have different efficiencies in terms of time and size.)
What's up with the other models? Anything new being done
with Post systems or Thue system? Are there other weirder ones?
I suppose Macro processors are in a sense a development
of Post string rewriting. But, .... not really. Nobody does
Macro processing like that, right? You pack more built-in
power to the macro itself, with math and lists and control
structures and stuff, right?
You are going to have to give some links, references or details here.
There are people here who have heard of some pretty unusual languages,
but no one has heard of everything!
The two big programming models that are fashionable these days are
quantum computing and neural networks.
Every now and again I also hear about some new chip designed around the
model of a sea of simple computing units that each do a small part of
the overall work. This is different from cellular automata networks
(where each cell has the same program and configuration) and neural
networks (where each cell has the same program but different
configuration, or connections and weights).
On Friday, December 3, 2021 at 3:02:26 AM UTC-6, David Brown wrote:
You are going to have to give some links, references or details here.Well, my "standard" list of models is just the table of contents from Minsky's
There are people here who have heard of some pretty unusual languages,
but no one has heard of everything!
Finite and Infinite Machines.
Finite State Automata
Neural Networks with McCulloch-Pitts neurons
Turing Machines
Lisp/Lambda Calculus
Post String Re-Writing Systems
I think Thue only comes in because Post's paper was a commentary on his commentary on Godel. So pretty much anything not on this list, I'd consider 'weird' (and therefore "interesting").
I have an example of (AFAICT) a semi-Thue system in a short but weird
C program here:
https://codegolf.stackexchange.com/a/8734/2381
The two big programming models that are fashionable these days are
quantum computing and neural networks.
luser droog <mij...@yahoo.com> writes:
What's up with the other models?Prolog didn't seem to lead anywhere. It's still important, but there is
no vast collection of derivative languages.
All the cool developments over the past 80 years or so
has been focus on the Church and Turing models.
On Friday, December 3, 2021 at 3:02:26 AM UTC-6, David Brown wrote:
Every now and again I also hear about some new chip designed around the
model of a sea of simple computing units that each do a small part of
the overall work. This is different from cellular automata networks
(where each cell has the same program and configuration) and neural
networks (where each cell has the same program but different
configuration, or connections and weights).
That's interesting. That reminds me of one of the things Chuck Moore (Forth) was working on, I think it was called GreenArrays.
On Friday, 3 December 2021 at 07:13:49 UTC+1, luser droog wrote:
All the cool developments over the past 80 years or soYou troll and piece of spamming shit.
has been focus on the Church and Turing models.
ESAD you and the retarded cunts who are gonna play your game.
*Plonk*
Julio
On Saturday, December 4, 2021 at 3:14:29 AM UTC-6, ju...@diegidio.name wrote:
On Friday, 3 December 2021 at 07:13:49 UTC+1, luser droog wrote:
All the cool developments over the past 80 years or soYou troll and piece of spamming shit.
has been focus on the Church and Turing models.
ESAD you and the retarded cunts who are gonna play your game.
*Plonk*
That's not a very nice thing to say. Isn't there medication for that?
On Sunday, 5 December 2021 at 01:47:22 UTC+1, luser droog wrote:
On Saturday, December 4, 2021 at 3:14:29 AM UTC-6, ju...@diegidio.name wrote:
On Friday, 3 December 2021 at 07:13:49 UTC+1, luser droog wrote:
All the cool developments over the past 80 years or soYou troll and piece of spamming shit.
has been focus on the Church and Turing models.
ESAD you and the retarded cunts who are gonna play your game.
*Plonk*
That's not a very nice thing to say. Isn't there medication for that?
ESAD, you fucking agents of the enemy.
*Spammers Alert*
Julio
On 05/12/2021 11:55, Julio Di Egidio wrote:
On Sunday, 5 December 2021 at 01:47:22 UTC+1, luser droog wrote:
On Saturday, December 4, 2021 at 3:14:29 AM UTC-6, ju...@diegidio.name wrote:
On Friday, 3 December 2021 at 07:13:49 UTC+1, luser droog wrote:
All the cool developments over the past 80 years or soYou troll and piece of spamming shit.
has been focus on the Church and Turing models.
ESAD you and the retarded cunts who are gonna play your game.
*Plonk*
That's not a very nice thing to say. Isn't there medication for that?
ESAD, you fucking agents of the enemy.
*Spammers Alert*
Julio, I think you may be confusing posters. This group /is/ plagued by spammers, trolls, and assorted vandals. luser droog is not one of them
- he is an active contributor to the group and very welcome here.
On 05/12/2021 22:52, Julio Di Egidio wrote:
On Sunday, 5 December 2021 at 13:29:31 UTC+1, David Brown wrote:
On 05/12/2021 11:55, Julio Di Egidio wrote:
On Sunday, 5 December 2021 at 01:47:22 UTC+1, luser droog wrote:Julio, I think you may be confusing posters. This group /is/ plagued by
On Saturday, December 4, 2021 at 3:14:29 AM UTC-6, ju...@diegidio.name wrote:ESAD, you fucking agents of the enemy.
On Friday, 3 December 2021 at 07:13:49 UTC+1, luser droog wrote:
All the cool developments over the past 80 years or soYou troll and piece of spamming shit.
has been focus on the Church and Turing models.
ESAD you and the retarded cunts who are gonna play your game.
*Plonk*
That's not a very nice thing to say. Isn't there medication for that? >>>
*Spammers Alert*
spammers, trolls, and assorted vandals. luser droog is not one of them
- he is an active contributor to the group and very welcome here.
No, he's not. And this is not even the only group he is spamming.
You are mistaken, and David is correct.
While you are yet another fucking idiot who cannot smell shit when you step on it.Anyone who describes David Brown as such has clearly lost the faculty of
And politeness is simply over:No. It costs nothing to be polite.
On Sunday, 5 December 2021 at 13:29:31 UTC+1, David Brown wrote:
On 05/12/2021 11:55, Julio Di Egidio wrote:
On Sunday, 5 December 2021 at 01:47:22 UTC+1, luser droog wrote:Julio, I think you may be confusing posters. This group /is/ plagued by
On Saturday, December 4, 2021 at 3:14:29 AM UTC-6, ju...@diegidio.name wrote:
On Friday, 3 December 2021 at 07:13:49 UTC+1, luser droog wrote:
All the cool developments over the past 80 years or soYou troll and piece of spamming shit.
has been focus on the Church and Turing models.
ESAD you and the retarded cunts who are gonna play your game.
*Plonk*
That's not a very nice thing to say. Isn't there medication for that?
ESAD, you fucking agents of the enemy.
*Spammers Alert*
spammers, trolls, and assorted vandals. luser droog is not one of them
- he is an active contributor to the group and very welcome here.
No, he's not. And this is not even the only group he is spamming.
While you are yet another fucking idiot who cannot smell shit when you step on it.
And politeness is simply over:
Anyone who describes David Brown as such has clearly lost the faculty of reason and can safely be ignored.
On 05/12/2021 23:59, Richard Heathfield wrote:
Anyone who describes David Brown as such has clearly lost the faculty of reason and can safely be ignored.
Presumably now Julio will be plonking himself, somewhat like the Jörmungandr (the Midgard serpent from Norsk mythology).
A quick look at the history in this group shows that Julio has been
making mostly on-topic and mostly polite posts for many years, most
recently in September. Perhaps he's just having a tough time at the
moment, and will be back to form again soon. (Politeness is not over,
nor is mindless optimism :-) )
On 05/12/2021 23:59, Richard Heathfield wrote:
Anyone who describes David Brown as such has clearly lost the faculty of
reason and can safely be ignored.
Presumably now Julio will be plonking himself, somewhat like the
Jörmungandr (the Midgard serpent from Norsk mythology).
A quick look at the history in this group shows that Julio has been
making mostly on-topic and mostly polite posts for many years, most
recently in September.
Perhaps he's just having a tough time at the
moment, and will be back to form again soon. (Politeness is not over,
nor is mindless optimism :-) )
On 06/12/2021 08:00, David Brown wrote:
On 05/12/2021 23:59, Richard Heathfield wrote:
Anyone who describes David Brown as such has clearly lost the faculty of >> reason and can safely be ignored.
Presumably now Julio will be plonking himself, somewhat like the Jörmungandr (the Midgard serpent from Norsk mythology).As is so often the case, I have by reading your article learned
something new and fascinating.
Please note, though, that if Loki and Angrboða wish to bring Jörmungandr to the UK they are going to need to obtain a licence. See https://www.legislation.gov.uk/uksi/2007/2465/schedule/made for details.
A quick look at the history in this group shows that Julio has beenWill this damned September never end?
making mostly on-topic and mostly polite posts for many years, most recently in September.
Perhaps he's just having a tough time at theA very gracious reply in the circumstances, and in my experience typical
moment, and will be back to form again soon. (Politeness is not over,
nor is mindless optimism :-) )
of you. It also gives the lie to Julio's outburst, which like you I am prepared to put down to a temporary aberration.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within
Usenet is a shithole since approx exactly that time, you permanently deranged nazi asshole.
On 06/12/2021 08:00, David Brown wrote:
On 05/12/2021 23:59, Richard Heathfield wrote:
Anyone who describes David Brown as such has clearly lost the faculty of >>> reason and can safely be ignored.
Presumably now Julio will be plonking himself, somewhat like the
Jörmungandr (the Midgard serpent from Norsk mythology).
As is so often the case, I have by reading your article learned
something new and fascinating.
Please note, though, that if Loki and Angrboða wish to bring Jörmungandr
to the UK they are going to need to obtain a licence. See https://www.legislation.gov.uk/uksi/2007/2465/schedule/made for details.
On 06/12/2021 09:17, Richard Heathfield wrote:<all relevant content already snipped by the OP>
On 06/12/2021 08:00, David Brown wrote:
On 05/12/2021 23:59, Richard Heathfield wrote:
Presumably now Julio will be plonking himself, somewhat like the
Jörmungandr (the Midgard serpent from Norsk mythology).
As is so often the case, I have by reading your article learned
something new and fascinating.
If you are interested in the Norse myths and legends
Most of us quite happily ignore plonkers, and will reply if the
topic is of interest.
On 06/12/2021 17:51, David Brown wrote:
<plonkers skipped>
Most of us quite happily ignore plonkers, and will reply if the
topic is of interest.
I think I have something that could conceivably be of interest.
But not in this thread, which now feels somewhat icky thanks to the
plonker. I'll start afresh.
On Monday, 6 December 2021 at 11:25:46 UTC+1, David Brown wrote:
On 06/12/2021 09:17, Richard Heathfield wrote:<all relevant content already snipped by the OP>
On 06/12/2021 08:00, David Brown wrote:
On 05/12/2021 23:59, Richard Heathfield wrote:
Presumably now Julio will be plonking himself, somewhat like the
Jörmungandr (the Midgard serpent from Norsk mythology).
As is so often the case, I have by reading your article learned
something new and fascinating.
If you are interested in the Norse myths and legends
...you should post somewhere else, you bloody clueless spamming morons.
FYI, comp.misc is for chitchatting... HTH.
Just get the fuck out of here.
*Plonk*
Julio
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 403 |
Nodes: | 16 (2 / 14) |
Uptime: | 112:25:00 |
Calls: | 8,465 |
Calls today: | 2 |
Files: | 13,181 |
Messages: | 5,909,945 |