←2018-06-11 2018-06-12 2018-06-13→ ↑2018 ↑all
00:02:23 -!- MDude has quit (Ping timeout: 276 seconds).
00:56:04 -!- MDude has joined.
01:57:31 -!- imode has joined.
02:22:22 <imode> I'm trying to comprehend how you'd do something as trivial as RAM simulation in Thue without hard-coded locations in the rule set, and without resorting to a traditional tape representation.
02:23:58 <imode> I can see the RAM cells as being sequences of [key;value] pairs, and values sort of propagating around them.
02:25:58 <imode> so if your input was "{231;Test}[10;...][20;...][30;...][231;...][;]", with the things in {}s classified as write instructions...
02:27:08 <imode> you'd need to find a way to propagate that 231 forward in advance, then leave a marker if the comparison worked. that could be done in parallel.
02:28:27 <imode> if the address didn't exist, you'd hit the "[;]" at the end, which signifies an empty "bubble" to put your key/value pair.
02:28:45 -!- variable has quit (Quit: /dev/null is full).
02:29:18 <imode> if you could figure that out, or if you could figure out how to do prolog-style pattern matching, that'd be nice.
02:32:25 <imode> I actually still wonder what a Thue interpreter in... Thue would look like.
02:32:40 <imode> obviously you'd have to reduce the thue ruleset to a reduced alphabet.
03:02:40 -!- variable has joined.
03:03:33 -!- variable has quit (Client Quit).
03:50:42 -!- variable has joined.
04:10:00 -!- doesthiswork has quit (Quit: Leaving.).
04:30:57 -!- Cale has quit (Ping timeout: 240 seconds).
04:39:52 -!- Cale has joined.
05:25:40 -!- doesthiswork has joined.
06:27:49 -!- doesthiswork has quit (Quit: Leaving.).
06:46:15 -!- user24 has joined.
07:01:36 -!- wob_jonas has joined.
07:01:51 <wob_jonas> `aglist 599
07:01:52 <HackEso> aglist 599: b_jonas shachaf
07:07:20 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:13:02 -!- Naergon has joined.
07:29:25 -!- AnotherTest has joined.
07:39:27 -!- ATMunn has quit (Ping timeout: 240 seconds).
07:41:17 -!- moony has quit (Ping timeout: 276 seconds).
07:41:56 -!- Bowserinator has quit (Ping timeout: 276 seconds).
07:42:09 -!- moony has joined.
07:42:34 -!- ATMunn has joined.
07:42:59 -!- Bowserinator has joined.
07:44:00 -!- AnotherTest has quit (Ping timeout: 245 seconds).
07:46:45 <user24> I'm just gonna say that the "lark" parser library for python is pretty cool: https://github.com/lark-parser/lark
07:51:56 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
08:02:44 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
08:32:59 -!- olsner has quit (Ping timeout: 268 seconds).
08:37:43 -!- user24 has quit (Quit: Leaving).
08:39:58 -!- olsner has joined.
08:48:58 -!- olsner has quit (Ping timeout: 264 seconds).
08:50:41 -!- imode has quit (Ping timeout: 265 seconds).
08:57:50 -!- olsner has joined.
09:29:14 <esowiki> [[Equipage]] N https://esolangs.org/w/index.php?oldid=55625 * Chris Pressey * (+728) Add stub for Equipage.
09:30:06 <esowiki> [[Carriage]] https://esolangs.org/w/index.php?diff=55626&oldid=39136 * Chris Pressey * (+30) Add "see also" reference to Equipage.
09:30:54 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=55627&oldid=55613 * Chris Pressey * (+15) /* E */ Add Equipage.
10:00:51 -!- arseniiv has joined.
10:02:20 -!- imode-desktop has quit (Ping timeout: 276 seconds).
10:04:21 -!- imode-desktop has joined.
12:19:25 -!- LKoen has joined.
13:00:28 -!- doesthiswork has joined.
13:01:17 -!- doesthiswork has quit (Client Quit).
13:02:59 -!- imode has joined.
13:04:28 -!- doesthiswork has joined.
13:05:28 -!- oerjan has joined.
13:32:28 <imode> https://ptpb.pw/_mW3/text so I tried my hand at forward-chaining within thue, but it's one-shot and unwieldy.
13:32:51 <imode> (also not thue syntaxt, but general string rewriting, w/e.)
13:42:01 <imode> when a fact "fires", it sort of switches itself off and generates a unique flag that's passed down by every other fact until they hit the end and accumulate.
13:42:43 <imode> now I wonder how I can do something like simulating RAM via key/value pairs... but first I have to work out how to do non-destructive string comparisons.
14:44:21 <imode> https://en.wikipedia.org/wiki/Grammar_systems_theory http://www.cs.bme.hu/~csima/phd1/phd1.html
14:45:51 <imode> I ask, the universe answers.
15:14:01 -!- LKoen has 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.”).
15:21:10 -!- arseniiv_ has joined.
15:21:42 -!- arseniiv has quit (Read error: Connection reset by peer).
15:21:50 -!- arseniiv has joined.
15:26:03 -!- arseniiv_ has quit (Ping timeout: 265 seconds).
15:41:44 -!- xkapastel has joined.
16:08:49 -!- copumpkin has quit (Remote host closed the connection).
16:08:50 -!- ProofTechnique[m has quit (Read error: Connection reset by peer).
16:13:40 -!- oerjan has quit (Quit: Later).
16:23:14 -!- erkin has joined.
16:33:50 -!- ProofTechnique[m has joined.
16:48:31 -!- copumpkin has joined.
17:02:48 <esowiki> [[Special:Log/newusers]] create * Izumariu * New user account
17:24:14 -!- Phantom_Hoover has joined.
17:27:42 -!- LKoen has joined.
17:48:23 -!- j-bot has quit (Ping timeout: 276 seconds).
17:57:34 <esowiki> [[Special:Log/newusers]] create * Reddy Alice * New user account
18:10:10 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=55628&oldid=55611 * Izumariu * (+306) Izumariu entry added
18:10:15 <esowiki> [[PUBERTY]] N https://esolangs.org/w/index.php?oldid=55629 * Izumariu * (+6465) Created page
18:10:32 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=55630&oldid=55627 * Izumariu * (+14) /* P */
18:10:45 <esowiki> [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=55631&oldid=55444 * Izumariu * (+1571) Added PUBERTY
18:11:25 <esowiki> [[Joke language list]] https://esolangs.org/w/index.php?diff=55632&oldid=54907 * Izumariu * (+64) /* General languages */
18:12:03 <esowiki> [[PUBERTY]] M https://esolangs.org/w/index.php?diff=55633&oldid=55629 * Izumariu * (+1)
18:17:32 -!- Cale has quit (Excess Flood).
18:19:48 -!- Cale has joined.
18:59:43 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=55634&oldid=55628 * Reddy Alice * (+97) /* Introductions */
18:59:54 <esowiki> [[Annoying Alice 2D]] N https://esolangs.org/w/index.php?oldid=55635 * Reddy Alice * (+271) Created page with "Annoying Alice 2D is a 2 Dimensional esolang that is inspired by 2D programming languages like piet using the difference in ARGB values between pixels. It has this name becaus..."
19:00:32 <esowiki> [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55636&oldid=55635 * Reddy Alice * (+21)
19:01:29 <esowiki> [[Special:Log/upload]] upload * Reddy Alice * uploaded "[[File:Helloworldannoying.png]]"
19:01:53 <esowiki> [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55638&oldid=55636 * Reddy Alice * (-28)
19:09:41 <esowiki> [[Special:Log/upload]] upload * Reddy Alice * uploaded "[[File:HelloworldannoyingAlice.png]]"
19:10:02 <esowiki> [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55640&oldid=55638 * Reddy Alice * (+1)
19:28:46 <esowiki> [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55641&oldid=55640 * Reddy Alice * (+2525)
19:29:05 <esowiki> [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55642&oldid=55641 * Reddy Alice * (+0)
19:32:08 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=55643&oldid=55630 * Reddy Alice * (+24) /* A */
19:34:09 <esowiki> [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55644&oldid=55642 * Reddy Alice * (+108)
19:34:24 <esowiki> [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55645&oldid=55644 * Reddy Alice * (+2)
19:43:45 <esowiki> [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55646&oldid=55645 * Reddy Alice * (+69)
19:50:59 <esowiki> [[Special:Log/newusers]] create * Oxetn * New user account
20:08:48 -!- laerling has joined.
20:09:21 -!- LKoen has quit (Remote host closed the connection).
20:09:47 -!- LKoen has joined.
20:12:15 <esowiki> [[TheSingularity]] M https://esolangs.org/w/index.php?diff=55647&oldid=53192 * HereToAnnoy * (-94) got to do my own work
20:12:42 <esowiki> [[User:HereToAnnoy]] M https://esolangs.org/w/index.php?diff=55648&oldid=53832 * HereToAnnoy * (-67)
20:14:42 -!- LKoen has quit (Ping timeout: 256 seconds).
20:29:02 <esowiki> [[Focus]] M https://esolangs.org/w/index.php?diff=55649&oldid=53898 * HereToAnnoy * (+35)
20:34:17 -!- imode-desktop has quit (Quit: WeeChat 2.1).
20:49:30 -!- copumpkin has quit (Remote host closed the connection).
20:49:53 -!- ProofTechnique[m has quit (Remote host closed the connection).
20:51:26 -!- moei has quit (Quit: Leaving...).
21:06:07 -!- imode-desktop has joined.
21:07:50 -!- ProofTechnique[m has joined.
21:19:39 -!- LKoen has joined.
21:24:12 -!- copumpkin has joined.
21:47:46 -!- AnotherTest has joined.
21:59:10 -!- laerling has quit (Quit: Leaving).
22:00:15 -!- AnotherTest has quit (Ping timeout: 245 seconds).
22:08:57 -!- moei has joined.
22:10:17 -!- boily has joined.
22:19:28 <boily> `ysaclist (77)
22:19:28 <HackEso> ysaclist (77): boily shachaf
22:26:38 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
22:28:36 -!- boily has quit (Read error: Connection reset by peer).
22:28:52 -!- boily has joined.
22:45:27 -!- arseniiv has quit (Ping timeout: 240 seconds).
23:02:26 -!- LKoen has 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.”).
23:16:02 -!- ProofTechnique[m has quit (Remote host closed the connection).
23:16:09 -!- copumpkin has quit (Remote host closed the connection).
23:34:15 -!- ProofTechnique[m has joined.
23:35:44 -!- imode has quit (Ping timeout: 256 seconds).
23:46:08 <boily> @metar CYUL
23:46:09 <lambdabot> CYUL 122300Z 23017G29KT 30SM FEW055 SCT200 OVC240 25/10 A2984 RMK SC1CS3CI5 SC TR SLP106 DENSITY ALT 1500FT
23:49:21 -!- copumpkin has joined.
←2018-06-11 2018-06-12 2018-06-13→ ↑2018 ↑all