←2020-04-23 2020-04-24 2020-04-25→ ↑2020 ↑all
00:06:37 -!- 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.”).
00:16:15 <imode> gforth's socket library is surprisingly straightforward.
01:09:44 -!- sprocklem has quit (Ping timeout: 258 seconds).
01:10:36 -!- sprocklem has joined.
02:30:19 <pikhq> Oh?
02:33:43 -!- tromp has joined.
02:38:20 -!- tromp has quit (Ping timeout: 246 seconds).
03:15:55 <esowiki> [[COVID-19]] N https://esolangs.org/w/index.php?oldid=71389 * Wzkchem5 * (+12162) Created page with "The '''Computation-Oriented Virtual Infection of Disks, version 2019 (COVID-19)''' is an esoteric programming language. It ''infects'' the hard drive by making copies of the s..."
03:53:59 <imode> yeah, it's literally just "create a socket, pass around a buffer, receive into that buffer, do stuff with the buffer."
04:24:35 <pikhq> That's rather straightforward.
05:27:08 <esowiki> [[1+/Snippets]] N https://esolangs.org/w/index.php?oldid=71390 * TwilightSparkle * (+98) Created page with "== Easy == == Medium == == Hard == == Insane == == Obviously Medium-Graded == == Legendary =="
06:38:42 <dnm> shachaf: hey there! LTNS.
06:53:53 <esowiki> [[Unified HQ9+]] M https://esolangs.org/w/index.php?diff=71391&oldid=65987 * Cortex * (+155) Added a command from CHIQRSX9+
07:00:15 -!- imode has quit (Ping timeout: 250 seconds).
07:06:59 -!- clog has quit (Ping timeout: 265 seconds).
07:07:39 -!- clog has joined.
07:09:36 -!- tromp has joined.
07:22:04 <shachaf> hi dnm
07:23:55 <dnm> shachaf: How goes it?
07:27:06 -!- xelxebar_ has quit (Quit: ZNC 1.7.2+deb3 - https://znc.in).
07:27:26 -!- xelxebar has joined.
07:27:53 <shachaf> p. unenergetic nowadays
07:34:48 <dnm> shachaf: Ah. Understandable. How are you doing with the whole COVID-19 lockdown?
07:36:41 <shachaf> Hmm, I'm not sure I should talk about it in here.
07:38:15 <shachaf> I have been staying at home for about a month and a half.
07:39:04 <shachaf> I guess a bit longer than that.
09:21:19 -!- LKoen has joined.
09:47:21 <esowiki> [[Talk:Modulo]] N https://esolangs.org/w/index.php?oldid=71392 * OsmineYT * (+226) Created page with "== Missing commands == There are no commands yet, because I need to figure out how to search commands with args from raw string in Python 3. --~~~~"
09:51:27 <esowiki> [[COVID-19]] https://esolangs.org/w/index.php?diff=71393&oldid=71389 * Wzkchem5 * (-156)
09:53:22 -!- sprocklem has quit (Ping timeout: 258 seconds).
09:53:51 <esowiki> [[Talk:COVID-19]] N https://esolangs.org/w/index.php?oldid=71394 * Wzkchem5 * (+279) Created page with "Hello, I'm the original author wzkchem5. I'm working on writing a 99 bottles of beer program using COVID-19. The page will only be made officially public after the 99 bottles..."
09:54:29 -!- sprocklem has joined.
09:54:43 <esowiki> [[User:Wzkchem5]] N https://esolangs.org/w/index.php?oldid=71395 * Wzkchem5 * (+37) Created page with "This page is intentionally left blank"
11:19:07 -!- Lord_of_Life_ has joined.
11:21:49 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
11:21:54 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:33:28 -!- rain1 has joined.
11:58:32 -!- kspalaiologos has joined.
11:58:43 <kspalaiologos> fungot, can markov chains replace women?
11:58:43 <fungot> kspalaiologos: take define-syntax, make your bfasm be a backend. i'm sure they've got plans for it. :p
11:59:12 <kspalaiologos> wow! fungot mentioned bfasm
11:59:13 <fungot> kspalaiologos: it's the internet. the man sounds like a good, clean scheme parser written in c.
11:59:19 <kspalaiologos> can't believe
12:21:22 -!- arseniiv has joined.
12:21:58 <rain1> hi
12:26:42 <rain1> any thoughts on the substrings of the thue morse sequence?
12:41:43 <esowiki> [[Unified HQ9+]] M https://esolangs.org/w/index.php?diff=71396&oldid=71391 * PythonshellDebugwindow * (+2) add 1,3 in name
12:44:39 -!- tromp has quit (Remote host closed the connection).
12:59:56 -!- tromp has joined.
13:00:49 <esowiki> [[Unified HQ9+]] M https://esolangs.org/w/index.php?diff=71397&oldid=71396 * Willicoder * (-77)
13:01:35 -!- arseniiv_ has joined.
13:03:53 -!- arseniiv has quit (Ping timeout: 258 seconds).
13:05:22 <esowiki> [[Unified HQ9+]] M https://esolangs.org/w/index.php?diff=71398&oldid=71397 * PythonshellDebugwindow * (+103) cat adds
13:22:32 -!- Phoenix_Rising26 has joined.
13:24:48 <esowiki> [[The Past]] N https://esolangs.org/w/index.php?oldid=71399 * PythonshellDebugwindow * (+431) Created page with "'''The Past''' is a time-traveling esolang by [[User:PythonshellDebugwindow]]. ==Memory model== The Past uses an arbitrary-size signed integer accumulator. ==Commands== {| c..."
13:27:23 <esowiki> [[The Past]] M https://esolangs.org/w/index.php?diff=71400&oldid=71399 * PythonshellDebugwindow * (+0)
13:29:05 <esowiki> [[Talk:The Past]] N https://esolangs.org/w/index.php?oldid=71401 * Willicoder * (+130) Created page with "How would the go back command even work? ~~~~"
13:31:07 -!- Phoenix_Rising26 has left.
13:39:01 <esowiki> [[W (A)]] https://esolangs.org/w/index.php?diff=71402&oldid=70237 * LegionMammal978 * (+11) replace deleted repo with clone
13:39:03 <esowiki> [[Resource]] https://esolangs.org/w/index.php?diff=71403&oldid=68261 * LegionMammal978 * (+11) replace deleted repo with clone
13:39:05 <esowiki> [[Tq]] https://esolangs.org/w/index.php?diff=71404&oldid=69732 * LegionMammal978 * (+11) replace deleted repo with clone
13:54:07 <esowiki> [[Talk:The Past]] M https://esolangs.org/w/index.php?diff=71405&oldid=71401 * PythonshellDebugwindow * (+284)
14:13:42 <esowiki> [[Talk:Stopwatch]] N https://esolangs.org/w/index.php?oldid=71406 * LegionMammal978 * (+154) Created page with "What's the difference between a step and a split? ~~~~"
14:14:44 <esowiki> [[AAAAAAAAAAAAAA!!!! Turing-completeness proof]] N https://esolangs.org/w/index.php?oldid=71407 * YamTokTpaFa * (+5110) I think I have perfectly made the proof.
14:16:32 <esowiki> [[AAAAAAAAAAAAAA!!!!]] https://esolangs.org/w/index.php?diff=71408&oldid=71356 * YamTokTpaFa * (+178)
14:16:58 <esowiki> [[AAAAAAAAAAAAAA!!!!]] M https://esolangs.org/w/index.php?diff=71409&oldid=71408 * YamTokTpaFa * (+0) WTF hyphen.
14:18:51 <esowiki> [[Talk:PureBrainz]] N https://esolangs.org/w/index.php?oldid=71410 * LegionMammal978 * (+156) Created page with "Do you currently have a Python interpreter written? ~~~~"
14:21:15 <esowiki> [[AAAAAAAAAAAAAA!!!! Turing-completeness proof]] M https://esolangs.org/w/index.php?diff=71411&oldid=71407 * YamTokTpaFa * (+196) /* Assumptions */ assign clarification
14:33:54 -!- LKoen has quit (Remote host closed the connection).
14:43:14 <esowiki> [[Talk:Modulo]] https://esolangs.org/w/index.php?diff=71412&oldid=71392 * LegionMammal978 * (+196)
15:02:17 -!- LKoen has joined.
15:08:10 -!- LKoen_ has joined.
15:11:14 -!- LKoen has quit (Ping timeout: 240 seconds).
15:20:02 -!- LKoen has joined.
15:23:13 <esowiki> [[Talk:I like frog]] https://esolangs.org/w/index.php?diff=71413&oldid=71156 * LegionMammal978 * (+691)
15:23:35 -!- LKoen_ has quit (Ping timeout: 260 seconds).
15:30:34 <b_jonas> kspalaiologos: http://freenode.net/kb/answer/namespaces
15:32:22 <b_jonas> that naming policy is enforced only when the ops need to interfere in who owns a channel, typically in taking over unused old channel names
15:33:52 <b_jonas> so the policy is mostly just a suggestion, and many channels go against it
16:04:39 -!- imode has joined.
17:10:34 <zzo38> I saw someone's solution to sorites paradox is that it remains a heap as long as some of the sand is on top of the other sand
17:10:53 -!- tromp has quit (Remote host closed the connection).
17:21:52 -!- Grimpoteuthis has joined.
17:22:26 <Grimpoteuthis> Hello
17:33:33 <zzo38> Hello .
17:37:45 -!- Phantom_Hoover has joined.
17:39:02 -!- tromp has joined.
17:40:19 -!- tromp has quit (Remote host closed the connection).
17:41:32 -!- tromp has joined.
17:51:51 -!- tromp has quit (Remote host closed the connection).
17:57:09 <orbitaldecay> Does anyone know the name for what I'm doing with combinators here? https://wiki.forder.cc/wiki/Combinators
17:58:05 <orbitaldecay> Or a better way to approach it?
17:58:47 <orbitaldecay> I'm basically poking around for binary operators on subsets of combinators that form quasigroups, semigroups, maybe even a group?
18:00:45 <orbitaldecay> question #4 at the bottom is basically the whole point
18:04:26 <int-e> my takeaway from this page is that I hate postfix notation for combinatory logic
18:06:37 <imode> postfix notation is deceptively simple.
18:08:00 <int-e> 1. is a cute puzzle... if you let T = (\x. x x) (\P x y. (\x. x x) P y x) then T x y ->> T y x. (Now do the abstraction elminiation and be happy.)
18:08:59 -!- tromp has joined.
18:09:21 <orbitaldecay> int-e: cool!
18:10:11 <orbitaldecay> I'm just dipping my toe in the water with combinators. Still have a lot to learn.
18:12:28 <orbitaldecay> I think 3. is a very interesting question too. I have an intuitive feel for it, but haven't formalized it yet.
18:13:32 <int-e> 2. is standard pairing: (\x y p. p x y)
18:13:40 <int-e> I don't understand 3.
18:15:03 <int-e> 4. probably has some silly (artificial) solution that embeds both ` and a representation of the starting term
18:17:33 <orbitaldecay> 3 is stating when is <*> closed under application
18:17:43 <int-e> but what does that mean?
18:17:47 <orbitaldecay> By definition it's closed under *
18:18:33 <orbitaldecay> if x, y are in <*> when is (xy) in <*> where the operation there is application, not *
18:18:55 <int-e> also what about silly things like \x y. x y
18:19:23 <int-e> (that is, a deliberately binary version of I)
18:20:23 <orbitaldecay> Let's call that I*, <I*``> is actually pretty weird. For x, y in <I*``>, x*y is always recursive
18:20:38 <orbitaldecay> so it just blows up my interpretter whenever I try to compute it
18:20:39 <orbitaldecay> haha
18:20:44 <int-e> I guess that's just ` really
18:21:18 <orbitaldecay> or maybe I'm thinking of I**
18:21:22 <orbitaldecay> I forget which one I tried
18:21:39 <int-e> So okay, 3 may be a difficult question... but why is it interesting?
18:22:12 <orbitaldecay> Well, I'm interested in doing subturing computation in a context closer to a group
18:22:38 <orbitaldecay> 3 isn't terribly important, but it'd be nice to have
18:22:58 <orbitaldecay> that way I could generate the set <*>, then the group operation would just be regular function application
18:23:11 <orbitaldecay> maybe a quasigroup, or whatever
18:23:20 <orbitaldecay> since associativity is probably a no go with any useful computation
18:23:32 <orbitaldecay> just some way to do algebra on programs
18:24:30 <int-e> associativity moves you close to string rewriting (semi-Thue systems).
18:24:51 <int-e> Which are Turing-complete but also awkward to actually use.
18:25:13 <orbitaldecay> It's been a long time since I've looked at semi-Thue systems. Lemme read the wiki real quick
18:26:03 <orbitaldecay> Ah, I see. Yeah associativity would basically give you a semi-thue system
18:27:11 <orbitaldecay> The crucial thing I want is for all x in <*> to have x^-1 in <*> where xx^(-1) = e
18:27:21 <orbitaldecay> not necessarily matching on the left and right sides
18:27:56 <orbitaldecay> either under the * operation, or under application (which I don't think is possible)
18:30:01 <orbitaldecay> and x^(-1) unique of course
18:31:05 <orbitaldecay> I believe it's called a quasigroup
18:34:57 <int-e> I suspect this can be done but probably not in a satisfactory way; what I'd try is write a combinator that can distinguish S, K, and itself, and basically does symbolic evaluation on top of that. So... eww.
18:36:41 <orbitaldecay> Hmm, sounds unsatisfactory. I'm going to spend some time exploring subsets of combinators and see what I can come up with. Even if I don't get to the point of doing useful computation, it would be cool to find something isomorphic to some algebraic structures
18:40:05 <imode> when you work at the level of quarks and gluons, don't be surprised when you have to build atoms.
18:58:43 -!- tromp has quit (Remote host closed the connection).
19:06:01 <orbitaldecay> touche
19:06:54 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
19:07:35 <int-e> imode: but you don't have to enjoy it
19:11:40 <imode> who said anything about enjoying it. :P
19:20:33 -!- tromp has joined.
19:32:51 -!- kspalaiologos has quit (Quit: Leaving).
19:43:24 <rain1> have you tried the combinator birds book, to mock a mockingbird
19:44:41 <rain1> i feel like any inverse would work only a set that is not turing complete
19:55:58 -!- rain1 has quit (Quit: leaving).
20:12:50 -!- Sei has joined.
20:13:34 -!- Sei has left.
21:19:54 -!- Grimpoteuthis has quit (Ping timeout: 240 seconds).
21:28:03 -!- FreeFull has quit (Quit: rebooting).
21:34:20 <zzo38> I am trying to figure out how to make the random pack function in TeXnicard. I have some ideas, but I thought one thing that would be needed is to be able to pair cards together so that one card requires or excludes another card or alters the probability of including that other card (or group of cards), but I am not sure what to do about that.
21:34:26 <zzo38> Do you have some ideas?
21:35:02 -!- FreeFull has joined.
22:22:35 -!- Phantom_Hoover has joined.
22:26:15 -!- ArthurStrong has joined.
23:16:51 -!- ArthurStrong has quit (Quit: leaving).
23:21:34 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
23:22:13 -!- Lord_of_Life has joined.
23:32:45 -!- LKoen has quit (Read error: Connection reset by peer).
23:32:56 -!- arseniiv_ has quit (Ping timeout: 258 seconds).
23:33:40 -!- LKoen has joined.
23:35:11 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
23:35:31 -!- LKoen has quit (Remote host closed the connection).
23:35:50 -!- LKoen has joined.
23:36:22 -!- LKoen has quit (Remote host closed the connection).
23:36:41 -!- LKoen has joined.
23:45:56 -!- noomy has changed nick to amnesiac.
23:46:22 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=71414&oldid=71376 * PythonshellDebugwindow * (+221)
←2020-04-23 2020-04-24 2020-04-25→ ↑2020 ↑all