2024-12-08 00:00:05 +0100 | user_ | (~user@user/fmira) fmira |
2024-12-08 00:00:05 +0100 | user_ | (~user@user/fmira) (Client Quit) |
2024-12-08 00:00:19 +0100 | fmira | (~user@user/fmira) fmira |
2024-12-08 00:00:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 00:01:49 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
2024-12-08 00:01:51 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer) |
2024-12-08 00:05:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 00:06:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-12-08 00:12:16 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
2024-12-08 00:13:07 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer) |
2024-12-08 00:16:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 00:16:31 +0100 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
2024-12-08 00:21:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-12-08 00:29:21 +0100 | rstromlund | (~user@user/rstromlund) (Ping timeout: 248 seconds) |
2024-12-08 00:31:17 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-12-08 00:31:24 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 00:41:22 +0100 | dpratt | (~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 +0100 | merijn | (~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 +0100 | gehmehgeh | (~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 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2024-12-08 00:51:34 +0100 | merijn | (~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 +0100 | sindu | (~sindu@176.75.224.1) |
2024-12-08 01:02:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 01:07:07 +0100 | Everything | (~Everythin@46.211.214.172) (Quit: leaving) |
2024-12-08 01:08:58 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | homo | (~homo@user/homo) (Quit: homo) |
2024-12-08 01:35:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 01:39:43 +0100 | homo | (~homo@82-128-196-26.bb.dnainternet.fi) |
2024-12-08 01:40:01 +0100 | homo | (~homo@82-128-196-26.bb.dnainternet.fi) (Changing host) |
2024-12-08 01:40:01 +0100 | homo | (~homo@user/homo) homo |
2024-12-08 01:40:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 01:43:52 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
2024-12-08 01:46:14 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer) |
2024-12-08 01:49:07 +0100 | rstromlund | (~user@user/rstromlund) rstromlund |
2024-12-08 01:50:06 +0100 | cyanteeth | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 01:51:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-08 01:52:23 +0100 | homo | (~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 +0100 | tromp | (~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 +0100 | homo | (~homo@82-128-196-26.bb.dnainternet.fi) |
2024-12-08 01:54:40 +0100 | homo | (~homo@82-128-196-26.bb.dnainternet.fi) (Changing host) |
2024-12-08 01:54:40 +0100 | homo | (~homo@user/homo) homo |
2024-12-08 01:54:45 +0100 | rstromlund | (~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 +0100 | geekosaur | hands monochrom a KSR33 |
2024-12-08 01:55:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 01:58:11 +0100 | rstromlund | (~user@user/rstromlund) rstromlund |
2024-12-08 01:59:05 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2024-12-08 02:06:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 02:10:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 02:18:16 +0100 | elnegro | (elnegro@r186-50-74-75.dialup.adsl.anteldata.net.uy) elnegro |
2024-12-08 02:21:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 02:26:09 +0100 | merijn | (~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 +0100 | sindu | (~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 +0100 | zzz | (~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 +0100 | zero | (~z@user/zero) zero |
2024-12-08 02:30:54 +0100 | elnegro | (elnegro@r186-50-74-75.dialup.adsl.anteldata.net.uy) () |
2024-12-08 02:33:54 +0100 | peterbecich | (~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 +0100 | Tuplanolla | (~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 +0100 | merijn | (~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 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-12-08 02:38:00 +0100 | MyNetAz | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 02:45:00 +0100 | MyNetAz | (~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 +0100 | sprotte24 | (~sprotte24@p200300d16f1cbf00782b7bfd2f15122a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-12-08 02:52:40 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-08 02:57:12 +0100 | meinside | (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 +0100 | wootehfoot | (~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 +0100 | merijn | (~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 +0100 | alp | (~alp@2001:861:8ca0:4940:cf08:e593:5c4c:fc77) (Ping timeout: 246 seconds) |
2024-12-08 03:12:27 +0100 | merijn | (~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 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-12-08 03:23:24 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | peterbecich | (~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 +0100 | JuanDaugherty | (~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 +0100 | merijn | (~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 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
2024-12-08 03:45:15 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2024-12-08 03:45:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-08 03:45:53 +0100 | JeremyB99 | (~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 +0100 | rekahsoft | (~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 +0100 | rekahsoft | (~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 +0100 | rstromlund | (~user@user/rstromlund) (Ping timeout: 252 seconds) |
2024-12-08 03:56:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 04:01:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 04:05:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-12-08 04:05:35 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2024-12-08 04:10:51 +0100 | rstromlund | (~user@user/rstromlund) rstromlund |
2024-12-08 04:12:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 04:15:52 +0100 | rstromlund | (~user@user/rstromlund) (Ping timeout: 252 seconds) |
2024-12-08 04:16:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 04:18:29 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
2024-12-08 04:20:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2024-12-08 04:21:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2024-12-08 04:23:36 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Ping timeout: 276 seconds) |
2024-12-08 04:23:49 +0100 | JeremyB99 | (~JeremyB99@128.211.253.197) |
2024-12-08 04:25:41 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
2024-12-08 04:26:12 +0100 | JeremyB99 | (~JeremyB99@128.211.253.197) (Read error: Connection reset by peer) |
2024-12-08 04:27:34 +0100 | merijn | (~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 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:403:7:4192:b597:2e61:a67f) |
2024-12-08 04:32:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 04:32:17 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:403:7:4192:b597:2e61:a67f) (Read error: Connection reset by peer) |
2024-12-08 04:34:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-12-08 04:34:55 +0100 | mange | (~user@user/mange) mange |
2024-12-08 04:40:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-12-08 04:42:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 04:46:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2024-12-08 04:46:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-08 04:47:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-12-08 04:47:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 04:47:39 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-171.resnet.purdue.edu) |
2024-12-08 04:57:40 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-12-08 04:58:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 04:59:21 +0100 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 276 seconds) |
2024-12-08 04:59:27 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-171.resnet.purdue.edu) (Remote host closed the connection) |
2024-12-08 04:59:37 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) |
2024-12-08 05:00:56 +0100 | td_ | (~td@i5387090F.versanet.de) td_ |
2024-12-08 05:03:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 05:04:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2024-12-08 05:13:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 05:17:34 +0100 | tabemann_ | tabemann |
2024-12-08 05:20:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-08 05:31:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 05:36:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 05:42:32 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
2024-12-08 05:47:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 05:47:18 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
2024-12-08 05:51:27 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
2024-12-08 05:53:31 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
2024-12-08 05:54:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-12-08 05:55:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 06:00:36 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
2024-12-08 06:03:31 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2024-12-08 06:04:58 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2024-12-08 06:06:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 06:07:36 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
2024-12-08 06:08:55 +0100 | lol_ | jcarpenter2 |
2024-12-08 06:10:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 06:13:45 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
2024-12-08 06:13:48 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 244 seconds) |
2024-12-08 06:13:48 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Ping timeout: 244 seconds) |
2024-12-08 06:17:54 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
2024-12-08 06:21:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 06:21:33 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2024-12-08 06:22:37 +0100 | Square | (~Square@user/square) Square |
2024-12-08 06:23:06 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 244 seconds) |
2024-12-08 06:23:56 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-12-08 06:24:54 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
2024-12-08 06:25:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 06:31:18 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2024-12-08 06:36:15 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
2024-12-08 06:36:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 06:38:52 +0100 | r-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 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 06:54:29 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
2024-12-08 06:58:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-12-08 06:59:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 06:59:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-12-08 07:12:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 07:12:42 +0100 | housemate | (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) housemate |
2024-12-08 07:13:20 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-12-08 07:16:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 07:19:39 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2024-12-08 07:21:44 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
2024-12-08 07:25:19 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b1 - https://znc.in) |
2024-12-08 07:26:42 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2024-12-08 07:27:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 07:35:04 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
2024-12-08 07:35:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 07:42:39 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 252 seconds) |
2024-12-08 07:46:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 07:51:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-12-08 08:00:28 +0100 | housemate | (~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 +0100 | homo | (~homo@user/homo) (Quit: homo) |
2024-12-08 08:03:35 +0100 | kenran | (~void@user/kenran) kenran |
2024-12-08 08:06:42 +0100 | sonolin | (~michael@user/sonolin) (Quit: WeeChat 4.4.3) |
2024-12-08 08:07:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 08:11:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 08:22:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 08:25:14 +0100 | falafel | (~falafel@2603:8000:b4f0:62a0:920e:7ffd:f40e:23bf) falafel |
2024-12-08 08:27:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 08:33:52 +0100 | housemate | (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) housemate |
2024-12-08 08:37:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 08:42:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 08:44:32 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
2024-12-08 08:52:20 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection) |
2024-12-08 08:52:28 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) |
2024-12-08 08:53:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 08:54:00 +0100 | falafel | (~falafel@2603:8000:b4f0:62a0:920e:7ffd:f40e:23bf) (Ping timeout: 276 seconds) |
2024-12-08 08:57:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-12-08 09:00:01 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-12-08 09:00:36 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-12-08 09:02:09 +0100 | mulk | (~mulk@p5b11254a.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-12-08 09:03:53 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2024-12-08 09:04:54 +0100 | housemate | (~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 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 272 seconds) |
2024-12-08 09:08:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 09:12:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 09:20:20 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
2024-12-08 09:20:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-08 09:23:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 09:25:29 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 244 seconds) |
2024-12-08 09:28:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 09:28:38 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-12-08 09:32:22 +0100 | r-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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 09:39:11 +0100 | Ranhir | (~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 +0100 | tromp | (~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 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
2024-12-08 09:45:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 09:46:18 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:70f8:56a2:d0db:fe4d) (Ping timeout: 272 seconds) |
2024-12-08 09:50:52 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-12-08 09:51:47 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection) |
2024-12-08 09:51:55 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) |
2024-12-08 09:53:30 +0100 | libertyprime | (~libertypr@118.92.70.94) libertyprime |
2024-12-08 09:54:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 09:54:38 +0100 | libertyp1ime | (~libertypr@118.92.70.94) libertyprime |
2024-12-08 09:54:47 +0100 | libertyprime | (~libertypr@118.92.70.94) (Remote host closed the connection) |
2024-12-08 09:54:47 +0100 | libertyp1ime | (~libertypr@118.92.70.94) (Remote host closed the connection) |
2024-12-08 09:55:03 +0100 | falafel | (~falafel@2603:8000:b4f0:62a0:8b3d:cd0:4f29:72a7) falafel |
2024-12-08 09:55:05 +0100 | libertyprime | (~libertypr@118.92.70.94) libertyprime |
2024-12-08 09:55:06 +0100 | libertyprime | (~libertypr@118.92.70.94) (Client Quit) |
2024-12-08 09:55:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-08 09:58:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 10:05:27 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
2024-12-08 10:06:34 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
2024-12-08 10:09:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 10:09:34 +0100 | ephilalethes | (~noumenon@ppp-58-11-188-222.revip2.asianet.co.th) noumenon |
2024-12-08 10:14:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 10:19:28 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
2024-12-08 10:21:01 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-12-08 10:24:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 10:29:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 10:40:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 10:45:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 10:55:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 10:55:03 +0100 | ftzm | (~ftzm@085081054140.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
2024-12-08 10:59:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 10:59:52 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2024-12-08 11:03:42 +0100 | housemate | (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) housemate |
2024-12-08 11:06:15 +0100 | housemate | (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Remote host closed the connection) |
2024-12-08 11:09:04 +0100 | housemate | (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) housemate |
2024-12-08 11:10:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 11:14:23 +0100 | ftzm | (~ftzm@085081049156.dynamic.telenor.dk) ftzm |
2024-12-08 11:16:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 11:17:19 +0100 | housemate | (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Ping timeout: 260 seconds) |
2024-12-08 11:27:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 11:27:08 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
2024-12-08 11:27:22 +0100 | mulk | (~mulk@p5b11254a.dip0.t-ipconnect.de) mulk |
2024-12-08 11:27:51 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-12-08 11:27:55 +0100 | sprotte24 | (~sprotte24@p200300d16f24a7000c2549cd7d1c6472.dip0.t-ipconnect.de) |
2024-12-08 11:28:09 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
2024-12-08 11:30:06 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-12-08 11:31:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 11:42:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 11:47:03 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 11:56:31 +0100 | falafel | (~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 +0100 | merijn | (~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 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
2024-12-08 12:10:55 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-12-08 12:13:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 12:14:30 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 272 seconds) |
2024-12-08 12:20:42 +0100 | merijn | (~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 +0100 | korrykatti | (~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 +0100 | gvg | (~dcd@user/gvg) gvg |
2024-12-08 12:31:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 12:36:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 12:37:56 +0100 | meinside | (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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 12:50:19 +0100 | supercode | (~supercode@user/supercode) supercode |
2024-12-08 12:51:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-12-08 13:01:00 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 276 seconds) |
2024-12-08 13:02:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 13:04:16 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
2024-12-08 13:04:54 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f68cd5d354d221d3a3f.dip0.t-ipconnect.de) acidjnk |
2024-12-08 13:05:41 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31719852d6c421a6d2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-12-08 13:07:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-12-08 13:08:36 +0100 | agent314 | (~quassel@169.150.203.11) agent314 |
2024-12-08 13:17:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 13:22:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 13:25:21 +0100 | agent314 | (~quassel@169.150.203.11) (Remote host closed the connection) |
2024-12-08 13:25:28 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
2024-12-08 13:26:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
2024-12-08 13:33:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 13:36:05 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2024-12-08 13:37:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 13:38:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-12-08 13:40:28 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-12-08 13:48:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 13:51:07 +0100 | AlexZenon | (~alzenon@178.34.161.102) (Quit: ;-) |
2024-12-08 13:52:27 +0100 | AlexNoo | (~AlexNoo@178.34.161.102) (Quit: Leaving) |
2024-12-08 13:55:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 13:56:10 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-12-08 13:56:39 +0100 | fmira | (~user@user/fmira) fmira |
2024-12-08 13:57:54 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2024-12-08 13:59:30 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2024-12-08 14:06:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 14:11:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 14:13:48 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
2024-12-08 14:19:58 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-12-08 14:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 14:26:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-12-08 14:29:56 +0100 | dpratt | (~dpratt@165.225.220.148) (Quit: Client closed) |
2024-12-08 14:33:16 +0100 | kenran | (~void@user/kenran) (Remote host closed the connection) |
2024-12-08 14:37:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 14:41:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 14:43:14 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-12-08 14:52:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-08 14:52:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 14:53:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-12-08 14:55:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-08 14:58:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 15:07:34 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-12-08 15:09:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 15:13:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 15:24:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 15:28:29 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
2024-12-08 15:31:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 15:42:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 15:51:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 15:59:51 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-12-08 16:05:04 +0100 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) pja |
2024-12-08 16:05:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 16:06:32 +0100 | AlexNoo | (~AlexNoo@5.139.233.0) |
2024-12-08 16:06:57 +0100 | AlexNoo | (~AlexNoo@5.139.233.0) (Read error: Connection reset by peer) |
2024-12-08 16:07:12 +0100 | AlexZenon | (~alzenon@5.139.233.0) |
2024-12-08 16:07:15 +0100 | AlexZenon_2 | (~alzenon@5.139.233.0) |
2024-12-08 16:07:20 +0100 | AlexNoo | (~AlexNoo@5.139.233.0) |
2024-12-08 16:12:29 +0100 | jespada | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-12-08 16:15:30 +0100 | AlexZenon_2 | (~alzenon@5.139.233.0) (Quit: ;-) |
2024-12-08 16:17:54 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-12-08 16:23:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 16:30:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-12-08 16:32:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-341c-4359-411e-3e02-e3cd-a2eb.rev.sfr.net) alexherbo2 |
2024-12-08 16:38:08 +0100 | ystael | (~ystael@user/ystael) ystael |
2024-12-08 16:41:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 16:45:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 16:54:53 +0100 | alexherbo2 | (~alexherbo@2a02-8440-341c-4359-411e-3e02-e3cd-a2eb.rev.sfr.net) (Remote host closed the connection) |
2024-12-08 16:55:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-12-08 16:55:23 +0100 | alexherbo2 | (~alexherbo@2a02-8440-341c-4359-ec49-a69e-0665-9bd9.rev.sfr.net) alexherbo2 |
2024-12-08 16:56:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 16:58:46 +0100 | alexherbo2 | (~alexherbo@2a02-8440-341c-4359-ec49-a69e-0665-9bd9.rev.sfr.net) (Remote host closed the connection) |
2024-12-08 17:00:45 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2024-12-08 17:01:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-12-08 17:01:57 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
2024-12-08 17:05:52 +0100 | nucleus | (~grigory@77-174-131-220.fixed.kpn.net) |
2024-12-08 17:09:43 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
2024-12-08 17:10:19 +0100 | nucleus | (~grigory@77-174-131-220.fixed.kpn.net) (Ping timeout: 264 seconds) |
2024-12-08 17:10:24 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
2024-12-08 17:12:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 17:13:20 +0100 | haritz | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-12-08 17:22:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-12-08 17:26:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-08 17:27:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 17:28:33 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
2024-12-08 17:31:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-08 17:33:50 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2024-12-08 17:38:56 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
2024-12-08 17:38:59 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
2024-12-08 17:38:59 +0100 | haritz | (~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 +0100 | cyanteeth | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 17:44:22 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
2024-12-08 17:47:18 +0100 | merijn | (~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 +0100 | parosh | (~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 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2024-12-08 17:54:07 +0100 | <parosh> | quit |
2024-12-08 17:54:13 +0100 | parosh | (~user@147.235.211.174) () |
2024-12-08 17:54:50 +0100 | AlexZenon | (~alzenon@5.139.233.0) (Quit: ;-) |
2024-12-08 17:56:00 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-12-08 17:57:08 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-12-08 17:57:44 +0100 | AlexNoo | (~AlexNoo@5.139.233.0) (Quit: Leaving) |
2024-12-08 17:58:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 17:59:49 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-12-08 18:00:12 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-12-08 18:01:00 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
2024-12-08 18:02:19 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-12-08 18:04:21 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-12-08 18:04:47 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-12-08 18:04:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 18:05:54 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-12-08 18:09:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 18:13:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 18:17:47 +0100 | billchenchina- | (~billchenc@2408:824e:d2a:c3a1:db8f:5c24:aa85:6ee2) billchenchina |
2024-12-08 18:19:35 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection) |
2024-12-08 18:19:42 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) |
2024-12-08 18:20:49 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 260 seconds) |
2024-12-08 18:23:28 +0100 | billchenchina | (~billchenc@103.152.35.21) billchenchina |
2024-12-08 18:24:27 +0100 | AlexZenon | (~alzenon@5.139.233.0) |
2024-12-08 18:25:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 18:26:04 +0100 | billchenchina- | (~billchenc@2408:824e:d2a:c3a1:db8f:5c24:aa85:6ee2) (Ping timeout: 260 seconds) |
2024-12-08 18:26:55 +0100 | AlexNoo | (~AlexNoo@5.139.233.0) |
2024-12-08 18:26:56 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-12-08 18:27:23 +0100 | AlexZenon_2 | (~alzenon@5.139.233.0) |
2024-12-08 18:27:43 +0100 | AlexZenon_2 | (~alzenon@5.139.233.0) (Client Quit) |
2024-12-08 18:30:51 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
2024-12-08 18:32:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 18:32:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
2024-12-08 18:33:39 +0100 | JeremyB99 | (~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 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:9ae3:a13f:891b:ae3b:7821:c5b0) |
2024-12-08 18:38:15 +0100 | jespada | (~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 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:9ae3:a13f:891b:ae3b:7821:c5b0) (Ping timeout: 260 seconds) |
2024-12-08 18:42:15 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-12-08 18:43:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 18:47:37 +0100 | merijn | (~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 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-12-08 18:52:29 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:be7:5943:dd0b:2017:a0e0:15a5) |
2024-12-08 18:52:54 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:be7:5943:dd0b:2017:a0e0:15a5) (Read error: Connection reset by peer) |
2024-12-08 18:56:30 +0100 | JeremyB99 | (~JeremyB99@128.211.251.218) |
2024-12-08 18:56:52 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-12-08 18:58:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 19:00:46 +0100 | JeremyB99 | (~JeremyB99@128.211.251.218) (Remote host closed the connection) |
2024-12-08 19:00:55 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:215b:29b2:e0ce:102c) |
2024-12-08 19:02:24 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2024-12-08 19:02:38 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-12-08 19:03:04 +0100 | youthlic | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-12-08 19:10:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 19:10:17 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-12-08 19:11:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2024-12-08 19:12:07 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:215b:29b2:e0ce:102c) (Ping timeout: 252 seconds) |
2024-12-08 19:12:22 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:d960:80a4:1a6:deec:a53a:e86) |
2024-12-08 19:12:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-12-08 19:13:11 +0100 | Lord_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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-12-08 19:19:41 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-12-08 19:22:38 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
2024-12-08 19:25:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 19:30:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-12-08 19:30:56 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-12-08 19:36:19 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2024-12-08 19:40:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 19:45:07 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:d960:80a4:1a6:deec:a53a:e86) (Ping timeout: 252 seconds) |
2024-12-08 19:45:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-08 19:45:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-12-08 19:45:29 +0100 | JeremyB99 | (~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 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2024-12-08 19:47:29 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Remote host closed the connection) |
2024-12-08 19:47:37 +0100 | JeremyB99 | (~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 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-12-08 19:53:09 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-12-08 19:53:47 +0100 | ephilalethes | (~noumenon@ppp-58-11-188-222.revip2.asianet.co.th) (Read error: Connection reset by peer) |
2024-12-08 19:56:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 19:59:35 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
2024-12-08 20:00:01 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
2024-12-08 20:05:33 +0100 | rvalue- | rvalue |
2024-12-08 20:06:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-12-08 20:11:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 20:13:50 +0100 | alp | (~alp@2001:861:8ca0:4940:b657:7732:c16b:433f) |
2024-12-08 20:15:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 20:15:27 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
2024-12-08 20:25:51 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
2024-12-08 20:26:20 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
2024-12-08 20:27:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 20:31:34 +0100 | merijn | (~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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-12-08 20:42:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 20:43:53 +0100 | tromp | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-12-08 20:48:46 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
2024-12-08 20:53:28 +0100 | homo | (~homo@82-128-196-26.bb.dnainternet.fi) |
2024-12-08 20:53:48 +0100 | homo | (~homo@82-128-196-26.bb.dnainternet.fi) (Changing host) |
2024-12-08 20:53:48 +0100 | homo | (~homo@user/homo) homo |
2024-12-08 20:54:38 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
2024-12-08 20:57:02 +0100 | michalz | (~michalz@185.246.207.201) |
2024-12-08 20:57:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 21:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-12-08 21:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-12-08 21:02:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 21:06:07 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-12-08 21:08:46 +0100 | pavonia | (~user@user/siracusa) siracusa |
2024-12-08 21:10:26 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
2024-12-08 21:11:09 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2024-12-08 21:11:23 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-12-08 21:12:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 21:16:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-08 21:23:08 +0100 | leah2 | (~leah@vuxu.org) leah2 |
2024-12-08 21:26:14 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
2024-12-08 21:26:21 +0100 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-12-08 21:27:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 21:31:55 +0100 | Guest58 | (~Guest58@cable-89-216-115-69.static.sbb.rs) |
2024-12-08 21:32:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 21:39:40 +0100 | Guest58 | (~Guest58@cable-89-216-115-69.static.sbb.rs) (Ping timeout: 240 seconds) |
2024-12-08 21:42:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 21:47:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-12-08 21:50:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-12-08 22:00:19 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
2024-12-08 22:00:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 22:03:05 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-12-08 22:04:16 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
2024-12-08 22:05:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 22:11:17 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
2024-12-08 22:16:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 22:20:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 22:25:08 +0100 | JeremyB99 | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 22:36:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 22:36:18 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
2024-12-08 22:37:01 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds) |
2024-12-08 22:40:49 +0100 | dpratt | (~dpratt@165.225.220.148) dpratt |
2024-12-08 22:41:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
2024-12-08 22:43:26 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
2024-12-08 22:44:34 +0100 | JeremyB99 | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 22:47:27 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
2024-12-08 22:51:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-12-08 22:55:46 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-12-08 23:02:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 23:03:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-12-08 23:03:53 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
2024-12-08 23:06:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-08 23:17:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 23:23:29 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
2024-12-08 23:23:54 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
2024-12-08 23:24:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-08 23:27:50 +0100 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
2024-12-08 23:28:06 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2c4:a67:4cb9:7f7f:88ae:6bed) |
2024-12-08 23:28:40 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2c4:a67:4cb9:7f7f:88ae:6bed) (Read error: Connection reset by peer) |
2024-12-08 23:29:19 +0100 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
2024-12-08 23:29:53 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2024-12-08 23:35:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 23:36:39 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 246 seconds) |
2024-12-08 23:38:41 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-12-08 23:38:55 +0100 | mange | (~user@user/mange) mange |
2024-12-08 23:39:02 +0100 | JeremyB99 | (~JeremyB99@pal-210-106-52.itap.purdue.edu) |
2024-12-08 23:39:23 +0100 | JeremyB99 | (~JeremyB99@pal-210-106-52.itap.purdue.edu) (Read error: Connection reset by peer) |
2024-12-08 23:41:08 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
2024-12-08 23:42:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-12-08 23:50:18 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1b11:7569:896c:ad6b) (Quit: xff0x) |
2024-12-08 23:51:41 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
2024-12-08 23:53:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-08 23:54:24 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:2c62:4a69:58f6:b74e:681c:a137) |
2024-12-08 23:55:20 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:2c62:4a69:58f6:b74e:681c:a137) (Read error: Connection reset by peer) |
2024-12-08 23:55:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8893:ef7:6a2e:2b23) |
2024-12-08 23:57:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-08 23:57:55 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |