00:03:52 <b_jonas> fungot, is Countercall turing-complete? can you give the main idea of the proof or disproof?
00:03:52 <fungot> b_jonas: do you think? i mean suing them?)
00:06:55 <fizzie> Proof by lawsuit, one of the more general-purpose classes of proofs.
00:09:58 -!- tromp has joined.
00:15:11 -!- tromp has quit (Ping timeout: 276 seconds).
00:26:34 -!- erdic has quit (Ping timeout: 244 seconds).
00:27:38 -!- erdic has joined.
00:41:02 -!- oerjan has joined.
01:03:54 -!- imode has quit (Ping timeout: 268 seconds).
01:59:07 -!- tromp has joined.
02:03:44 -!- tromp has quit (Ping timeout: 276 seconds).
02:50:08 -!- imode has joined.
03:14:57 -!- Sgeo__ has joined.
03:18:29 -!- Sgeo_ has quit (Ping timeout: 276 seconds).
03:25:19 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=66606&oldid=66476 * Matthew * (+134) /* Introductions */
03:26:05 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=66607&oldid=66606 * Matthew * (+10) /* Introductions */
03:32:40 <esowiki> [[User:Matthew]] N https://esolangs.org/w/index.php?oldid=66608 * Matthew * (+127) Created page with "Hello and welcome to my user page. I have created the following esoteric languages (a very expansive list I know): [[Rouedeux]]"
03:32:44 -!- tromp has joined.
03:36:50 <esowiki> [[User:Matthew]] https://esolangs.org/w/index.php?diff=66609&oldid=66608 * Matthew * (+1)
03:37:20 -!- tromp has quit (Ping timeout: 276 seconds).
03:42:11 -!- Lord_of_Life_ has joined.
03:44:29 -!- Lord_of_Life has quit (Ping timeout: 276 seconds).
03:44:29 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
03:52:33 -!- Frater_EST has joined.
04:09:17 -!- tromp has joined.
04:10:37 -!- tromp_ has joined.
04:14:23 -!- tromp has quit (Ping timeout: 276 seconds).
04:15:41 -!- tromp_ has quit (Ping timeout: 276 seconds).
04:20:44 <esowiki> [[User:Matthew]] https://esolangs.org/w/index.php?diff=66610&oldid=66609 * Matthew * (+14)
04:27:35 <esowiki> [[Rouedeux]] N https://esolangs.org/w/index.php?oldid=66611 * Matthew * (+2327) Created page with "'''Rouedoux''' (pronounced roo-doo) is an esoteric programming language created by [[User:Matthew]] in October 2019. The name Rouedeux is composed of the French words ''roue''..."
04:28:28 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66612&oldid=66611 * Matthew * (-3)
04:32:27 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66613&oldid=66612 * Matthew * (+142)
04:32:40 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66614&oldid=66613 * Matthew * (+1)
04:33:32 <esowiki> [[Talk:Rouedeux]] N https://esolangs.org/w/index.php?oldid=66615 * Matthew * (+131) ``
04:34:38 -!- xkapastel has joined.
04:47:18 -!- anima has joined.
04:47:59 <esowiki> [[Keg]] https://esolangs.org/w/index.php?diff=66616&oldid=66325 * JonoCode9374 * (+72) /* Factorial */
04:50:19 -!- FraterEST has joined.
04:50:50 <esowiki> [[Keg]] https://esolangs.org/w/index.php?diff=66617&oldid=66616 * JonoCode9374 * (+55) /* Example Programs */
04:52:49 -!- Frater_EST has quit (Ping timeout: 265 seconds).
05:48:40 -!- rodgort` has joined.
05:54:35 -!- rodgort has quit (Quit: Leaving).
05:54:35 -!- trn has quit (Remote host closed the connection).
05:57:36 -!- trn has joined.
05:58:40 -!- tromp has joined.
06:02:59 -!- tromp has quit (Ping timeout: 246 seconds).
06:05:32 -!- imode has quit (Ping timeout: 276 seconds).
06:12:41 -!- rodgort` has quit (Ping timeout: 276 seconds).
06:13:01 -!- rodgort has joined.
06:20:14 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=66618&oldid=66596 * Matthew * (+15)
06:35:46 -!- sprocklem has quit (Ping timeout: 265 seconds).
06:39:26 -!- tromp has joined.
06:44:19 -!- xkapastel has quit (Quit: Connection closed for inactivity).
06:51:28 -!- sprocklem has joined.
06:53:40 -!- FraterEST has left.
06:59:36 <esowiki> [[Keg]] https://esolangs.org/w/index.php?diff=66619&oldid=66617 * JonoCode9374 * (+56)
07:01:51 <b_jonas> I wonder if there's such a thing as a fake Foucault pendulum, which looks like a real Foucault pendulum but is somehow rigged so that the plane of its swing remains fixed
07:11:11 -!- anima has quit (Remote host closed the connection).
07:11:36 -!- anima has joined.
07:13:48 <b_jonas> I imagine that Black Hat from xkcd could secretly modify an existing Foucault pendulum in a public space to one, using his stealth carpentry skills
07:27:14 <int-e> while you're at it, how about making it turn at the right speed but in the wrong direction
07:28:39 <int-e> which, apparently, would be counterclockwise for the northern hemisphere...
07:40:06 <b_jonas> int-e: I thought of that, but I think making it not rotate would be better, because it would look like the Aristotelean or flat earth myths are true
07:40:30 <b_jonas> if you want to control a pendulum in a way finer than that, you want to use it for divination, rather than as a Foucault pendulum
07:41:22 <b_jonas> I guess you could try to be subtle and make it turn in the correct direction but just slightly faster than it should
07:41:31 <b_jonas> see how long it takes until it's detected
07:42:42 <b_jonas> also I think making it not turn at all would be the easiest to achieve technologically
07:44:12 -!- b_jonas has quit (Remote host closed the connection).
09:28:57 -!- uplime has quit (Quit: ZNC 1.7.3 - https://znc.in).
09:33:19 -!- uplime has joined.
09:35:05 -!- iovoid has quit (Ping timeout: 265 seconds).
09:35:30 -!- moony has quit (Quit: Bye!).
09:36:39 -!- iczero has quit (Ping timeout: 264 seconds).
09:38:21 -!- moony has joined.
09:39:22 -!- iovoid has joined.
09:40:36 -!- iczero has joined.
09:41:21 -!- oerjan has quit (Quit: Nite).
09:54:41 -!- wib_jonas has joined.
09:57:00 <wib_jonas> https://www.linusakesson.net/ seems like an interesting homepage with some esolang content. https://www.linusakesson.net/programming/symlinks/index.php is an esoteric language for example
10:17:00 <wib_jonas> and https://www.linusakesson.net/programming/gcr-decoding/index.php contains a rather crazy use of one of the undocumented opcodes of 6502
10:27:02 <FaeFly> yeah, lft does cool demoscene stuffs
10:32:15 -!- arseniiv has joined.
10:55:48 -!- Camto[m] has quit (Quit: 30 day idle timeout.).
11:07:23 -!- ivzem[m] has quit (Quit: 30 day idle timeout.).
11:32:19 -!- xylochoron[m] has quit (Quit: 30 day idle timeout.).
11:42:20 -!- wib_jonas has quit (Remote host closed the connection).
12:03:59 -!- ais523 has joined.
13:39:05 -!- ais523 has quit (Quit: leaving).
15:19:26 -!- kspalaiologos has joined.
15:43:47 -!- Lord_of_Life_ has joined.
15:45:44 -!- Lord_of_Life has quit (Ping timeout: 268 seconds).
15:45:44 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
15:49:55 -!- imode has joined.
16:06:25 -!- xkapastel has joined.
17:10:55 -!- LKoen has joined.
17:26:51 -!- b_jonas has joined.
17:33:21 -!- FreeFull has joined.
17:33:37 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66620&oldid=66614 * Matthew * (-1) /* Program that prints the alphabet */
17:34:28 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66621&oldid=66620 * Matthew * (-33) /* Language overview */
17:37:18 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66622&oldid=66621 * Matthew * (+0) /* CAT program */
17:42:44 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66623&oldid=66622 * Matthew * (+199) /* Language overview */
18:20:21 -!- kspalaiologos has quit (Quit: Leaving).
19:26:27 <b_jonas> fungot, how much is 14*16?
19:26:27 <fungot> b_jonas: i can't say for sure. :) i was student, ta, and phd student, though i don't do that
19:26:46 <imode> that was a rather coherent response.
19:27:10 <b_jonas> I'll have to ask some other bot
19:29:38 <imode> fungot: can you do basic multiplication?
19:29:38 <fungot> imode: i just remembered what esoteric programming is all about assumptions that the implementation features a srfi, be it cl or scheme. shivers is not interested in
19:37:43 <b_jonas> fungot, among the Sun's energy output, how much comes in the form of neutrinos?
19:38:08 <imode> fungot: answer b_jonas' question.
19:38:08 <fungot> imode: i did most of it has been fiz who has scared off most visitors.
19:42:29 <imode> https://repl.it/repls/TerribleFairCells
19:42:36 <imode> this appears quite legible.
19:43:06 <imode> almost like smalltalk.
19:44:59 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66624&oldid=66623 * Matthew * (+46) /* Commands */
19:45:41 -!- xkapastel has quit (Quit: Connection closed for inactivity).
20:24:03 -!- zzo38 has joined.
20:25:29 -!- imode has quit (Ping timeout: 276 seconds).
20:28:44 -!- anima has quit (Read error: Connection reset by peer).
20:50:00 -!- sftp has quit (Excess Flood).
20:50:23 -!- sftp has joined.
20:51:11 -!- imode has joined.
20:58:10 <fizzie> I didn't know I've scared anyone off. :/
20:58:47 <imode> I doubt that you have.
20:59:03 <imode> fungot is full of shit.
20:59:04 <fungot> imode: not because the language evolved faster than the interpreted schemes which was kinda disappointing speed-wise.
20:59:26 <fizzie> Turns out that was more or less a literal quote from 2003.
20:59:38 <fizzie> [2003-01-20 23:36:53] <@DiamonDie> i think it has been fiz who has scared off most visitors.
20:59:46 <imode> from an op no less?
21:00:08 <fizzie> IIRC, on that channel all the regulars were ops.
21:00:59 <pikhq> Ngl imode's made me ambivalent on staying
21:02:12 <imode> everybody-being-an-op is easily ruined by the one bad egg that bans people at the drop of a hat.
21:02:58 <imode> used to be in a channel for a local hacker space. the youngest got angry in a discussion about C and banned 18 people.
21:03:46 <fizzie> Well, it was a 10-person social channel, not really for any particular topic. Those don't really have moderation issues so much.
21:04:24 <arseniiv> shachaf: those slides mention “homogeneous coordinates” too in introductory examples :( if they were homogeneous, vectors with coordinates (1, 2, 3, 0) and (2, 4, 6, 0) would coincide but they should not. These are usual coordinates in (dimension + 1)
21:04:55 <arseniiv> hopefully that misattribution isn’t mentioned in the body
21:05:17 <zzo38> Other way than everybody-being-an-op would be nobody-being-an-op is better than everybody-being-an-op, I think.
21:06:10 <fizzie> That's a pretty easy state to get to by accident on IRCnet, so I'm sure we spent some time like that too.
21:06:36 <imode> everybody can yell at eachother and nobody can do anything about it.
21:07:07 <imode> almost like twitter!
21:07:51 <zzo38> That is not true nobody can do anything about it; you can add filters into the client if you want to avoid receiving some messages.
21:08:19 <imode> that is true. I have to wonder what the potential partitioning would be for a really busy and hostile chat room.
21:08:52 <imode> i.e take 100 people, throw them in a chat room without moderators, see who ignores who. you'll probably end up looking like two or more "logical" rooms.
21:09:20 <zzo38> Maybe. I don't know.
21:09:56 <zzo38> (mainly, I don't know, because I haven't tried having 100 people in a chat room without moderators)
21:10:28 <fizzie> (Although IRCnet ircd 2.11 got a "reop mode" feature, where you can set +R nick!user@host masks with the usual wildcards, with the semantics that if the channel has been opless for a while, the server grants ops for a pseudorandomly selected user matching any of those masks.)
21:10:48 <fizzie> (I think there was also a no-ops-ever channel type? Might be misremembering that.)
21:11:31 <zzo38> Yes, some IRC servers if the channel prefix is + then it can have no modes (inclduing no operators).
21:12:09 <zzo38> There is also & for a channel local to the server and ! with a feature to avoid taking over channels when net split.
21:12:36 <zzo38> (The + and & types are also immune to taking over channels, but for other reasons.)
21:24:15 <shachaf> arseniiv: Oh, now I see what you meant.
21:24:46 <arseniiv> shachaf: yeah, yesterday I completely forgot to mention this simple breaking example
21:31:52 <arseniiv> what we have instead is just some hyperplane L “inhabited by vectors” and its shift, L + a where a is nonzero, “inhabited by points”; then obviously we can’t add two points and get a point, but we can take their linear combinations with total weight 1 (and get a point) or 0 (and get a vector), and also we can apply linear operators which take L to itself, on L + a such one acts as an affine operator, and on L it does as its lin
21:31:52 <arseniiv> ear part, automatically. Now we may choose a basis in L and add a to it, so elements of L get coordinates (…, 0) and elements of L + a get (…, 1), voilà!
21:34:52 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66625&oldid=66624 * Matthew * (-5) /* Commands */
21:42:47 <arseniiv> also we can make a silly groupoid on two objects from two parallel affine subspaces, taking morphisms between them be various translations from one to the other. When the outer space has no inner product, there are no natural translations so this is naturally a groupoid and not a group
21:45:45 <arseniiv> (and these translations themselves constitute two isomorphic affine spaces)
21:46:07 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66626&oldid=66625 * Matthew * (+757) /* Examples */
21:47:51 <arseniiv> isomorphic, but not naturally, to two starting subspaces, but naturally isomorphic (via f ↦ f⁻¹) with each other
21:52:25 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66627&oldid=66626 * Matthew * (-21) /* Hello world program */
22:06:13 <esowiki> [[La We]] https://esolangs.org/w/index.php?diff=66628&oldid=58468 * Pelirodri * (+1)
22:57:17 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66629&oldid=66627 * Matthew * (+1129) /* If statement */
23:00:56 -!- tromp has quit (Remote host closed the connection).
23:02:48 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66630&oldid=66629 * Matthew * (+212) /* Hello world program */
23:10:31 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66631&oldid=66630 * Matthew * (+6) /* Language overview */
23:14:41 <esowiki> [[Rouedeux]] https://esolangs.org/w/index.php?diff=66632&oldid=66631 * Matthew * (+151) /* Language overview */
23:31:30 -!- tromp has joined.
23:35:47 -!- tromp has quit (Ping timeout: 246 seconds).
23:38:40 -!- 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.”).