00:00:56 -!- Lord_of_Life has quit (Remote host closed the connection).
00:03:52 -!- Lord_of_Life has joined.
00:20:46 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
00:21:38 -!- Lord_of_Life has joined.
00:24:55 -!- Lord_of_Life has quit (Client Quit).
00:25:29 <esolangs> [[Dumbascii]]  https://esolangs.org/w/index.php?diff=163378&oldid=163377 * DumbEsolangsOrgUser * (+154) /* Implementations */
00:34:44 -!- Lord_of_Life has joined.
00:37:49 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
00:38:12 -!- Lord_of_Life has joined.
00:38:46 -!- sprock has quit (Remote host closed the connection).
01:14:28 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
01:16:37 <esolangs> [[Rollover]] M https://esolangs.org/w/index.php?diff=163379&oldid=159417 * Scratch Fakemon * (+278) 
01:44:00 -!- FreeFull has quit (Quit: Lost terminal).
02:09:52 <esolangs> [[User:Jan jelo]] M https://esolangs.org/w/index.php?diff=163380&oldid=150984 * Jan jelo * (+1) fix a typo
02:22:42 -!- sprout has quit (Ping timeout: 248 seconds).
02:24:32 -!- sprout has joined.
03:14:34 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
03:15:48 -!- Lord_of_Life has joined.
03:47:55 -!- sprock has joined.
04:15:47 <esolangs> [[Monoid]]  https://esolangs.org/w/index.php?diff=163381&oldid=157862 * Corbin * (+235) /* Introduction */ Work an example.
04:33:43 -!- joast has joined.
04:47:57 <esolangs> [[Monoid]]  https://esolangs.org/w/index.php?diff=163382&oldid=163381 * Corbin * (+753) /* Free monoids */ Fix up grammar. Add notation. This is *not* the standard definition; it's simpler!
04:58:34 <esolangs> [[Kolakoski sequence]]  https://esolangs.org/w/index.php?diff=163383&oldid=162624 * Calculus is fun * (+727) Added Pointing example
05:04:17 <esolangs> [[Kolakoski sequence]] M https://esolangs.org/w/index.php?diff=163384&oldid=163383 * Calculus is fun * (+120) /* Pointing */
05:05:16 -!- amadaluzia has quit (Quit: You).
05:15:58 <esolangs> [[Monoid]]  https://esolangs.org/w/index.php?diff=163385&oldid=163382 * Corbin * (+1288) The rank-simplification game we've been playing is NP-complete.
05:33:20 -!- DifferentDance8 has joined.
06:09:28 <esolangs> [[Monoid]]  https://esolangs.org/w/index.php?diff=163386&oldid=163385 * Corbin * (+877) Mention commutative monoids. We'll want the lemma: r(X, A*) = 1 iff A* is commutative. For example, this implies that BF's rank is at least 2.
06:17:31 <korvo> Okay, one mystery solved. The rank of a monoid doesn't make sense as a standalone concept. Instead, a subset of a (free?) monoid has a rank relative to that monoid.
06:28:55 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
06:40:04 -!- Lord_of_Life has joined.
06:42:02 -!- b_jonas has quit (Quit: leaving).
06:52:11 <esolangs> [[Monoid]]  https://esolangs.org/w/index.php?diff=163387&oldid=163386 * Corbin * (+600) /* Rank */ Facts about rank.
07:09:09 -!- Sgeo has quit (Read error: Connection reset by peer).
07:47:11 -!- tromp has joined.
07:52:43 -!- DifferentDance8 has quit (Ping timeout: 250 seconds).
07:55:31 -!- ais523 has joined.
08:51:20 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:57:44 -!- FreeFull has joined.
09:03:08 <esolangs> [[Input hello world or else:]] M https://esolangs.org/w/index.php?diff=163388&oldid=138760 * Ractangle * (-8) /* Python */  mimmimi
09:09:25 -!- tromp has joined.
09:23:05 <esolangs> [[Dt]] M https://esolangs.org/w/index.php?diff=163389&oldid=163327 * C++DSUCKER * (+3) 
09:27:47 <esolangs> [[Language list]]  https://esolangs.org/w/index.php?diff=163390&oldid=163284 * C++DSUCKER * (+9) 
09:42:16 <APic> Hi
09:52:02 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
10:04:05 -!- tromp has joined.
11:09:34 <esolangs> [[Dumbascii]]  https://esolangs.org/w/index.php?diff=163391&oldid=163378 * DumbEsolangsOrgUser * (+154) 
11:10:05 -!- DOS_User_webchat has joined.
11:10:44 <esolangs> [[Dumbascii]]  https://esolangs.org/w/index.php?diff=163392&oldid=163391 * DumbEsolangsOrgUser * (+19) /* Why "Dumbascii"? */
11:23:21 -!- DOS_User_webchat has quit (Remote host closed the connection).
11:24:06 -!- Lord_of_Life has quit (Ping timeout: 276 seconds).
11:24:13 -!- Lord_of_Life_ has joined.
11:25:30 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:51:57 <esolangs> [[!English]]  https://esolangs.org/w/index.php?diff=163393&oldid=148971 * MihaiEso * (+38) 
11:54:22 <esolangs> [[!English/Examples]]  https://esolangs.org/w/index.php?diff=163394&oldid=141379 * MihaiEso * (+294) /* A chatbot that uses GPT-4o */
12:17:14 <esolangs> [[User:MihaiEso]]  https://esolangs.org/w/index.php?diff=163395&oldid=161466 * MihaiEso * (+54) /* My targets */
12:32:04 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:42:12 <esolangs> [[Special:Log/newusers]] create  * SzszszszszszszsZ *  New user account
12:44:06 -!- tromp has joined.
12:53:32 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=163396&oldid=163330 * SzszszszszszszsZ * (+247) 
12:54:06 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=163397&oldid=163396 * SzszszszszszszsZ * (+0) 
13:00:06 <esolangs> [[User:SzszszszszszszsZ]] N https://esolangs.org/w/index.php?oldid=163398 * SzszszszszszszsZ * (+607) Created page with "Hi!  My name is SzszszszszszszsZ. (case insensitive, you can shuffle my username whatever you like).  Im from malaysia  Anyways thats all  <small>''PS: -[--->+<]>------.-.--------.[-->+<]>---.++++[->++<]>.+++++++.+[->++++<]>+.>+[--->++<]>.+[--->+<]
13:03:45 -!- amby has joined.
13:06:26 -!- ais523 has quit (Quit: sorry about my connection).
13:27:48 -!- ais523 has joined.
13:42:40 <esolangs> [[Monoid]]  https://esolangs.org/w/index.php?diff=163399&oldid=163387 * Corbin * (+56) /* Rank */ Add a corollary which seems like it might apply in some cases.
13:44:24 <korvo> ais523: I apologize for my attitude several weeks ago. I didn't understand the maths and I was taking it out on fellow editors. For contrition I'm finishing up the work.
13:44:54 <ais523> the more abstract an esolang gets, the harder it is to understand
13:47:56 <ais523> actually, when it comes to TCness proofs, often the trick is to work out the best way to think about the language in order to make it concrete
13:48:12 <ais523> Three Star Programmer was much easier to understand when I figured out how to get rid of some of the stars, for example
13:48:35 <ais523> because then you have things that consistently work like variables
13:48:49 <ais523> (you can only increment them and reading them is awkward, but at least they're easy to reason about)
13:53:18 <esolangs> [[WikiFreak]] N https://esolangs.org/w/index.php?oldid=163400 * DifferentDance8 * (+3401) Created page with "''Note: This language was developed as a filler project and is not intended to be taken seriously.''  '''WikiFreak''' is an output-only esoteric programming language (more precisely, an output/output-only language, as it does not accept input) created by [[Use
13:53:38 <esolangs> [[WikiFreak]]  https://esolangs.org/w/index.php?diff=163401&oldid=163400 * DifferentDance8 * (-78) 
14:01:57 -!- wib_jonas has joined.
14:02:56 <wib_jonas> how related is the i/d machine, or to brainfuck on a tape of booleans that you can only increment, never decrement, and no overflow?
14:03:15 <wib_jonas> all three of these have a memory that is writable only in one way, sort of like paper with pen if you don't have correction fluid
14:03:26 <wib_jonas> (or wastebasket)
14:03:49 <wib_jonas> but with additional restrictions in all three cases
14:10:05 <ais523> wib_jonas: the I/D machine is pretty similar to Three Star Programmer in terms of how you program it
14:10:51 <ais523> the main difference is that the I/D machine doesn't have any hardcoded addresses, so you have to keep various constant addresses around within the easily addressable portion of memory in order to avoid getting lost
14:11:08 <ais523> in Three Star Programmer you can hardcode addresses, so doing that is easier, but program initialisation is more complicated
14:11:31 <ais523> Permanent BF is much easier to write in because the control flow is much more powerful
14:16:05 -!- fungot has quit (Server closed connection).
14:17:30 <ais523> bye fungot
14:19:38 <wib_jonas> I see
14:20:27 -!- fungot has joined.
14:20:36 <fizzie> Welcome back, fungot.
14:20:36 <fungot> fizzie: http://list.cs.brown.edu/ pipermail/ plt-scheme/ fnord/ fnord
14:22:51 <esolangs> [[Talk:Tag system]] N https://esolangs.org/w/index.php?oldid=163402 * Treeplate * (+393) add example with no halting symbols
14:31:01 <esolangs> [[Talk:Tag system]] M https://esolangs.org/w/index.php?diff=163403&oldid=163402 * Treeplate * (+13) fix my comment's formatting
14:52:32 -!- amadaluzia has joined.
15:02:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:17:44 -!- amadaluzia has quit (Ping timeout: 260 seconds).
15:18:37 -!- amadaluzia has joined.
15:20:24 -!- tromp has joined.
15:24:07 -!- amadaluzia has quit (Quit: You).
15:26:25 -!- amadaluzia has joined.
15:31:26 -!- ais523 has quit (Quit: quit).
15:33:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:43:25 -!- wib_jonas has quit (Quit: Client closed).
16:11:43 -!- Sgeo has joined.
16:33:52 -!- tromp has joined.
16:51:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:05:09 -!- tromp has joined.
17:28:47 <APic> Good Night Folks
17:33:16 <korvo> Peace.
17:40:36 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:02:31 -!- b_jonas has joined.
18:08:51 <esolangs> [[Monoid]]  https://esolangs.org/w/index.php?diff=163404&oldid=163399 * Corbin * (+1843) Add a section on presentations. Define simple translations.
18:12:17 -!- tromp has joined.
18:37:52 <esolangs> [[Dumbascii]]  https://esolangs.org/w/index.php?diff=163405&oldid=163392 * DumbEsolangsOrgUser * (+143) 
18:42:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:08:28 <esolangs> [[Dumbascii]]  https://esolangs.org/w/index.php?diff=163406&oldid=163405 * DumbEsolangsOrgUser * (+83) 
19:50:44 <esolangs> [[9999]] N https://esolangs.org/w/index.php?oldid=163407 * DumbEsolangsOrgUser * (+449) Created page with "{{wip}} '''[[9999]]''' is joke [[esoteric_programming_language|esoteric programming language]] which working in 9999 year.  =implementation= ==[https://www.python.org/ Python]== <pre> import datetime from datetime import datetime now = datetime.now() if now.year
19:52:59 -!- tromp has joined.
19:57:52 <esolangs> [[9999]]  https://esolangs.org/w/index.php?diff=163408&oldid=163407 * DumbEsolangsOrgUser * (+527) 
19:58:27 <esolangs> [[9999]]  https://esolangs.org/w/index.php?diff=163409&oldid=163408 * DumbEsolangsOrgUser * (-1) /* Python */
20:04:53 <esolangs> [[Monoid]]  https://esolangs.org/w/index.php?diff=163410&oldid=163404 * Corbin * (+676) /* Rank */ Generalize to let X be big, not covered in Neraud 1992. Clean up corollaries.
20:05:22 <esolangs> [[9999]]  https://esolangs.org/w/index.php?diff=163411&oldid=163409 * DumbEsolangsOrgUser * (+1) 
20:05:27 -!- sftp has quit (*.net *.split).
20:05:27 -!- ManDeJan has quit (*.net *.split).
20:05:27 -!- lambdabot has quit (*.net *.split).
20:05:27 -!- ProofTechnique_ has quit (*.net *.split).
20:05:27 -!- molson has quit (*.net *.split).
20:05:28 -!- leah2 has quit (*.net *.split).
20:05:28 -!- voxpelli has quit (*.net *.split).
20:05:28 -!- GregorR has quit (*.net *.split).
20:05:28 -!- laerling has quit (*.net *.split).
20:05:28 -!- casuallyblue has quit (*.net *.split).
20:05:28 -!- gAy_Dragon has quit (*.net *.split).
20:05:28 -!- tromp has quit (*.net *.split).
20:05:29 -!- JAA has quit (*.net *.split).
20:05:29 -!- lynndotpy6 has quit (*.net *.split).
20:05:29 -!- rodgort` has quit (*.net *.split).
20:05:29 -!- korvo has quit (*.net *.split).
20:05:29 -!- dcreager has quit (*.net *.split).
20:05:29 -!- perlbot has quit (*.net *.split).
20:05:29 -!- simcop2387 has quit (*.net *.split).
20:05:30 -!- HackEso has quit (*.net *.split).
20:06:56 -!- molson has joined.
20:07:57 -!- ManDeJan has joined.
20:07:57 -!- lambdabot has joined.
20:07:57 -!- ProofTechnique_ has joined.
20:07:57 -!- leah2 has joined.
20:07:57 -!- voxpelli has joined.
20:07:57 -!- GregorR has joined.
20:07:57 -!- casuallyblue has joined.
20:07:57 -!- laerling has joined.
20:07:57 -!- gAy_Dragon has joined.
20:09:03 -!- tromp has joined.
20:09:03 -!- JAA has joined.
20:09:03 -!- lynndotpy6 has joined.
20:09:03 -!- rodgort` has joined.
20:09:03 -!- korvo has joined.
20:09:03 -!- dcreager has joined.
20:09:03 -!- perlbot has joined.
20:09:03 -!- simcop2387 has joined.
20:09:03 -!- HackEso has joined.
20:09:15 -!- sftp has joined.
20:13:24 <esolangs> [[9999]]  https://esolangs.org/w/index.php?diff=163412&oldid=163411 * DumbEsolangsOrgUser * (+4) /* implementation */
20:22:57 -!- casuallyblue has quit (Ping timeout: 276 seconds).
20:28:09 <esolangs> [[Cat Program (language)]]  https://esolangs.org/w/index.php?diff=163413&oldid=138056 * WoodyFan3412 * (+82) /* Interpreters */
20:28:51 <esolangs> [[QuakeScript]] N https://esolangs.org/w/index.php?oldid=163414 * WoodyFan3412 * (+5120) Created page with "QuakeScript is a language made by WoodyFan3412 <br> in this language there are commands, they're alot like the commands in games like half-life  == Syntax == the first "word" is the command name, anything after that are the command arguments <br> quotation mark
20:30:09 <esolangs> [[Special:Log/upload]] upload  * WoodyFan3412 *  uploaded "[[File:QuakeScriptScreenshot.png]]"
20:30:31 <esolangs> [[User:WoodyFan3412]]  https://esolangs.org/w/index.php?diff=163416&oldid=163306 * WoodyFan3412 * (+42) /* Projects that i've made: */
20:36:37 <esolangs> [[User:WoodyFan3412]]  https://esolangs.org/w/index.php?diff=163417&oldid=163416 * WoodyFan3412 * (+294) /* Project Descriptions */
20:40:45 <esolangs> [[Special:Log/upload]] upload  * WoodyFan3412 *  uploaded "[[File:GunSide.png]]"
20:41:41 <esolangs> [[User:WoodyFan3412]]  https://esolangs.org/w/index.php?diff=163419&oldid=163417 * WoodyFan3412 * (+117) 
20:49:27 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:01:47 -!- tromp has joined.
21:43:12 -!- Taneb has quit (Server closed connection).
21:54:41 -!- user3456 has joined.
21:54:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:55:05 -!- user3456 has changed nick to Guest2884.
21:58:10 -!- Guest2884 has changed hostmask to user3456@user/user3456.
21:58:47 -!- Guest2884 has changed nick to user3456.
22:11:36 -!- Taneb has joined.
22:29:46 -!- zzo38 has joined.
22:47:32 -!- op_4 has quit (Server closed connection).
22:47:45 -!- op_4 has joined.
23:08:02 <esolangs> [[QuakeScript]]  https://esolangs.org/w/index.php?diff=163420&oldid=163414 * WarzokERNST135 * (+13) /* Math */ Fixed Math
23:10:42 <esolangs> [[Traxler]]  https://esolangs.org/w/index.php?diff=163421&oldid=163372 * WarzokERNST135 * (+0) 
23:11:24 <esolangs> [[Traxler]]  https://esolangs.org/w/index.php?diff=163422&oldid=163421 * WarzokERNST135 * (-2) 
23:49:00 -!- zzo38 has quit (Ping timeout: 252 seconds).
23:57:07 -!- zzo38 has joined.