2024/12/08

2024-12-08 00:00:05 +0100user_(~user@user/fmira) fmira
2024-12-08 00:00:05 +0100user_(~user@user/fmira) (Client Quit)
2024-12-08 00:00:19 +0100fmira(~user@user/fmira) fmira
2024-12-08 00:00:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 00:01:49 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf)
2024-12-08 00:01:51 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer)
2024-12-08 00:05:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 00:06:38 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-08 00:12:16 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf)
2024-12-08 00:13:07 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer)
2024-12-08 00:16:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 00:16:31 +0100dpratt(~dpratt@165.225.220.148) (Quit: Client closed)
2024-12-08 00:21:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-08 00:29:21 +0100rstromlund(~user@user/rstromlund) (Ping timeout: 248 seconds)
2024-12-08 00:31:17 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-12-08 00:31:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 00:31:27 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-12-08 00:35:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 00:41:22 +0100dpratt(~dpratt@165.225.220.148) dpratt
2024-12-08 00:44:06 +0100 <dpratt> I was looking over some of the AoC solutions from glguy and got to wondering what this format quasi-quoter secret sauce was. Turns out there's a lot of sauce.
2024-12-08 00:44:06 +0100 <dpratt> Anyway, what's this construction here with the `<-` in the pattern guard? https://github.com/glguy/advent/blob/main/common/src/Advent/Format.hs#L102. I think I can guess what's going on, but I wanted to understand it better.
2024-12-08 00:46:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 00:48:19 +0100 <monochrom> It's just the syntax of pattern guard. "if splitLeader x matches Just (yd, str')".
2024-12-08 00:50:03 +0100gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2024-12-08 00:50:53 +0100 <dpratt> monochrom oh I'm just used to seeing a simple boolean expression there
2024-12-08 00:51:12 +0100 <dpratt> but yeah, I see that's a thing now
2024-12-08 00:51:12 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2024-12-08 00:51:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 00:53:35 +0100 <dpratt> yeah, my AoC solutions are...what can we say? uh...charming, compared to those of glguy -- kind of like a kids drawing
2024-12-08 00:55:18 +0100 <dpratt> still haven't kicked the habit of trying to name everything 😂
2024-12-08 00:55:47 +0100 <dpratt> oh gosh, that guy must get a lot of pings
2024-12-08 00:55:49 +0100sindu(~sindu@176.75.224.1)
2024-12-08 01:02:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 01:07:07 +0100Everything(~Everythin@46.211.214.172) (Quit: leaving)
2024-12-08 01:08:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 01:14:34 +0100 <glguy> dpratt: ohai!
2024-12-08 01:15:50 +0100 <glguy> dpratt: at the end of the day my "format" stuff is just a shortcut to write a parser combinator with Text.ParserCombinators.ReadP
2024-12-08 01:16:13 +0100 <glguy> the parsers you get out of it aren't more powerful than what you can write using ReadP by hand
2024-12-08 01:16:41 +0100 <glguy> I just got tired of a manually written parser combinator parser dominating my solution file
2024-12-08 01:20:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 01:20:43 +0100 <hellwolf> is "Haskell" always capitalized?
2024-12-08 01:23:44 +0100 <glguy> As a name it's normal to expect it to be capitalized
2024-12-08 01:24:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 01:25:16 +0100 <dpratt> glguy kinda clever doing the inverse operation thing for today's AoC -- it's the sort of thing I might briefly consider but then conclude that it'd be way too complicated in practice, but yours certainly was not
2024-12-08 01:32:04 +0100homo(~homo@user/homo) (Quit: homo)
2024-12-08 01:35:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 01:39:43 +0100homo(~homo@82-128-196-26.bb.dnainternet.fi)
2024-12-08 01:40:01 +0100homo(~homo@82-128-196-26.bb.dnainternet.fi) (Changing host)
2024-12-08 01:40:01 +0100homo(~homo@user/homo) homo
2024-12-08 01:40:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 01:43:52 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf)
2024-12-08 01:46:14 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer)
2024-12-08 01:49:07 +0100rstromlund(~user@user/rstromlund) rstromlund
2024-12-08 01:50:06 +0100cyanteeth(~cyanteeth@user/cyanteeth) (Quit: cyanteeth)
2024-12-08 01:50:57 +0100 <glguy> dpratt: yeah, I was excited about figuring that out. I did it forward the first time before I realized I could rewrite it to go backward
2024-12-08 01:50:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 01:51:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-08 01:52:23 +0100homo(~homo@user/homo) (Quit: homo)
2024-12-08 01:53:10 +0100 <monochrom> When I'm lazy I write lowercase "haskell".
2024-12-08 01:53:18 +0100 <geekosaur> ^
2024-12-08 01:53:24 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-12-08 01:53:34 +0100 <geekosaur> but strictly speaking it is not only the name of a language, but of a person (Haskell Curry)
2024-12-08 01:54:14 +0100 <monochrom> When I'm really really lazy I write uppercase "HASKELL" because it's a 1970s terminal that defaults to all caps and I can't be bothered to switch to the non-default both-cases mode. >:)
2024-12-08 01:54:19 +0100homo(~homo@82-128-196-26.bb.dnainternet.fi)
2024-12-08 01:54:40 +0100homo(~homo@82-128-196-26.bb.dnainternet.fi) (Changing host)
2024-12-08 01:54:40 +0100homo(~homo@user/homo) homo
2024-12-08 01:54:45 +0100rstromlund(~user@user/rstromlund) (Ping timeout: 276 seconds)
2024-12-08 01:54:50 +0100 <monochrom> Then again Haskell didn't exist in the 1970s so it's mostly hypothetical. >:D
2024-12-08 01:54:53 +0100geekosaurhands monochrom a KSR33
2024-12-08 01:55:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 01:58:11 +0100rstromlund(~user@user/rstromlund) rstromlund
2024-12-08 01:59:05 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2024-12-08 02:06:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 02:10:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 02:18:16 +0100elnegro(elnegro@r186-50-74-75.dialup.adsl.anteldata.net.uy) elnegro
2024-12-08 02:21:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 02:26:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-08 02:27:36 +0100 <rstromlund> Hello all, I have a parsing question. I have day 3 of AoC solved but I want to tidy up the parsing. The puzzle asks to find `mul(123,456)` instructions among other garbage characters. My solution is here : https://pastebin.com/V6i4VqgX
2024-12-08 02:28:22 +0100sindu(~sindu@176.75.224.1) (Ping timeout: 252 seconds)
2024-12-08 02:28:29 +0100 <rstromlund> Function 'instr' tries to parse a 'MulInstr' and if that fails, it consumes 1 char and recursively calls 'instr'.
2024-12-08 02:29:21 +0100 <rstromlund> But I don't know how to break out of the parser at eof. I know my input ends in a newline, so I look for newline and insert a dummy 'MulInstr'; but that is unsatisfying.
2024-12-08 02:29:27 +0100 <rstromlund> Any tips?
2024-12-08 02:29:30 +0100zzz(~z@user/zero) (Read error: Connection reset by peer)
2024-12-08 02:29:47 +0100 <glguy> rstromlund: you don't need to match on eof
2024-12-08 02:29:49 +0100 <glguy> ignore that
2024-12-08 02:29:55 +0100 <glguy> just do the many instr you're already doing
2024-12-08 02:29:56 +0100zero(~z@user/zero) zero
2024-12-08 02:30:54 +0100elnegro(elnegro@r186-50-74-75.dialup.adsl.anteldata.net.uy) ()
2024-12-08 02:33:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-08 02:34:18 +0100 <rstromlund> That still gives the EndOfInput error. I think that is coming from 'instr' function and not the outter 'instrs' where many is used.
2024-12-08 02:35:11 +0100 <glguy> rstromlund: oh, you need another try I guess
2024-12-08 02:35:13 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 248 seconds)
2024-12-08 02:35:17 +0100 <glguy> since anySingle is eating input
2024-12-08 02:35:31 +0100 <rstromlund> When anySingle tries and consume a character beyond eof (?)
2024-12-08 02:35:57 +0100 <rstromlund> Yes, that did it! Thx : ))
2024-12-08 02:35:59 +0100 <glguy> I think what's happening there is that anySingle succeeds which commits the whole instr parse to need to finish
2024-12-08 02:37:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 02:37:16 +0100 <glguy> FWIW If you wanted to unnest string "mul(" *> (MulInstr <$> (decimal <* char ',') <*> (decimal <* char ')')) you could write:
2024-12-08 02:37:16 +0100 <glguy> MulInstr <$ string "mul(" <*> decimal <* char ',' <*> decimal <* char ')'
2024-12-08 02:37:21 +0100 <rstromlund> Right. And the try rolls the stream back to the last mul() so the eof in instrs won't succeed.
2024-12-08 02:37:37 +0100 <rstromlund> :thumbsup:
2024-12-08 02:37:55 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-08 02:38:00 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer)
2024-12-08 02:38:22 +0100 <glguy> that makes our two solutions very similar: https://github.com/glguy/advent/blob/main/solutions/src/2024/03.hs
2024-12-08 02:38:37 +0100 <glguy> (not that I'm using ReadP not Megaparsec, so I don't have to fuss with the 'try' uses
2024-12-08 02:40:36 +0100 <rstromlund> @glguy, I have your repo already cloned. I always compare my solutions to yours; your skills are way beyond mine. I use AoC to better learn Haskell since I don't use it professionally. : ))
2024-12-08 02:40:36 +0100 <lambdabot> Unknown command, try @list
2024-12-08 02:41:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 02:45:00 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2024-12-08 02:47:38 +0100 <rstromlund> glguy, I have your repo already cloned. I always compare my solutions to yours; your skills are way beyond mine. I use AoC to better learn Haskell since I don't use it professionally. :))
2024-12-08 02:51:06 +0100sprotte24(~sprotte24@p200300d16f1cbf00782b7bfd2f15122a.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-12-08 02:52:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 02:53:38 +0100 <dpratt> glguy not familiar with ReadP, but I have used Megaparsec for a couple things -- is ReadP something I should figure out?
2024-12-08 02:54:31 +0100 <geekosaur> not usually
2024-12-08 02:55:44 +0100 <dpratt> oh, I see ReadP is part of base, I guess that's a reason to consider using it
2024-12-08 02:55:51 +0100 <glguy> Parsec is more complicated to use but it's sometimes more efficient. ReadP isn't crucial to know
2024-12-08 02:56:01 +0100 <glguy> It also has worse error reporting
2024-12-08 02:56:31 +0100 <geekosaur> you say that like it has error reporting 😛
2024-12-08 02:57:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-08 02:57:12 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) meinside
2024-12-08 02:57:15 +0100 <geekosaur> it doesn't so much fail as give you an empty parse + the entire string as unparsed remainder)
2024-12-08 02:57:28 +0100 <glguy> Yeah, worse:)
2024-12-08 02:58:55 +0100 <dpratt> 😲
2024-12-08 02:59:02 +0100 <rstromlund> I don't remember why I began using Megaparsec, probably read a blog comparing all the options. Is there one that is more standard/accepted/efficient? Is it good to know a bit about many of them or a lot about one? Tips?
2024-12-08 02:59:27 +0100 <geekosaur> megaparsec's most common, and has very good error reporting and handling
2024-12-08 02:59:46 +0100 <geekosaur> there are faster ones, usually at the price of poorer errors (e.g. flatparse)
2024-12-08 03:00:07 +0100 <geekosaur> about the only thing ReadP has going for it is that it's in base
2024-12-08 03:00:28 +0100 <geekosaur> but Parsec (predecessor to Megaparsec) is bundled with the compiler
2024-12-08 03:00:32 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-12-08 03:00:50 +0100 <glguy> And it is easier to define some parsers in it since it is willing to backtrack further
2024-12-08 03:00:56 +0100 <glguy> ReadP that is
2024-12-08 03:01:15 +0100 <glguy> Which I find useful for trying to go fast in aoc
2024-12-08 03:01:48 +0100 <rstromlund> thx
2024-12-08 03:01:56 +0100 <geekosaur> (also Parsec has famously terrible errors unless you put some effort into error handling)
2024-12-08 03:08:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 03:09:12 +0100 <dmj`> ReadP is a secret weapon
2024-12-08 03:09:55 +0100 <haskellbridge> <Bowuigi> Lmao ReadP is bad enough to force me to make another parser combinator library for Hugs/Haskell98 https://codeberg.org/Bowuigi/honeycomb-hs
2024-12-08 03:10:49 +0100 <haskellbridge> <Bowuigi> I just needed position retrieval and good enough error messages so I did it all from scratch following another, similar library I did for Miranda
2024-12-08 03:10:57 +0100 <dmj`> glguy: for day 5, ReadP was clutch https://github.com/dmjio/aoc2024/blob/master/day5/Main.hs#L54-L59
2024-12-08 03:12:21 +0100alp(~alp@2001:861:8ca0:4940:cf08:e593:5c4c:fc77) (Ping timeout: 246 seconds)
2024-12-08 03:12:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 03:13:03 +0100 <haskellbridge> <Bowuigi> Running read inside read is kinda funny
2024-12-08 03:19:00 +0100 <haskellbridge> <Bowuigi> "readPrec_to_P readPrec 0" does the same as the "read <$> munch1 isDigit" but more efficiently inside the readP context
2024-12-08 03:19:20 +0100 <haskellbridge> <Bowuigi> For integers, that is
2024-12-08 03:21:35 +0100 <haskellbridge> <Bowuigi> s/ReadP is bad enough to force me to/ReadP is not appropiate for general parsing so I had to/
2024-12-08 03:22:09 +0100 <dmj`> only parsing 5 Chars so
2024-12-08 03:23:03 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-12-08 03:23:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 03:23:45 +0100 <haskellbridge> <Bowuigi> Fair enough
2024-12-08 03:26:33 +0100 <probie> <opinion>Actual parsing is overrated for AoC</opinion>
2024-12-08 03:26:37 +0100 <probie> > fmap (drop 1) . break null . map (map (read :: String -> Int) . words) . lines . map (\x -> if isDigit x || isSpace x then x else ' ') $ "1|2\n3|4\n5|6\n\n7,8,9\n10,11,12"
2024-12-08 03:26:38 +0100 <lambdabot> ([[1,2],[3,4],[5,6]],[[7,8,9],[10,11,12]])
2024-12-08 03:27:29 +0100 <geekosaur> but what about the programmer's sanity? /s
2024-12-08 03:27:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 03:32:31 +0100 <c_wraith> programmers don't have sanity.
2024-12-08 03:32:38 +0100 <rstromlund> I used lines, words, read, etc... for a couple of AoC years b/f I decided to tackle parsing. It does help programmer's sanity :p
2024-12-08 03:32:42 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-12-08 03:33:04 +0100 <c_wraith> I've been trying out ReadP. It's pretty good for something hidden in base.
2024-12-08 03:33:58 +0100 <c_wraith> though it was basically useless for day 6.
2024-12-08 03:35:08 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-12-08 03:37:50 +0100 <dmj`> "boot packages only" could be hard mode for aoc
2024-12-08 03:38:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 03:40:08 +0100 <glguy> I think the main non-boot package I'll use is fgl or arithmoi, but almost all of my solutions use at most container or array
2024-12-08 03:40:30 +0100 <glguy> https://github.com/glguy/advent/blob/main/solutions/solutions.cabal
2024-12-08 03:44:32 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf)
2024-12-08 03:45:15 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2024-12-08 03:45:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-08 03:45:53 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer)
2024-12-08 03:47:10 +0100 <dmj`> was tempted to try fgl or Data.Graph for day 5, went with two adj. list rep. using Map (one for the graph other for transposed graph). Sorted against the neighbors and the transposed neighbors to find the corrected paths
2024-12-08 03:47:29 +0100rekahsoft(~rekahsoft@76.69.85.220) (Read error: Connection reset by peer)
2024-12-08 03:48:08 +0100 <dmj`> glguy: didn't know cabal could handle that many executables :)
2024-12-08 03:50:45 +0100rekahsoft(~rekahsoft@76.69.85.220) rekahsoft
2024-12-08 03:51:32 +0100 <glguy> That's certainly the most I've ever tried
2024-12-08 03:53:04 +0100rstromlund(~user@user/rstromlund) (Ping timeout: 252 seconds)
2024-12-08 03:56:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 04:01:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 04:05:03 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-12-08 04:05:35 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2024-12-08 04:10:51 +0100rstromlund(~user@user/rstromlund) rstromlund
2024-12-08 04:12:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 04:15:52 +0100rstromlund(~user@user/rstromlund) (Ping timeout: 252 seconds)
2024-12-08 04:16:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 04:18:29 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf)
2024-12-08 04:20:00 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2024-12-08 04:21:19 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-12-08 04:23:36 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Ping timeout: 276 seconds)
2024-12-08 04:23:49 +0100JeremyB99(~JeremyB99@128.211.253.197)
2024-12-08 04:25:41 +0100Digit(~user@user/digit) (Ping timeout: 248 seconds)
2024-12-08 04:26:12 +0100JeremyB99(~JeremyB99@128.211.253.197) (Read error: Connection reset by peer)
2024-12-08 04:27:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 04:30:28 +0100 <dmj`> might get to 250 by next year
2024-12-08 04:31:29 +0100JeremyB99(~JeremyB99@2607:ac80:403:7:4192:b597:2e61:a67f)
2024-12-08 04:32:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 04:32:17 +0100JeremyB99(~JeremyB99@2607:ac80:403:7:4192:b597:2e61:a67f) (Read error: Connection reset by peer)
2024-12-08 04:34:04 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-08 04:34:55 +0100mange(~user@user/mange) mange
2024-12-08 04:40:26 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-12-08 04:42:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 04:46:23 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2024-12-08 04:46:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-08 04:47:08 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-12-08 04:47:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 04:47:39 +0100JeremyB99(~JeremyB99@dhcp-251-171.resnet.purdue.edu)
2024-12-08 04:57:40 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-12-08 04:58:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 04:59:21 +0100td_(~td@i5387093C.versanet.de) (Ping timeout: 276 seconds)
2024-12-08 04:59:27 +0100JeremyB99(~JeremyB99@dhcp-251-171.resnet.purdue.edu) (Remote host closed the connection)
2024-12-08 04:59:37 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a)
2024-12-08 05:00:56 +0100td_(~td@i5387090F.versanet.de) td_
2024-12-08 05:03:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 05:04:41 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2024-12-08 05:13:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 05:17:34 +0100tabemann_tabemann
2024-12-08 05:20:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-08 05:31:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 05:36:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 05:42:32 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-08 05:47:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 05:47:18 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-08 05:51:27 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-08 05:53:31 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 264 seconds)
2024-12-08 05:54:19 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-08 05:55:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 06:00:36 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2024-12-08 06:03:31 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2024-12-08 06:04:58 +0100pabs3(~pabs3@user/pabs3) pabs3
2024-12-08 06:06:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 06:07:36 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2024-12-08 06:08:55 +0100lol_jcarpenter2
2024-12-08 06:10:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 06:13:45 +0100emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2024-12-08 06:13:48 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 244 seconds)
2024-12-08 06:13:48 +0100rekahsoft(~rekahsoft@76.69.85.220) (Ping timeout: 244 seconds)
2024-12-08 06:17:54 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2024-12-08 06:21:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 06:21:33 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-12-08 06:22:37 +0100Square(~Square@user/square) Square
2024-12-08 06:23:06 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 244 seconds)
2024-12-08 06:23:56 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-12-08 06:24:54 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2024-12-08 06:25:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 06:31:18 +0100euphores(~SASL_euph@user/euphores) euphores
2024-12-08 06:36:15 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2024-12-08 06:36:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 06:38:52 +0100r-sta(~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net)
2024-12-08 06:38:53 +0100 <r-sta> im stuck on line 88
2024-12-08 06:38:54 +0100 <r-sta> https://github.com/munston/store/blob/main/store/store%20v2/src/Indexed.hs
2024-12-08 06:41:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 06:48:16 +0100 <r-sta> help help!
2024-12-08 06:48:44 +0100 <r-sta> i think im gona have to start over or do it another way or something
2024-12-08 06:49:12 +0100 <r-sta> the type system is like "i cant tell the difference between `n' and `(1 + (n-1))'
2024-12-08 06:49:50 +0100 <r-sta> does anyone want to walk through a simplified version of it with me step by step...
2024-12-08 06:52:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 06:54:29 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 248 seconds)
2024-12-08 06:58:51 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-12-08 06:59:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 06:59:18 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-08 07:12:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 07:12:42 +0100housemate(~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) housemate
2024-12-08 07:13:20 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-12-08 07:16:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 07:19:39 +0100pabs3(~pabs3@user/pabs3) pabs3
2024-12-08 07:21:44 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-08 07:25:19 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b1 - https://znc.in)
2024-12-08 07:26:42 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-12-08 07:27:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 07:35:04 +0100r-sta(~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed)
2024-12-08 07:35:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 07:42:39 +0100divya(divya@140.238.251.170) (Ping timeout: 252 seconds)
2024-12-08 07:46:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 07:51:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-08 08:00:28 +0100housemate(~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf)
2024-12-08 08:01:46 +0100homo(~homo@user/homo) (Quit: homo)
2024-12-08 08:03:35 +0100kenran(~void@user/kenran) kenran
2024-12-08 08:06:42 +0100sonolin(~michael@user/sonolin) (Quit: WeeChat 4.4.3)
2024-12-08 08:07:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 08:11:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 08:22:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 08:25:14 +0100falafel(~falafel@2603:8000:b4f0:62a0:920e:7ffd:f40e:23bf) falafel
2024-12-08 08:27:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 08:33:52 +0100housemate(~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) housemate
2024-12-08 08:37:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 08:42:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 08:44:32 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-08 08:52:20 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection)
2024-12-08 08:52:28 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a)
2024-12-08 08:53:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 08:54:00 +0100falafel(~falafel@2603:8000:b4f0:62a0:920e:7ffd:f40e:23bf) (Ping timeout: 276 seconds)
2024-12-08 08:57:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 09:00:00 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-12-08 09:00:01 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2024-12-08 09:00:36 +0100caconym(~caconym@user/caconym) caconym
2024-12-08 09:02:09 +0100mulk(~mulk@p5b11254a.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-12-08 09:03:53 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2024-12-08 09:04:54 +0100housemate(~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf)
2024-12-08 09:06:25 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 272 seconds)
2024-12-08 09:08:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 09:12:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 09:20:20 +0100Ranhir(~Ranhir@157.97.53.139) Ranhir
2024-12-08 09:20:37 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-08 09:23:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 09:25:29 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 244 seconds)
2024-12-08 09:28:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 09:28:38 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-12-08 09:32:22 +0100r-sta(~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net)
2024-12-08 09:33:13 +0100 <r-sta> how do i indictively provide infinite constraints!!?
2024-12-08 09:33:14 +0100 <r-sta> https://paste.tomsmeding.com/MaGHHdma
2024-12-08 09:33:22 +0100 <r-sta> inductive*
2024-12-08 09:34:40 +0100 <r-sta> it looks like its entering an infinite typechecking loop
2024-12-08 09:34:45 +0100 <r-sta> what should i do!?
2024-12-08 09:39:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 09:39:11 +0100Ranhir(~Ranhir@157.97.53.139) Ranhir
2024-12-08 09:39:45 +0100 <r-sta> i cant even express the infinite constraint!
2024-12-08 09:39:46 +0100 <r-sta> type InfiniteConstraint s l a = (SaveIndicies (Nexts s l) a,InfiniteConstraint (S s) l a)
2024-12-08 09:39:52 +0100 <r-sta> Cycle in type synonym declarations:
2024-12-08 09:41:09 +0100 <r-sta> hmm, i can turn that into a class
2024-12-08 09:41:18 +0100 <r-sta> and use undecidable superclasses
2024-12-08 09:41:27 +0100 <r-sta> but then it complains about enterin an infinite loop
2024-12-08 09:41:37 +0100 <r-sta>  Suggested fix:
2024-12-08 09:41:37 +0100 <r-sta>       Set limit with -fconstraint-solver-iterations=n; n=0 for no limit
2024-12-08 09:41:46 +0100 <r-sta> which would surely make it hang at compile time
2024-12-08 09:42:03 +0100 <r-sta> (it does!)
2024-12-08 09:42:58 +0100 <r-sta> ...
2024-12-08 09:43:08 +0100 <r-sta> is there any way i can prove all of these constraints!?
2024-12-08 09:43:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-08 09:44:05 +0100 <r-sta> can i lie to it somehow!?
2024-12-08 09:44:21 +0100 <r-sta> "these constraints hold, just go ahead"
2024-12-08 09:45:27 +0100r-sta(~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed)
2024-12-08 09:45:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 09:46:18 +0100nschoe(~nschoe@2a01:e0a:8e:a190:70f8:56a2:d0db:fe4d) (Ping timeout: 272 seconds)
2024-12-08 09:50:52 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-08 09:51:47 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection)
2024-12-08 09:51:55 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a)
2024-12-08 09:53:30 +0100libertyprime(~libertypr@118.92.70.94) libertyprime
2024-12-08 09:54:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 09:54:38 +0100libertyp1ime(~libertypr@118.92.70.94) libertyprime
2024-12-08 09:54:47 +0100libertyprime(~libertypr@118.92.70.94) (Remote host closed the connection)
2024-12-08 09:54:47 +0100libertyp1ime(~libertypr@118.92.70.94) (Remote host closed the connection)
2024-12-08 09:55:03 +0100falafel(~falafel@2603:8000:b4f0:62a0:8b3d:cd0:4f29:72a7) falafel
2024-12-08 09:55:05 +0100libertyprime(~libertypr@118.92.70.94) libertyprime
2024-12-08 09:55:06 +0100libertyprime(~libertypr@118.92.70.94) (Client Quit)
2024-12-08 09:55:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-08 09:58:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 10:05:27 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-08 10:06:34 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-08 10:09:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 10:09:34 +0100ephilalethes(~noumenon@ppp-58-11-188-222.revip2.asianet.co.th) noumenon
2024-12-08 10:14:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 10:19:28 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2024-12-08 10:21:01 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-12-08 10:24:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 10:29:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 10:40:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 10:45:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 10:55:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 10:55:03 +0100ftzm(~ftzm@085081054140.dynamic.telenor.dk) (Ping timeout: 246 seconds)
2024-12-08 10:59:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 10:59:52 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2024-12-08 11:03:42 +0100housemate(~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) housemate
2024-12-08 11:06:15 +0100housemate(~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Remote host closed the connection)
2024-12-08 11:09:04 +0100housemate(~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) housemate
2024-12-08 11:10:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 11:14:23 +0100ftzm(~ftzm@085081049156.dynamic.telenor.dk) ftzm
2024-12-08 11:16:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 11:17:19 +0100housemate(~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Ping timeout: 260 seconds)
2024-12-08 11:27:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 11:27:08 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-08 11:27:22 +0100mulk(~mulk@p5b11254a.dip0.t-ipconnect.de) mulk
2024-12-08 11:27:51 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Quit: ZNC 1.9.0 - https://znc.in)
2024-12-08 11:27:55 +0100sprotte24(~sprotte24@p200300d16f24a7000c2549cd7d1c6472.dip0.t-ipconnect.de)
2024-12-08 11:28:09 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt)
2024-12-08 11:30:06 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-12-08 11:31:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 11:42:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 11:47:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 11:52:47 +0100 <Square> Is there some easy way of getting a vector-n type with basic arithmetic? I was hoping "(Int,Int)" could get it somehow?
2024-12-08 11:56:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 11:56:31 +0100falafel(~falafel@2603:8000:b4f0:62a0:8b3d:cd0:4f29:72a7) (Ping timeout: 264 seconds)
2024-12-08 12:00:01 +0100 <int-e> Not in base. There are libraries, like https://hackage.haskell.org/package/linear or https://hackage.haskell.org/package/vector-space (not endorsing either one)
2024-12-08 12:00:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 12:01:44 +0100 <Square> int-e, thanks
2024-12-08 12:04:58 +0100 <int-e> (just for the sake of completeness: there's Data.Complex which is a trap)
2024-12-08 12:06:43 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-08 12:10:55 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-12-08 12:13:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 12:14:30 +0100gvg(~dcd@user/gvg) (Ping timeout: 272 seconds)
2024-12-08 12:20:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 12:21:43 +0100 <Leary> % let v2 x y = Ap \case{ False -> x; True -> y }; fromV2 (Ap f) = (f False, f True) in fromV2 (v2 3 4 + v2 5 6)
2024-12-08 12:21:43 +0100 <yahb2> (8,10)
2024-12-08 12:22:01 +0100 <Leary> Square: ^ only half joking
2024-12-08 12:22:42 +0100 <Leary> We should have `instance (Num a_1, ..., Num a_n) => Num (a_1, ..., a_n)`, then `(Int, Int)` would just work.
2024-12-08 12:23:52 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-08 12:25:09 +0100 <int-e> Leary: but what exactly do you do with abs and signum
2024-12-08 12:26:00 +0100 <Leary> (,) is direct product. You do everything pointwise.
2024-12-08 12:31:13 +0100gvg(~dcd@user/gvg) gvg
2024-12-08 12:31:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 12:36:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 12:37:56 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-08 12:38:00 +0100__monty__(~toonn@user/toonn) toonn
2024-12-08 12:47:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 12:50:19 +0100supercode(~supercode@user/supercode) supercode
2024-12-08 12:51:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-08 13:01:00 +0100notzmv(~umar@user/notzmv) (Ping timeout: 276 seconds)
2024-12-08 13:02:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 13:04:16 +0100supercode(~supercode@user/supercode) (Quit: Client closed)
2024-12-08 13:04:54 +0100acidjnk_new(~acidjnk@p200300d6e7283f68cd5d354d221d3a3f.dip0.t-ipconnect.de) acidjnk
2024-12-08 13:05:41 +0100acidjnk_new3(~acidjnk@p200300d6e7283f31719852d6c421a6d2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-12-08 13:07:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-08 13:08:36 +0100agent314(~quassel@169.150.203.11) agent314
2024-12-08 13:17:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 13:22:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 13:25:21 +0100agent314(~quassel@169.150.203.11) (Remote host closed the connection)
2024-12-08 13:25:28 +0100mrmr155334346318(~mrmr@user/mrmr) mrmr
2024-12-08 13:26:36 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2024-12-08 13:33:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 13:36:05 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-08 13:37:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 13:38:44 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-08 13:40:28 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-12-08 13:48:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 13:51:07 +0100AlexZenon(~alzenon@178.34.161.102) (Quit: ;-)
2024-12-08 13:52:27 +0100AlexNoo(~AlexNoo@178.34.161.102) (Quit: Leaving)
2024-12-08 13:55:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 13:56:10 +0100fmira(~user@user/fmira) (Remote host closed the connection)
2024-12-08 13:56:39 +0100fmira(~user@user/fmira) fmira
2024-12-08 13:57:54 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2024-12-08 13:59:30 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2024-12-08 14:06:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 14:11:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 14:13:48 +0100mange(~user@user/mange) (Quit: Zzz...)
2024-12-08 14:19:58 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-08 14:22:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 14:26:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-08 14:29:56 +0100dpratt(~dpratt@165.225.220.148) (Quit: Client closed)
2024-12-08 14:33:16 +0100kenran(~void@user/kenran) (Remote host closed the connection)
2024-12-08 14:37:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 14:41:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 14:43:14 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-08 14:52:19 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-08 14:52:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 14:53:28 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-12-08 14:55:40 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-08 14:58:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 15:07:34 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-12-08 15:09:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 15:13:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 15:24:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 15:28:29 +0100cyanteeth(~cyanteeth@user/cyanteeth) cyanteeth
2024-12-08 15:31:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 15:42:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 15:51:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 15:59:51 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-12-08 16:05:04 +0100pja(~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) pja
2024-12-08 16:05:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 16:06:32 +0100AlexNoo(~AlexNoo@5.139.233.0)
2024-12-08 16:06:57 +0100AlexNoo(~AlexNoo@5.139.233.0) (Read error: Connection reset by peer)
2024-12-08 16:07:12 +0100AlexZenon(~alzenon@5.139.233.0)
2024-12-08 16:07:15 +0100AlexZenon_2(~alzenon@5.139.233.0)
2024-12-08 16:07:20 +0100AlexNoo(~AlexNoo@5.139.233.0)
2024-12-08 16:12:29 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-12-08 16:12:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-08 16:15:30 +0100AlexZenon_2(~alzenon@5.139.233.0) (Quit: ;-)
2024-12-08 16:17:54 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-12-08 16:23:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 16:30:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-08 16:32:35 +0100alexherbo2(~alexherbo@2a02-8440-341c-4359-411e-3e02-e3cd-a2eb.rev.sfr.net) alexherbo2
2024-12-08 16:38:08 +0100ystael(~ystael@user/ystael) ystael
2024-12-08 16:41:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 16:45:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 16:54:53 +0100alexherbo2(~alexherbo@2a02-8440-341c-4359-411e-3e02-e3cd-a2eb.rev.sfr.net) (Remote host closed the connection)
2024-12-08 16:55:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-08 16:55:23 +0100alexherbo2(~alexherbo@2a02-8440-341c-4359-ec49-a69e-0665-9bd9.rev.sfr.net) alexherbo2
2024-12-08 16:56:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 16:58:46 +0100alexherbo2(~alexherbo@2a02-8440-341c-4359-ec49-a69e-0665-9bd9.rev.sfr.net) (Remote host closed the connection)
2024-12-08 17:00:45 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2024-12-08 17:01:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-12-08 17:01:57 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada
2024-12-08 17:05:52 +0100nucleus(~grigory@77-174-131-220.fixed.kpn.net)
2024-12-08 17:09:43 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer)
2024-12-08 17:10:19 +0100nucleus(~grigory@77-174-131-220.fixed.kpn.net) (Ping timeout: 264 seconds)
2024-12-08 17:10:24 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada
2024-12-08 17:12:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 17:13:20 +0100haritz(~hrtz@user/haritz) (Read error: Connection reset by peer)
2024-12-08 17:16:38 +0100 <glguy> Was there anything clever to do in today's AoC problem? https://github.com/glguy/advent/blob/main/solutions/src/2024/08.hs
2024-12-08 17:17:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-08 17:22:33 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-08 17:26:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-08 17:27:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 17:28:33 +0100pabs3(~pabs3@user/pabs3) (Remote host closed the connection)
2024-12-08 17:31:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-08 17:33:50 +0100pabs3(~pabs3@user/pabs3) pabs3
2024-12-08 17:38:56 +0100haritz(~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737)
2024-12-08 17:38:59 +0100haritz(~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host)
2024-12-08 17:38:59 +0100haritz(~hrtz@user/haritz) haritz
2024-12-08 17:41:27 +0100 <int-e> glguy: more cute than clever: zip [x0,x1..] [y0,y1..]
2024-12-08 17:42:07 +0100cyanteeth(~cyanteeth@user/cyanteeth) (Quit: cyanteeth)
2024-12-08 17:42:42 +0100 <int-e> (I don't think that there was anything interesting algorithmically)
2024-12-08 17:42:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 17:44:22 +0100cyanteeth(~cyanteeth@user/cyanteeth) cyanteeth
2024-12-08 17:47:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 17:49:24 +0100 <opqdonut> cute indeed
2024-12-08 17:51:49 +0100parosh(~user@147.235.211.174)
2024-12-08 17:52:55 +0100 <parosh> > lambdabot foldr (+) 0 [1..10]
2024-12-08 17:52:57 +0100 <lambdabot> error:
2024-12-08 17:52:57 +0100 <lambdabot> Variable not in scope:
2024-12-08 17:52:57 +0100 <lambdabot> lambdabot
2024-12-08 17:53:11 +0100 <parosh> > foldr (+) 0 [1..10]
2024-12-08 17:53:12 +0100 <lambdabot> 55
2024-12-08 17:53:13 +0100 <int-e> @let lambdabot = id
2024-12-08 17:53:14 +0100 <lambdabot> Defined.
2024-12-08 17:53:26 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2024-12-08 17:54:07 +0100 <parosh> quit
2024-12-08 17:54:13 +0100parosh(~user@147.235.211.174) ()
2024-12-08 17:54:50 +0100AlexZenon(~alzenon@5.139.233.0) (Quit: ;-)
2024-12-08 17:56:00 +0100gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2024-12-08 17:57:08 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-12-08 17:57:44 +0100AlexNoo(~AlexNoo@5.139.233.0) (Quit: Leaving)
2024-12-08 17:58:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 17:59:49 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-12-08 18:00:12 +0100stiell(~stiell@gateway/tor-sasl/stiell) stiell
2024-12-08 18:01:00 +0100cyanteeth(~cyanteeth@user/cyanteeth) (Quit: cyanteeth)
2024-12-08 18:02:19 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2024-12-08 18:04:21 +0100youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-12-08 18:04:47 +0100youthlic(~Thunderbi@user/youthlic) youthlic
2024-12-08 18:04:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 18:05:54 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-12-08 18:09:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 18:13:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 18:17:47 +0100billchenchina-(~billchenc@2408:824e:d2a:c3a1:db8f:5c24:aa85:6ee2) billchenchina
2024-12-08 18:19:35 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection)
2024-12-08 18:19:42 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a)
2024-12-08 18:20:49 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 260 seconds)
2024-12-08 18:23:28 +0100billchenchina(~billchenc@103.152.35.21) billchenchina
2024-12-08 18:24:27 +0100AlexZenon(~alzenon@5.139.233.0)
2024-12-08 18:25:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 18:26:04 +0100billchenchina-(~billchenc@2408:824e:d2a:c3a1:db8f:5c24:aa85:6ee2) (Ping timeout: 260 seconds)
2024-12-08 18:26:55 +0100AlexNoo(~AlexNoo@5.139.233.0)
2024-12-08 18:26:56 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-08 18:27:23 +0100AlexZenon_2(~alzenon@5.139.233.0)
2024-12-08 18:27:43 +0100AlexZenon_2(~alzenon@5.139.233.0) (Client Quit)
2024-12-08 18:30:51 +0100korrykatti(~korrykatt@user/korrykatti) korrykatti
2024-12-08 18:32:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 18:32:12 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2024-12-08 18:33:39 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Ping timeout: 260 seconds)
2024-12-08 18:35:40 +0100 <mauke> > lambdabot 2 + 2
2024-12-08 18:35:41 +0100 <lambdabot> 4
2024-12-08 18:35:55 +0100JeremyB99(~JeremyB99@2607:fb90:9ae3:a13f:891b:ae3b:7821:c5b0)
2024-12-08 18:38:15 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-12-08 18:40:15 +0100JeremyB99(~JeremyB99@2607:fb90:9ae3:a13f:891b:ae3b:7821:c5b0) (Ping timeout: 260 seconds)
2024-12-08 18:42:15 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-12-08 18:43:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 18:47:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 18:50:01 +0100 <c_wraith> > lambdabot "hello"
2024-12-08 18:50:02 +0100 <lambdabot> "hello"
2024-12-08 18:50:06 +0100 <c_wraith> that's what I thought
2024-12-08 18:51:32 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-12-08 18:52:29 +0100JeremyB99(~JeremyB99@2607:fb91:be7:5943:dd0b:2017:a0e0:15a5)
2024-12-08 18:52:54 +0100JeremyB99(~JeremyB99@2607:fb91:be7:5943:dd0b:2017:a0e0:15a5) (Read error: Connection reset by peer)
2024-12-08 18:56:30 +0100JeremyB99(~JeremyB99@128.211.251.218)
2024-12-08 18:56:52 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-12-08 18:58:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 19:00:46 +0100JeremyB99(~JeremyB99@128.211.251.218) (Remote host closed the connection)
2024-12-08 19:00:55 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:215b:29b2:e0ce:102c)
2024-12-08 19:02:24 +0100euphores(~SASL_euph@user/euphores) euphores
2024-12-08 19:02:38 +0100youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-12-08 19:03:04 +0100youthlic(~Thunderbi@user/youthlic) youthlic
2024-12-08 19:03:16 +0100 <hellwolf> "foo :: m a -> (a -> b) -> m b", but "a" has additional constraint on it, does "foo" have a name?
2024-12-08 19:03:46 +0100 <hellwolf> A functor that doesn't work for the entire Husk.
2024-12-08 19:04:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-08 19:10:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 19:10:17 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-12-08 19:11:22 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2024-12-08 19:12:07 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:215b:29b2:e0ce:102c) (Ping timeout: 252 seconds)
2024-12-08 19:12:22 +0100JeremyB99(~JeremyB99@2607:fb90:d960:80a4:1a6:deec:a53a:e86)
2024-12-08 19:12:24 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2024-12-08 19:13:11 +0100Lord_of_Life_Lord_of_Life
2024-12-08 19:14:34 +0100 <__monty__> int-e: Dammit, that's brilliant -.-
2024-12-08 19:14:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-08 19:19:41 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-12-08 19:22:38 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2024-12-08 19:25:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 19:30:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-08 19:30:56 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-08 19:36:19 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-12-08 19:40:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 19:45:07 +0100JeremyB99(~JeremyB99@2607:fb90:d960:80a4:1a6:deec:a53a:e86) (Ping timeout: 252 seconds)
2024-12-08 19:45:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-08 19:45:24 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-12-08 19:45:29 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53)
2024-12-08 19:46:10 +0100 <monochrom> hellwolf: Perhaps "restricted functor" in the Haskell community. (In the math community, just "functor" because you can always set up your category to enforce the constraint.)
2024-12-08 19:46:46 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2024-12-08 19:47:29 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Remote host closed the connection)
2024-12-08 19:47:37 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53)
2024-12-08 19:52:14 +0100 <ncf> hellwolf: https://dorchard.wordpress.com/2011/10/18/subcategories-in-haskell-exofunctors/
2024-12-08 19:52:43 +0100youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-12-08 19:53:09 +0100youthlic(~Thunderbi@user/youthlic) youthlic
2024-12-08 19:53:47 +0100ephilalethes(~noumenon@ppp-58-11-188-222.revip2.asianet.co.th) (Read error: Connection reset by peer)
2024-12-08 19:56:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 19:59:35 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-12-08 20:00:01 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 248 seconds)
2024-12-08 20:05:33 +0100rvalue-rvalue
2024-12-08 20:06:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-08 20:11:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 20:13:50 +0100alp(~alp@2001:861:8ca0:4940:b657:7732:c16b:433f)
2024-12-08 20:15:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 20:15:27 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer)
2024-12-08 20:25:51 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53)
2024-12-08 20:26:20 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer)
2024-12-08 20:27:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 20:31:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 20:33:49 +0100 <hellwolf> That's the one, precisely.
2024-12-08 20:38:03 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-08 20:42:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 20:43:53 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-08 20:45:56 +0100 <[exa]> Any users of chalmers-lava (or generally other lavas) here? I'm wondering how much the approach scales to "bigger" projects. For example, are there any performance/scaling/other issues to expect if I e.g. try to write some kind of smaller CPU core in that? (microcontroller-level rv32 or so.)
2024-12-08 20:47:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-08 20:48:46 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53)
2024-12-08 20:53:28 +0100homo(~homo@82-128-196-26.bb.dnainternet.fi)
2024-12-08 20:53:48 +0100homo(~homo@82-128-196-26.bb.dnainternet.fi) (Changing host)
2024-12-08 20:53:48 +0100homo(~homo@user/homo) homo
2024-12-08 20:54:38 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer)
2024-12-08 20:57:02 +0100michalz(~michalz@185.246.207.201)
2024-12-08 20:57:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 21:00:03 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-12-08 21:00:39 +0100caconym(~caconym@user/caconym) caconym
2024-12-08 21:02:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 21:06:07 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-08 21:08:46 +0100pavonia(~user@user/siracusa) siracusa
2024-12-08 21:10:26 +0100leah2(~leah@vuxu.org) (Ping timeout: 244 seconds)
2024-12-08 21:11:09 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2024-12-08 21:11:23 +0100weary-traveler(~user@user/user363627) user363627
2024-12-08 21:12:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 21:16:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-08 21:23:08 +0100leah2(~leah@vuxu.org) leah2
2024-12-08 21:26:14 +0100Square(~Square@user/square) (Ping timeout: 244 seconds)
2024-12-08 21:26:21 +0100billchenchina(~billchenc@103.152.35.21) (Remote host closed the connection)
2024-12-08 21:27:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 21:31:55 +0100Guest58(~Guest58@cable-89-216-115-69.static.sbb.rs)
2024-12-08 21:32:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 21:39:40 +0100Guest58(~Guest58@cable-89-216-115-69.static.sbb.rs) (Ping timeout: 240 seconds)
2024-12-08 21:42:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 21:47:47 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-12-08 21:50:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-08 22:00:19 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53)
2024-12-08 22:00:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 22:03:05 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-12-08 22:04:16 +0100korrykatti(~korrykatt@user/korrykatti) (Remote host closed the connection)
2024-12-08 22:05:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 22:11:17 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer)
2024-12-08 22:16:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 22:20:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 22:25:08 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53)
2024-12-08 22:31:31 +0100 <tomsmeding> @tell merijn weren't you talking about the GHC RTS not being optimised for large numbers of threads recently? relevant https://gitlab.haskell.org/ghc/ghc/-/merge_requests/13692
2024-12-08 22:31:31 +0100 <lambdabot> Consider it noted.
2024-12-08 22:31:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 22:36:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 22:36:18 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer)
2024-12-08 22:37:01 +0100Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds)
2024-12-08 22:40:49 +0100dpratt(~dpratt@165.225.220.148) dpratt
2024-12-08 22:41:01 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53)
2024-12-08 22:43:26 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer)
2024-12-08 22:44:34 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53)
2024-12-08 22:46:14 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-12-08 22:46:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 22:47:27 +0100cyanteeth(~cyanteeth@user/cyanteeth) cyanteeth
2024-12-08 22:51:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-08 22:55:46 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-12-08 23:02:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 23:03:40 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-08 23:03:53 +0100ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2024-12-08 23:06:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-08 23:17:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 23:23:29 +0100OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2024-12-08 23:23:54 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer)
2024-12-08 23:24:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-08 23:27:50 +0100jbalint(~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122)
2024-12-08 23:28:06 +0100JeremyB99(~JeremyB99@2607:fb90:a2c4:a67:4cb9:7f7f:88ae:6bed)
2024-12-08 23:28:40 +0100JeremyB99(~JeremyB99@2607:fb90:a2c4:a67:4cb9:7f7f:88ae:6bed) (Read error: Connection reset by peer)
2024-12-08 23:29:19 +0100michalz(~michalz@185.246.207.201) (Remote host closed the connection)
2024-12-08 23:29:53 +0100Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2024-12-08 23:35:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 23:36:39 +0100Pozyomka(~pyon@user/pyon) (Ping timeout: 246 seconds)
2024-12-08 23:38:41 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-12-08 23:38:55 +0100mange(~user@user/mange) mange
2024-12-08 23:39:02 +0100JeremyB99(~JeremyB99@pal-210-106-52.itap.purdue.edu)
2024-12-08 23:39:23 +0100JeremyB99(~JeremyB99@pal-210-106-52.itap.purdue.edu) (Read error: Connection reset by peer)
2024-12-08 23:41:08 +0100Pozyomka(~pyon@user/pyon) pyon
2024-12-08 23:42:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-12-08 23:50:18 +0100xff0x(~xff0x@2405:6580:b080:900:1b11:7569:896c:ad6b) (Quit: xff0x)
2024-12-08 23:51:41 +0100sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101
2024-12-08 23:53:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-08 23:54:24 +0100JeremyB99(~JeremyB99@2607:fb90:2c62:4a69:58f6:b74e:681c:a137)
2024-12-08 23:55:20 +0100JeremyB99(~JeremyB99@2607:fb90:2c62:4a69:58f6:b74e:681c:a137) (Read error: Connection reset by peer)
2024-12-08 23:55:55 +0100xff0x(~xff0x@2405:6580:b080:900:8893:ef7:6a2e:2b23)
2024-12-08 23:57:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-08 23:57:55 +0100cyanteeth(~cyanteeth@user/cyanteeth) (Quit: cyanteeth)