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 [[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 [[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:19 hierjan 01:00:34 does hierjan write in hieroglyphs 01:21:06 hichaf. no, in hittite cuneiform hth 01:21:42 did you take 21 minutes to think of that pun 01:26:59 no, just to notice you had spoken hth 01:27:36 my irc awareness really went downhill after i started using the web browser full screen 01:44:58 I found the error of SQLite documentation that I have reported have now been corrected. 01:45:29 oerjan: How much space is taken up by other stuff when it is not full screen? 01:54:58 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 behind the browser window. 01:55:29 which is enough to notice if things are moving there. 01:56:42 oh and a little spare width to the left of putty to see the most important desktop icons. 01:58:04 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 i rarely use the desktop icons these days, most programs are on the menu bar. 01:59:48 or whatever it's actually called, the bottom one. 02:00:38 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 i don't mean the start menu, i mean the bar of icons on the same row as it 02:03:10 um, i guess the start menu icon itself is one. 02:03:32 O, OK 02:13:01 -!- variable has joined. 02:21:55 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 alercah: can you clarify on what you said last night? what is "generalized monoid rewriting"? 03:03:00 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 [[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 [[Deadfish]] https://esolangs.org/w/index.php?diff=55818&oldid=54946 * Iamcalledbob * (+81) /* Implementations */ 08:21:59 [[2D BF]] https://esolangs.org/w/index.php?diff=55819&oldid=24984 * Iamcalledbob * (+39) 08:29:10 [[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 [[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 [[Works in progress]] https://esolangs.org/w/index.php?diff=55822&oldid=52760 * Iamcalledbob * (+16) 10:50:16 [[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 [[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 [[Language list]] https://esolangs.org/w/index.php?diff=55825&oldid=55790 * Iamcalledbob * (+13) /* T */ 11:09:56 [[Language list]] https://esolangs.org/w/index.php?diff=55826&oldid=55825 * Iamcalledbob * (+22) /* T */ 11:15:15 [[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 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55828&oldid=55827 * Iamcalledbob * (-66) /* Syntax */ 11:18:35 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55829&oldid=55828 * Iamcalledbob * (-7) /* Syntax */ 11:20:47 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55830&oldid=55829 * Iamcalledbob * (+43) /* Syntax */ 11:21:23 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55831&oldid=55830 * Iamcalledbob * (-52) /* Syntax */ 11:23:51 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55832&oldid=55831 * Iamcalledbob * (+46) /* Syntax */ 11:26:01 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55833&oldid=55832 * Iamcalledbob * (-25) /* Syntax */ 11:26:50 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55834&oldid=55833 * Iamcalledbob * (-92) /* Syntax */ 11:28:15 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55835&oldid=55834 * Iamcalledbob * (-164) /* Syntax */ 11:32:04 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55836&oldid=55835 * Iamcalledbob * (+81) /* Syntax */ 11:32:21 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55837&oldid=55836 * Iamcalledbob * (+2) /* Syntax */ 11:32:38 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55838&oldid=55837 * Iamcalledbob * (-1) /* Syntax */ 11:32:50 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55839&oldid=55838 * Iamcalledbob * (+3) /* Syntax */ 11:34:18 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55840&oldid=55839 * Iamcalledbob * (-12) /* Syntax */ 11:35:05 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55841&oldid=55840 * Iamcalledbob * (+23) /* Syntax */ 11:35:40 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55842&oldid=55841 * Iamcalledbob * (+24) /* Syntax */ 11:37:32 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55843&oldid=55842 * Iamcalledbob * (+96) /* Syntax */ 11:38:01 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55844&oldid=55843 * Iamcalledbob * (-1) /* Syntax */ 11:38:14 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55845&oldid=55844 * Iamcalledbob * (+2) /* Syntax */ 11:40:33 [[Turing(Programming language)]] https://esolangs.org/w/index.php?diff=55846&oldid=55845 * Iamcalledbob * (+14) /* Syntax */ 11:40:52 [[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 [[Glass]] https://esolangs.org/w/index.php?diff=55848&oldid=53686 * Iamcalledbob * (+184) /* Hello, world! program */ 12:13:16 [[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 [[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 [[Deadfish]] https://esolangs.org/w/index.php?diff=55851&oldid=55818 * Oerjan * (-80) /* =2.+- */ Remove, o doesn't print a number 15:29:48 [[Works in progress]] M https://esolangs.org/w/index.php?diff=55852&oldid=55822 * Oerjan * (+0) Put digits first 15:32:07 [[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 [[Language list]] https://esolangs.org/w/index.php?diff=55855&oldid=55826 * Oerjan * (-4) /* T */ Renamed page 15:34:59 [[Special:Log/delete]] delete * Oerjan * deleted "[[Turing(Programming language)]]": Broken name 15:37:13 hm apparently renaming and then removing redirect wipes it out of recent changes. 15:38:50 [[Special:Log/delete]] restore * Oerjan * restored "[[Turing(Programming language)]]": Keep it in recent changes, maybe 15:39:16 hm, nope not reversible 15:40:00 [[Special:Log/delete]] delete * Oerjan * deleted "[[Turing(Programming language)]]": That didn't work 15:42:01 [[Special:Log/move]] move * Oerjan * moved [[Turing]] to [[Turing (Joshop)]]: Disambiguation 15:44:57 [[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 [[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 [[InfSt]] M https://esolangs.org/w/index.php?diff=55860&oldid=55814 * GiratronKode * (+226) 16:36:05 [[InfSt]] M https://esolangs.org/w/index.php?diff=55861&oldid=55860 * GiratronKode * (-1) 16:39:23 [[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 [[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 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:28:59 he seems to leave at the best time. 18:32:10 Looks like the variable went out of scope. 18:32:33 -!- trout has quit (Quit: /dev/null is full). 18:33:32 my issue with term rewriting systems is that it implies this secondary structure to store variable bindings. 18:33:43 essentially, RAM. 18:34:32 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 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 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 because you could only examine the terms directly next to you. 19:24:23 and directly below you. 19:25:29 something trivial like swapping two subtrees would be incredibly difficult (or at least seems to be). 19:26:51 maybe you could do something with combinators..? 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 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 ` 20:53:46 ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: : not found 21:33:56 [[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 [[Talk:The Waterfall Model]] https://esolangs.org/w/index.php?diff=55865&oldid=55795 * Chris Pressey * (+356) 21:43:29 [[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 [[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 [[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 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 [[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 he seems to leave at the best time. <-- sometimes i wonder if pingouts are triggered by nickpings, maybe the client crashes or something