←2018-09-14 2018-09-15 2018-09-16→ ↑2018 ↑all
00:18:18 -!- nfd9001 has joined.
00:32:27 -!- tswett has quit (Quit: Page closed).
00:42:23 -!- Essadon has quit (Quit: Qutting).
01:25:21 -!- tromp has joined.
01:30:22 -!- tromp has quit (Ping timeout: 272 seconds).
02:07:38 -!- wob_jonas has joined.
02:08:23 <wob_jonas> zzo38: re succ and pred on lists, I don't know, I haven't tested the rules, so there can easily be bugs in them
02:09:08 <wob_jonas> zzo38: if they're buggy, you might have to re-derive them from the definitions of list representation, and perhaps compare that definition to the one given in David's article,
02:09:33 <wob_jonas> but note that Amicus's list repr is very different from (0)'s pair repr
02:11:04 -!- wob_jonas has quit (Client Quit).
02:15:05 <esowiki> [[Talk:Amycus]] https://esolangs.org/w/index.php?diff=57630&oldid=57629 * Zzo38 * (+0)
02:18:56 <zzo38> They are French and I am not so good at French.
02:19:44 -!- tromp has joined.
02:20:52 <zzo38> Furthermore, the definition that I wrote will need also the other case in case e=0.
02:23:58 -!- tromp has quit (Ping timeout: 246 seconds).
02:33:37 <esowiki> [[User:HereToAnnoy]] M https://esolangs.org/w/index.php?diff=57631&oldid=56394 * HereToAnnoy * (+64) added D.U.C.K.
02:34:30 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=57632&oldid=57553 * HereToAnnoy * (+15) /* D */ added D.U.C.K.
02:39:21 -!- yaewa has joined.
02:40:48 -!- moei has quit (Ping timeout: 252 seconds).
02:57:15 -!- bradcomp has joined.
03:00:15 -!- MDude has quit (Ping timeout: 252 seconds).
03:00:21 -!- MDead has joined.
03:00:22 -!- MDead has changed nick to MDude.
03:07:41 -!- MDude has quit (Ping timeout: 244 seconds).
03:13:39 -!- tromp has joined.
03:17:58 -!- tromp has quit (Ping timeout: 245 seconds).
03:24:38 -!- xcm8 has joined.
03:26:46 -!- xcm8 has quit (Killed (Sigyn (Spam is off topic on freenode.))).
03:32:42 -!- bradcomp has quit (Ping timeout: 252 seconds).
03:51:34 -!- fractal has joined.
04:08:28 -!- tromp has joined.
04:09:38 -!- MDude has joined.
04:11:57 <zzo38> I mentioned in talk page that <0:<e:m>>+1 = <1:<e-1:m>> and I think also <0:<0:<e:m>>>+1 = <2:<e-1:m>> and so on, they tell you how many zero at first. This is working even if you do not have any zero at first, so that <e:m>+1 = <0:<e-1:m>> (which is in fact what the fourth rule says), I think?
04:12:27 -!- tromp has quit (Ping timeout: 240 seconds).
04:13:49 <zzo38> Does anyone on here other than wob_jonas able to comment?
04:16:03 -!- pimlu has joined.
04:16:05 -!- imode has joined.
04:23:36 -!- yaewa has quit (Quit: Leaving...).
04:31:01 -!- moei has joined.
04:31:32 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
04:48:53 -!- S_Gautam has joined.
05:02:03 -!- tromp has joined.
05:06:33 -!- tromp has quit (Ping timeout: 252 seconds).
05:13:44 -!- Radon22 has joined.
05:14:24 -!- Radon22 has quit (Remote host closed the connection).
05:19:24 -!- pimlu has quit (Ping timeout: 252 seconds).
05:21:29 -!- pimlu has joined.
06:02:27 -!- akawaka11 has joined.
06:04:16 -!- wob_jonas has joined.
06:05:43 <wob_jonas> zzo38: I don't know. but now I'm also concerned by [[Amycus#Writing_Amycus_programs]], some of which seems wrong
06:06:42 -!- wob_jonas has quit (Client Quit).
06:07:13 -!- akawaka11 has quit (Remote host closed the connection).
06:42:28 -!- tromp has joined.
06:46:41 -!- violet20 has joined.
06:52:06 -!- violet20 has quit (Ping timeout: 272 seconds).
07:04:35 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:36:42 -!- imode has quit (Ping timeout: 252 seconds).
07:55:33 -!- sveitser12 has joined.
08:02:00 -!- sveitser12 has quit (Ping timeout: 252 seconds).
08:12:20 -!- AnotherTest has joined.
08:21:32 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
08:28:12 -!- SopaXorzTaker has joined.
08:41:27 <esowiki> [[User talk:Star651]] https://esolangs.org/w/index.php?diff=57633&oldid=44610 * Star651 * (+257) /* Um. */
09:33:17 -!- jdiez1 has joined.
09:33:57 -!- jdiez1 has quit (Remote host closed the connection).
09:46:14 -!- Phantom_Hoover has joined.
10:15:29 -!- pimlu has quit (Ping timeout: 244 seconds).
10:19:08 -!- SopaXorzTaker has quit (Remote host closed the connection).
10:32:42 -!- eboda has joined.
10:37:35 -!- eboda has quit (Remote host closed the connection).
10:38:59 -!- pimlu has joined.
10:43:49 -!- Tanjoodo has joined.
10:44:28 -!- Tanjoodo has quit (Remote host closed the connection).
11:10:36 -!- Essadon has joined.
11:16:04 -!- Essadon has quit (Excess Flood).
11:16:32 -!- Essadon has joined.
11:20:53 -!- chantra2 has joined.
11:22:52 -!- chantra2 has quit (Killed (Unit193 (Spam is not permitted on freenode.))).
11:23:35 -!- wolsen19 has joined.
11:32:28 -!- wolsen19 has quit (Ping timeout: 244 seconds).
11:34:34 -!- pimlu has quit (Ping timeout: 272 seconds).
12:02:27 -!- kori has joined.
12:05:23 -!- kori has quit (Remote host closed the connection).
12:17:52 -!- leif12 has joined.
12:22:35 -!- pimlu has joined.
12:22:37 -!- leif12 has quit (Remote host closed the connection).
12:25:02 -!- GeekDude has joined.
12:26:43 -!- pimlu has quit (Ping timeout: 245 seconds).
12:40:02 -!- SopaXorzTaker has joined.
12:56:08 -!- xkapastel has joined.
13:13:20 -!- atslash has quit (Quit: This computer has gone to sleep).
13:13:26 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
13:28:46 -!- arseniiv has joined.
14:02:41 -!- stux|RC-only12 has joined.
14:05:26 -!- stux|RC-only12 has quit (Remote host closed the connection).
14:29:34 -!- Sgeo__ has joined.
14:31:14 -!- Sgeo_ has quit (Ping timeout: 244 seconds).
14:34:03 -!- Sgeo__ has quit (Ping timeout: 252 seconds).
14:48:45 -!- Phantom_Hoover has joined.
14:48:45 -!- Phantom_Hoover has quit (Changing host).
14:48:45 -!- Phantom_Hoover has joined.
15:03:17 -!- stealth_ has joined.
15:04:24 -!- stealth_ has quit (Remote host closed the connection).
15:50:41 -!- cache`29 has joined.
15:55:26 -!- cache`29 has quit (Remote host closed the connection).
16:58:31 -!- SopaXorzTaker has quit (Quit: Leaving).
16:58:50 <esowiki> [[User:Singingbanana]] https://esolangs.org/w/index.php?diff=57634&oldid=54702 * Singingbanana * (-170)
16:59:19 -!- wob_jonas has joined.
16:59:59 <wob_jonas> There was an elephant hiding under my bed!
18:16:35 -!- Sgeo has joined.
18:17:18 -!- Sgeo has quit (Quit: Leaving).
18:17:37 -!- Sgeo has joined.
18:26:59 -!- LKoen has joined.
18:42:57 -!- n0m4d1c has joined.
18:43:24 -!- n0m4d1c has quit (Remote host closed the connection).
18:47:44 -!- FreeFull has quit (Quit: Rebooting).
18:54:31 -!- FreeFull has joined.
18:55:08 <zzo38> wob_jonas: I did not check the part about writing Amycus programs
18:56:14 <zzo38> Did you read what I wrote on the talk page?
18:56:40 <wob_jonas> zzo38: yes. it is quite possible that my laws for pred and succ are wrong.
19:02:27 <zzo38> I think that if the list start with any amount of zero (including zero) then it is <n:<e-1:m>> where n tells how many zero at first. If all of them are zero then it is <n:0>. So first two rules is OK, and fourth rule is also OK, but third rule is no good. This my idea is therefore making the description of one rule (which may be expanded to make multiple rules that can be recursive, because the number "n" also needs to be converted into a list).
19:02:38 <zzo38> And then for pred you can do other way around.
19:35:55 <zzo38> I am now trying to make it in Haskell
19:39:41 <wob_jonas> zzo38: I found an M:tG card under my bed, which must have been hiding there for more than a month. And it was an Elephant too, not some sneaky blue creature.
19:43:40 <zzo38> OK. What card specifically?
19:45:13 <wob_jonas> Noble Elephant (Mirage)
19:45:50 <zzo38> OK
19:57:09 <zzo38> Here is the proper rules for incrementing lists in Amycus (I think): https://arin.ga/bSdNQA
19:59:22 -!- pimlu has joined.
20:00:46 <zzo38> Does it looks like good to you? The rules for pred are same, but rules for succ is a bit difference.
20:10:22 <wob_jonas> zzo38: ok
20:13:05 <esowiki> [[Amycus]] https://esolangs.org/w/index.php?diff=57635&oldid=57612 * Zzo38 * (-26) Corrected rules for incrementing lists
20:13:27 <zzo38> I fixed the [[Amycus]] article now; you can look
20:22:55 -!- lldd_ has joined.
20:55:34 -!- pimlu has quit (Ping timeout: 240 seconds).
21:02:26 -!- lldd_ has quit (Quit: Leaving).
21:07:35 -!- haltdef10 has joined.
21:10:21 -!- haltdef10 has quit (Remote host closed the connection).
21:18:00 <esowiki> [[Technologic]] N https://esolangs.org/w/index.php?oldid=57636 * JWinslow23 * (+9035) Created page with "'''Technologic''' is a programming language created in [[:Category:2018|2018]] in which all keywords are lyrics to the Daft Punk song "Technologic". == Design Philosophy ==..."
21:22:01 -!- sydney_untangle1 has joined.
21:26:49 -!- sydney_untangle1 has quit (Remote host closed the connection).
21:34:43 <esowiki> [[Special:Log/move]] move * B jonas * moved [[The language Amycus was supposed to be]] to [[Amicus]]: figured out a good name David's language, so I'm renaming it. hope it's not too late.
21:38:15 <esowiki> [[Hyperamycus]] https://esolangs.org/w/index.php?diff=57639&oldid=57614 * B jonas * (-145) renamed language
21:39:18 -!- LKoen has quit (Ping timeout: 252 seconds).
21:40:14 -!- tromp has quit (Remote host closed the connection).
21:44:15 -!- Sgeo25 has joined.
21:44:59 -!- Sgeo25 has quit (Remote host closed the connection).
21:50:40 -!- LKoen has joined.
21:53:33 <esowiki> [[Amicus]] https://esolangs.org/w/index.php?diff=57640&oldid=57637 * B jonas * (-554) rename
21:54:21 -!- tromp has joined.
21:56:06 <esowiki> [[Amycus]] https://esolangs.org/w/index.php?diff=57641&oldid=57635 * B jonas * (+11)
21:58:15 <esowiki> [[Amycus Severus]] https://esolangs.org/w/index.php?diff=57642&oldid=57607 * B jonas * (+12)
21:59:06 <esowiki> [[Pointfree programming]] https://esolangs.org/w/index.php?diff=57643&oldid=57609 * B jonas * (-32)
22:00:14 <esowiki> [[Amycus]] https://esolangs.org/w/index.php?diff=57644&oldid=57641 * B jonas * (-32)
22:01:07 <esowiki> [[David Madore]] https://esolangs.org/w/index.php?diff=57645&oldid=57599 * B jonas * (-243)
22:08:57 <zzo38> Is there any need to explain the view pattern?
22:14:13 -!- 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.”).
22:22:02 -!- tromp has quit (Remote host closed the connection).
22:22:54 -!- arseniiv_ has joined.
22:23:23 -!- arseniiv has quit (Ping timeout: 245 seconds).
22:24:41 <shachaf> Are there any languages on the wiki with names like "User:Oerjan" or "Special: Search"?
22:26:47 <zzo38> I think someone once named a language after their own user page
22:28:52 <wob_jonas> https://esolangs.org/wiki/User:Language
22:31:45 -!- atslash has joined.
22:37:12 -!- AnotherTest has quit (Ping timeout: 250 seconds).
22:37:33 -!- arseniiv_ has quit (Ping timeout: 245 seconds).
22:38:05 <wob_jonas> `ehlist http://eheroes.smackjeeves.com/
22:38:06 <HackEso> ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ehlist: not found
22:51:00 -!- tromp has joined.
22:55:45 -!- tromp has quit (Ping timeout: 252 seconds).
23:02:32 -!- flugger13 has joined.
23:05:41 -!- naos1 has joined.
23:11:43 -!- flugger13 has quit (Ping timeout: 246 seconds).
23:13:48 -!- naos1 has quit (Ping timeout: 245 seconds).
23:22:09 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
23:22:35 -!- MDude has joined.
23:27:56 <esowiki> [[Hyperamycus]] https://esolangs.org/w/index.php?diff=57646&oldid=57639 * B jonas * (+250) Rule 7
23:28:33 -!- atslash has quit (Quit: This computer has gone to sleep).
23:35:49 -!- SimJoSt14 has joined.
23:40:04 -!- MDude has quit (Ping timeout: 246 seconds).
23:40:32 -!- SimJoSt14 has quit (Remote host closed the connection).
23:46:47 <wob_jonas> `"
23:46:48 <HackEso> 76) <Gregor> I don't know that I've ever heard apocalypi described in terms of depth ... \ 560) <Phantom__Hoover> Also you steal Berwick from us and then say you don't want it? <Ngevd> You stole it from us first!
23:48:14 -!- tromp has joined.
23:51:15 -!- atslash has joined.
23:52:33 -!- tromp has quit (Ping timeout: 245 seconds).
←2018-09-14 2018-09-15 2018-09-16→ ↑2018 ↑all