2025-03-18 00:00:19 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-18 00:03:22 +0100 | simplystuart | (~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 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
2025-03-18 00:04:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-18 00:04:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 00:08:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-18 00:14:56 +0100 | merijn | (~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 +0100 | robobub | (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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-03-18 00:19:45 +0100 | euleritian | (~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 +0100 | euleritian | (~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de) |
2025-03-18 00:25:20 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-03-18 00:25:34 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-18 00:29:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-18 00:29:33 +0100 | ljdarj1 | ljdarj |
2025-03-18 00:35:31 +0100 | synchromesh | (~john@116.251.144.215) synchromesh |
2025-03-18 00:40:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 00:45:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-18 00:47:57 +0100 | mange | (~user@user/mange) mange |
2025-03-18 00:50:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 00:52:45 +0100 | kh0d | (~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 +0100 | kh0d | (~kh0d@212.200.181.159) kh0d |
2025-03-18 00:54:09 +0100 | alfiee | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 00:59:14 +0100 | kh0d | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-18 01:04:07 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-03-18 01:08:18 +0100 | tccq | (~user@user/tccq) (Ping timeout: 276 seconds) |
2025-03-18 01:11:45 +0100 | plitter | (~plitter@user/plitter) (Ping timeout: 246 seconds) |
2025-03-18 01:12:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 01:13:44 +0100 | kh0d | (~kh0d@212.200.181.159) kh0d |
2025-03-18 01:14:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 265 seconds) |
2025-03-18 01:17:03 +0100 | merijn | (~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 +0100 | xff0x | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 01:32:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-18 01:33:00 +0100 | Tuplanolla | (~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 +0100 | alfiee | (~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 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
2025-03-18 01:40:57 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
2025-03-18 01:41:04 +0100 | euleritian | (~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-03-18 01:41:22 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-18 01:43:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 01:48:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-18 01:49:17 +0100 | bilegeek | (~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 +0100 | euleritian | (~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 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-18 01:52:53 +0100 | sprotte24 | (~sprotte24@p200300d16f275800a1de62e3bbd83239.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-03-18 01:53:54 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-03-18 01:54:41 +0100 | euleritian | (~euleritia@95.90.214.149) |
2025-03-18 01:54:42 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f06b15130e44e471244.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-18 01:55:12 +0100 | euleritian | (~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 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-18 01:57:56 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-03-18 01:58:24 +0100 | euleritian | (~euleritia@95.90.214.149) |
2025-03-18 01:59:29 +0100 | euleritian | (~euleritia@95.90.214.149) (Remote host closed the connection) |
2025-03-18 01:59:35 +0100 | merijn | (~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 +0100 | euleritian | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-18 02:06:23 +0100 | bitdex | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 02:20:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-18 02:21:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 02:22:03 +0100 | kh0d | (~kh0d@212.200.181.159) (Ping timeout: 245 seconds) |
2025-03-18 02:25:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-18 02:31:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 02:32:18 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:d0f2:9051:9f97:5934) (Read error: Connection reset by peer) |
2025-03-18 02:35:31 +0100 | kh0d | (~kh0d@212.200.181.159) |
2025-03-18 02:38:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-18 02:42:19 +0100 | kh0d | (~kh0d@212.200.181.159) (Ping timeout: 260 seconds) |
2025-03-18 02:49:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 02:53:55 +0100 | kh0d | (~kh0d@212.200.247.164) |
2025-03-18 02:54:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-18 02:56:56 +0100 | Inst | (~Inst@user/Inst) Inst |
2025-03-18 02:57:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
2025-03-18 02:58:01 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-03-18 02:58:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
2025-03-18 03:01:33 +0100 | Googulator8 | (~Googulato@84-236-65-216.pool.digikabel.hu) |
2025-03-18 03:01:39 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 246 seconds) |
2025-03-18 03:03:11 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 03:04:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2025-03-18 03:04:30 +0100 | Googulator | (~Googulato@2a01-036d-0106-4b74-b88c-ff83-9891-e272.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
2025-03-18 03:05:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 03:06:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 03:07:12 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 252 seconds) |
2025-03-18 03:07:58 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 03:09:18 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-03-18 03:10:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-18 03:11:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-18 03:20:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 03:22:03 +0100 | tavare | (~tavare@user/tavare) tavare |
2025-03-18 03:22:55 +0100 | kh0d | (~kh0d@212.200.247.164) kh0d |
2025-03-18 03:23:31 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-03-18 03:24:08 +0100 | Square | (~Square4@user/square) (Ping timeout: 272 seconds) |
2025-03-18 03:26:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-18 03:28:07 +0100 | tavare | (~tavare@user/tavare) tavare |
2025-03-18 03:33:06 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 03:36:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 03:36:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 03:41:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-18 03:46:27 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 03:49:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 03:52:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 03:52:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 03:56:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-18 03:56:53 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-18 03:57:13 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-18 03:57:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-03-18 04:00:29 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 260 seconds) |
2025-03-18 04:01:40 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-03-18 04:02:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-03-18 04:08:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 04:08:20 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-03-18 04:11:13 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
2025-03-18 04:13:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-18 04:16:04 +0100 | feetwind | (~mike@user/feetwind) (Ping timeout: 260 seconds) |
2025-03-18 04:19:13 +0100 | kh0d | (~kh0d@212.200.247.164) kh0d |
2025-03-18 04:19:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 04:24:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-18 04:24:26 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 244 seconds) |
2025-03-18 04:25:26 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
2025-03-18 04:28:15 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2025-03-18 04:28:54 +0100 | Googulator8 | (~Googulato@84-236-65-216.pool.digikabel.hu) (Ping timeout: 240 seconds) |
2025-03-18 04:32:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-18 04:35:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 04:37:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 04:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-18 04:41:44 +0100 | manwithluck | (~manwithlu@2a09:bac1:5ba0:20::49:217) (Ping timeout: 260 seconds) |
2025-03-18 04:42:28 +0100 | manwithluck | (~manwithlu@2a09:bac5:5085:2dc::49:de) manwithluck |
2025-03-18 04:42:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-18 04:43:46 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
2025-03-18 04:50:14 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
2025-03-18 04:50:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 04:51:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-03-18 04:54:00 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2025-03-18 04:54:02 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
2025-03-18 04:55:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-18 04:58:42 +0100 | rvalue- | rvalue |
2025-03-18 05:04:55 +0100 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-03-18 05:05:58 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-03-18 05:06:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 05:11:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-18 05:13:10 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-18 05:16:37 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-18 05:16:58 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
2025-03-18 05:21:47 +0100 | kh0d | (~kh0d@212.200.181.151) |
2025-03-18 05:22:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 05:23:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 05:25:48 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
2025-03-18 05:27:24 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 260 seconds) |
2025-03-18 05:28:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
2025-03-18 05:29:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-03-18 05:32:40 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-03-18 05:35:02 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
2025-03-18 05:37:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
2025-03-18 05:40:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 05:42:19 +0100 | dolio | (~dolio@130.44.140.168) (Read error: Connection reset by peer) |
2025-03-18 05:42:26 +0100 | codolio | (~dolio@130.44.140.168) dolio |
2025-03-18 05:43:14 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
2025-03-18 05:45:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-03-18 05:45:10 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc7:6b00:b975:f736:215a:5f1e) aforemny |
2025-03-18 05:45:48 +0100 | aforemny | (~aforemny@i577B136A.versanet.de) (Ping timeout: 246 seconds) |
2025-03-18 05:47:11 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-18 05:47:48 +0100 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
2025-03-18 05:47:54 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 246 seconds) |
2025-03-18 05:54:04 +0100 | michalz | (~michalz@185.246.207.203) |
2025-03-18 05:56:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 05:57:35 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
2025-03-18 06:01:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-18 06:08:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 06:12:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 06:13:00 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
2025-03-18 06:13:15 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-18 06:13:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-18 06:14:30 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 06:15:12 +0100 | kh0d | (~kh0d@212.200.181.151) |
2025-03-18 06:17:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-18 06:17:18 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-18 06:17:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 06:18:34 +0100 | dtman34_ | (~dtman34@2601:447:d000:1f5e:5ed:4e8c:420f:e376) (Ping timeout: 260 seconds) |
2025-03-18 06:19:48 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
2025-03-18 06:20:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 06:20:21 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:adb1:5444:1e59:864f) dtman34 |
2025-03-18 06:25:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-18 06:31:12 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 06:34:52 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 06:36:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 06:38:58 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
2025-03-18 06:41:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-03-18 06:51:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 06:53:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 06:54:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 06:56:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-18 06:57:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 06:58:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-03-18 06:59:06 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 268 seconds) |
2025-03-18 06:59:20 +0100 | killy | (~killy@176.223.173.240) |
2025-03-18 07:00:18 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 07:02:23 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
2025-03-18 07:03:20 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 07:03:23 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 07:04:20 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 07:05:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 07:07:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 07:08:51 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 07:10:43 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Quit: wildsalander) |
2025-03-18 07:11:38 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-18 07:12:27 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-18 07:12:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-03-18 07:14:56 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 244 seconds) |
2025-03-18 07:15:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-18 07:16:29 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 244 seconds) |
2025-03-18 07:21:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 07:21:31 +0100 | bilegeek | (~bilegeek@2600:1008:b042:84f7:27d1:e8e2:5d3b:65d1) (Quit: Leaving) |
2025-03-18 07:25:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-03-18 07:26:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-18 07:28:14 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-18 07:30:09 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-18 07:31:37 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-18 07:35:22 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 265 seconds) |
2025-03-18 07:36:56 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
2025-03-18 07:39:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 07:40:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 07:43:49 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
2025-03-18 07:44:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-18 07:44:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-18 07:44:46 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Client Quit) |
2025-03-18 07:48:27 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
2025-03-18 07:48:32 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-18 07:51:37 +0100 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
2025-03-18 07:53:00 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
2025-03-18 07:53:18 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
2025-03-18 07:55:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 07:58:41 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-18 08:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-18 08:00:52 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-18 08:02:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-18 08:04:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-18 08:07:39 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
2025-03-18 08:07:56 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
2025-03-18 08:10:35 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
2025-03-18 08:12:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 08:12:22 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
2025-03-18 08:13:26 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-03-18 08:13:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
2025-03-18 08:14:49 +0100 | Lord_of_Life_ | Lord_of_Life |
2025-03-18 08:15:31 +0100 | kh0d | (~kh0d@109.111.226.14) |
2025-03-18 08:17:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-18 08:17:35 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
2025-03-18 08:18:49 +0100 | plitter | (~plitter@user/plitter) plitter |
2025-03-18 08:19:58 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 245 seconds) |
2025-03-18 08:22:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 08:22:40 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-18 08:25:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 08:27:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-18 08:29:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-18 08:32:22 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Quit: ash3en) |
2025-03-18 08:35:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-03-18 08:38:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 08:43:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-18 08:52:03 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-03-18 08:52:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-03-18 08:53:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-18 08:54:29 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-03-18 08:56:41 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
2025-03-18 08:57:57 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-03-18 08:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-18 09:10:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 09:12:36 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2025-03-18 09:12:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-03-18 09:14:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-18 09:15:49 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Ping timeout: 248 seconds) |
2025-03-18 09:16:55 +0100 | killy | (~killy@176.223.173.240) (Quit: leaving) |
2025-03-18 09:17:12 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471) |
2025-03-18 09:19:26 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
2025-03-18 09:21:45 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
2025-03-18 09:26:13 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) acidjnk |
2025-03-18 09:48:51 +0100 | sprotte24 | (~sprotte24@p200300d16f2b0f00f146771413e22502.dip0.t-ipconnect.de) |
2025-03-18 09:53:00 +0100 | poscat0x04 | poscat |
2025-03-18 09:53:33 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
2025-03-18 09:53:46 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
2025-03-18 09:56:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 09:57:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-18 09:58:24 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
2025-03-18 09:58:41 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
2025-03-18 10:01:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-18 10:03:00 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Client Quit) |
2025-03-18 10:03:14 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
2025-03-18 10:05:23 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Ping timeout: 245 seconds) |
2025-03-18 10:15:42 +0100 | CiaoSen | (~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 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
2025-03-18 10:23:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-18 10:27:23 +0100 | tavare | (~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 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp |
2025-03-18 10:32:48 +0100 | chele | (~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 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:dac:1d21:ce7f:30a0) dhil |
2025-03-18 10:36:21 +0100 | fp1 | (~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 +0100 | merijn | (~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 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-03-18 10:41:15 +0100 | alfiee | (~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 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-18 10:45:18 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-18 10:45:21 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
2025-03-18 10:45:36 +0100 | poscat | (~poscat@user/poscat) poscat |
2025-03-18 10:45:44 +0100 | alfiee | (~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 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) ubert |
2025-03-18 11:08:17 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 248 seconds) |
2025-03-18 11:14:04 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
2025-03-18 11:14:24 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
2025-03-18 11:19:46 +0100 | rvalue | (~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 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-03-18 11:26:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 11:28:54 +0100 | alp | (~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779) |
2025-03-18 11:31:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
2025-03-18 11:31:44 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
2025-03-18 11:32:11 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-18 11:32:17 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
2025-03-18 11:32:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
2025-03-18 11:38:31 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-18 11:40:24 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) alexherbo2 |
2025-03-18 11:42:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-03-18 11:42:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-18 11:44:02 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-18 11:44:02 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Read error: Connection reset by peer) |
2025-03-18 11:47:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-18 11:47:11 +0100 | ljdarj1 | ljdarj |
2025-03-18 11:47:55 +0100 | kh0d | (~kh0d@109.111.226.14) |
2025-03-18 11:56:39 +0100 | kuribas | (~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 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 260 seconds) |
2025-03-18 12:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-18 12:02:11 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-18 12:02:23 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-18 12:02:49 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-03-18 12:12:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-18 12:12:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 12:13:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-18 12:16:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-18 12:23:51 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-18 12:28:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b08c:1e92:87c1:3f68) |
2025-03-18 12:28:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2025-03-18 12:28:54 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-18 12:32:01 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2025-03-18 12:33:04 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-18 12:38:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
2025-03-18 12:38:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-18 12:44:00 +0100 | merijn | (~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 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-18 12:57:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 12:59:44 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
2025-03-18 12:59:51 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
2025-03-18 12:59:52 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Client Quit) |
2025-03-18 13:01:05 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
2025-03-18 13:01:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-18 13:03:29 +0100 | alp | (~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779) (Ping timeout: 248 seconds) |
2025-03-18 13:12:42 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-18 13:13:25 +0100 | koz | (~koz@121.99.240.58) |
2025-03-18 13:26:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-03-18 13:26:52 +0100 | jespada | (~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) jespada |
2025-03-18 13:35:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-03-18 13:40:29 +0100 | st_aldini1 | (~Thunderbi@136.48.22.91) st_aldini |
2025-03-18 13:40:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-03-18 13:42:18 +0100 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 276 seconds) |
2025-03-18 13:42:18 +0100 | st_aldini1 | st_aldini |
2025-03-18 13:42:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-03-18 13:42:51 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-03-18 13:43:26 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-03-18 13:43:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-03-18 13:44:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 13:48:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-18 13:57:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-18 13:58:19 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-03-18 14:10:01 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (K-Lined) |
2025-03-18 14:15:27 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
2025-03-18 14:15:55 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-18 14:20:23 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 245 seconds) |
2025-03-18 14:22:46 +0100 | Guest23 | (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) |
2025-03-18 14:25:40 +0100 | kh0d | (~kh0d@212.200.181.151) |
2025-03-18 14:30:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 14:30:23 +0100 | kh0d | (~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 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-18 14:36:32 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-03-18 14:36:58 +0100 | babo67_ | (~babo67@user/babo67) babo67 |
2025-03-18 14:37:07 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-03-18 14:37:46 +0100 | Guest13 | (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) |
2025-03-18 14:42:30 +0100 | Guest13 | (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds) |
2025-03-18 14:42:55 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
2025-03-18 14:58:47 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
2025-03-18 15:03:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) (Remote host closed the connection) |
2025-03-18 15:16:16 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
2025-03-18 15:16:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 15:19:50 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2025-03-18 15:20:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-18 15:20:51 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
2025-03-18 15:31:13 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-03-18 15:31:46 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471) (Quit: Leaving) |
2025-03-18 15:31:48 +0100 | euleritian | (~euleritia@95.90.214.149) |
2025-03-18 15:33:43 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 245 seconds) |
2025-03-18 15:33:55 +0100 | dsrt^ | (elomin@c-71-199-187-173.hsd1.ga.comcast.net) |
2025-03-18 15:34:22 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
2025-03-18 15:35:48 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
2025-03-18 15:38:07 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
2025-03-18 15:38:59 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) alexherbo2 |
2025-03-18 15:39:16 +0100 | euleritian | (~euleritia@dynamic-176-006-139-032.176.6.pool.telefonica.de) |
2025-03-18 15:42:09 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Ping timeout: 252 seconds) |
2025-03-18 15:42:10 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) (Quit: ubert) |
2025-03-18 15:46:16 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2025-03-18 15:49:42 +0100 | Guest23 | (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds) |
2025-03-18 15:50:36 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-03-18 15:57:25 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2025-03-18 15:57:41 +0100 | Square | (~Square4@user/square) Square |
2025-03-18 16:02:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 16:06:34 +0100 | jespada | (~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) (Ping timeout: 260 seconds) |
2025-03-18 16:06:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-18 16:07:42 +0100 | jespada | (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) jespada |
2025-03-18 16:08:34 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-03-18 16:16:40 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
2025-03-18 16:17:51 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2025-03-18 16:21:34 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 244 seconds) |
2025-03-18 16:24:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
2025-03-18 16:39:41 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-03-18 16:43:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-18 16:46:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-18 16:48:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 16:52:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-18 16:56:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-03-18 16:58:39 +0100 | son0p | (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) (Remote host closed the connection) |
2025-03-18 17:10:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
2025-03-18 17:18:03 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
2025-03-18 17:22:33 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
2025-03-18 17:26:22 +0100 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
2025-03-18 17:26:44 +0100 | jespada | (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-03-18 17:33:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-18 17:33:55 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) (Remote host closed the connection) |
2025-03-18 17:33:59 +0100 | cipherrot | (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |