2025/03/18

2025-03-18 00:00:19 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-18 00:03:22 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds)
2025-03-18 00:03:29 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-03-18 00:03:37 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-03-18 00:04:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-18 00:04:36 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 00:08:45 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-18 00:14:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 00:15:13 +0100 <jle`> yeah, my point is that 'until' isn't really analogous to "until loops", so a corresponding "while" wouldn't be analogous to "while loops" either, which is potentially confusing
2025-03-18 00:15:28 +0100 <jle`> since people see 'while' and usually think of while loops
2025-03-18 00:16:30 +0100 <EvanR> :t until -- what are we talking about again
2025-03-18 00:16:31 +0100 <lambdabot> (a -> Bool) -> (a -> a) -> a -> a
2025-03-18 00:16:36 +0100 <EvanR> what the heck
2025-03-18 00:16:52 +0100 <jle`> my same reaction lol
2025-03-18 00:17:32 +0100 <jle`> i'm not super thrilled with it but it's at least not as bad as a hypothetical 'while'
2025-03-18 00:18:55 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-03-18 00:19:24 +0100 <EvanR> I totally forgot about this function
2025-03-18 00:19:27 +0100 <enikar> when i used until i use a pair (a, b) for a, and fst or snd to get the result (or something like it).
2025-03-18 00:19:27 +0100 <EvanR> it's cool
2025-03-18 00:19:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-18 00:19:45 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2025-03-18 00:19:48 +0100 <EvanR> keep microwaving the value until it's heating to sufficient temperature
2025-03-18 00:19:59 +0100 <EvanR> then let sit for 1 minute before serving
2025-03-18 00:21:52 +0100euleritian(~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de)
2025-03-18 00:25:20 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-18 00:25:34 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-18 00:29:33 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-18 00:29:33 +0100ljdarj1ljdarj
2025-03-18 00:35:31 +0100synchromesh(~john@116.251.144.215) synchromesh
2025-03-18 00:40:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 00:45:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-18 00:47:57 +0100mange(~user@user/mange) mange
2025-03-18 00:50:00 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 00:52:45 +0100kh0d(~kh0d@212.200.181.159) (Remote host closed the connection)
2025-03-18 00:52:59 +0100 <monochrom> This is what's wrong with taking "meaningful names" seriously.
2025-03-18 00:53:26 +0100kh0d(~kh0d@212.200.181.159) kh0d
2025-03-18 00:54:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-18 00:54:12 +0100 <monochrom> Today you have learned: "data" does not mean data, it means type; "type" does not mean type, it means alias; "newtype" does not mean new type, it means old type but not alias.
2025-03-18 00:56:11 +0100 <int-e> . o O ( tomorrow you'll unlearn all of these )
2025-03-18 00:56:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 00:59:14 +0100kh0d(~kh0d@212.200.181.159) (Ping timeout: 252 seconds)
2025-03-18 00:59:15 +0100 <EvanR> at least new type does create a new type
2025-03-18 00:59:22 +0100 <EvanR> unlike typedef
2025-03-18 01:01:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-18 01:04:07 +0100hgolden_(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-03-18 01:08:18 +0100tccq(~user@user/tccq) (Ping timeout: 276 seconds)
2025-03-18 01:11:45 +0100plitter(~plitter@user/plitter) (Ping timeout: 246 seconds)
2025-03-18 01:12:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 01:13:44 +0100kh0d(~kh0d@212.200.181.159) kh0d
2025-03-18 01:14:30 +0100xff0x(~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 265 seconds)
2025-03-18 01:17:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-18 01:18:34 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2025-03-18 01:19:45 +0100xff0x(~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5)
2025-03-18 01:27:00 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-03-18 01:28:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 01:32:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-18 01:33:00 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-18 01:34:51 +0100 <mauke> #define DEFSTRUCT(X) typedef struct X X; struct X
2025-03-18 01:35:25 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 01:37:03 +0100 <monochrom> I have trouble telling that apart from DESTRUCT :)
2025-03-18 01:40:07 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-03-18 01:40:57 +0100tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-03-18 01:41:04 +0100euleritian(~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-18 01:41:22 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-18 01:43:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 01:48:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-18 01:49:17 +0100bilegeek(~bilegeek@2600:1008:b042:84f7:27d1:e8e2:5d3b:65d1) bilegeek
2025-03-18 01:51:03 +0100 <Axman6> thats how I read it too
2025-03-18 01:51:28 +0100 <geekosaur> is that wrong? 😈
2025-03-18 01:52:30 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-03-18 01:52:39 +0100 <EvanR> upgrade to DEFSTRUCT(4)
2025-03-18 01:52:48 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-18 01:52:53 +0100sprotte24(~sprotte24@p200300d16f275800a1de62e3bbd83239.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-18 01:53:54 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-03-18 01:54:41 +0100euleritian(~euleritia@95.90.214.149)
2025-03-18 01:54:42 +0100acidjnk(~acidjnk@p200300d6e71c4f06b15130e44e471244.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-03-18 01:55:12 +0100euleritian(~euleritia@95.90.214.149) (Remote host closed the connection)
2025-03-18 01:56:14 +0100 <int-e> it's perfectly accurate; it allows you to use `X` without `struct`, so it de-structs it.
2025-03-18 01:56:34 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-18 01:57:56 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-03-18 01:58:24 +0100euleritian(~euleritia@95.90.214.149)
2025-03-18 01:59:29 +0100euleritian(~euleritia@95.90.214.149) (Remote host closed the connection)
2025-03-18 01:59:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 02:00:26 +0100 <geekosaur> I think EvanR confused it with "define constructor" 😈
2025-03-18 02:00:28 +0100euleritian(~euleritia@95.90.214.149)
2025-03-18 02:01:28 +0100 <monochrom> oh yeah hehe, so that's why I was thinking "do you mean defcon 4?"
2025-03-18 02:03:43 +0100 <yin> and yet
2025-03-18 02:03:48 +0100 <yin> :t takeWhile
2025-03-18 02:03:48 +0100 <lambdabot> (a -> Bool) -> [a] -> [a]
2025-03-18 02:03:52 +0100 <yin> :t takeUntil
2025-03-18 02:03:53 +0100 <lambdabot> error: Variable not in scope: takeUntil
2025-03-18 02:04:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-18 02:06:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-18 02:11:21 +0100 <jackdk> takeUntil = takeWhile . (not .)
2025-03-18 02:11:22 +0100 <EvanR> takeYet takeNevertheless takeAlongside takeDespite...
2025-03-18 02:11:44 +0100 <EvanR> the API has only scratched the surface
2025-03-18 02:14:31 +0100 <jackdk> takeAsLongAsIFeelLikeIt
2025-03-18 02:15:04 +0100 <EvanR> getTheeHence
2025-03-18 02:15:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 02:20:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-18 02:21:09 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 02:22:03 +0100kh0d(~kh0d@212.200.181.159) (Ping timeout: 245 seconds)
2025-03-18 02:25:52 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-18 02:31:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 02:32:18 +0100notdabs(~Owner@2600:1700:69cf:9000:d0f2:9051:9f97:5934) (Read error: Connection reset by peer)
2025-03-18 02:35:31 +0100kh0d(~kh0d@212.200.181.159)
2025-03-18 02:38:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-18 02:42:19 +0100kh0d(~kh0d@212.200.181.159) (Ping timeout: 260 seconds)
2025-03-18 02:49:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 02:53:55 +0100kh0d(~kh0d@212.200.247.164)
2025-03-18 02:54:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-18 02:56:56 +0100Inst(~Inst@user/Inst) Inst
2025-03-18 02:57:44 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection)
2025-03-18 02:58:01 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-03-18 02:58:08 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-03-18 03:01:33 +0100Googulator8(~Googulato@84-236-65-216.pool.digikabel.hu)
2025-03-18 03:01:39 +0100xff0x(~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 246 seconds)
2025-03-18 03:03:11 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 03:04:23 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-03-18 03:04:30 +0100Googulator(~Googulato@2a01-036d-0106-4b74-b88c-ff83-9891-e272.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-03-18 03:05:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 03:06:53 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 03:07:12 +0100kh0d(~kh0d@212.200.247.164) (Ping timeout: 252 seconds)
2025-03-18 03:07:58 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 03:09:18 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-03-18 03:10:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-18 03:11:17 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-18 03:20:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 03:22:03 +0100tavare(~tavare@user/tavare) tavare
2025-03-18 03:22:55 +0100kh0d(~kh0d@212.200.247.164) kh0d
2025-03-18 03:23:31 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-03-18 03:24:08 +0100Square(~Square4@user/square) (Ping timeout: 272 seconds)
2025-03-18 03:26:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-18 03:28:07 +0100tavare(~tavare@user/tavare) tavare
2025-03-18 03:33:06 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 03:36:06 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 03:36:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 03:41:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-18 03:46:27 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 03:49:38 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 03:52:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 03:52:37 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 03:56:53 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-18 03:56:53 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-03-18 03:57:13 +0100weary-traveler(~user@user/user363627) user363627
2025-03-18 03:57:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-18 04:00:29 +0100kh0d(~kh0d@212.200.247.164) (Ping timeout: 260 seconds)
2025-03-18 04:01:40 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-18 04:02:13 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-03-18 04:08:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 04:08:20 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-03-18 04:11:13 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
2025-03-18 04:13:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-18 04:16:04 +0100feetwind(~mike@user/feetwind) (Ping timeout: 260 seconds)
2025-03-18 04:19:13 +0100kh0d(~kh0d@212.200.247.164) kh0d
2025-03-18 04:19:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 04:24:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-18 04:24:26 +0100kh0d(~kh0d@212.200.247.164) (Ping timeout: 244 seconds)
2025-03-18 04:25:26 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu)
2025-03-18 04:28:15 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-03-18 04:28:54 +0100Googulator8(~Googulato@84-236-65-216.pool.digikabel.hu) (Ping timeout: 240 seconds)
2025-03-18 04:32:53 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-18 04:35:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 04:37:41 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 04:40:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-18 04:41:44 +0100manwithluck(~manwithlu@2a09:bac1:5ba0:20::49:217) (Ping timeout: 260 seconds)
2025-03-18 04:42:28 +0100manwithluck(~manwithlu@2a09:bac5:5085:2dc::49:de) manwithluck
2025-03-18 04:42:40 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-18 04:43:46 +0100kh0d(~kh0d@212.200.181.151) kh0d
2025-03-18 04:50:14 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 252 seconds)
2025-03-18 04:50:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 04:51:32 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-03-18 04:54:00 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-03-18 04:54:02 +0100rvalue-(~rvalue@user/rvalue) rvalue
2025-03-18 04:55:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-18 04:58:42 +0100rvalue-rvalue
2025-03-18 05:04:55 +0100werneta_(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-03-18 05:05:58 +0100tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-03-18 05:06:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 05:11:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-18 05:13:10 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-18 05:16:37 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-18 05:16:58 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal)
2025-03-18 05:21:47 +0100kh0d(~kh0d@212.200.181.151)
2025-03-18 05:22:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 05:23:25 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 05:25:48 +0100tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 245 seconds)
2025-03-18 05:27:24 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 260 seconds)
2025-03-18 05:28:18 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-18 05:29:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-18 05:32:40 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-03-18 05:35:02 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-03-18 05:37:24 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-03-18 05:40:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 05:42:19 +0100dolio(~dolio@130.44.140.168) (Read error: Connection reset by peer)
2025-03-18 05:42:26 +0100codolio(~dolio@130.44.140.168) dolio
2025-03-18 05:43:14 +0100kh0d(~kh0d@212.200.181.151) kh0d
2025-03-18 05:45:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-18 05:45:10 +0100aforemny_(~aforemny@2001:9e8:6cc7:6b00:b975:f736:215a:5f1e) aforemny
2025-03-18 05:45:48 +0100aforemny(~aforemny@i577B136A.versanet.de) (Ping timeout: 246 seconds)
2025-03-18 05:47:11 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-18 05:47:48 +0100werneta_(~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal)
2025-03-18 05:47:54 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 246 seconds)
2025-03-18 05:54:04 +0100michalz(~michalz@185.246.207.203)
2025-03-18 05:56:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 05:57:35 +0100dsrt^(~dsrt@c-71-199-187-173.hsd1.ga.comcast.net)
2025-03-18 06:01:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-18 06:08:50 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 06:12:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 06:13:00 +0100weary-traveler(~user@user/user363627) (Read error: Connection reset by peer)
2025-03-18 06:13:15 +0100weary-traveler(~user@user/user363627) user363627
2025-03-18 06:13:52 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-18 06:14:30 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 06:15:12 +0100kh0d(~kh0d@212.200.181.151)
2025-03-18 06:17:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-18 06:17:18 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-18 06:17:46 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 06:18:34 +0100dtman34_(~dtman34@2601:447:d000:1f5e:5ed:4e8c:420f:e376) (Ping timeout: 260 seconds)
2025-03-18 06:19:48 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 252 seconds)
2025-03-18 06:20:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 06:20:21 +0100dtman34(~dtman34@2601:447:d000:1f5e:adb1:5444:1e59:864f) dtman34
2025-03-18 06:25:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-18 06:31:12 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 06:34:52 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 06:36:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 06:38:58 +0100killy(~killy@terminal-3-187.retsat1.com.pl)
2025-03-18 06:41:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-18 06:51:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 06:53:54 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 06:54:53 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 06:56:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-18 06:57:49 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 06:58:18 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-03-18 06:59:06 +0100killy(~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 268 seconds)
2025-03-18 06:59:20 +0100killy(~killy@176.223.173.240)
2025-03-18 07:00:18 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 07:02:23 +0100wildsalander(~wildsalan@81-175-155-97.bb.dnainternet.fi)
2025-03-18 07:03:20 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 07:03:23 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 07:04:20 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 07:05:36 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 07:07:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 07:08:51 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 07:10:43 +0100wildsalander(~wildsalan@81-175-155-97.bb.dnainternet.fi) (Quit: wildsalander)
2025-03-18 07:11:38 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-18 07:12:27 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-18 07:12:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-18 07:14:56 +0100euleritian(~euleritia@95.90.214.149) (Ping timeout: 244 seconds)
2025-03-18 07:15:34 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-18 07:16:29 +0100kh0d(~kh0d@109.111.226.14) (Ping timeout: 244 seconds)
2025-03-18 07:21:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 07:21:31 +0100bilegeek(~bilegeek@2600:1008:b042:84f7:27d1:e8e2:5d3b:65d1) (Quit: Leaving)
2025-03-18 07:25:30 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-18 07:26:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-18 07:28:14 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-18 07:30:09 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-18 07:31:37 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-18 07:35:22 +0100kh0d(~kh0d@109.111.226.14) (Ping timeout: 265 seconds)
2025-03-18 07:36:56 +0100mange(~user@user/mange) (Remote host closed the connection)
2025-03-18 07:39:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 07:40:19 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 07:43:49 +0100wildsalander(~wildsalan@81-175-155-97.bb.dnainternet.fi)
2025-03-18 07:44:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-18 07:44:37 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-18 07:44:46 +0100wildsalander(~wildsalan@81-175-155-97.bb.dnainternet.fi) (Client Quit)
2025-03-18 07:48:27 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal)
2025-03-18 07:48:32 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-18 07:51:37 +0100igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-03-18 07:53:00 +0100igemnace(~igemnace@user/igemnace) igemnace
2025-03-18 07:53:18 +0100kh0d(~kh0d@109.111.226.14) (Ping timeout: 252 seconds)
2025-03-18 07:55:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 07:58:41 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-18 08:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-18 08:00:52 +0100caconym(~caconym@user/caconym) caconym
2025-03-18 08:02:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-18 08:04:22 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-18 08:07:39 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed)
2025-03-18 08:07:56 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu)
2025-03-18 08:10:35 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-03-18 08:12:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 08:12:22 +0100ash3en(~Thunderbi@149.222.132.64) ash3en
2025-03-18 08:13:26 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-03-18 08:13:50 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-03-18 08:14:49 +0100Lord_of_Life_Lord_of_Life
2025-03-18 08:15:31 +0100kh0d(~kh0d@109.111.226.14)
2025-03-18 08:17:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-18 08:17:35 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-03-18 08:18:49 +0100plitter(~plitter@user/plitter) plitter
2025-03-18 08:19:58 +0100kh0d(~kh0d@109.111.226.14) (Ping timeout: 245 seconds)
2025-03-18 08:22:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 08:22:40 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-18 08:25:23 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 08:27:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-18 08:29:51 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-18 08:32:22 +0100ash3en(~Thunderbi@149.222.132.64) (Quit: ash3en)
2025-03-18 08:35:12 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-03-18 08:38:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 08:43:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-18 08:52:03 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-03-18 08:52:55 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-18 08:53:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-18 08:54:29 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-03-18 08:56:41 +0100ash3en(~Thunderbi@149.222.132.64) ash3en
2025-03-18 08:57:57 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-03-18 08:59:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-18 09:10:47 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 09:12:36 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-03-18 09:12:55 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-18 09:14:58 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-18 09:15:49 +0100ash3en(~Thunderbi@149.222.132.64) (Ping timeout: 248 seconds)
2025-03-18 09:16:55 +0100killy(~killy@176.223.173.240) (Quit: leaving)
2025-03-18 09:17:12 +0100notdabs(~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471)
2025-03-18 09:19:26 +0100ash3en(~Thunderbi@149.222.132.64) ash3en
2025-03-18 09:21:45 +0100wildsalander(~wildsalan@81-175-155-97.bb.dnainternet.fi)
2025-03-18 09:26:13 +0100acidjnk(~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) acidjnk
2025-03-18 09:48:51 +0100sprotte24(~sprotte24@p200300d16f2b0f00f146771413e22502.dip0.t-ipconnect.de)
2025-03-18 09:53:00 +0100poscat0x04poscat
2025-03-18 09:53:33 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 244 seconds)
2025-03-18 09:53:46 +0100ft(~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving)
2025-03-18 09:56:11 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 09:57:49 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-18 09:58:24 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed)
2025-03-18 09:58:41 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu)
2025-03-18 10:01:14 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-18 10:03:00 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Client Quit)
2025-03-18 10:03:14 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu)
2025-03-18 10:05:23 +0100ash3en(~Thunderbi@149.222.132.64) (Ping timeout: 245 seconds)
2025-03-18 10:15:42 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-18 10:17:48 +0100 <merijn> Quick poll: What are people's favourite functional pearls? I'm trying to find some good stuff for our juniors to read
2025-03-18 10:18:52 +0100ash3en(~Thunderbi@149.222.132.64) ash3en
2025-03-18 10:23:05 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-18 10:27:23 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-03-18 10:28:08 +0100 <Leary> merijn: https://www.reddit.com/r/haskell/comments/1chgo7x/what_are_some_research_papers_that_every/
2025-03-18 10:31:59 +0100 <mauke> merijn: Implicit Configurations
2025-03-18 10:32:06 +0100 <mauke> because I can actually understand it
2025-03-18 10:32:10 +0100fp1(~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp
2025-03-18 10:32:48 +0100chele(~chele@user/chele) chele
2025-03-18 10:33:42 +0100 <c_wraith> lazy level-order tree renumbering
2025-03-18 10:34:45 +0100 <dminuoso> Mmm, I have an exception with an instance `ErrorAnnotation p => Exception (ValueSpecMismatch p)` for which a bunch of `instance ErrorAnnotation ...` exist.
2025-03-18 10:35:39 +0100 <dminuoso> Now, I want to write a `catch` handler that will catch any of these, it seems like I would have to write `handleValueSpecMismatch :: exists p. ErrorAnnotation p *> ValueSpecMismatch p -> IO a`
2025-03-18 10:36:20 +0100dhil(~dhil@2a0c:b381:52e:3600:dac:1d21:ce7f:30a0) dhil
2025-03-18 10:36:21 +0100fp1(~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 252 seconds)
2025-03-18 10:37:30 +0100 <dminuoso> Is there a way to accomplish this, without using catches and enumerating a handler for each ErrorAnnotation instance?
2025-03-18 10:39:31 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-03-18 10:40:23 +0100 <c_wraith> Not really. It's all built on top of Typeable, and Typeable checks for equality between two concrete types
2025-03-18 10:41:12 +0100Inst(~Inst@user/Inst) (Remote host closed the connection)
2025-03-18 10:41:15 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 10:42:40 +0100 <c_wraith> You could use some TH hackery to make it build you a list of all instances (that are currently in scope) automatically, though
2025-03-18 10:42:45 +0100 <dminuoso> So I guess the library is at fault for not hiding this constraint inside a GADT?
2025-03-18 10:43:29 +0100 <c_wraith> If it intended for you to match against all of them uniformly... yes
2025-03-18 10:44:28 +0100 <dminuoso> Mmm fair enough. Thanks
2025-03-18 10:44:48 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-18 10:45:18 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-18 10:45:21 +0100poscat(~poscat@user/poscat) (Quit: Bye)
2025-03-18 10:45:36 +0100poscat(~poscat@user/poscat) poscat
2025-03-18 10:45:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-18 10:58:53 +0100 <c_wraith> I guess the Exception class is a little more sophisticated. You just need to be able to write a SomeException -> e function
2025-03-18 11:00:39 +0100 <c_wraith> You could use Typeable to see if the type matches the top level type constructor, ignoring the argument.
2025-03-18 11:01:02 +0100 <c_wraith> But if you do that, you lose the ErrorAnnotation instance
2025-03-18 11:01:13 +0100 <c_wraith> So... Who knows if it's sufficient
2025-03-18 11:04:15 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) ubert
2025-03-18 11:08:17 +0100Leary(~Leary@user/Leary/x-0910699) (Ping timeout: 248 seconds)
2025-03-18 11:14:04 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed)
2025-03-18 11:14:24 +0100Googulator68(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu)
2025-03-18 11:19:46 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-18 11:20:15 +0100 <dminuoso> That would be sufficient for my usecase actually
2025-03-18 11:20:36 +0100 <dminuoso> I mean given what Im doing this is more a theoretical discussion
2025-03-18 11:25:01 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2025-03-18 11:26:19 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 11:28:54 +0100alp(~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779)
2025-03-18 11:31:00 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-18 11:31:44 +0100kh0d(~kh0d@109.111.226.14) (Remote host closed the connection)
2025-03-18 11:32:11 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-18 11:32:17 +0100kh0d(~kh0d@109.111.226.14) (Remote host closed the connection)
2025-03-18 11:32:54 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds)
2025-03-18 11:38:31 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-18 11:40:24 +0100alexherbo2(~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) alexherbo2
2025-03-18 11:42:16 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-03-18 11:42:36 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-18 11:44:02 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-18 11:44:02 +0100ash3en(~Thunderbi@149.222.132.64) (Read error: Connection reset by peer)
2025-03-18 11:47:11 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-18 11:47:11 +0100ljdarj1ljdarj
2025-03-18 11:47:55 +0100kh0d(~kh0d@109.111.226.14)
2025-03-18 11:56:39 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-03-18 11:57:40 +0100 <merijn> mauke: I'll have a look :) I always quite liked Ghosts of Departed Proofs too
2025-03-18 11:58:49 +0100kh0d(~kh0d@109.111.226.14) (Ping timeout: 260 seconds)
2025-03-18 12:00:05 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-18 12:02:11 +0100caconym(~caconym@user/caconym) caconym
2025-03-18 12:02:23 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-18 12:02:49 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-03-18 12:12:04 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-18 12:12:22 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 12:13:43 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-18 12:16:22 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-18 12:23:51 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-18 12:28:06 +0100xff0x(~xff0x@2405:6580:b080:900:b08c:1e92:87c1:3f68)
2025-03-18 12:28:15 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-03-18 12:28:54 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-18 12:32:01 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2025-03-18 12:33:04 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-18 12:38:18 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-03-18 12:38:46 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-18 12:44:00 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-03-18 12:50:46 +0100__monty__(~toonn@user/toonn) toonn
2025-03-18 12:56:05 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-18 12:57:46 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 12:59:44 +0100koz(~koz@121.99.240.58) (Ping timeout: 252 seconds)
2025-03-18 12:59:51 +0100ash3en(~Thunderbi@149.222.132.64) ash3en
2025-03-18 12:59:52 +0100ash3en(~Thunderbi@149.222.132.64) (Client Quit)
2025-03-18 13:01:05 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2025-03-18 13:01:56 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-18 13:03:29 +0100alp(~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779) (Ping timeout: 248 seconds)
2025-03-18 13:12:42 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-18 13:13:25 +0100koz(~koz@121.99.240.58)
2025-03-18 13:26:15 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-03-18 13:26:52 +0100jespada(~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) jespada
2025-03-18 13:35:01 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-03-18 13:40:29 +0100st_aldini1(~Thunderbi@136.48.22.91) st_aldini
2025-03-18 13:40:35 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-18 13:42:18 +0100st_aldini(~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 276 seconds)
2025-03-18 13:42:18 +0100st_aldini1st_aldini
2025-03-18 13:42:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-03-18 13:42:51 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-18 13:43:26 +0100tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-03-18 13:43:28 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-03-18 13:44:09 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 13:48:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-18 13:57:07 +0100weary-traveler(~user@user/user363627) user363627
2025-03-18 13:58:19 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-03-18 14:10:01 +0100MyNetAz(~MyNetAz@user/MyNetAz) (K-Lined)
2025-03-18 14:15:27 +0100kh0d(~kh0d@109.111.226.14) (Remote host closed the connection)
2025-03-18 14:15:55 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-18 14:20:23 +0100kh0d(~kh0d@109.111.226.14) (Ping timeout: 245 seconds)
2025-03-18 14:22:46 +0100Guest23(~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02)
2025-03-18 14:25:40 +0100kh0d(~kh0d@212.200.181.151)
2025-03-18 14:30:13 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 14:30:23 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 245 seconds)
2025-03-18 14:34:03 +0100 <ski> merijn : "A Poor Man's Concurrency Monad" in 1999-05 at <https://web.archive.org/web/20070305025415/http://www.cs.chalmers.se/~koen/pubs/jfp99-monad.ps>,"Parallel Parsing Processes" in 2004 at <https://web.archive.org/web/20061012125410/http://www.cs.chalmers.se/~koen/pubs/jfp04-parser.ps>, by Koen Claessen, are two that i remember
2025-03-18 14:34:50 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-18 14:36:32 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-18 14:36:58 +0100babo67_(~babo67@user/babo67) babo67
2025-03-18 14:37:07 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-18 14:37:46 +0100Guest13(~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02)
2025-03-18 14:42:30 +0100Guest13(~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds)
2025-03-18 14:42:55 +0100ash3en(~Thunderbi@31.16.203.214) ash3en
2025-03-18 14:58:47 +0100ash3en(~Thunderbi@31.16.203.214) (Quit: ash3en)
2025-03-18 15:03:47 +0100alexherbo2(~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) (Remote host closed the connection)
2025-03-18 15:16:16 +0100ash3en(~Thunderbi@31.16.203.214) ash3en
2025-03-18 15:16:18 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 15:19:50 +0100dsrt^(~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2025-03-18 15:20:30 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-18 15:20:51 +0100dsrt^(~dsrt@c-71-199-187-173.hsd1.ga.comcast.net)
2025-03-18 15:31:13 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-03-18 15:31:46 +0100notdabs(~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471) (Quit: Leaving)
2025-03-18 15:31:48 +0100euleritian(~euleritia@95.90.214.149)
2025-03-18 15:33:43 +0100dsrt^(~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 245 seconds)
2025-03-18 15:33:55 +0100dsrt^(elomin@c-71-199-187-173.hsd1.ga.comcast.net)
2025-03-18 15:34:22 +0100ash3en(~Thunderbi@31.16.203.214) (Quit: ash3en)
2025-03-18 15:35:48 +0100ash3en(~Thunderbi@31.16.203.214) ash3en
2025-03-18 15:38:07 +0100euleritian(~euleritia@95.90.214.149) (Ping timeout: 252 seconds)
2025-03-18 15:38:59 +0100alexherbo2(~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) alexherbo2
2025-03-18 15:39:16 +0100euleritian(~euleritia@dynamic-176-006-139-032.176.6.pool.telefonica.de)
2025-03-18 15:42:09 +0100ash3en(~Thunderbi@31.16.203.214) (Ping timeout: 252 seconds)
2025-03-18 15:42:10 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) (Quit: ubert)
2025-03-18 15:46:16 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-18 15:49:42 +0100Guest23(~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds)
2025-03-18 15:50:36 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-03-18 15:57:25 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-18 15:57:41 +0100Square(~Square4@user/square) Square
2025-03-18 16:02:02 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 16:06:34 +0100jespada(~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) (Ping timeout: 260 seconds)
2025-03-18 16:06:42 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-18 16:07:42 +0100jespada(~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) jespada
2025-03-18 16:08:34 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-03-18 16:16:40 +0100kh0d(~kh0d@212.200.181.151) kh0d
2025-03-18 16:17:51 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-18 16:21:34 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 244 seconds)
2025-03-18 16:24:05 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds)
2025-03-18 16:39:41 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-03-18 16:43:18 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-18 16:46:03 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-18 16:48:07 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 16:52:34 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-18 16:56:41 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-03-18 16:58:39 +0100son0p(~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) (Remote host closed the connection)
2025-03-18 17:10:52 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-03-18 17:18:03 +0100kh0d(~kh0d@212.200.181.151) kh0d
2025-03-18 17:22:33 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 252 seconds)
2025-03-18 17:26:22 +0100chele(~chele@user/chele) (Read error: Connection reset by peer)
2025-03-18 17:26:44 +0100jespada(~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-03-18 17:33:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 17:33:55 +0100alexherbo2(~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) (Remote host closed the connection)
2025-03-18 17:33:59 +0100cipherrot(~znc-user@user/petrichor) (Ping timeout: 252 seconds)
2025-03-18 17:37:58 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-18 17:38:35 +0100acidjnk(~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-18 17:41:52 +0100kh0d(~kh0d@109.111.226.14) kh0d