00:04:03 -!- xelxebar has quit (Ping timeout: 240 seconds).
00:08:54 -!- 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:09:27 -!- xelxebar has joined.
00:26:12 -!- arseniiv has quit (Ping timeout: 256 seconds).
00:31:01 <zzo38> This is so far the TeXnicard template code I use for Magic: the Gathering: http://sprunge.us/8pXjAy (It is not yet completed. Also, the template contains other files too. However, the card layout and graphics would be a different template, and you would use both templates together to render the cards. I can also later add import and export templates too.)
00:35:49 <zzo38> Although I think I did not consider how to figure out the color identity of meld cards properly.
00:41:04 <zzo38> What is the proper rules for determining color identity of meld cards?
00:56:54 <zzo38> I thought to make up a card for Pokemon card game: You can rearrange the damage on your own cards however you want and may move any amount of damage from opponent's cards onto your own cards (even if that would cause some of your cards to be knocked out).
01:26:27 -!- oerjan has joined.
01:57:55 <oerjan> <kmc> yeah, i wonder how many "emergency powers" will be granted and never revoked <-- the norwegian parliament passed such a law last week, but it was severely curtailed compared to the government's proposal - the governement can make emergency decrees that work as laws, but only for one month, and only if parliament _cannot_ meet to pass a law normally.
01:58:30 <oerjan> (also it has to be COVID-19 related)
01:58:50 <oerjan> and the courts can squash them if inappropriate.
01:59:16 <oerjan> this despite no one actually expecting the government to have dictatorial ambitions.
02:00:38 <oerjan> (the goverment's proposal also had safeguards, but parliament wanted more)
02:09:51 <b_jonas> oerjan: sadly the parliament cannot meet is a condition that's too trivial to satisfy when there are rules for banning gatherings
02:12:01 <oerjan> assuming the rules apply to parliament.
02:12:20 <b_jonas> gatherings are already banned in Hungary in a way that the parliament doesn't fall into the few exceptions that they allowed
02:12:40 <oerjan> so they aren't meeting?
02:12:49 <b_jonas> they are meeting, they don't care about their own rules
02:15:48 <oerjan> i suspect mroman's comment applies <mroman> maybe but I mean... law and politics are always... "soft". It's never "formal".
02:17:29 <oerjan> or put differently, it's not applied to that case because no one thinks it applies, except logic-obsessed nerds.
02:19:05 <oerjan> although this does have the danger that it can take only a few shifts in viewpoint (overton window?) before people start thinking it _does_ apply.
02:19:44 <oerjan> and hungary has a reputation of going in that direction.
02:42:55 <zzo38> I just installed Turbo Pascal. It is true that CTRL-F9 runs a program, but you can also push ALT-R R to run a program. It also uses CTRL-F1 for the help of the word at the cursor, but that key combination can be customized in Turbo Pascal, so I changed it to SHIFT-F1.
02:56:15 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
03:03:13 -!- b_jonas has quit (Ping timeout: 264 seconds).
03:13:10 -!- Phantom_Hoover has joined.
03:23:01 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
03:29:26 -!- fungot has quit (Ping timeout: 246 seconds).
03:57:18 -!- shikhout has joined.
04:12:39 -!- shikhout has quit (Changing host).
04:12:39 -!- shikhout has joined.
04:19:17 -!- shikhin has quit (Quit: Quittin'.).
04:19:44 -!- shikhin has joined.
04:47:53 -!- oerjan has quit (Quit: leaving).
05:12:58 <zzo38> One thing I want to add into TeXnicard is to be able to distribute change sets of card databases as netnews articles, in a way which is clearly readable and also can be imported by TeXnicard to merge changes into the card database, including warnings of incompatible changes. What way do you think is good to do this?
05:51:00 -!- diverger has quit (Max SendQ exceeded).
05:55:00 -!- diverger has joined.
06:10:14 -!- olsner has quit (Ping timeout: 256 seconds).
06:16:33 -!- olsner has joined.
06:36:36 <esowiki> [[User:Zzo38/Untitled 3]] https://esolangs.org/w/index.php?diff=70476&oldid=66284 * Zzo38 * (+18)
06:39:12 <esowiki> [[User:Zzo38/Untitled 3]] https://esolangs.org/w/index.php?diff=70477&oldid=70476 * Zzo38 * (+158) Describe outputs working.
07:00:30 -!- shikhout has quit (Quit: leaving).
08:06:24 -!- Soni has quit (*.net *.split).
08:06:25 -!- tromp has quit (*.net *.split).
08:06:25 -!- dnm has quit (*.net *.split).
08:06:25 -!- glowcoil has quit (*.net *.split).
08:06:25 -!- pikhq has quit (*.net *.split).
08:06:26 -!- mich181189 has quit (*.net *.split).
08:06:26 -!- rodgort has quit (*.net *.split).
08:06:27 -!- j-bot has quit (*.net *.split).
08:06:48 -!- Soni has joined.
08:06:56 -!- pikhq has joined.
08:06:56 -!- dnm has joined.
08:06:58 -!- mich181189 has joined.
08:06:59 -!- tromp has joined.
08:07:01 -!- glowcoil has joined.
08:07:10 -!- rodgort has joined.
08:28:19 -!- LKoen has joined.
08:41:43 -!- imode has quit (Ping timeout: 265 seconds).
08:57:31 -!- erdic has quit (Ping timeout: 260 seconds).
09:05:29 <esowiki> [[SdofgOS Deleter]] N https://esolangs.org/w/index.php?oldid=70478 * LyricLy * (+944) Created page with "'''SdofgOS Deleter''' is an esoteric programming language inspired by nothing created by [[User:LyricLy]] in 2020. ==Concepts== SdofgOS Deleter has only one concept: deletin..."
09:06:09 <esowiki> [[SdofgOS Deleter]] https://esolangs.org/w/index.php?diff=70479&oldid=70478 * LyricLy * (+47)
09:14:36 -!- cpressey has joined.
09:15:19 -!- erdic has joined.
09:15:47 -!- Lord_of_Life_ has joined.
09:16:36 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
09:17:07 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
09:22:12 -!- LKoen has quit (Remote host closed the connection).
09:22:57 -!- Phantom_Hoover has joined.
09:27:47 -!- LKoen has joined.
09:54:03 -!- b_jonas has joined.
10:20:56 -!- LKoen has quit (Remote host closed the connection).
11:04:21 -!- xelxebar has quit (Read error: Connection reset by peer).
11:07:43 -!- xelxebar has joined.
11:20:42 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
11:28:20 -!- LKoen has joined.
12:15:13 <esowiki> [[SdofgOS Deleter]] https://esolangs.org/w/index.php?diff=70480&oldid=70479 * A * (+4)
12:16:25 <esowiki> [[SdofgOS Deleter]] https://esolangs.org/w/index.php?diff=70481&oldid=70480 * A * (+4)
12:20:10 <esowiki> [[Talk:SdofgOS Deleter]] N https://esolangs.org/w/index.php?oldid=70482 * D * (+229) Created page with "== A few questions == After the folder is deleted, if you re-create the folder, would the files re-exist? What is the name of the deleted folder in SdofgOS Deleter? --~~~~"
12:42:54 -!- cpressey has quit (Ping timeout: 240 seconds).
12:43:48 -!- cpressey has joined.
12:45:55 -!- ArthurStrong has joined.
13:02:19 <esowiki> [[Talk:Qwote]] https://esolangs.org/w/index.php?diff=70483&oldid=70462 * A * (+807)
13:04:25 <esowiki> [[Talk:Qwote]] https://esolangs.org/w/index.php?diff=70484&oldid=70483 * A * (+0) Improved look.
13:05:30 <esowiki> [[Talk:Qwote]] https://esolangs.org/w/index.php?diff=70485&oldid=70484 * A * (+8) /* Interpreter in Io */
13:06:43 -!- Frater_EST has joined.
13:09:02 <esowiki> [[Talk:Qwote]] https://esolangs.org/w/index.php?diff=70486&oldid=70485 * A * (+148)
13:13:00 -!- Frater_EST has left.
13:13:02 -!- ArthurStrong has quit (Quit: leaving).
13:14:19 -!- sprocklem has quit (Ping timeout: 250 seconds).
13:21:13 -!- sprocklem has joined.
13:28:32 -!- rain1 has joined.
13:36:07 -!- xkapastel has joined.
13:52:09 <esowiki> [[Alphaprint]] M https://esolangs.org/w/index.php?diff=70487&oldid=70426 * PythonshellDebugwindow * (+30) /* Structure */ lmnop wouldn be invalid as it doens't statt with a
13:59:10 -!- arseniiv has joined.
14:05:44 <esowiki> [[Alphaprint]] M https://esolangs.org/w/index.php?diff=70488&oldid=70487 * PythonshellDebugwindow * (+1716) /* Hello, World! */ Hello World
14:06:36 <esowiki> [[Alphaprint]] M https://esolangs.org/w/index.php?diff=70489&oldid=70488 * PythonshellDebugwindow * (+1)
14:26:55 -!- arseniiv_ has joined.
14:29:04 -!- nchamber- has joined.
14:29:14 -!- nchambers has quit (Ping timeout: 240 seconds).
14:29:14 -!- lambdabot has quit (Ping timeout: 240 seconds).
14:29:37 -!- arseniiv has quit (Ping timeout: 264 seconds).
14:29:37 -!- diverger has quit (Ping timeout: 264 seconds).
14:30:08 -!- diverger has joined.
14:33:39 -!- lambdabot has joined.
15:24:38 <cpressey> fwiw I've now got an Emmental interpreter running on a web page: https://catseye.tc/installation/Emmental
15:59:11 -!- MDude has joined.
16:29:29 -!- imode has joined.
17:04:14 -!- cpressey has quit (Quit: A la prochaine.).
18:05:30 -!- MDead has joined.
18:06:44 -!- MDude has quit (Ping timeout: 265 seconds).
18:06:46 -!- MDead has changed nick to MDude.
18:07:23 -!- Phantom_Hoover has joined.
18:17:58 <arseniiv_> damn Haskell why is using you from windows with an IDE is so hard
18:18:02 -!- arseniiv_ has changed nick to arseniiv.
18:20:08 <arseniiv> yeah I’ll wash them too when I’ll pick them up :D
18:25:25 <arseniiv> I thought I’ll finally set up something with VS Code and then these strange errors I can’t hope to fix with versions of this and that not matching, and then in the other place they say this package ceased developing (ah, so that’s why the errors?..) and the extension relying on it will cease working after some time, and in the other place still, with another approach, they boldly say don’t windows it, there are packages which wo
18:25:25 <arseniiv> uld bite you. Scrap all that. I’ll go on writing small one-file pieces once in a blue moon without any type hints, autocomplete and scrolling the ton of error messages in GHCi each reload
18:27:01 <arseniiv> I could run a virtual linux of course but would it be comfortable and efficient, hm
18:34:02 <rain1> https://www.youtube.com/watch?v=egzZv8tqT_k I like this series
19:07:41 -!- Frater_EST has joined.
19:33:18 -!- atslash has quit (Quit: Leaving).
20:08:42 <arseniiv> monads are like nomads but with n and m swapped
20:17:00 <arseniiv> oh the Moon is very big for a typical moon, so a moon 1,5 times more massive is even more unlikely but well I agree most times it’s not a likely case that is interesting
20:26:31 -!- rain1 has quit (Quit: leaving).
20:29:17 <arseniiv> @tell rain1 my friend thanks you for the series link, or so I think
20:42:00 -!- Frater_EST has left.
20:54:45 -!- Anabella has joined.
20:57:20 <arseniiv> if one writes `a −es→ b` for `a → Eff es b` and `a −cs→ b` for `Coe cs a → b`, `Eff es` is a monad for any `es` and `Coe cs` is a comonad for any `cs`, one can then rewrite `Eff es′ a → Eff es b` as `(() −es′→ a) −es→ b` but how can one rewrite `Coe cs′ a → Coe cs b`?
20:59:01 <arseniiv> I obviously write `a −cs′→ Coe cs b` and then I’m stuck
20:59:33 -!- Anabella has quit (Client Quit).
21:01:19 <arseniiv> hm should I use CPS… `(Coe cs b → x) → (Coe cs′ a → x)` and then that’ll be `(b −cs→ x) → (a −cs′→ x)`, hm but should it really be backwards like that
21:02:31 <arseniiv> this all is about arrowifying (co)effectful computations to get rid of non-latent (co)effects, as in a concatenative language there are no values
21:15:48 <arseniiv> ah I think I understand the larger picture
21:16:39 -!- Lord_of_Life_ has joined.
21:18:14 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
21:18:14 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
22:01:15 -!- spruit11 has quit (Ping timeout: 250 seconds).
22:02:55 -!- spruit11 has joined.
22:36:13 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
23:05:49 -!- xkapastel has quit (Quit: Connection closed for inactivity).
23:28:28 -!- 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:52:37 <esowiki> [[Hello world program in esoteric languages]] M https://esolangs.org/w/index.php?diff=70490&oldid=70421 * PythonshellDebugwindow * (+1592) /* Alphaprint */