Mercurial > repo
view paste/paste.11165 @ 3900:b1b0dcb5ad5e
<fizzie> printf \'%s\\n\' \'#!/usr/bin/env python\' \'import sys\' \'import unicodedata\' \'print u" ".join("[U+{0:04x} {1}]".format(ord(c), unicodedata.name(c, "DUNNO")) for c in " ".join(sys.argv[1:]).decode("utf-8")).encode("utf-8")\' > bin/unidecode
author | HackBot |
---|---|
date | Fri, 11 Oct 2013 13:57:18 +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