< 1531267966 9847 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1531268964 74631 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531269113 302902 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531269468 663314 :boily_!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1531269468 898869 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Read error: Connection reset by peer < 1531269977 302537 :boily_!~alexandre@cable-192.222.236.157.electronicbox.net NICK :boily < 1531270809 867096 :Hoolootwo!Hooloovoo@hooloovoo.blue NICK :Hooloovo0 < 1531270868 621878 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531271031 346621 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531272363 131222 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1531272462 206186 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1531272648 520874 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: SPELLBOOK CHICKEN < 1531272746 934777 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531272953 701375 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531274640 296177 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531274855 296365 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds > 1531276267 948969 PRIVMSG #esoteric :14[[07Turing-machine14]]4 N10 02https://esolangs.org/w/index.php?oldid=56599 5* 03A 5* (+939) 10Created page with "==Syntax== All of the rules look like this: cnd.num.:cnd.direction num like: Q1:E<0 If the condition is Q, and the number on the tape is 1, the change the cond..." > 1531276475 772420 PRIVMSG #esoteric :14[[07Turing-machine14]]4 10 02https://esolangs.org/w/index.php?diff=56600&oldid=56599 5* 03A 5* (+87) 10/* Computation */ < 1531276633 716542 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531276821 340659 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds > 1531276903 670093 PRIVMSG #esoteric :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=56601&oldid=56579 5* 03A 5* (+57) 10/* Turth-machine */ < 1531278544 716107 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531278712 310692 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531279356 222366 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1531280419 118616 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531280571 307997 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531280938 8379 :aloril__!~aloril@80.246.146.6 QUIT :Ping timeout: 264 seconds < 1531281009 597817 :aloril__!~aloril@80.246.146.6 JOIN :#esoteric > 1531282071 371654 PRIVMSG #esoteric :14[[07User:Language14]]4 M10 02https://esolangs.org/w/index.php?diff=56602&oldid=56549 5* 03HereToAnnoy 5* (+207) 10Fixed Popular Problems example < 1531282251 23817 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531282469 691865 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531283283 72239 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1531283374 662808 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1531284140 163324 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531284321 277824 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531285394 825149 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Ping timeout: 260 seconds < 1531286000 806248 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531286213 866994 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531286787 688759 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1531287733 737985 :MDude!~MDude@pa-67-234-83-197.dhcp.embarqhsd.net QUIT :Ping timeout: 268 seconds < 1531287907 768486 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531288101 335747 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531289818 443935 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531289996 699585 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531290837 672488 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1531291924 79432 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531292091 335529 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531293819 763532 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531294024 309685 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531295293 604524 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1531295693 33649 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531295885 783951 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531296154 665202 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1531296697 189345 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1531296697 462575 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1531296697 462619 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1531297151 604901 PRIVMSG #esoteric :14[[07Esketit14]]4 M10 02https://esolangs.org/w/index.php?diff=56603&oldid=56577 5* 03Igorrto 5* (+155) 10Added alternative Hello World > 1531297174 182136 PRIVMSG #esoteric :14[[07Esketit14]]4 M10 02https://esolangs.org/w/index.php?diff=56604&oldid=56603 5* 03Igorrto 5* (+6) 10/* Hello World(alternative) */ < 1531297557 676990 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531297765 314341 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531298269 187324 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1531298589 488962 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1531299289 756261 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 260 seconds < 1531299388 244553 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1531299439 494512 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531299651 343887 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds > 1531300106 977509 PRIVMSG #esoteric :14[[07Turing-machine14]]4 10 02https://esolangs.org/w/index.php?diff=56605&oldid=56600 5* 03Oerjan 5* (+65) 10Confusing name, and no. < 1531300330 471797 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if he'd had states and symbols reversed, it would be more troublesome because of ais523's proof. < 1531300456 926178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but it has "turing" and "machine" right in the name < 1531300599 253903 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my new esolang is a turing machine with any number of states but only one symbol, is it tc twh < 1531301373 13668 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531301540 693350 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531301694 110989 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf: it is equivalent to some turing machines so it's totally tc hth < 1531301884 337048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also the symbol is an unholy pentagram that summons a demon to do your bidding < 1531301889 575305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait, are pentagrams good luck or bad luck < 1531301912 670587 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1531301923 588142 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf: have you tried #esoteric on DAL.net? < 1531301945 333540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome < 1531301946 775062 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1531301984 726779 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Do you like Day convolution? < 1531302006 64736 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't know it very well < 1531302087 798179 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1531302185 998740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how about regular convolution < 1531302208 707138 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It all seems a bit convoluted to me < 1531302246 395232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How should I motivate tensor covariance and contravariance for someone who's used to thinking of tensors as arrays of numbers? < 1531302329 17937 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Start by showing them some things that behave as tensors but aren't arrays of numbers? < 1531302409 499976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How should I understand tensor covariance and contravariance myself? < 1531302420 371744 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1531302423 917208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have a sense of it but it's not as helpful as I'd like. < 1531302451 812241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also how should I think of a double-contravariant tensor T^i^j? < 1531302462 872028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :T_i^j and T_i_j both make more sense to me. < 1531302473 297609 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Find a bunch of examples and prove the relevant laws until you get an intuition for it < 1531302487 775803 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm out of my depth here by quite a way, I'm afraid < 1531302619 53912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hm < 1531302660 494251 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :These abstractions are like monads, in the sense that most analogies are going to be misleading < 1531302692 328317 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They're also like monads in that monads are a kind of tensor in the appropriate category. < 1531302698 271865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or a family of tensors?) < 1531302744 187160 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(T^x_{j_i} for each i in N. Or something.) < 1531302761 957071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about trace, how should I think of that? < 1531303206 794189 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531303401 279214 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531303588 677170 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have a really bad intuition for trace < 1531303684 928859 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Bsaed on the category of bi-directional circuits < 1531303823 430783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Trace in most categories makes sense. < 1531303830 218898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean most traced monoidal categories. < 1531303844 334491 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it's hard to translate that intuition to vector spaces. < 1531304018 89465 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1531304706 733735 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1531305135 21752 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531305323 809758 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531305828 857572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mniip: monoids and comonoids are also just kinds of tensor families hth < 1531305883 174478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is trace for the category of endofunctors with composition? < 1531305893 931902 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :trace? < 1531305918 210975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lots of monoidal categories have traces. < 1531306030 342770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :...Maybe not this one, though. < 1531306074 462423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it would look like (forall a. u (f a) -> u (g a)) -> f a -> g a < 1531306080 486371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or (forall a. f (u a) -> g (u a)) -> f a -> g a < 1531306205 691255 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf: you need dual objects to have trace,r ight? < 1531306242 411663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, trace is more general. < 1531306255 372831 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you have duals you can define it in terms of them, though. < 1531306280 136246 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :next you're going to tell me categories have determinants < 1531306298 351373 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Why not ;) < 1531306302 992175 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not so sure about determinant. < 1531306311 942040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I feel like trace is more fundamental but also I don't understand it. < 1531306335 358843 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But if you have tensor product and trace you can define composition in terms of that. < 1531306343 200457 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :oh just multiply (end) all eigenvalues < 1531306408 515814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is the trace the coend of eigenvalues? < 1531306416 839996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are eigenvalues? < 1531306554 739296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know what scalars are, I guess. < 1531306678 261334 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So if f : A -> A and x : I -> A and k : I -> I, and f . x = x . k, then x is an eigenelement of f with eigenvalue k? < 1531306710 836570 :S_Gautam!uid286066@gateway/web/irccloud.com/x-tkykuulxtqpoiych QUIT :Quit: Connection closed for inactivity < 1531306806 112846 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that all? < 1531307026 923153 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531307161 302154 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531308064 348703 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I don't know, I just made it up < 1531308190 60070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know what the end thing would mean but I think there might be something to this definition of eigenvalues. < 1531308204 291855 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If the only scalar is id, then this gives you the usual definition of fixed points. < 1531308244 647992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(So that's what you get if your tensor is categorical product.) < 1531308315 750636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But what does it mean to add eigenvalues? < 1531308339 198965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Multiplying them is easier. < 1531308360 936942 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can just compose them, I guess, because scalars commute. (Or you can tensor them and probably get the same thing?) < 1531308409 822628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though what's the multiplicity of an eigenvalue? < 1531308921 921227 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531309145 807303 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531309371 951840 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1531310807 785494 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531311018 301697 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531312698 852842 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531312894 642664 :mrrmx!mrrmx@gateway/vpn/privateinternetaccess/mrrmx JOIN :#esoteric < 1531312928 695368 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds > 1531313780 941755 PRIVMSG #esoteric :14[[07Talk:Surtic14]]4 N10 02https://esolangs.org/w/index.php?oldid=56606 5* 03Digital Hunter 5* (+569) 10Created page with "==Idea from [[User:Digital Hunter]]== Hey, this message is technically addressed to [[User:Galaxtone]], but anyone else is welcome to provide ideas and the like. Instead of u..." > 1531313921 159616 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56607&oldid=56598 5* 03Digital Hunter 5* (+92) 10 > 1531313987 130336 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56608&oldid=56607 5* 03Digital Hunter 5* (+0) 10/* Examples */ > 1531314006 859420 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56609&oldid=56608 5* 03Digital Hunter 5* (+8) 10/* Examples */ > 1531314176 6350 PRIVMSG #esoteric :14[[07Talk:Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=56610&oldid=56606 5* 03Digital Hunter 5* (+124) 10/* WHOOPS completely forgot about this */ new section > 1531314185 703385 PRIVMSG #esoteric :14[[07Talk:Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=56611&oldid=56610 5* 03Digital Hunter 5* (+101) 10/* WHOOPS completely forgot about this */ > 1531314343 829407 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56612&oldid=56609 5* 03Digital Hunter 5* (+0) 10/* S */ < 1531314599 322989 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531314788 324828 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531315862 78424 :mrrmx!mrrmx@gateway/vpn/privateinternetaccess/mrrmx QUIT :Quit: Leaving < 1531315866 393690 :MDude!~MDude@pa-67-234-83-197.dhcp.embarqhsd.net JOIN :#esoteric < 1531316471 355638 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531316672 709895 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531318355 712811 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531318529 301276 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531318960 374840 :mrrmx!mrrmx@gateway/vpn/privateinternetaccess/mrrmx JOIN :#esoteric < 1531320140 72454 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it would be cool if you could write an elf binary that interprets a brainfuck program, and that elf binary can itself be interpreted as a brainfuck program to produce the same result < 1531320232 809411 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531320403 320919 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :that seems fairly trivial actually? < 1531320441 282946 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531320449 479530 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :okay, maybe not trivial < 1531320505 480850 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :but it feels like it's mostly just "write the non-bf program" -> "modify the code not to contain any of BF's control characters" -> "add the BF code in a data section" -> "verify that the ELF headers don't mess you up and, if they do, twiddle a bit until it works" > 1531320817 507290 PRIVMSG #esoteric :14[[07Talk:Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=56613&oldid=56611 5* 03Digital Hunter 5* (-225) 10/* WHOOPS completely forgot about this */ > 1531321146 131238 PRIVMSG #esoteric :14[[07Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=56614&oldid=56612 5* 03Digital Hunter 5* (+0) 10/* S */ I made the call for concatenate K and the call for "set character at a point to value in a cell" P, so that they didn't get mixed up with C and S for cells and strings > 1531321264 45997 PRIVMSG #esoteric :14[[07Turing-machine14]]4 10 02https://esolangs.org/w/index.php?diff=56615&oldid=56605 5* 03Plokmijnuhby 5* (+78) 10 < 1531321334 871022 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :alercah: does that count as trivial in your books? < 1531321529 446965 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :izabera: it's not trivial to do < 1531321531 816680 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :but it's a trivial problem < 1531321533 853408 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric ::P > 1531321586 271181 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56616&oldid=56614 5* 03Digital Hunter 5* (-1) 10/* If Statements */ idk but I think it'll make interpreters easier > 1531321616 267249 PRIVMSG #esoteric :14[[07Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=56617&oldid=56616 5* 03Digital Hunter 5* (+0) 10/* Infinite Cat */ > 1531321889 118245 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56618&oldid=56617 5* 03Digital Hunter 5* (+9) 10/* Instruction Syntax */ < 1531322113 965053 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531322327 693173 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531323175 693804 :XorSwap!~XorSwap@wpa-4-806.cc.umanitoba.ca JOIN :#esoteric < 1531324143 541961 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531324266 563161 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1531324329 309970 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds > 1531324397 808933 PRIVMSG #esoteric :14[[07Fungewars14]]4 M10 02https://esolangs.org/w/index.php?diff=56619&oldid=56546 5* 03Impomatic 5* (-1) 10punctuation < 1531324785 672091 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1531324961 294705 :arseniiv!~arseniiv@94.41.245.201.dynamic.ufanet.ru JOIN :#esoteric < 1531325060 482435 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Quit: leaving < 1531325086 714312 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1531325137 96141 :PinealGlandOptic!~PinealGla@82.144.205.57 PRIVMSG #esoteric :hi all. does anybody seen working example of something converting from DFA to regexp? using any method < 1531326032 300373 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531326231 272147 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531326688 411993 :S_Gautam!uid286066@gateway/web/irccloud.com/x-dtuzgnezkgrgvxar JOIN :#esoteric < 1531327804 649072 :XorSwap!~XorSwap@wpa-4-806.cc.umanitoba.ca QUIT :Ping timeout: 268 seconds < 1531327963 482196 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531328157 332766 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531329140 697423 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1531329285 790791 :aloril_!~aloril@80.246.146.6 JOIN :#esoteric < 1531329377 328972 :aloril__!~aloril@80.246.146.6 QUIT :Ping timeout: 248 seconds < 1531329442 696072 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Remote host closed the connection < 1531329886 303823 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531330026 589036 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1531330049 733048 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531331698 772845 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :PinealGlandOptic: working code, or is the theory enough? < 1531331730 5188 :XorSwap!~XorSwap@wpa-4-806.cc.umanitoba.ca JOIN :#esoteric < 1531331770 149203 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :PinealGlandOptic: https://cs.stackexchange.com/questions/2016/how-to-convert-finite-automata-to-regular-expressions has some discussion < 1531331776 267400 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :and some code < 1531331779 213706 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531331817 672326 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1531331931 280386 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds > 1531333165 871960 PRIVMSG #esoteric :14[[07Talk:Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56620&oldid=56613 5* 03Galaxtone 5* (+303) 10Replied and changed up the style so it's easier to look at. > 1531333219 564736 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56621&oldid=56618 5* 03Galaxtone 5* (+113) 10Added a note. > 1531333361 886807 PRIVMSG #esoteric :14[[07Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=56622&oldid=56621 5* 03Galaxtone 5* (-528) 10Applied Suggestion #1 < 1531333404 979381 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1531333700 457678 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531333870 359874 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531334901 871590 :XorSwap!~XorSwap@wpa-4-806.cc.umanitoba.ca QUIT :Ping timeout: 264 seconds > 1531335214 106123 PRIVMSG #esoteric :14[[07Turing-machine14]]4 10 02https://esolangs.org/w/index.php?diff=56623&oldid=56615 5* 03Oerjan 5* (+167) 10Revert Plokmijnuhby's edit and explain why that's not enough to prove it non-TC (or else ''no'' Turing machine would be Turing-complete). < 1531335269 187373 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1531335319 325969 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=56624&oldid=56622 5* 03Galaxtone 5* (-1) 10Small change to syntax of string length command < 1531335390 491419 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1531335521 986759 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531335522 590831 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1531335637 184083 :S_Gautam!uid286066@gateway/web/irccloud.com/x-dtuzgnezkgrgvxar QUIT :Quit: Connection closed for inactivity < 1531335752 192978 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 256 seconds < 1531335891 594404 :XorSwap!~XorSwap@wpa-4-806.cc.umanitoba.ca JOIN :#esoteric < 1531336168 715297 :moony!moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 256 seconds > 1531336221 523005 PRIVMSG #esoteric :14[[07Transio14]]4 N10 02https://esolangs.org/w/index.php?oldid=56625 5* 03Bzim 5* (+7750) 10Created page on language (with standard). < 1531336277 298856 :Bowserinator!Bowserinat@unaffiliated/bowserinator QUIT :Ping timeout: 265 seconds > 1531336282 444291 PRIVMSG #esoteric :14[[07Transio14]]4 10 02https://esolangs.org/w/index.php?diff=56626&oldid=56625 5* 03Bzim 5* (+21) 10 < 1531336282 662412 :Bowserinator_!Bowserinat@unaffiliated/bowserinator JOIN :#esoteric > 1531336827 637189 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=56627&oldid=56514 5* 03Bzim 5* (+14) 10 < 1531336960 3702 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Quit: lol rip < 1531336960 107192 :Bowserinator_!Bowserinat@unaffiliated/bowserinator QUIT :Quit: Blame iczero something happened < 1531337348 671157 :Bowserinator!Bowserinat@unaffiliated/bowserinator JOIN :#esoteric < 1531337437 479136 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531337450 897245 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :regarding today's GG, i predict Gil reacting like a stereotypical kid in a candy store. < 1531337494 899936 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(ok, this is an easy prediction) < 1531337601 288121 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531337637 65276 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But will the intruder with pendre's (spelling?) lantern turn up? < 1531337665 696532 :moony!moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1531337724 512671 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Prende, it is. < 1531337797 271066 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1531337822 406290 :PinealGlandOptic!~PinealGla@82.144.205.57 PRIVMSG #esoteric :alercah: thanks, but I'm not that good to code these algos by myself :) > 1531337989 123042 PRIVMSG #esoteric :14[[07Transio14]]4 10 02https://esolangs.org/w/index.php?diff=56628&oldid=56626 5* 03Bzim 5* (+9) 10 < 1531338378 877355 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm right, they might want something from that place too... < 1531338404 607321 :XorSwap!~XorSwap@wpa-4-806.cc.umanitoba.ca QUIT :Ping timeout: 244 seconds < 1531338498 651206 :mrrmx!mrrmx@gateway/vpn/privateinternetaccess/mrrmx QUIT :Quit: Leaving < 1531338827 4320 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :PinealGlandOptic: there's examples of code in there, though < 1531339327 985977 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531339526 746789 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531341213 63314 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531341235 734640 :PinealGlandOptic!~PinealGla@82.144.205.57 PRIVMSG #esoteric :am I right lex/flex uses NFA because NFA can distinguish between "foo" and "fooo", while DFA is not? < 1531341352 771813 :int-e!~noone@int-e.eu PRIVMSG #esoteric :PinealGlandOptic: No. NFAs and DFAs can recognize the same languages. An NFA may be exponentially smaller. < 1531341374 654460 :PinealGlandOptic!~PinealGla@82.144.205.57 PRIVMSG #esoteric :so regexp implementations, lex and flex uses NFA because of performance reasons? < 1531341386 888668 :PinealGlandOptic!~PinealGla@82.144.205.57 PRIVMSG #esoteric :not because NFA is more suitable? < 1531341410 294734 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1531341497 59368 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't even know whether the premise is true. < 1531341573 440389 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I've answered the part of the question that I could answer.) < 1531341618 382397 :PinealGlandOptic!~PinealGla@82.144.205.57 PRIVMSG #esoteric :int-e: thanks < 1531341778 174922 :pir17!~alfalfa@unaffiliated/irrationalist JOIN :#esoteric < 1531341845 767306 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1531341846 629095 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 112020Z 12005KT CAVOK 19/16 Q1018 RMK WIND 670FT 17006KT < 1531341908 662153 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1531341950 555813 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :@metar KSEA < 1531341950 861446 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KSEA 111953Z 36009KT 320V030 10SM FEW040 25/12 A3019 RMK AO2 SLP228 T02500122 > 1531341952 959850 PRIVMSG #esoteric :14[[07Transio14]]4 10 02https://esolangs.org/w/index.php?diff=56629&oldid=56628 5* 03Bzim 5* (+511) 10Added turing completeness. < 1531342442 406064 :arseniiv!~arseniiv@94.41.245.201.dynamic.ufanet.ru PRIVMSG #esoteric :PinealGlandOptic: “more suitable” is more general than “more expressive”, so someone could definitely say yes, NFA is more suitable in some context < 1531342482 314945 :arseniiv!~arseniiv@94.41.245.201.dynamic.ufanet.ru PRIVMSG #esoteric :as is DFA in other context , too < 1531342505 338256 :PinealGlandOptic!~PinealGla@82.144.205.57 PRIVMSG #esoteric :arseniiv: thanks < 1531342509 282757 :arseniiv!~arseniiv@94.41.245.201.dynamic.ufanet.ru PRIVMSG #esoteric ::) < 1531342860 135800 :pir17!~alfalfa@unaffiliated/irrationalist QUIT :Quit: . < 1531343086 178006 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531343135 396776 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric > 1531343236 610489 PRIVMSG #esoteric :14[[07Transio14]]4 10 02https://esolangs.org/w/index.php?diff=56630&oldid=56629 5* 03Bzim 5* (+129) 10Added categories < 1531343271 276981 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531343291 468474 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1531343333 601976 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1531343346 569602 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1531343770 544146 :oerjan_!bc715ce1@gateway/web/freenode/ip.188.113.92.225 JOIN :#esoteric < 1531344200 757631 :mrrmx!mrrmx@gateway/vpn/privateinternetaccess/mrrmx JOIN :#esoteric < 1531344734 681835 :mrrmx_!mrrmx@gateway/vpn/privateinternetaccess/mrrmx JOIN :#esoteric < 1531344784 779722 :mrrmx!mrrmx@gateway/vpn/privateinternetaccess/mrrmx QUIT :Remote host closed the connection < 1531344836 662898 :mrrmx_!mrrmx@gateway/vpn/privateinternetaccess/mrrmx QUIT :Remote host closed the connection < 1531344854 565801 :mrrmx!mrrmx@gateway/vpn/privateinternetaccess/mrrmx JOIN :#esoteric < 1531344997 653974 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531345181 781976 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531346988 159984 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531347111 265032 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531347233 845049 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1531347264 446097 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1531347288 409417 :oerjan_!bc715ce1@gateway/web/freenode/ip.188.113.92.225 QUIT :Quit: Etc. < 1531347413 48421 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.1 < 1531347863 469184 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1531348856 910562 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531349042 682664 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1531349556 176783 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 256 seconds < 1531350725 675378 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1531350921 316346 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1531352029 704199 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1531352114 654037 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1531352614 412260 :trout!~variable@freebsd/developer/variable JOIN :#esoteric < 1531352689 337562 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1531352825 696958 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds