view paste/paste.11165 @ 12257:1924fe176291 draft

<fizzie> ` sed -e \'s|wisdom|bin|\' < ../bin/cwlprits > ../bin/cblprits; chmod a+x ../bin/cblprits
author HackEso <hackeso@esolangs.org>
date Sat, 07 Dec 2019 23:36:53 +0000
parents 0745a296e731
children
line wrap: on
line source

2005-05-25.txt:19:15:32: <pgimeno> I'm interested in whether Smetana can be done Turing-complete
2005-05-25.txt:19:28:47: * pgimeno considers taking out smetana from the non-Turing-complete category
2005-06-02.txt:21:01:17: <cpressey> smetana is NOT turing complete!
2005-06-04.txt:19:26:54: <graue> of course, SMETANA and Befunge-93 are not Turing-complete, but still interesting
2005-06-04.txt:21:22:44: <pgimeno> I'm somewhat puzzled... if an algorithm is required to stop, and a Turing machine is required to run an algorithm, and a SMETANA program can implement any algorithm... how come SMETANA is not Turing-complete?
2005-09-18.txt:00:01:50: <ihope> Heh. If an expansion instruction were added to SMETATA or SMATINY, would that language become Turing-complete?
2006-11-22.txt:05:27:14: <Razor-X> You can also be adventerous and implement Lambda Calculus in Lisp. You'll quickly see that, this way of dealing with Lisp is to Church's computational metaphor as BF is to Turing's computational method.
2006-12-28.txt:05:05:31: <RodgerTheGreat> bonus points for creating a meta-protocol whose semantics themselves constitute a turing-complete system
2007-07-03.txt:22:19:07: <lament> oklopol: under this description, SMETANA is turing-complete too
2007-10-30.txt:19:36:23: <lament> i'm pretty sure that makes SMETANA turing-complete as well
2007-10-30.txt:19:39:49: <lament> but if that's allowed, then SMETANA should be turing-complete
2007-10-30.txt:23:41:16: <oerjan> <lament> i'm pretty sure that makes SMETANA turing-complete as well
2007-10-31.txt:00:11:48: <lament> oerjan: if smetana+1 compacts the infinite smetana program to finite size, then it's obviously turing-complete
2007-10-31.txt:00:12:43: <lament> oerjan: the question is whether we can consider smetana to be turing-complete, despite infinitely large programs
2007-11-02.txt:03:20:00: <lament> in that case smetana is turing-complete
2007-11-02.txt:03:41:28: <lament> cpressey: so a language just like smetana but allowing infinitely long programs is 1) turing complete 2) capable of being interpreted by, for example, CA, since they allow the entire smetana program to be given as starting conditions
2007-12-09.txt:18:38:15: <Slereah> For some metatheorems, I had to read about Turing machines and such!
2009-02-09.txt:15:34:27: <ehird> <lament> if we allow "non-repetitive infinite initial conditions" <lament> i'm pretty sure that makes SMETANA turing-complete as well<lament> it would be a very simple structure, it has a "head" and then a "tail" consisting of identical pieces of code with different numbers (trivially generated by any process)
2009-02-09.txt:19:22:07: <oerjan> <ehird> <lament> if we allow "non-repetitive infinite initial conditions" <lament> i'm pretty sure that makes SMETANA turing-complete as well<lament> it would be a very simple structure, it has a "head" and then a "tail" consisting of identical pieces of code with different numbers (trivially generated by any process)
2010-07-04.txt:12:43:58: <alise> A self-modifying language; the language is defined in terms of a meta-circular interpreter, and this meta-circular interpreter provides an operation that redefines operations of the meta-circular interpreter. In fact, this mechanism is required for Emmental to be Turing-complete.
2011-06-24.txt:20:46:16: <elliott_> http://esolangs.org/wiki/Meta_Turing-complete
2011-06-24.txt:20:48:25: * elliott_ creates [[Talk:Meta Turing-complete]]
2011-06-24.txt:21:01:54: <elliott_> Meta Turing-complete
2011-06-24.txt:21:02:00: <monqy> Meta Turing-complete
2011-06-24.txt:21:03:27: <oerjan> i never meta turing.  he died before i was born.
2011-06-24.txt:21:05:25: <monqy> Some super-Turing-complete languages are able to do anything (see Compute/IO), so they are super fully meta Turing-complete.
2011-06-24.txt:21:05:28: <elliott_> `addquote <oerjan> i never meta turing.  he died before i was born.
2011-06-24.txt:21:05:29: <HackEgo> 468) <oerjan> i never meta turing.  he died before i was born.
2011-06-24.txt:21:07:21: <oerjan> fun fun super meta turing-complete
2011-06-24.txt:21:07:40: <monqy> super duper meta cool turing-complete
2011-06-24.txt:22:52:50: <elliott> oerjan: can you delete that and the meta turing completeness page
2011-06-24.txt:22:54:37: <elliott> `addquote <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
2011-06-24.txt:22:54:39: <HackEgo> 469) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
2011-06-24.txt:22:58:37: <Sgeo> elliott, was I ever as bad as Checkmate or the Meta-turing-complete person?
2011-06-25.txt:09:58:38: <elliott> (diff) (hist) . . Talk:Meta Turing-complete‎; 07:51 . . (+491) . . TehZ (Talk | contribs)
2011-06-25.txt:09:59:19: <elliott> http://esolangs.org/wiki/Talk:Meta_Turing-complete
2011-06-25.txt:18:34:21: <elliott> (diff) (hist) . . Talk:Meta Turing-complete‎; 14:48 . . (+688) . . TehZ (Talk | contribs)
2011-06-25.txt:18:34:43: <monqy> [[Talk: Meta Turing-complete]] is awful
2011-07-07.txt:05:07:12: <HackEgo> 100) <Slereah> I can do everything a Turing machine can do, except love \ 146) <coppro> we'd care about a turing-complete pencil \ 274) <oklopol> ah yes, indeed, alan turing was gay and stupid \ 468) <oerjan> i never meta turing.  he died before i was born. \ 469) <elliott> oerjan: can you delete that and the meta turing
2011-07-07.txt:05:07:55: <HackEgo> 333) <Phantom_Hoover> Oh god.  <Phantom_Hoover> I've become a metallurgy hipster.  <Phantom_Hoover> Iridium is way too mainstream. \ 410) <Sgeo> I was more of a pervert in Metaplace than Utherverse  <Sgeo> I invented Metaplace sex >.> \ 468) <oerjan> i never meta turing.  he died before i was born. \ 469) <elliott> oerjan:
2011-07-14.txt:07:43:47: <elliott> meta-turing-complete, too!
2011-07-14.txt:07:44:04: <Vorpal> meta-turing-complete?
2011-07-14.txt:07:44:45: <elliott> http://esolangs.org/wiki/Talk:Meta_Turing-complete
2011-10-19.txt:19:18:48: <HackEgo> 449) <oerjan> i never meta turing.  he died before i was born.
2012-03-05.txt:20:23:59: <Taneb> Is ℒ meta-turing complete?
2012-03-05.txt:20:45:33: <Taneb> http://esolangs.org/wiki/Meta_Turing-complete
2012-03-05.txt:20:50:03: <Taneb> Not quite, but Meta Turing-Complete is a superset of Fancy L?
2012-03-05.txt:20:50:20: <olsner> meta turing complete looks like nonsense to me
2012-03-05.txt:21:14:52: <olsner> Taneb: you mean the META-GHOST of ALAN META-TURING?
2012-03-06.txt:16:08:19: <elliott> 20:45:33: <Taneb> http://esolangs.org/wiki/Meta_Turing-complete
2012-03-06.txt:16:08:33: <elliott> @tell Friendship "Meta Turing-complete" is just some badly-defined bullshit TehZ made up.
2012-06-16.txt:16:44:43: <HackEgo> 403) <oerjan> i never meta turing.  he died before i was born.
2012-11-22.txt:21:35:26: <HackEgo> 391) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
2012-12-12.txt:09:42:32: <HackEgo> 375) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
2012-12-26.txt:16:06:07: <HackEgo> 22) IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): <ehird> So kann ich nur schliessen, dass es falsch ist, oder die Welt ist vollig BONKERS. Gegrusset seist du der Fuhrer Hitler! \ 373) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
2012-12-26.txt:16:10:44: <HackEgo> 373) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET \ 22) IN EINEM ALTERNATIVEN UNIVERSUM (WO DIE NAZIS WON): <ehird> So kann ich nur schliessen, dass es falsch ist, oder die Welt ist vollig BONKERS. Gegrusset seist du der Fuhrer Hitler! 
2013-01-04.txt:07:28:47: <monqy> hey remember http://esolangs.org/wiki/Meta_Turing-complete heh heh heh
2013-01-04.txt:18:41:38: <Bicycle> i suppose someone somewhere has analyzed the meta-powerrrrr of various turing formalisms based on kindshit
2013-01-06.txt:20:30:31: <HackEgo> 230) <oerjan> <Gregor> oerjan: Tell us what (a(b{c}d)*2e)%2 expands to <-- ababcdbcdedbabcdbcdede, i think  <Gregor> oerjan: What - the - fuck \ 371) <oerjan> i never meta turing.  he died before i was born. \ 15) <fungot> oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me g
2013-01-23.txt:19:49:51: <HackEgo> 373) <elliott> oerjan: can you delete that and the meta turing completeness page  <elliott> thanks  <oerjan> elliott: IN UNIVERSO ALTERNATIVO, OERJAN PAGINAS DELET
2013-02-02.txt:21:50:34: <Phantom_Hoover> `quote metaturing
2013-02-02.txt:21:51:43: <oerjan> `run echo "This wisdom entry was crushed by a falling anvil." >wisdom/metaturing
2013-02-02.txt:21:52:17: <Phantom_Hoover> `? metaturing
2013-02-02.txt:21:54:13: <oerjan> assuming i understand http://codu.org/projects/hackbot/fshg/index.cgi/file/23c726e07478/wisdom/metaturing
2013-02-02.txt:21:56:37: <Applejacques> `run hg export 0:tip | grep -i metaturing
2013-02-08.txt:07:18:40: <monqy> how about featuring the meta turing completeness page
2013-03-08.txt:21:14:16: <monqy> nooodl: tehz is also 'infamous' for http://esolangs.org/wiki/Meta_Turing-complete
2013-04-14.txt:01:20:58: <elliott> Lou Reed never performed Metal Machine Music onstage until March, 2002, when he collaborated with an avant-garde classical ensemble at the MaerzMusik festival in Berlin, Germany. The 10-member group Zeitkratzer performed the original album with Reed in a new arrangement featuring classical string, wind, piano, and accordion.[11]
2013-06-12.txt:01:46:41: <Phantom_Hoover> oerjan's metaturing quote isn't in the quotes?
2013-06-12.txt:01:46:46: <Phantom_Hoover> `pastlog metaturing
2013-06-12.txt:01:47:33: <elliott> `pastlog meta-turing
2013-06-12.txt:01:47:42: <HackEgo> 2011-07-14.txt:07:43:47: <elliott> meta-turing-complete, too!
2013-06-12.txt:01:48:01: <Phantom_Hoover> `pastelog meta-turing
2013-06-12.txt:01:49:15: <oerjan> `pastlogs meta.*turing
2013-06-12.txt:01:49:22: <oerjan> `pastelogs meta.*turing