00:14:45 [[User:MarkFan8901/Sandbox]] https://esolangs.org/w/index.php?diff=199009&oldid=199004 * MarkFan8901 * (-4) 00:17:28 [[Hello world program in esoteric languages (H-M)]] M https://esolangs.org/w/index.php?diff=199010&oldid=198977 * A random guy * (-7) Error in Mesmerizer has been fixed. 00:23:21 -!- Lord_of_Life_ has joined. 00:24:22 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 00:24:42 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 00:39:08 -!- sprock has quit (Ping timeout: 261 seconds). 00:40:27 [[Pyon]] https://esolangs.org/w/index.php?diff=199011&oldid=199007 * Jan Pilavik * (+72) 01:05:32 [[Brainfuck]] https://esolangs.org/w/index.php?diff=199012&oldid=193293 * Hotcrystal0 * (+20) Title 01:06:38 [[]] https://esolangs.org/w/index.php?diff=199013&oldid=185939 * Hotcrystal0 * (-15) 01:13:24 -!- amby has quit (Remote host closed the connection). 01:13:37 -!- FreeFull has quit (Ping timeout: 245 seconds). 01:21:08 [[S]] https://esolangs.org/w/index.php?diff=199014&oldid=198021 * Gribnit * (+3629) 0.6.0 cat tail 01:24:52 -!- PkmnQ has joined. 01:28:44 [[School]] M https://esolangs.org/w/index.php?diff=199015&oldid=99271 * JustSomeDude * (-4) 02:11:37 [[Belbolesi]] https://esolangs.org/w/index.php?diff=199016&oldid=198912 * MSM COLLABS * (+35) 02:29:35 hah, I got an edit conflict against myself 02:33:02 and I did it again! 02:33:10 really trigger-happy with the enter key 02:44:30 [[Polynomix]] https://esolangs.org/w/index.php?diff=199017&oldid=198949 * I am islptng * (-9350) 02:44:34 [[User talk:ColorfulGalaxy's CA discoveries/Polynomix programs]] N https://esolangs.org/w/index.php?oldid=199018 * I am islptng * (+9350) Created page with "=== Number theory tools ===
$$ Basic "Select" function from Mathematica $$ http://reference.wolfram.com/language/ref/Select.html (a f>a\(c>c,*(c f!|<))!=)#\Select  $$ Less $$ h
03:03:13 -!- PkmnQ has quit (Quit: Leaving).
03:03:14  int-e: Work internal meme-board has lately been using the sorcerer's apprentice Mickey Mouse animated broom scene template with "AI" written on the hat.
03:15:17 -!- FreeFull has joined.
03:51:57 -!- sprock has joined.
03:54:13  [[Simpl]]  https://esolangs.org/w/index.php?diff=199019&oldid=198778 * Cordership * (+17) /* Module 3: Mathplot */
03:56:31  [[User:Win7HE/sandbox]] N https://esolangs.org/w/index.php?oldid=199020 * Win7HE * (+80) Created page with "https://https://2012r2.nishi.boats/~win7he/script.html?s={{urlencode: {{{1}}} }}"
03:57:23  [[User:Win7HE/temps]] N https://esolangs.org/w/index.php?oldid=199021 * Win7HE * (+80) Created page with "https://https://2012r2.nishi.boats/~win7he/script.html?s={{urlencode: {{{1}}} }}"
03:58:12  [[User:Win7HE/temps]]  https://esolangs.org/w/index.php?diff=199022&oldid=199021 * Win7HE * (+24) 
03:59:05  [[User:Win7HE/sandbox]]  https://esolangs.org/w/index.php?diff=199023&oldid=199020 * Win7HE * (-30) 
03:59:36  [[User:Win7HE/temps]]  https://esolangs.org/w/index.php?diff=199024&oldid=199022 * Win7HE * (-8) 
04:07:03  [[User:Win7HE/sandbox]]  https://esolangs.org/w/index.php?diff=199025&oldid=199023 * Win7HE * (+33) 
04:07:59  [[User:Win7HE/sandbox]]  https://esolangs.org/w/index.php?diff=199026&oldid=199025 * Win7HE * (+2) 
04:10:54 -!- PkmnQ has joined.
04:38:05  [[Simpl]]  https://esolangs.org/w/index.php?diff=199027&oldid=199019 * Cordership * (+60) /* Module 3: Mathplot */
04:54:47  [[User:PkmnQ/Golf/Code]] M https://esolangs.org/w/index.php?diff=199028&oldid=198118 * PkmnQ * (+8) just some newlines
04:55:12  [[User:PkmnQ/Golf/Code]] M https://esolangs.org/w/index.php?diff=199029&oldid=199028 * PkmnQ * (-8) Undo revision [[Special:Diff/199028|199028]] by [[Special:Contributions/PkmnQ|PkmnQ]] ([[User talk:PkmnQ|talk]])
05:18:48 -!- sprock has quit (Ping timeout: 271 seconds).
05:19:53 -!- CometIIWW has joined.
05:21:10 -!- CometIIWW has quit (Remote host closed the connection).
05:23:25 -!- CometIIWW has joined.
05:57:27  [[Special:Log/newusers]] create  * Hunterhamster88 *  New user account
06:05:58  [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=199030&oldid=198992 * Hunterhamster88 * (+150) /* Introductions */
06:06:37  [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=199031&oldid=199030 * Hunterhamster88 * (+107) /* Introductions */
06:20:03 -!- CometIIWW has quit (*.net *.split).
06:20:03 -!- FreeFull has quit (*.net *.split).
06:20:03 -!- Lord_of_Life has quit (*.net *.split).
06:20:03 -!- rodgort has quit (*.net *.split).
06:20:04 -!- ski has quit (*.net *.split).
06:20:10  netsplit!
06:20:39 -!- CometIIWW has joined.
06:22:21  truly an amazing experience
06:22:24 -!- CometIIWW has quit (Client Quit).
06:22:57 -!- CometIIWW has joined.
06:24:44 -!- Sgeo has quit (*.net *.split).
06:24:45 -!- lisbeths has quit (*.net *.split).
06:25:09 -!- Sgeo has joined.
06:25:15 -!- ski has joined.
06:25:26 -!- lisbeths has joined.
06:27:01 -!- Lord_of_Life has joined.
06:27:35 -!- rodgort has joined.
06:28:52  four
06:32:00  that is five but ok
06:36:13  what
06:36:34  Oh
06:41:39  Six
06:49:04  goodnight
06:51:44  good night
06:55:04  three
06:55:40  Ten
06:57:02  [[The Church]] M https://esolangs.org/w/index.php?diff=199032&oldid=199002 * Blashyrkh * (+1) /* Bracket abstraction algorithm */ typo: pl.
06:58:00  [[The Church]] M https://esolangs.org/w/index.php?diff=199033&oldid=199032 * Blashyrkh * (+4) /* K rule */ brackets
06:59:56  [[The Church]] M https://esolangs.org/w/index.php?diff=199034&oldid=199033 * Blashyrkh * (+54) /* Deduplication rule */ more special cases
07:02:40 -!- MarkFan8901 has joined.
07:02:57  we havent seen ppl really mess with wang tiles for computation that much honestly
07:04:13  we also havent seen ppl try and construct 'original' turing-completness proofs, as in proving a system is turing complete without reducing it to another tc system
07:05:04  we wanna try making a language which elegantly compiles to wang tiles
07:05:37  we feel like itd be some sort of declarative paradigm, since computation with wang tiles happens with trying to find a way to tile them
07:07:01  [[Boringscript]] M https://esolangs.org/w/index.php?diff=199035&oldid=192546 * JustSomeDude * (+9) 
07:07:42 -!- de67 has joined.
07:08:07  hi guys
07:08:09  im back
07:08:50  Read the log's.
07:10:08  Five
07:10:14  Sixteen
07:10:19  Eight
07:10:26  5168
07:10:29  5,16,8
07:10:31  hm
07:10:33  whar
07:10:41  so much stuff happen
07:10:41  some sort of collatz function probably
07:10:51  im kinda tired
07:10:51  (5 - 1) ^ 2 = 16
07:10:53  16 / 2 = 0
07:10:54  8*
07:11:01  Four
07:11:07  8 / 2 = 4
07:11:08  idk i think i slept well
07:11:14  whatever
07:11:15  MarkFan8901: how would that work? i've never seen any turing-completeness proof that isn't that
07:11:23  lemme read recent changes and irclogs
07:11:41  PkmnQ: we'd have to read turings original proofs that the tm is universal for that
07:11:47  esolanging wiki to commnity portal
07:11:52  or also churchs proof of the same thing for lambdas
07:11:57  CometIIWW: ?
07:11:58  MarkFan8901: does one exist?
07:12:04  oh i see
07:12:09  its gotta, right
07:12:11  i always heard it was a proof that the turing machine and lambda calculus were equivalent by simulating each other
07:12:21  i never heard anything saying they were objectively "universal" in some way
07:12:25  de67: hotcrystal0 said
07:12:35  by universal we mean like, capaple of universal computation
07:12:36  if they should add esolanging wiki to community portal
07:12:38  aka turing completeness
07:13:27  MarkFan8901: i know, but still, the only proofs i've seen, including the earliest ones, are just stuff being able to simulate other stuff
07:13:40  i don't know how you'd get a turing-completeness proof without reducing to a turing-complete system
07:14:00  ye, which is why we think itd be an interesting challenge
07:14:08  actually hm
07:14:12  is self-interpretation tc only?
07:14:28  MarkFan8901: i've heard counterexamples
07:14:47  wait hold on
07:15:02  it could be that theres (for example) pdas which can be simulated by other pdas, and also pdas which cant
07:15:07  found the one i was thinking of: https://doi.org/10.1145/2837614.2837623
07:15:23  i remember seeing it linked in https://esolangs.org/wiki/Category:Total
07:15:37  ok ive caught up on recetn changes
07:16:15  hum
07:16:43  oya total completeness should be recognized more as its own computatoinal class honestly
07:16:46  kind of underrated
07:17:58  ok i think ive caught up on irc logs
07:18:12  i for some reason expected there to be 1 trillion messages that i need to read
07:18:17  yea us too
07:18:23  thankfully there weren't
07:20:42  MarkFan8901: it's kind of a weird class, i'm fairly sure it's possible to make any Turing-complete language into an uncomputable total language
07:20:57  ooh
07:21:07  the concept of an uncomputable total language
07:21:47  i'm thinking stuff like Tableaux and Cornucopia (the latter isn't listed as uncomputable yet, but to me it seems pretty likely)
07:22:47  also UCL
07:22:53  uncomputable constant language
07:23:45  ahhh
07:23:52  in our opinion tableaux is only uncomputable when defined as a total language
07:24:03  actually hold on
07:24:15  maybe you could compile tableaux to wang tiles
07:24:20  MarkFan8901: cuz it would imply infinite computation in finite time?
07:24:29  yes
07:24:33  ok
07:25:06  wait yea maybe you could also implement wang tiles in tableaux
07:25:16  it seems pretty intuitive with the tableau structure
07:39:34  MarkFan8901: i don't think tableaux into wang tiles is possible, i think tableaux is way higher of a computational class than wang tiles
07:40:53  the connection we see is that theyre both languages where you have to search for something that solves the pieces given
07:41:21  with tableaux its a set of rules a tableaux must have, whereas with wang tiles its a tiling a set of tiles must have
07:42:10  since both of those algorithms are uncomputable (aka theyre both universal turing machines) we think there might be a mapping between them
07:42:35  i think tableaux is way above a universal turing machine
07:42:44  how so
07:43:46  to clarify the 'algorithms' we're referring to here are the ones which find the solution for a given program
07:44:02  i don't have a proof of it but i think tableaux should at least be able to implement some kind of oracle machine
07:44:48  hm
07:44:49  perchance
07:49:24  wait hold on we reread the page for tableaux
07:49:30  we completely misread how it works
07:49:43  we thought the solver solved for *a* tableau which obeyed the rules given
07:50:51 -!- Sgeo has quit (Read error: Connection reset by peer).
07:53:44  hm
07:53:52  what would the computational class of single-tableau tableaux be
07:55:18  MarkFan8901: as in, just the rules of the program, not the two tableaux rules?
07:56:50  wym
07:59:10  [[The Church]] M https://esolangs.org/w/index.php?diff=199036&oldid=199034 * Cleverxia * (-12) /* Truth-machine */ remove parens
07:59:18  it's impossible for one tableau to follow the Arbitrary first column and Prefix-determinism rules, but it can follow the program's rules
07:59:32  ah ye
07:59:58  that being said i think a program can only ever refer to a finite amount of cells, so it might actually be computable
07:59:59  [[User:Cleverxia/golfing results]]  https://esolangs.org/w/index.php?diff=199037&oldid=198825 * Cleverxia * (+40) 
08:00:40  hm
08:00:59  would making rules that can generalize over the whole tableaux make it uncomputable again
08:02:06  [[User:Win7HE/sandbox]]  https://esolangs.org/w/index.php?diff=199038&oldid=199026 * Win7HE * (+24) 
08:02:35  [[User:Win7HE/sandbox]]  https://esolangs.org/w/index.php?diff=199039&oldid=199038 * Win7HE * (+5) 
08:07:37  [[User:Win7HE/sandbox]]  https://esolangs.org/w/index.php?diff=199040&oldid=199039 * Win7HE * (+13) 
08:19:07  we wanna see an esolang (or just language in general) where returning a value doesnt also end the function its in
08:20:03  ie returning variables works more like adding values to a list than just exiting with a value as a side effect
08:20:37  [[User:Cleverxia/golfing results]]  https://esolangs.org/w/index.php?diff=199041&oldid=199037 * Cleverxia * (+420) more languagees
08:23:39  [[Special:Log/upload]] upload  * Win7HE *  uploaded "[[File:Esofeatured.png]]": Made with Inkscape.
08:29:52  MarkFan8901: isnt your idea just python's yield keyword?
08:30:03  dunno honestly
08:30:06  though that made us think
08:30:31  what if you had an implicit list you could work on across the whole scope of the function
08:30:40  which would then be what was returned after the function ended
08:31:40  perhaps you could make an esolang which does this, except it conceptualizes it as list definition instead of function definition
08:34:11  [[User:Win7HE/featlang]] N https://esolangs.org/w/index.php?oldid=199043 * Win7HE * (+566) Created page with "[[File:Esofeatured.png|none|This is a featured language; *click* for more information.|link=https://www.youtube.com/watch?v=dQw4w9WgXcQ]]