00:09:43 -!- variable has joined.
00:13:26 -!- boily has quit (Quit: ALIGNED CHICKEN).
00:17:02 -!- oerjan has joined.
00:21:11 -!- variable has quit (Read error: Connection reset by peer).
00:21:32 -!- trout has joined.
00:25:08 <esowiki> [[Andromeda]] M https://esolangs.org/w/index.php?diff=55815&oldid=55809 * Oerjan * (+0) typ(ewriter)o
00:32:20 -!- trout has quit (Ping timeout: 245 seconds).
00:44:42 -!- variable has joined.
00:44:57 -!- variable has quit (Client Quit).
00:56:58 <esowiki> [[Equipage]] M https://esolangs.org/w/index.php?diff=55816&oldid=55812 * Oerjan * (+0) Check your category speeling, folks!
00:59:23 * oerjan is half tempted to add yafgclist, as irregular as it's been recently
01:00:15 -!- moei has quit (Quit: Leaving...).
01:00:34 <shachaf> does hierjan write in hieroglyphs
01:21:06 <oerjan> hichaf. no, in hittite cuneiform hth
01:21:42 <shachaf> did you take 21 minutes to think of that pun
01:26:59 <oerjan> no, just to notice you had spoken hth
01:27:36 <oerjan> my irc awareness really went downhill after i started using the web browser full screen
01:44:58 <zzo38> I found the error of SQLite documentation that I have reported have now been corrected.
01:45:29 <zzo38> oerjan: How much space is taken up by other stuff when it is not full screen?
01:54:58 <oerjan> zzo38: previously i used to have just enough spare width to have the left part of the putty window show up to 3 characters of irc nicks.
01:55:12 <oerjan> behind the browser window.
01:55:29 <oerjan> which is enough to notice if things are moving there.
01:56:42 <oerjan> oh and a little spare width to the left of putty to see the most important desktop icons.
01:58:04 <zzo38> I have no desktop icons on my computer, so it does not take up so much space; only the two pixel window border is to the left.
01:58:37 <oerjan> i rarely use the desktop icons these days, most programs are on the menu bar.
01:59:48 <oerjan> or whatever it's actually called, the bottom one.
02:00:38 <zzo38> If you mean the Start menu on Windows, then I know (although it can be moved to the top or left or right, too). I am on Linux and I have no menu bar on my computer either.
02:02:30 <oerjan> i don't mean the start menu, i mean the bar of icons on the same row as it
02:03:10 <oerjan> um, i guess the start menu icon itself is one.
02:13:01 -!- variable has joined.
02:21:55 <zzo38> Well, actually they put the start menu, window list, system tray icons, and date/time, all on the same row.
02:46:04 -!- oerjan has quit (Quit: Nite).
02:59:19 <imode-desktop> alercah: can you clarify on what you said last night? what is "generalized monoid rewriting"?
03:03:00 <imode-desktop> sans the empty string strings are semigroups iirc. so I guess what I'm doing could be classified as semigroup rewriting..?
03:17:14 -!- xkapastel has quit (Quit: Connection closed for inactivity).
05:06:50 -!- moei has joined.
05:11:13 -!- trout has joined.
05:13:33 -!- variable has quit (Ping timeout: 264 seconds).
05:24:49 -!- Naergon_ has quit (Ping timeout: 248 seconds).
05:42:00 -!- Naergon has joined.
06:08:27 -!- Naergon has quit (Ping timeout: 240 seconds).
06:09:24 -!- Naergon has joined.
07:25:42 -!- AnotherTest has joined.
07:37:21 -!- AnotherTest has quit (Ping timeout: 240 seconds).
08:07:17 -!- xkapastel has joined.
08:11:08 <esowiki> [[2.+-]] N https://esolangs.org/w/index.php?oldid=55817 * Iamcalledbob * (+417) Created page with "==2.+-== 2.+- is a variation of [[Deadfish]]. It has the following commands: {| class="wikitable" |- ! Command !! Result |- | 2 || Square the accumulator |- | . || Print the a..."
08:13:26 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=55818&oldid=54946 * Iamcalledbob * (+81) /* Implementations */
08:21:59 <esowiki> [[2D BF]] https://esolangs.org/w/index.php?diff=55819&oldid=24984 * Iamcalledbob * (+39)
08:29:10 <esowiki> [[Around and around, sleeping sound]] N https://esolangs.org/w/index.php?oldid=55820 * Iamcalledbob * (+686) Created page with "'''Around and around, sleeping sound''' is the name of a 2D programming language made by [[User:Iamcalledbob]], on June 16, 2018. It only has 4 commands: {| class="wikitable"..."
08:31:20 <esowiki> [[Around and around, sleeping sound]] https://esolangs.org/w/index.php?diff=55821&oldid=55820 * Iamcalledbob * (+3)
09:17:36 -!- grumblr has joined.
09:20:04 -!- grumble has quit (Killed (barjavel.freenode.net (Nickname regained by services))).
09:20:04 -!- grumblr has changed nick to grumble.
10:47:24 <esowiki> [[Works in progress]] https://esolangs.org/w/index.php?diff=55822&oldid=52760 * Iamcalledbob * (+16)
10:50:16 <esowiki> [[1st-Worst]] N https://esolangs.org/w/index.php?oldid=55823 * Iamcalledbob * (+88) Created page with "==1st-Worst== Try to make this programming language have as many bad things as possible."
10:52:19 -!- SopaXorzTaker has joined.
11:06:01 <esowiki> [[Turing(Programming language)]] N https://esolangs.org/w/index.php?oldid=55824 * Iamcalledbob * (+1588) Created page with "==Syntax== Turing is designed to have a very lightweight, readable, intuitive syntax. Here is the entire [[Hello World!]] program in Turing with [[syntax highlighting]]: '''..."
11:06:11 -!- xkapastel has quit (Quit: Connection closed for inactivity).
11:07:20 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=55825&oldid=55790 * Iamcalledbob * (+13) /* T */
11:09:56 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=55826&oldid=55825 * Iamcalledbob * (+22) /* T */
11:15:15 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55827&oldid=55824 * Iamcalledbob * (-42) /* Syntax */
11:15:23 -!- SopaXorzTaker has quit (Remote host closed the connection).
11:16:28 -!- SopaXorzTaker has joined.
11:16:39 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55828&oldid=55827 * Iamcalledbob * (-66) /* Syntax */
11:18:35 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55829&oldid=55828 * Iamcalledbob * (-7) /* Syntax */
11:20:47 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55830&oldid=55829 * Iamcalledbob * (+43) /* Syntax */
11:21:23 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55831&oldid=55830 * Iamcalledbob * (-52) /* Syntax */
11:23:51 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55832&oldid=55831 * Iamcalledbob * (+46) /* Syntax */
11:26:01 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55833&oldid=55832 * Iamcalledbob * (-25) /* Syntax */
11:26:50 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55834&oldid=55833 * Iamcalledbob * (-92) /* Syntax */
11:28:15 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55835&oldid=55834 * Iamcalledbob * (-164) /* Syntax */
11:32:04 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55836&oldid=55835 * Iamcalledbob * (+81) /* Syntax */
11:32:21 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55837&oldid=55836 * Iamcalledbob * (+2) /* Syntax */
11:32:38 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55838&oldid=55837 * Iamcalledbob * (-1) /* Syntax */
11:32:50 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55839&oldid=55838 * Iamcalledbob * (+3) /* Syntax */
11:34:18 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55840&oldid=55839 * Iamcalledbob * (-12) /* Syntax */
11:35:05 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55841&oldid=55840 * Iamcalledbob * (+23) /* Syntax */
11:35:40 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55842&oldid=55841 * Iamcalledbob * (+24) /* Syntax */
11:37:32 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55843&oldid=55842 * Iamcalledbob * (+96) /* Syntax */
11:38:01 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55844&oldid=55843 * Iamcalledbob * (-1) /* Syntax */
11:38:14 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55845&oldid=55844 * Iamcalledbob * (+2) /* Syntax */
11:40:33 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55846&oldid=55845 * Iamcalledbob * (+14) /* Syntax */
11:40:52 <esowiki> [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55847&oldid=55846 * Iamcalledbob * (-14) /* Syntax */
11:42:02 -!- arseniiv has joined.
11:54:06 <esowiki> [[Glass]] https://esolangs.org/w/index.php?diff=55848&oldid=53686 * Iamcalledbob * (+184) /* Hello, world! program */
12:13:16 <esowiki> [[Glass]] https://esolangs.org/w/index.php?diff=55849&oldid=55848 * Fizzie * (-60) /* Hello, world! program */ (_o) is a single command, better not to split it across lines
12:19:03 -!- tromp has quit (Remote host closed the connection).
12:43:22 -!- tromp has joined.
13:30:30 -!- SopaXorzTaker has quit (Remote host closed the connection).
14:48:04 -!- MDead has joined.
14:50:15 -!- MDude has quit (Ping timeout: 260 seconds).
14:55:00 -!- MDead has quit (Ping timeout: 265 seconds).
14:57:25 -!- moony has changed nick to x86-64.
14:59:43 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=55850&oldid=53996 * Iamcalledbob * (+60) /* List of candidates */
15:02:37 -!- x86-64 has changed nick to moony.
15:19:06 -!- SopaXorzTaker has joined.
15:21:38 -!- oerjan has joined.
15:27:44 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=55851&oldid=55818 * Oerjan * (-80) /* =2.+- */ Remove, o doesn't print a number
15:29:48 <esowiki> [[Works in progress]] M https://esolangs.org/w/index.php?diff=55852&oldid=55822 * Oerjan * (+0) Put digits first
15:32:07 <esowiki> [[Special:Log/move]] move * Oerjan * moved [[Turing(Programming language)]] to [[Turing (Iamcalledbob)]]: Bad spacing, also the other Turing is already a PL, technically
15:33:49 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=55855&oldid=55826 * Oerjan * (-4) /* T */ Renamed page
15:34:59 <esowiki> [[Special:Log/delete]] delete * Oerjan * deleted "[[Turing(Programming language)]]": Broken name
15:37:13 <oerjan> hm apparently renaming and then removing redirect wipes it out of recent changes.
15:38:50 <esowiki> [[Special:Log/delete]] restore * Oerjan * restored "[[Turing(Programming language)]]": Keep it in recent changes, maybe
15:39:16 <oerjan> hm, nope not reversible
15:40:00 <esowiki> [[Special:Log/delete]] delete * Oerjan * deleted "[[Turing(Programming language)]]": That didn't work
15:42:01 <esowiki> [[Special:Log/move]] move * Oerjan * moved [[Turing]] to [[Turing (Joshop)]]: Disambiguation
15:44:57 <esowiki> [[Turing]] https://esolangs.org/w/index.php?diff=55858&oldid=55857 * Oerjan * (+114) disambig page
15:56:10 -!- Naergon has quit (Ping timeout: 260 seconds).
16:22:49 -!- MDude has joined.
16:28:49 <esowiki> [[User:GiratronKode]] N https://esolangs.org/w/index.php?oldid=55859 * GiratronKode * (+182) Created page with "Hi, I'm GiratronKode, I dont know what you're doing here but, the list below is a list of my esolangs: * [[InfSt]] And there is no more to say, bye ''viewer''! Category:P..."
16:35:42 <esowiki> [[InfSt]] M https://esolangs.org/w/index.php?diff=55860&oldid=55814 * GiratronKode * (+226)
16:36:05 <esowiki> [[InfSt]] M https://esolangs.org/w/index.php?diff=55861&oldid=55860 * GiratronKode * (-1)
16:39:23 <esowiki> [[InfSt]] M https://esolangs.org/w/index.php?diff=55862&oldid=55861 * GiratronKode * (+41)
16:43:47 -!- oerjan has quit (Quit: Later).
16:59:32 -!- xkapastel has joined.
17:14:30 <esowiki> [[InfSt]] M https://esolangs.org/w/index.php?diff=55863&oldid=55862 * GiratronKode * (+2)
18:03:38 -!- trout has quit (Quit: /dev/null is full).
18:14:25 -!- variable has joined.
18:22:10 -!- SopaXorzTaker has quit (Remote host closed the connection).
18:25:38 -!- trout has joined.
18:28:08 -!- Naergon has joined.
18:28:23 <imode-desktop> so now that I've gotten a reasonable hold on string rewriting... I wonder if I can revisit my idea for a term rewriting system that has no variables.
18:28:38 -!- variable has quit (Ping timeout: 265 seconds).
18:32:10 <rdococ> Looks like the variable went out of scope.
18:32:33 -!- trout has quit (Quit: /dev/null is full).
18:33:32 <imode-desktop> my issue with term rewriting systems is that it implies this secondary structure to store variable bindings.
18:34:32 <imode-desktop> variable lookups and storing that structure severely complicates things. so I wonder if it can be excluded.
18:35:19 -!- variable has joined.
18:35:25 -!- arseniiv has quit (Ping timeout: 260 seconds).
18:43:01 <imode-desktop> if anybody has any resources they could point me to, I'll pay you in thanks. :P
19:08:15 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
19:09:43 -!- contrapumpkin has joined.
19:09:48 -!- contrapumpkin has quit (Client Quit).
19:13:13 -!- Naergon has quit (Ping timeout: 256 seconds).
19:17:29 -!- variable has quit (Quit: /dev/null is full).
19:23:23 <imode-desktop> I think if you did remove variables, you'd end up with something akin to a string rewriting system over term-like strings.
19:23:36 <imode-desktop> because you could only examine the terms directly next to you.
19:25:29 <imode-desktop> something trivial like swapping two subtrees would be incredibly difficult (or at least seems to be).
19:29:25 -!- variable has joined.
19:31:24 -!- trout has joined.
19:34:45 -!- variable has quit (Ping timeout: 256 seconds).
19:48:21 -!- arseniiv has joined.
20:11:19 <rdococ> I'm experimenting (in my head) with the idea of "double CPS" (passing two continuations instead of one) and how it could be used to emulate delimited continuations.
20:45:35 -!- MDude has quit (Ping timeout: 256 seconds).
20:53:46 <HackEso> /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: : not found
21:33:56 <esowiki> [[Your Pong May Minsky]] N https://esolangs.org/w/index.php?oldid=55864 * Chris Pressey * (+5891) Created page with "'''Your Pong May Minsky''' is an [[esoteric programming language]] designed by [[Chris Pressey]], mostly on June 16 2018 and mostly for aesthetic purposes, which is clearly de..."
21:38:05 <esowiki> [[Talk:The Waterfall Model]] https://esolangs.org/w/index.php?diff=55865&oldid=55795 * Chris Pressey * (+356)
21:43:29 <esowiki> [[Your Pong May Minsky]] https://esolangs.org/w/index.php?diff=55866&oldid=55864 * Chris Pressey * (+250) Note that a wall coming into existing over the ball does not count as a collision.
21:46:52 <esowiki> [[Your Pong May Minsky]] https://esolangs.org/w/index.php?diff=55867&oldid=55866 * Chris Pressey * (+108) Minor fix to the The Waterfall Model translation construction.
21:50:37 <esowiki> [[Your Pong May Minsky]] https://esolangs.org/w/index.php?diff=55868&oldid=55867 * Chris Pressey * (+172) Add an observation about "instruction pointer".
21:57:59 -!- contrapumpkin has joined.
22:15:29 <myname> i don't get what an active wall is
22:34:32 -!- trout has quit (Quit: /dev/null is full).
22:37:17 -!- variable has joined.
22:41:17 -!- arseniiv has quit (Ping timeout: 276 seconds).
22:50:40 <esowiki> [[Special:Log/newusers]] create * Asangi a4ac * New user account
22:54:09 -!- boily has joined.
22:56:24 -!- variable has quit (Read error: Connection reset by peer).
22:56:44 -!- trout has joined.
23:46:50 -!- oerjan has joined.
23:54:13 <oerjan> <imode-desktop> he seems to leave at the best time. <-- sometimes i wonder if pingouts are triggered by nickpings, maybe the client crashes or something