00:18:05 -!- delta23 has quit (Quit: Leaving).
00:34:38 -!- FreeFull has quit.
00:54:52 <esowiki> [[WILSON]] M https://esolangs.org/w/index.php?diff=78844&oldid=66119 * PythonshellDebugwindow * (+5) /* Syntax */ add to BNF based on description
00:56:26 <esowiki> [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=78845&oldid=78810 * PythonshellDebugwindow * (+106) test
01:04:59 -!- 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.”).
01:35:12 -!- Lord_of_Life has joined.
01:35:37 -!- Lord_of_Life_ has quit (Ping timeout: 264 seconds).
01:45:36 <esowiki> [[Pyhton (sic)]] https://esolangs.org/w/index.php?diff=78846&oldid=60076 * LegionMammal978 * (+158) /* Sample Programs */
01:47:40 -!- aaaaaa has quit (Quit: leaving).
04:18:14 <zzo38> I think Wizards of the Coast didn't make last strike outside of Un-cards because they believe it isn't very good, but I do not agree. On the right kinds of cards, it can work OK.
04:23:06 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
05:11:48 <Arcorann> https://hackaday.com/2020/11/22/doom-running-on-the-nintendo-game-watch/
05:52:46 <myname> ah yes, porting doom, the hello world of console hacking
05:53:37 <esowiki> [[Talk:LSCEF]] https://esolangs.org/w/index.php?diff=78847&oldid=69603 * IFcoltransG * (+551) /* Matching letters with numbers */ new section
06:00:16 <esowiki> [[Talk:LSCEF]] https://esolangs.org/w/index.php?diff=78848&oldid=78847 * IFcoltransG * (+228) /* Matching letters with numbers */
06:03:14 -!- xelxebar has joined.
06:42:13 -!- Sgeo has quit (Read error: Connection reset by peer).
06:44:34 -!- Sgeo has joined.
07:50:30 <zzo38> In Magic: the Gathering, have you ever used one Artificial Evolution to change the text of another Artificial Evolution?
08:37:30 -!- Sgeo has quit (Read error: Connection reset by peer).
08:37:43 -!- xelxebar has quit (Ping timeout: 240 seconds).
08:38:04 -!- xelxebar has joined.
09:11:16 -!- Lord_of_Life has quit (Changing host).
09:11:16 -!- Lord_of_Life has joined.
09:39:13 -!- sprocklem has quit (Ping timeout: 264 seconds).
10:34:18 -!- wmww has quit (Quit: Bridge terminating on SIGTERM).
10:34:24 -!- none30 has quit (Quit: Bridge terminating on SIGTERM).
10:34:42 -!- Discordian[m] has quit (Quit: Bridge terminating on SIGTERM).
10:44:08 -!- wmww has joined.
11:07:39 -!- none30 has joined.
11:07:45 -!- iscordian[m] has joined.
11:16:15 -!- imode has quit (Ping timeout: 260 seconds).
11:25:26 -!- iscordian[m] has changed nick to Discordian[m].
11:28:18 -!- LKoen has joined.
12:22:55 -!- rain1 has quit (Quit: Leaving).
12:25:53 <b_jonas> looks like it's modulo 256 or some other power of two
12:26:29 <b_jonas> we can rely on that to golf programs
12:28:23 <Arcorann> ^bf +++++++++++++++++++++++++++++++++++++++++++++++++.
12:34:32 <b_jonas> ^bf +++[----->+<]>+.---.+++++++..+++.
12:38:15 <fungot> b_jonas: " why are you here?" he said, " which can upset relatives and-"
12:40:25 <b_jonas> ^bf >++++++++++++++++[->++++++++++++++++<]<+++[----->+<]>[<.>]
12:40:32 <b_jonas> ^bf >++++++++++++++++[->++++++++++++++++<]<+++[----->+<].>[<.>]
12:40:45 <b_jonas> ^bf >++++++++++++++++[->++++++++++++++++<]<+++[----->+<]>.>[<.>]
12:40:49 <b_jonas> ^bf >+++++++++++++++[->++++++++++++++++<]<+++[----->+<]>.>[<.>]
12:40:49 <fungot> ggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg ...
12:41:00 <b_jonas> ok, so it's modulo 256, not modulo some larger power
12:41:09 <b_jonas> unless I messed up that test of course
12:43:41 <Arcorann> (which I think is in the original spec?
12:45:14 <Arcorann> Original implementation, not necessarily original spec
12:54:11 <fizzie> Strictly speaking, it's modulo 88+:*, this being Befunge. ;)
12:54:12 <esowiki> [[LSCEF]] M https://esolangs.org/w/index.php?diff=78849&oldid=75050 * PythonshellDebugwindow * (+40) /* Usage in interpreters */ See also
12:56:17 <fizzie> It's set by the 88+:*91p on https://github.com/fis/fungot/blob/95a8f62/fungot.b98#L298
12:56:18 <fungot> fizzie: " a human being, it was nothing, no colour, no sound, no pressure, no time,' said
13:15:35 -!- MDude has joined.
13:16:35 -!- Arcorann_ has joined.
13:20:01 -!- Arcorann has quit (Ping timeout: 264 seconds).
13:24:26 <esowiki> [[LSCEF]] M https://esolangs.org/w/index.php?diff=78850&oldid=78849 * PythonshellDebugwindow * (+493) /* Usage in interpreters */ C
13:28:04 <fizzie> I always use 88+ for 16, but I know other people use f1+ and 82* too.
13:28:57 <fizzie> For the 256, I guess things like 884** would've been an option.
13:37:30 -!- uninitialzedPtr has joined.
13:42:06 <fungot> uninitialzedPtr: uncertain, but then it stopped. and i feel so stupid...' he mumbled.
13:42:45 <fungot> Selected style: discworld (a subset of Terry Pratchett's Discworld books)
13:52:34 <fungot> uninitialzedPtr: ' enough to know that smile. igor was not easily frightened, because he woke up when he wanted to say that what was good for me, in exchange for the winding down of the watch duties. i have a very embarrassing five minutes explaining this at the moment
13:57:01 -!- uninitialzedPtr has quit (Remote host closed the connection).
14:48:42 -!- rain1 has joined.
14:50:58 <esowiki> [[Sd]] M https://esolangs.org/w/index.php?diff=78851&oldid=69762 * LegionMammal978 * (+15) fixed title based on GitHub description
14:53:50 -!- Arcorann_ has quit (Ping timeout: 272 seconds).
15:19:41 <b_jonas> I wonder, has anyone made one of these large posters with a 256x256 grid displaying a graphical representation of all unicode characters in the BMP (code points U+0000 to U+FFFF) in a plane-filling curve arrangement
15:21:11 <b_jonas> Also Google could perhaps make a large poster with a 256x256 grid displaying the favicon or preview of a website served from each IPV4 address, arranged in a plane-filling curve like https://xkcd.com/195/
15:22:52 <fizzie> You need a 65536x65536 grid for that.
15:23:50 -!- Sgeo has joined.
15:24:56 <b_jonas> so that latter wouldn't work
15:25:19 <b_jonas> not without some sort of popularity statistics (that Google probably has an approximation for)
15:25:26 <fizzie> A BMP poster sounds like pretty reasonable though.
15:33:01 <b_jonas> 17% of it would be the Hangul block
15:33:57 <b_jonas> I don't know how many unassigned code points there are in the BMP
15:34:37 <esowiki> [[Alphabet letters]] N https://esolangs.org/w/index.php?oldid=78852 * 3s0!an9 b0y * (+1495) Created page with "abcdefg.... Alphabet code is written through ascii. <code>a</code> means add to pointer value <code>s</code> means subtract from pointer value <code>m</code> means multipl..."
15:41:33 -!- TheLie has joined.
15:50:11 <esowiki> [[Alphabet letters]] https://esolangs.org/w/index.php?diff=78853&oldid=78852 * 3s0!an9 b0y * (+107)
15:50:28 <esowiki> [[Alphabet letters]] https://esolangs.org/w/index.php?diff=78854&oldid=78853 * 3s0!an9 b0y * (+1)
16:14:22 <j4cbo> there are only 17 planes
16:15:52 <j4cbo> and only 5 of them have characters
16:16:26 <fizzie> The Unicode Consortium should operate some sort of a Unicode room somewhere, with all of the characters displayed.
16:16:45 <fizzie> They have a postal address, but it's just a P.O. box.
16:16:57 <fizzie> (In Mountain View, curiously.)
16:21:22 <Taneb> I wonder how often they check their mail
16:24:26 <j4cbo> a lot of the new stuff is ZWJ sequences, too :/
16:34:46 -!- delta23 has joined.
16:42:10 <j4cbo> is anyone here by chance intimately familiar with memory ordering, cache semantics, etc. on ARM?
17:28:46 -!- TheLie has quit (Remote host closed the connection).
17:40:12 -!- delta23 has quit (Quit: Leaving).
17:43:52 -!- delta23 has joined.
18:44:20 <b_jonas> fizzie: like those election candidate posters that you mentioned some day?
19:06:48 <b_jonas> hmm, mail server is down or something
19:15:04 -!- LKoen has quit (Remote host closed the connection).
19:15:59 <b_jonas> oren: are you planning to add support for the bengali script into neoletters? I know it really doesn't work without fancy font composition, but nor does devanagari, or arabic for that matter.
19:16:07 -!- LKoen has joined.
19:16:25 <b_jonas> it's not that I need bengali support or anything, just wondering
19:16:27 <int-e> fizzie: I find it annoying.
19:17:04 <fizzie> int-e: Is it possible to summarize in a sentence or two the deep fundamental philosophical reason why `foldMap f (_, y) = f y`?
19:17:24 <int-e> fizzie: https://mail.haskell.org/pipermail/haskell-cafe/2020-November/132978.html is a more convincing example of why this is annoying... well-typed code never goes wrong...
19:17:58 <int-e> fizzie: there's only one way to make a Functor for (,): pick the second argument as the parameter
19:18:16 <int-e> And this extends uniquely to Applicative, Foldable.
19:18:48 <int-e> And... Traversable. You get choices for Monoid and Monad...
19:19:17 <int-e> fizzie: But hmm, that's not your question, is it.
19:19:34 <fizzie> Well, I think it sort of was.
19:19:39 <int-e> The philosophical justification is that if an instance is unique, Haskell should have it.
19:19:58 <b_jonas> `python3 -cprint(all((True, False)))
19:20:07 <lambdabot> • Couldn't match expected type ‘a -> Bool’
19:20:10 <fizzie> If it's empty, fill it with cream.
19:20:29 <int-e> (Also, apparently, if I remember this point from an old discussion correctly, this particular instance turns out to be useful somewhere inside lens.)
19:20:56 <b_jonas> `python3 -cprint(all(tuple((0 == x % 2 for x in (1, 2))))
19:20:57 <HackEso> File "<string>", line 1 \ print(all(tuple((0 == x % 2 for x in (1, 2)))) \ ^ \ SyntaxError: unexpected EOF while parsing
19:21:02 <b_jonas> `python3 -cprint(all(tuple((0 == x % 2 for x in (1, 2)))))
19:22:48 <b_jonas> int-e: hmm, so can you have a type that represents two-element lists and make that a Functor and a Foldable, and is there one in the ghc library, and is that the one with the name including zip?
19:23:15 <b_jonas> I mean for when you want (all even (foo 1 2)) to be true
19:23:30 <int-e> b_jonas: you can have a datatype with a single type parameter. data Square a = Square a a
19:24:48 <b_jonas> int-e: sure, but can it be a Functor and Foldable the way that your original example wants?
19:24:52 <int-e> or newtype Square a = Square (a, a), if you want the representation to be the same as that of (a, a). (naming: (,) a b corresponds to a product, A x B, and in that view, A x A = A^2 is a square)
19:25:59 <int-e> @let data Square a = Square a a; instance Functor Square where { fmap f (Square a a) = Square (f a) (f a) }
19:26:13 <int-e> @let data Square a = Square a a; instance Functor Square where { fmap f (Square a b) = Square (f a) (f b) }
19:26:52 <int-e> @let instance Foldable Square where foldMap f (Square a b) = f a <> f b
19:27:25 <int-e> @let instance Applicative Square where Square f g <*> Square a b = Square (f a) (g b)
19:27:26 <lambdabot> .L.hs:174:10: error: [-Wmissing-methods, -Werror=missing-methods]
19:27:37 <int-e> @let instance Applicative Square where Square f g <*> Square a b = Square (f a) (g b); pure a = Square a a
19:27:52 <int-e> > length (Square 1 2)
19:28:06 <int-e> > all even (Square 1 2)
19:28:14 <b_jonas> > map (s -> all even s) [Square 1 2, Square 14 6, Square 9 5, Square 11 4]
19:28:17 <lambdabot> Pattern syntax in expression context: s -> all even s
19:28:22 <b_jonas> > map (\s -> all even s) [Square 1 2, Square 14 6, Square 9 5, Square 11 4]
19:28:47 <b_jonas> looks good, provided those satisfy the laws for those typeclasses
19:29:16 <int-e> @let data Square' a = Square' a a deriving (Eq, Ord, Show, Read, Functor, Foldable)
19:29:26 <int-e> > length (Square' 1 2)
19:30:04 <b_jonas> what... how do you derive Functor? that's not a newtype deriving
19:30:15 <int-e> GHC has extensions for this
19:30:40 <b_jonas> `python3 -cprint(len((1,2)))
19:31:05 <b_jonas> (funnily python's len function deliberately doesn't work for arbitrary iterables)
19:31:14 <int-e> In fact, GHC has a ton of extensions in this area: DeriveAnyClass DeriveFunctor DeriveTraversable DeriveDataTypeable DeriveGeneric DerivingStrategies DeriveFoldable DeriveLift DerivingVia
19:32:11 <int-e> (and that's missing GeneralizedNewtypeDeriving, and probably a couple more)
19:32:27 <b_jonas> the Typeable thing is understandable, that it can be derived for many types is sort of the point
19:32:53 <myname> b_jonas: well, not allowing len for infinite data isn't that stupid
19:33:39 <int-e> the Typeable thing is special in that it is *required* to make Typeable safe(-ish).
19:40:25 <b_jonas> int-e: yeah. rust ends up with a nice general trait system, and then like two dozen traits that need various kinds of compiler magic, not counting the ones that just define what an arithmetic punctuation operator syntax is shortcut to
19:40:49 <b_jonas> and the list will probably grow even further
19:43:23 <int-e> GHC... might be done? Hard to say.
19:43:37 <int-e> I bet they thought they were done with DeriveAnyClass
19:43:44 -!- imode has joined.
19:45:15 <int-e> Which builds on top of GHC's generics (which destructure datatypes into sums and products and some other building blocks for applications and some basic types...)
19:45:27 <esowiki> [[HAN]] N https://esolangs.org/w/index.php?oldid=78855 * Aryantech123 * (+2905) Added initial information
19:45:58 <int-e> With the idea that if you have an instance Generic x => Foo x, then you can use that instance to derive Foo for any type that you can derive a Generics instance for
19:46:57 <esowiki> [[HAN]] M https://esolangs.org/w/index.php?diff=78856&oldid=78855 * Aryantech123 * (+6) Fixed catagories
19:47:06 <int-e> However... this wasn't the end. We now have DerivingVia (which allows you to give an explicit newtype whose instance to use... so it's mixing GND and DeriveAnyClass and all the other stuff)
19:47:54 <int-e> And DerivingStrategies is also new, which finally allows you distinguish between derivinig Ord by builtin the mechanism, or by another strategy like GND or the via thing.
19:48:18 <int-e> So... I'm not going to bet on whether there'll be more extensions.
19:48:30 <int-e> But I will say that the system feels quite flexible now.
19:49:07 <esowiki> [[HAN]] M https://esolangs.org/w/index.php?diff=78857&oldid=78856 * Aryantech123 * (+1)
19:51:13 <esowiki> [[HAN]] https://esolangs.org/w/index.php?diff=78858&oldid=78857 * Aryantech123 * (+41)
19:52:36 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=78859&oldid=78829 * Aryantech123 * (+10)
19:53:05 <esowiki> [[HAN]] M https://esolangs.org/w/index.php?diff=78860&oldid=78858 * Aryantech123 * (-13)
19:56:17 <esowiki> [[User:Aryantech123]] M https://esolangs.org/w/index.php?diff=78861&oldid=78048 * Aryantech123 * (+23)
19:57:18 <esowiki> [[User:Aryantech123]] https://esolangs.org/w/index.php?diff=78862&oldid=78861 * Aryantech123 * (+0)
20:14:34 -!- sprocklem has joined.
21:02:50 -!- uninitializedPtr has joined.
21:04:30 <fungot> uninitializedPtr: " to start with." teppic shrugged, and got no shorter."
21:09:25 <lambdabot> • Variable not in scope: printStrLn :: [Char] -> t
21:10:17 <lambdabot> <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘import’
21:11:40 <int-e> > putStrLn "Foo" -- no IO either
21:12:09 <lambdabot> <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘*’
21:16:04 <int-e> It turns out that trying to scrape HTML for relevant text is... brittle.
21:18:14 <lambdabot> <hint>:1:9: error: <hint>:1:9: error: parse error on input ‘=’
21:18:46 <int-e> > let add x y = x + y in foo 1 2
21:18:49 <lambdabot> • Variable not in scope: foo :: t0 -> t1 -> t
21:18:49 <lambdabot> • Perhaps you meant ‘for’ (imported from Data.Traversable)
21:18:57 <int-e> > let add x y = x + y in add 1 2
21:19:58 <int-e> Anyway, https://www.haskell.org/documentation/ has lots of places to start
21:20:28 <int-e> There's also #haskell.
21:23:19 <int-e> uninitializedPtr: but don't spam that channel with lambdabot experiments!
21:26:36 -!- uninitializedPtr has left.
21:40:54 <imode> they seem a little flakey.
21:41:46 -!- Frater_EST has joined.
22:22:56 <esowiki> [[ABCDE]] M https://esolangs.org/w/index.php?diff=78863&oldid=73454 * Expliked * (+1) literally added a single "n"
22:23:38 <esowiki> [[ABCDE]] M https://esolangs.org/w/index.php?diff=78864&oldid=78863 * Expliked * (-1) removed a single "n" from a different area of the page
22:57:27 <esowiki> [[Special:Log/newusers]] create * Bloodyknucles * New user account
22:58:25 -!- Frater_EST has quit (Ping timeout: 264 seconds).
23:08:36 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=78865&oldid=78826 * Bloodyknucles * (+93)
23:10:09 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=78866&oldid=78865 * Bloodyknucles * (+214)
23:11:48 -!- Arcorann_ has joined.
23:21:10 <int-e> esowiki: hope they aren't coming for speling corection.
23:31:09 <esowiki> [[BitSwitch]] N https://esolangs.org/w/index.php?oldid=78867 * Bloodyknucles * (+514) Created page with "BitSwitch is an [[esolang]] made by [[User:Bloodyknucles|BloodyKnukles]].<br> Here is a table of the commands in BitSwitch:<br> {| class="wikitable sortable" |- ! Name !! Func..."
23:33:35 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=78868&oldid=78859 * Bloodyknucles * (+14)
23:34:33 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=78869&oldid=78868 * Bloodyknucles * (+2)
23:54:22 -!- Frater_EST has joined.
23:56:41 <int-e> (the weird part is how little the implementation matches the "language" description)