Logs on 2024-12-08 (liberachat/#haskell)
| 00:02:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:07:07 | × | Everything quits (~Everythin@46.211.214.172) (Quit: leaving) |
| 00:08:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 00:14:34 | <glguy> | dpratt: ohai! |
| 00:15:50 | <glguy> | dpratt: at the end of the day my "format" stuff is just a shortcut to write a parser combinator with Text.ParserCombinators.ReadP |
| 00:16:13 | <glguy> | the parsers you get out of it aren't more powerful than what you can write using ReadP by hand |
| 00:16:41 | <glguy> | I just got tired of a manually written parser combinator parser dominating my solution file |
| 00:20:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:20:43 | <hellwolf> | is "Haskell" always capitalized? |
| 00:23:44 | <glguy> | As a name it's normal to expect it to be capitalized |
| 00:24:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:25:16 | <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 |
| 00:32:04 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 00:35:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:39:43 | → | homo joins (~homo@82-128-196-26.bb.dnainternet.fi) |
| 00:40:01 | × | homo quits (~homo@82-128-196-26.bb.dnainternet.fi) (Changing host) |
| 00:40:01 | → | homo joins (~homo@user/homo) |
| 00:40:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:43:52 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
| 00:46:14 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer) |
| 00:49:07 | → | rstromlund joins (~user@user/rstromlund) |
| 00:50:06 | × | cyanteeth quits (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 00:50:57 | <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 |
| 00:50:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:51:51 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 00:52:23 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 00:53:10 | <monochrom> | When I'm lazy I write lowercase "haskell". |
| 00:53:18 | <geekosaur> | ^ |
| 00:53:24 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 00:53:34 | <geekosaur> | but strictly speaking it is not only the name of a language, but of a person (Haskell Curry) |
| 00:54:14 | <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. >:) |
| 00:54:19 | → | homo joins (~homo@82-128-196-26.bb.dnainternet.fi) |
| 00:54:40 | × | homo quits (~homo@82-128-196-26.bb.dnainternet.fi) (Changing host) |
| 00:54:40 | → | homo joins (~homo@user/homo) |
| 00:54:45 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 276 seconds) |
| 00:54:50 | <monochrom> | Then again Haskell didn't exist in the 1970s so it's mostly hypothetical. >:D |
| 00:54:53 | geekosaur | hands monochrom a KSR33 |
| 00:55:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 00:58:11 | → | rstromlund joins (~user@user/rstromlund) |
| 00:59:05 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 01:06:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:10:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:18:16 | → | elnegro joins (elnegro@r186-50-74-75.dialup.adsl.anteldata.net.uy) |
| 01:21:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:26:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:27:36 | <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 |
| 01:28:22 | × | sindu quits (~sindu@176.75.224.1) (Ping timeout: 252 seconds) |
| 01:28:29 | <rstromlund> | Function 'instr' tries to parse a 'MulInstr' and if that fails, it consumes 1 char and recursively calls 'instr'. |
| 01:29:21 | <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. |
| 01:29:27 | <rstromlund> | Any tips? |
| 01:29:30 | × | zzz quits (~z@user/zero) (Read error: Connection reset by peer) |
| 01:29:47 | <glguy> | rstromlund: you don't need to match on eof |
| 01:29:49 | <glguy> | ignore that |
| 01:29:55 | <glguy> | just do the many instr you're already doing |
| 01:29:56 | → | zero joins (~z@user/zero) |
| 01:30:54 | ← | elnegro parts (elnegro@r186-50-74-75.dialup.adsl.anteldata.net.uy) () |
| 01:33:54 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:34:18 | <rstromlund> | That still gives the EndOfInput error. I think that is coming from 'instr' function and not the outter 'instrs' where many is used. |
| 01:35:11 | <glguy> | rstromlund: oh, you need another try I guess |
| 01:35:13 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 248 seconds) |
| 01:35:17 | <glguy> | since anySingle is eating input |
| 01:35:31 | <rstromlund> | When anySingle tries and consume a character beyond eof (?) |
| 01:35:57 | <rstromlund> | Yes, that did it! Thx : )) |
| 01:35:59 | <glguy> | I think what's happening there is that anySingle succeeds which commits the whole instr parse to need to finish |
| 01:37:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:37:16 | <glguy> | FWIW If you wanted to unnest string "mul(" *> (MulInstr <$> (decimal <* char ',') <*> (decimal <* char ')')) you could write: |
| 01:37:16 | <glguy> | MulInstr <$ string "mul(" <*> decimal <* char ',' <*> decimal <* char ')' |
| 01:37:21 | <rstromlund> | Right. And the try rolls the stream back to the last mul() so the eof in instrs won't succeed. |
| 01:37:37 | <rstromlund> | :thumbsup: |
| 01:37:55 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 01:38:00 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer) |
| 01:38:22 | <glguy> | that makes our two solutions very similar: https://github.com/glguy/advent/blob/main/solutions/src/2024/03.hs |
| 01:38:37 | <glguy> | (not that I'm using ReadP not Megaparsec, so I don't have to fuss with the 'try' uses |
| 01:40:36 | <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. : )) |
| 01:40:36 | <lambdabot> | Unknown command, try @list |
| 01:41:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:45:00 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 01:47:38 | <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. :)) |
| 01:51:06 | × | sprotte24 quits (~sprotte24@p200300d16f1cbf00782b7bfd2f15122a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:52:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:53:38 | <dpratt> | glguy not familiar with ReadP, but I have used Megaparsec for a couple things -- is ReadP something I should figure out? |
| 01:54:31 | <geekosaur> | not usually |
| 01:55:44 | <dpratt> | oh, I see ReadP is part of base, I guess that's a reason to consider using it |
| 01:55:51 | <glguy> | Parsec is more complicated to use but it's sometimes more efficient. ReadP isn't crucial to know |
| 01:56:01 | <glguy> | It also has worse error reporting |
| 01:56:31 | <geekosaur> | you say that like it has error reporting 😛 |
| 01:57:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:57:12 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 01:57:15 | <geekosaur> | it doesn't so much fail as give you an empty parse + the entire string as unparsed remainder) |
| 01:57:28 | <glguy> | Yeah, worse:) |
| 01:58:55 | <dpratt> | 😲 |
| 01:59:02 | <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? |
| 01:59:27 | <geekosaur> | megaparsec's most common, and has very good error reporting and handling |
| 01:59:46 | <geekosaur> | there are faster ones, usually at the price of poorer errors (e.g. flatparse) |
| 02:00:07 | <geekosaur> | about the only thing ReadP has going for it is that it's in base |
| 02:00:28 | <geekosaur> | but Parsec (predecessor to Megaparsec) is bundled with the compiler |
| 02:00:32 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 02:00:50 | <glguy> | And it is easier to define some parsers in it since it is willing to backtrack further |
| 02:00:56 | <glguy> | ReadP that is |
| 02:01:15 | <glguy> | Which I find useful for trying to go fast in aoc |
| 02:01:48 | <rstromlund> | thx |
| 02:01:56 | <geekosaur> | (also Parsec has famously terrible errors unless you put some effort into error handling) |
| 02:08:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:09:12 | <dmj`> | ReadP is a secret weapon |
| 02:09:55 | <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 |
| 02:10:49 | <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 |
| 02:10:57 | <dmj`> | glguy: for day 5, ReadP was clutch https://github.com/dmjio/aoc2024/blob/master/day5/Main.hs#L54-L59 |
| 02:12:21 | × | alp quits (~alp@2001:861:8ca0:4940:cf08:e593:5c4c:fc77) (Ping timeout: 246 seconds) |
| 02:12:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:13:03 | <haskellbridge> | <Bowuigi> Running read inside read is kinda funny |
| 02:19:00 | <haskellbridge> | <Bowuigi> "readPrec_to_P readPrec 0" does the same as the "read <$> munch1 isDigit" but more efficiently inside the readP context |
| 02:19:20 | <haskellbridge> | <Bowuigi> For integers, that is |
| 02:21:35 | <haskellbridge> | <Bowuigi> s/ReadP is bad enough to force me to/ReadP is not appropiate for general parsing so I had to/ |
| 02:22:09 | <dmj`> | only parsing 5 Chars so |
| 02:23:03 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:23:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:23:45 | <haskellbridge> | <Bowuigi> Fair enough |
| 02:26:33 | <probie> | <opinion>Actual parsing is overrated for AoC</opinion> |
| 02:26:37 | <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" |
| 02:26:38 | <lambdabot> | ([[1,2],[3,4],[5,6]],[[7,8,9],[10,11,12]]) |
| 02:27:29 | <geekosaur> | but what about the programmer's sanity? /s |
| 02:27:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:32:31 | <c_wraith> | programmers don't have sanity. |
| 02:32:38 | <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 |
| 02:32:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 02:33:04 | <c_wraith> | I've been trying out ReadP. It's pretty good for something hidden in base. |
| 02:33:58 | <c_wraith> | though it was basically useless for day 6. |
| 02:35:08 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 02:37:50 | <dmj`> | "boot packages only" could be hard mode for aoc |
| 02:38:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:40:08 | <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 |
| 02:40:30 | <glguy> | https://github.com/glguy/advent/blob/main/solutions/solutions.cabal |
| 02:44:32 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
| 02:45:15 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 02:45:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 02:45:53 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer) |
| 02:47:10 | <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 |
| 02:47:29 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Read error: Connection reset by peer) |
| 02:48:08 | <dmj`> | glguy: didn't know cabal could handle that many executables :) |
| 02:50:45 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 02:51:32 | <glguy> | That's certainly the most I've ever tried |
| 02:53:04 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 02:56:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:01:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:05:03 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:35 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:10:51 | → | rstromlund joins (~user@user/rstromlund) |
| 03:12:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:15:52 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 03:16:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 03:18:29 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
| 03:20:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 03:21:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:23:36 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Ping timeout: 276 seconds) |
| 03:23:49 | → | JeremyB99 joins (~JeremyB99@128.211.253.197) |
| 03:25:41 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 03:26:12 | × | JeremyB99 quits (~JeremyB99@128.211.253.197) (Read error: Connection reset by peer) |
| 03:27:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:30:28 | <dmj`> | might get to 250 by next year |
| 03:31:29 | → | JeremyB99 joins (~JeremyB99@2607:ac80:403:7:4192:b597:2e61:a67f) |
| 03:32:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:32:17 | × | JeremyB99 quits (~JeremyB99@2607:ac80:403:7:4192:b597:2e61:a67f) (Read error: Connection reset by peer) |
| 03:34:04 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:34:55 | → | mange joins (~user@user/mange) |
| 03:40:26 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 03:42:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:46:23 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 03:46:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 03:47:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 03:47:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 03:47:39 | → | JeremyB99 joins (~JeremyB99@dhcp-251-171.resnet.purdue.edu) |
| 03:57:40 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 03:58:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:59:21 | × | td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 276 seconds) |
| 03:59:27 | × | JeremyB99 quits (~JeremyB99@dhcp-251-171.resnet.purdue.edu) (Remote host closed the connection) |
| 03:59:37 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) |
| 04:00:56 | → | td_ joins (~td@i5387090F.versanet.de) |
| 04:03:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:04:41 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 04:13:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:17:34 | tabemann_ | is now known as tabemann |
| 04:20:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 04:31:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:36:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:42:32 | → | korrykatti joins (~korrykatt@user/korrykatti) |
| 04:47:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:47:18 | × | korrykatti quits (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 04:51:27 | → | korrykatti joins (~korrykatt@user/korrykatti) |
| 04:53:31 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 04:54:19 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:55:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:00:36 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 05:03:31 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 05:04:58 | → | pabs3 joins (~pabs3@user/pabs3) |
| 05:06:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:07:36 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 05:08:55 | lol_ | is now known as jcarpenter2 |
| 05:10:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:13:45 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 05:13:48 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 244 seconds) |
| 05:13:48 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Ping timeout: 244 seconds) |
| 05:17:54 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 05:21:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:21:33 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 05:22:37 | → | Square joins (~Square@user/square) |
| 05:23:06 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 244 seconds) |
| 05:23:56 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:24:54 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 05:25:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:31:18 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:36:15 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 05:36:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:38:52 | → | r-sta joins (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 05:38:53 | <r-sta> | im stuck on line 88 |
| 05:38:54 | <r-sta> | https://github.com/munston/store/blob/main/store/store%20v2/src/Indexed.hs |
| 05:41:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:48:16 | <r-sta> | help help! |
| 05:48:44 | <r-sta> | i think im gona have to start over or do it another way or something |
| 05:49:12 | <r-sta> | the type system is like "i cant tell the difference between `n' and `(1 + (n-1))' |
| 05:49:50 | <r-sta> | does anyone want to walk through a simplified version of it with me step by step... |
| 05:52:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:54:29 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 05:58:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 05:59:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:59:18 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:12:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:12:42 | → | housemate joins (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) |
| 06:13:20 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 06:16:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:19:39 | → | pabs3 joins (~pabs3@user/pabs3) |
| 06:21:44 | × | korrykatti quits (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 06:25:19 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b1 - https://znc.in) |
| 06:26:42 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 06:27:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:35:04 | × | r-sta quits (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 06:35:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:42:39 | × | divya quits (divya@140.238.251.170) (Ping timeout: 252 seconds) |
| 06:46:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:51:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:00:28 | × | housemate quits (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf) |
| 07:01:46 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 07:03:35 | → | kenran joins (~void@user/kenran) |
| 07:06:42 | × | sonolin quits (~michael@user/sonolin) (Quit: WeeChat 4.4.3) |
| 07:07:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:11:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:22:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:25:14 | → | falafel joins (~falafel@2603:8000:b4f0:62a0:920e:7ffd:f40e:23bf) |
| 07:27:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 07:33:52 | → | housemate joins (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) |
| 07:37:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:42:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:44:32 | → | korrykatti joins (~korrykatt@user/korrykatti) |
| 07:52:20 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection) |
| 07:52:28 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) |
| 07:53:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:54:00 | × | falafel quits (~falafel@2603:8000:b4f0:62a0:920e:7ffd:f40e:23bf) (Ping timeout: 276 seconds) |
| 07:57:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:01 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 08:00:36 | → | caconym joins (~caconym@user/caconym) |
| 08:02:09 | × | mulk quits (~mulk@p5b11254a.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 08:03:53 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 08:04:54 | × | housemate quits (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf) |
| 08:06:25 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 272 seconds) |
| 08:08:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:12:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 08:20:20 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 08:20:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:23:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:25:29 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 244 seconds) |
| 08:28:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:28:38 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 08:32:22 | → | r-sta joins (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 08:33:13 | <r-sta> | how do i indictively provide infinite constraints!!? |
| 08:33:14 | <r-sta> | https://paste.tomsmeding.com/MaGHHdma |
| 08:33:22 | <r-sta> | inductive* |
| 08:34:40 | <r-sta> | it looks like its entering an infinite typechecking loop |
| 08:34:45 | <r-sta> | what should i do!? |
| 08:39:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:39:11 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 08:39:45 | <r-sta> | i cant even express the infinite constraint! |
| 08:39:46 | <r-sta> | type InfiniteConstraint s l a = (SaveIndicies (Nexts s l) a,InfiniteConstraint (S s) l a) |
| 08:39:52 | <r-sta> | Cycle in type synonym declarations: |
| 08:41:09 | <r-sta> | hmm, i can turn that into a class |
| 08:41:18 | <r-sta> | and use undecidable superclasses |
| 08:41:27 | <r-sta> | but then it complains about enterin an infinite loop |
| 08:41:37 | <r-sta> | Suggested fix: |
| 08:41:37 | <r-sta> | Set limit with -fconstraint-solver-iterations=n; n=0 for no limit |
| 08:41:46 | <r-sta> | which would surely make it hang at compile time |
| 08:42:03 | <r-sta> | (it does!) |
| 08:42:58 | <r-sta> | ... |
| 08:43:08 | <r-sta> | is there any way i can prove all of these constraints!? |
| 08:43:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:44:05 | <r-sta> | can i lie to it somehow!? |
| 08:44:21 | <r-sta> | "these constraints hold, just go ahead" |
| 08:45:27 | × | r-sta quits (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 08:45:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 08:46:18 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:70f8:56a2:d0db:fe4d) (Ping timeout: 272 seconds) |
| 08:50:52 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 08:51:47 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection) |
| 08:51:55 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) |
| 08:53:30 | → | libertyprime joins (~libertypr@118.92.70.94) |
| 08:54:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:54:38 | → | libertyp1ime joins (~libertypr@118.92.70.94) |
| 08:54:47 | × | libertyprime quits (~libertypr@118.92.70.94) (Remote host closed the connection) |
| 08:54:47 | × | libertyp1ime quits (~libertypr@118.92.70.94) (Remote host closed the connection) |
| 08:55:03 | → | falafel joins (~falafel@2603:8000:b4f0:62a0:8b3d:cd0:4f29:72a7) |
| 08:55:05 | → | libertyprime joins (~libertypr@118.92.70.94) |
| 08:55:06 | × | libertyprime quits (~libertypr@118.92.70.94) (Client Quit) |
| 08:55:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:58:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:05:27 | × | korrykatti quits (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 09:06:34 | → | korrykatti joins (~korrykatt@user/korrykatti) |
| 09:09:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:09:34 | → | ephilalethes joins (~noumenon@ppp-58-11-188-222.revip2.asianet.co.th) |
| 09:14:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 09:19:28 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 09:21:01 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:24:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:29:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:40:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:45:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 09:55:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:55:03 | × | ftzm quits (~ftzm@085081054140.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
| 09:59:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:59:52 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 10:03:42 | → | housemate joins (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) |
| 10:06:15 | × | housemate quits (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Remote host closed the connection) |
| 10:09:04 | → | housemate joins (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) |
| 10:10:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:14:23 | → | ftzm joins (~ftzm@085081049156.dynamic.telenor.dk) |
| 10:16:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:17:19 | × | housemate quits (~housemate@2405:6e00:2439:8254:3e29:fa75:956b:7953) (Ping timeout: 260 seconds) |
| 10:27:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:27:08 | × | korrykatti quits (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 10:27:22 | → | mulk joins (~mulk@p5b11254a.dip0.t-ipconnect.de) |
| 10:27:51 | × | paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Quit: ZNC 1.9.0 - https://znc.in) |
| 10:27:55 | → | sprotte24 joins (~sprotte24@p200300d16f24a7000c2549cd7d1c6472.dip0.t-ipconnect.de) |
| 10:28:09 | → | paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 10:30:06 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:31:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:42:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:47:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:52:47 | <Square> | Is there some easy way of getting a vector-n type with basic arithmetic? I was hoping "(Int,Int)" could get it somehow? |
| 10:56:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:56:31 | × | falafel quits (~falafel@2603:8000:b4f0:62a0:8b3d:cd0:4f29:72a7) (Ping timeout: 264 seconds) |
| 11:00:01 | <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) |
| 11:00:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:01:44 | <Square> | int-e, thanks |
| 11:04:58 | <int-e> | (just for the sake of completeness: there's Data.Complex which is a trap) |
| 11:06:43 | → | korrykatti joins (~korrykatt@user/korrykatti) |
| 11:10:55 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:13:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:14:30 | × | gvg quits (~dcd@user/gvg) (Ping timeout: 272 seconds) |
| 11:20:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:21:43 | <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) |
| 11:21:43 | <yahb2> | (8,10) |
| 11:22:01 | <Leary> | Square: ^ only half joking |
| 11:22:42 | <Leary> | We should have `instance (Num a_1, ..., Num a_n) => Num (a_1, ..., a_n)`, then `(Int, Int)` would just work. |
| 11:23:52 | × | korrykatti quits (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 11:25:09 | <int-e> | Leary: but what exactly do you do with abs and signum |
| 11:26:00 | <Leary> | (,) is direct product. You do everything pointwise. |
| 11:31:13 | → | gvg joins (~dcd@user/gvg) |
| 11:31:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:36:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:37:56 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:38:00 | → | __monty__ joins (~toonn@user/toonn) |
| 11:47:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:50:19 | → | supercode joins (~supercode@user/supercode) |
| 11:51:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:01:00 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 276 seconds) |
| 12:02:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:04:16 | × | supercode quits (~supercode@user/supercode) (Quit: Client closed) |
| 12:04:54 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f68cd5d354d221d3a3f.dip0.t-ipconnect.de) |
| 12:05:41 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f31719852d6c421a6d2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 12:07:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 12:08:36 | → | agent314 joins (~quassel@169.150.203.11) |
| 12:17:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:22:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:25:21 | × | agent314 quits (~quassel@169.150.203.11) (Remote host closed the connection) |
| 12:25:28 | → | mrmr155334346318 joins (~mrmr@user/mrmr) |
| 12:26:36 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 12:33:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:36:05 | → | notzmv joins (~umar@user/notzmv) |
| 12:37:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 12:38:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:40:28 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 12:48:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:51:07 | × | AlexZenon quits (~alzenon@178.34.161.102) (Quit: ;-) |
| 12:52:27 | × | AlexNoo quits (~AlexNoo@178.34.161.102) (Quit: Leaving) |
| 12:55:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 12:56:10 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 12:56:39 | → | fmira joins (~user@user/fmira) |
| 12:57:54 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 12:59:30 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 13:06:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:11:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:13:48 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 13:19:58 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:22:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:26:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 13:29:56 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 13:33:16 | × | kenran quits (~void@user/kenran) (Remote host closed the connection) |
| 13:37:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:41:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:43:14 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:52:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:52:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:53:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 13:55:40 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:58:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:07:34 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 14:09:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:13:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 14:24:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:28:29 | → | cyanteeth joins (~cyanteeth@user/cyanteeth) |
| 14:31:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 14:42:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:51:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 14:59:51 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 15:05:04 | → | pja joins (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 15:05:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:06:32 | → | AlexNoo joins (~AlexNoo@5.139.233.0) |
| 15:06:57 | × | AlexNoo quits (~AlexNoo@5.139.233.0) (Read error: Connection reset by peer) |
| 15:07:12 | → | AlexZenon joins (~alzenon@5.139.233.0) |
| 15:07:15 | → | AlexZenon_2 joins (~alzenon@5.139.233.0) |
| 15:07:20 | → | AlexNoo joins (~AlexNoo@5.139.233.0) |
| 15:12:29 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 15:12:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 15:15:30 | × | AlexZenon_2 quits (~alzenon@5.139.233.0) (Quit: ;-) |
| 15:17:54 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:23:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:30:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 15:32:35 | → | alexherbo2 joins (~alexherbo@2a02-8440-341c-4359-411e-3e02-e3cd-a2eb.rev.sfr.net) |
| 15:38:08 | → | ystael joins (~ystael@user/ystael) |
| 15:41:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:45:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:54:53 | × | alexherbo2 quits (~alexherbo@2a02-8440-341c-4359-411e-3e02-e3cd-a2eb.rev.sfr.net) (Remote host closed the connection) |
| 15:55:22 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:55:23 | → | alexherbo2 joins (~alexherbo@2a02-8440-341c-4359-ec49-a69e-0665-9bd9.rev.sfr.net) |
| 15:56:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:58:46 | × | alexherbo2 quits (~alexherbo@2a02-8440-341c-4359-ec49-a69e-0665-9bd9.rev.sfr.net) (Remote host closed the connection) |
| 16:00:45 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 16:01:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 16:01:57 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 16:05:52 | → | nucleus joins (~grigory@77-174-131-220.fixed.kpn.net) |
| 16:09:43 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 16:10:19 | × | nucleus quits (~grigory@77-174-131-220.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 16:10:24 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 16:12:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:13:20 | × | haritz quits (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 16:16:38 | <glguy> | Was there anything clever to do in today's AoC problem? https://github.com/glguy/advent/blob/main/solutions/src/2024/08.hs |
| 16:17:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 16:22:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:26:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:27:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:28:33 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 16:31:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 16:33:50 | → | pabs3 joins (~pabs3@user/pabs3) |
| 16:38:56 | → | haritz joins (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 16:38:59 | × | haritz quits (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 16:38:59 | → | haritz joins (~hrtz@user/haritz) |
| 16:41:27 | <int-e> | glguy: more cute than clever: zip [x0,x1..] [y0,y1..] |
| 16:42:07 | × | cyanteeth quits (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 16:42:42 | <int-e> | (I don't think that there was anything interesting algorithmically) |
| 16:42:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:44:22 | → | cyanteeth joins (~cyanteeth@user/cyanteeth) |
| 16:47:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:49:24 | <opqdonut> | cute indeed |
| 16:51:49 | → | parosh joins (~user@147.235.211.174) |
| 16:52:55 | <parosh> | > lambdabot foldr (+) 0 [1..10] |
| 16:52:57 | <lambdabot> | error: |
| 16:52:57 | <lambdabot> | Variable not in scope: |
| 16:52:57 | <lambdabot> | lambdabot |
| 16:53:11 | <parosh> | > foldr (+) 0 [1..10] |
| 16:53:12 | <lambdabot> | 55 |
| 16:53:13 | <int-e> | @let lambdabot = id |
| 16:53:14 | <lambdabot> | Defined. |
| 16:53:26 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 16:54:07 | <parosh> | quit |
| 16:54:13 | ← | parosh parts (~user@147.235.211.174) () |
| 16:54:50 | × | AlexZenon quits (~alzenon@5.139.233.0) (Quit: ;-) |
| 16:56:00 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 16:57:08 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 16:57:44 | × | AlexNoo quits (~AlexNoo@5.139.233.0) (Quit: Leaving) |
| 16:58:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:59:49 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 17:00:12 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 17:01:00 | × | cyanteeth quits (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 17:02:19 | → | gmg joins (~user@user/gehmehgeh) |
| 17:04:21 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 17:04:47 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 17:04:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 17:05:54 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:09:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:13:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:17:47 | → | billchenchina- joins (~billchenc@2408:824e:d2a:c3a1:db8f:5c24:aa85:6ee2) |
| 17:19:35 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Remote host closed the connection) |
| 17:19:42 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) |
| 17:20:49 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 260 seconds) |
| 17:23:28 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 17:24:27 | → | AlexZenon joins (~alzenon@5.139.233.0) |
| 17:25:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:26:04 | × | billchenchina- quits (~billchenc@2408:824e:d2a:c3a1:db8f:5c24:aa85:6ee2) (Ping timeout: 260 seconds) |
| 17:26:55 | → | AlexNoo joins (~AlexNoo@5.139.233.0) |
| 17:26:56 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 17:27:23 | → | AlexZenon_2 joins (~alzenon@5.139.233.0) |
| 17:27:43 | × | AlexZenon_2 quits (~alzenon@5.139.233.0) (Client Quit) |
| 17:30:51 | → | korrykatti joins (~korrykatt@user/korrykatti) |
| 17:32:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:32:12 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 17:33:39 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:b5b2:ed7d:4fdd:b00a) (Ping timeout: 260 seconds) |
| 17:35:40 | <mauke> | > lambdabot 2 + 2 |
| 17:35:41 | <lambdabot> | 4 |
| 17:35:55 | → | JeremyB99 joins (~JeremyB99@2607:fb90:9ae3:a13f:891b:ae3b:7821:c5b0) |
| 17:38:15 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 17:40:15 | × | JeremyB99 quits (~JeremyB99@2607:fb90:9ae3:a13f:891b:ae3b:7821:c5b0) (Ping timeout: 260 seconds) |
| 17:42:15 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 17:43:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:47:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:50:01 | <c_wraith> | > lambdabot "hello" |
| 17:50:02 | <lambdabot> | "hello" |
| 17:50:06 | <c_wraith> | that's what I thought |
| 17:51:32 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 17:52:29 | → | JeremyB99 joins (~JeremyB99@2607:fb91:be7:5943:dd0b:2017:a0e0:15a5) |
| 17:52:54 | × | JeremyB99 quits (~JeremyB99@2607:fb91:be7:5943:dd0b:2017:a0e0:15a5) (Read error: Connection reset by peer) |
| 17:56:30 | → | JeremyB99 joins (~JeremyB99@128.211.251.218) |
| 17:56:52 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:58:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:00:46 | × | JeremyB99 quits (~JeremyB99@128.211.251.218) (Remote host closed the connection) |
| 18:00:55 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:215b:29b2:e0ce:102c) |
| 18:02:24 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:02:38 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 18:03:04 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 18:03:16 | <hellwolf> | "foo :: m a -> (a -> b) -> m b", but "a" has additional constraint on it, does "foo" have a name? |
| 18:03:46 | <hellwolf> | A functor that doesn't work for the entire Husk. |
| 18:04:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:10:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:10:17 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:11:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 18:12:07 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:215b:29b2:e0ce:102c) (Ping timeout: 252 seconds) |
| 18:12:22 | → | JeremyB99 joins (~JeremyB99@2607:fb90:d960:80a4:1a6:deec:a53a:e86) |
| 18:12:24 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 18:13:11 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:14:34 | <__monty__> | int-e: Dammit, that's brilliant -.- |
| 18:14:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:19:41 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 18:22:38 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 18:25:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:30:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 18:30:56 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:36:19 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:40:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:45:07 | × | JeremyB99 quits (~JeremyB99@2607:fb90:d960:80a4:1a6:deec:a53a:e86) (Ping timeout: 252 seconds) |
| 18:45:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 18:45:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 18:45:29 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
| 18:46:10 | <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.) |
| 18:46:46 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:47:29 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Remote host closed the connection) |
| 18:47:37 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
| 18:52:14 | <ncf> | hellwolf: https://dorchard.wordpress.com/2011/10/18/subcategories-in-haskell-exofunctors/ |
| 18:52:43 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 18:53:09 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 18:53:47 | × | ephilalethes quits (~noumenon@ppp-58-11-188-222.revip2.asianet.co.th) (Read error: Connection reset by peer) |
| 18:56:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:59:35 | → | rvalue- joins (~rvalue@user/rvalue) |
| 19:00:01 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 19:05:33 | rvalue- | is now known as rvalue |
| 19:06:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:11:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:13:50 | → | alp joins (~alp@2001:861:8ca0:4940:b657:7732:c16b:433f) |
| 19:15:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 19:15:27 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
| 19:25:51 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
| 19:26:20 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
| 19:27:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:31:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:33:49 | <hellwolf> | That's the one, precisely. |
| 19:38:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:42:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:43:53 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:45:56 | <[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.) |
| 19:47:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 19:48:46 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
| 19:53:28 | → | homo joins (~homo@82-128-196-26.bb.dnainternet.fi) |
| 19:53:48 | × | homo quits (~homo@82-128-196-26.bb.dnainternet.fi) (Changing host) |
| 19:53:48 | → | homo joins (~homo@user/homo) |
| 19:54:38 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
| 19:57:02 | → | michalz joins (~michalz@185.246.207.201) |
| 19:57:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:39 | → | caconym joins (~caconym@user/caconym) |
| 20:02:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 20:06:07 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:08:46 | → | pavonia joins (~user@user/siracusa) |
| 20:10:26 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 244 seconds) |
| 20:11:09 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:11:23 | → | weary-traveler joins (~user@user/user363627) |
| 20:12:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:16:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 20:23:08 | → | leah2 joins (~leah@vuxu.org) |
| 20:26:14 | × | Square quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 20:26:21 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 20:27:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:31:55 | → | Guest58 joins (~Guest58@cable-89-216-115-69.static.sbb.rs) |
| 20:32:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:39:40 | × | Guest58 quits (~Guest58@cable-89-216-115-69.static.sbb.rs) (Ping timeout: 240 seconds) |
| 20:42:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:47:47 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:50:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 21:00:19 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
| 21:00:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:03:05 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 21:04:16 | × | korrykatti quits (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 21:05:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:11:17 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
| 21:16:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:20:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:25:08 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
| 21:31:31 | <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 |
| 21:31:31 | <lambdabot> | Consider it noted. |
| 21:31:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:36:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:36:18 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
| 21:37:01 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds) |
| 21:40:49 | → | dpratt joins (~dpratt@165.225.220.148) |
| 21:41:01 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
| 21:43:26 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
| 21:44:34 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) |
| 21:46:14 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:46:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:47:27 | → | cyanteeth joins (~cyanteeth@user/cyanteeth) |
| 21:51:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:55:46 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:02:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:03:40 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 22:03:53 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 22:06:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:17:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:23:29 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 22:23:54 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:a55:9402:a2d:f53) (Read error: Connection reset by peer) |
| 22:24:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:27:50 | → | jbalint joins (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 22:28:06 | → | JeremyB99 joins (~JeremyB99@2607:fb90:a2c4:a67:4cb9:7f7f:88ae:6bed) |
| 22:28:40 | × | JeremyB99 quits (~JeremyB99@2607:fb90:a2c4:a67:4cb9:7f7f:88ae:6bed) (Read error: Connection reset by peer) |
| 22:29:19 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 22:29:53 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 22:35:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:36:39 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 246 seconds) |
| 22:38:41 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:38:55 | → | mange joins (~user@user/mange) |
| 22:39:02 | → | JeremyB99 joins (~JeremyB99@pal-210-106-52.itap.purdue.edu) |
| 22:39:23 | × | JeremyB99 quits (~JeremyB99@pal-210-106-52.itap.purdue.edu) (Read error: Connection reset by peer) |
| 22:41:08 | → | Pozyomka joins (~pyon@user/pyon) |
| 22:42:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 22:50:18 | × | xff0x quits (~xff0x@2405:6580:b080:900:1b11:7569:896c:ad6b) (Quit: xff0x) |
| 22:51:41 | → | sam113101 joins (~sam@modemcable220.199-203-24.mc.videotron.ca) |
| 22:53:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:54:24 | → | JeremyB99 joins (~JeremyB99@2607:fb90:2c62:4a69:58f6:b74e:681c:a137) |
| 22:55:20 | × | JeremyB99 quits (~JeremyB99@2607:fb90:2c62:4a69:58f6:b74e:681c:a137) (Read error: Connection reset by peer) |
| 22:55:55 | → | xff0x joins (~xff0x@2405:6580:b080:900:8893:ef7:6a2e:2b23) |
| 22:57:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:57:55 | × | cyanteeth quits (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 23:04:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:08:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:09:32 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) |
| 23:09:55 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) (Read error: Connection reset by peer) |
| 23:12:11 | → | troojg joins (~troojg@user/troojg) |
| 23:12:46 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) |
| 23:13:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 23:14:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 23:16:00 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) (Read error: Connection reset by peer) |
| 23:22:39 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) |
| 23:23:10 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) (Read error: Connection reset by peer) |
| 23:24:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:24:42 | <shachaf> | Man, the original (?) notion of Galois connection with antitone functions is so wacky when you're expecting the other thing. |
| 23:25:02 | <shachaf> | But the symmetry is sort of nice? Should I prefer this one? |
| 23:26:26 | <shachaf> | How does it work in categoryland -- I guess you'd have it go to an opposite category, and then you get two monads instead of a monad and a comonad? |
| 23:28:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:31:05 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:33:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 23:34:46 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 23:36:36 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) |
| 23:37:09 | <monochrom> | For most computer science purposes, the monotone version works best. It also matches adjunctions nicely. But yeah the antitone one has its uses and matches some contravariant version of adjunctions. |
| 23:37:13 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) (Read error: Connection reset by peer) |
| 23:38:02 | × | aku quits (aku@65.108.245.241) (Remote host closed the connection) |
| 23:38:27 | <monochrom> | The antitone one proves "the books I read = the books read by all people who read all books I read". >:) |
| 23:39:14 | → | aku joins (aku@65.108.245.241) |
| 23:39:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:40:46 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) |
| 23:41:46 | <monochrom> | In Riehl's book it's "mutually right adjoints of two contravariant functors". |
| 23:44:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:46:14 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 23:52:01 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 23:52:29 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) (Remote host closed the connection) |
| 23:52:36 | → | JeremyB99 joins (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) |
| 23:52:50 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 23:53:34 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 23:54:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:55:40 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 23:56:38 | × | JeremyB99 quits (~JeremyB99@2607:ac80:407:7:d1ed:58ec:2cd9:cd3c) (Read error: Connection reset by peer) |
| 23:59:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
All times are in UTC on 2024-12-08.