Logs on 2025-12-07 (liberachat/#haskell)
| 00:03:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:09:06 | jmcantrell_ | is now known as jmcantrell |
| 00:17:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:22:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:25:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:32:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:39:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:41:11 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:43:41 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 00:50:08 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Read error: Connection reset by peer) |
| 00:50:08 | × | int-e quits (~noone@int-e.eu) (Read error: Connection reset by peer) |
| 00:50:21 | → | int-e joins (~noone@int-e.eu) |
| 00:50:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:51:31 | × | Googulator48 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 00:51:47 | → | Googulator48 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 00:52:02 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 00:52:02 | ChanServ | sets mode +v lambdabot |
| 00:55:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:56:48 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 00:58:53 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 01:06:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:08:40 | trickard_ | is now known as trickard |
| 01:11:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:12:33 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:17:43 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 01:19:12 | × | xal quits (~xal@mx1.xal.systems) (Quit: bye) |
| 01:19:31 | → | notzmv joins (~umar@user/notzmv) |
| 01:19:50 | → | xal joins (~xal@mx1.xal.systems) |
| 01:22:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:23:54 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 244 seconds) |
| 01:25:37 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 01:27:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:37:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:39:08 | → | omidmash6 joins (~omidmash@user/omidmash) |
| 01:40:17 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:41:19 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 01:41:19 | omidmash6 | is now known as omidmash |
| 01:43:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:44:40 | → | infinity0 joins (~infinity0@pwned.gg) |
| 01:53:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:58:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:03:10 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:12:59 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 02:20:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:21:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:23:19 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 02:23:39 | → | vetkat joins (~vetkat@user/vetkat) |
| 02:25:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:26:56 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Read error: Connection reset by peer) |
| 02:26:57 | × | int-e quits (~noone@int-e.eu) (Read error: Connection reset by peer) |
| 02:27:06 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 02:27:06 | ChanServ | sets mode +v lambdabot |
| 02:27:14 | → | int-e joins (~noone@int-e.eu) |
| 02:34:49 | trickard_ | is now known as trickard |
| 02:36:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:42:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:52:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:52:41 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 02:56:02 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:56:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:04:12 | → | annamalai joins (~annamalai@2409:4042:eb1:23b6::9e4a:5012) |
| 03:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:39 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:08:15 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 245 seconds) |
| 03:08:36 | → | merijn joins (~merijn@62.45.137.128) |
| 03:10:23 | → | ephemient joins (uid407513@user/ephemient) |
| 03:10:36 | × | annamalai quits (~annamalai@2409:4042:eb1:23b6::9e4a:5012) (Remote host closed the connection) |
| 03:11:01 | → | annamalai joins (~annamalai@157.33.227.191) |
| 03:13:29 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 260 seconds) |
| 03:13:53 | Googulator48 | is now known as Googulator |
| 03:15:34 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:15:48 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 03:23:55 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 03:23:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:26:39 | × | td_ quits (~td@i53870933.versanet.de) (Ping timeout: 252 seconds) |
| 03:27:16 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 03:28:21 | → | td_ joins (~td@i53870918.versanet.de) |
| 03:31:10 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:31:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:31:58 | → | djspacewhale joins (~djspacewh@user/djspacewhale) |
| 03:33:48 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 03:34:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:38:16 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 03:40:01 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 03:42:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:45:12 | → | deptype joins (~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df) |
| 03:46:21 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 03:46:22 | → | Googulator73 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 03:46:23 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:46:37 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 03:47:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:56:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:57:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:58:30 | → | kerosenewife joins (~thalber@user/kerosenewife) |
| 04:02:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 04:02:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:13:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:14:28 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 04:15:16 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 04:15:43 | × | Googulator73 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 04:15:48 | → | Googulator54 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 04:16:53 | × | notzmv quits (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 04:18:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:18:24 | ← | kerosenewife parts (~thalber@user/kerosenewife) (WeeChat 4.7.1) |
| 04:21:57 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:22:03 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 04:22:11 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 04:29:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:30:04 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 04:30:26 | → | divlamir joins (~divlamir@user/divlamir) |
| 04:33:43 | trickard_ | is now known as trickard |
| 04:34:13 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 04:34:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:42:16 | × | elarks quits (~yerri@user/yerrii) (Quit: WeeChat 4.7.1) |
| 04:45:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:45:44 | × | Googulator54 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 04:45:46 | → | Googulator21 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 04:50:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:00:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:02:53 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:03:07 | → | trickard joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 05:06:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:11:23 | × | djspacewhale quits (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 05:15:46 | → | Googulator36 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 05:15:48 | × | Googulator21 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 05:16:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:21:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:29:35 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 05:32:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:34:40 | → | infinity0 joins (~infinity0@pwned.gg) |
| 05:36:21 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:37:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:39:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:44:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:44:23 | × | ephemient quits (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 05:45:42 | → | Googulator54 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 05:45:47 | × | Googulator36 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 06:00:10 | → | EpicBanana joins (~szqmpc_@user/szqmpc-:51693) |
| 06:01:43 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 240 seconds) |
| 06:02:27 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 06:11:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:15:06 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:15:18 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 06:15:19 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 06:18:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:28:20 | × | iqubic quits (~sophia@2601:602:9203:1660:dd90:fc81:4acd:a139) (Remote host closed the connection) |
| 06:28:25 | → | notzmv joins (~umar@user/notzmv) |
| 06:29:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:31:59 | trickard_ | is now known as trickard |
| 06:33:18 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 06:33:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:43:54 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 06:44:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:45:53 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 06:47:16 | × | EpicBanana quits (~szqmpc_@user/szqmpc-:51693) (Quit: Leaving) |
| 06:49:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:50:31 | → | tromp joins (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) |
| 06:51:00 | × | tromp quits (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Client Quit) |
| 06:56:14 | → | iqubic joins (~sophia@2601:602:9203:1660:dd90:fc81:4acd:a139) |
| 07:00:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:05:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:16:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:18:28 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 07:19:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 07:21:18 | <haskellbridge> | <Liamzee> Just curious, there's no way to |
| 07:21:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:21:29 | <haskellbridge> | <Liamzee> I mean, you COULD unsafePerformIO it, but, ummm, really? |
| 07:22:14 | <haskellbridge> | <Liamzee> I'm looking at some JS code, there's a safety catch, you can do it in Haskell, but you'd have to use do notation |
| 07:22:28 | <haskellbridge> | <Liamzee> it'd be more useful if you could say, put a monadic value into the guard |
| 07:28:53 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 07:32:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:37:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:40:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:43:12 | → | Square2 joins (~Square@user/square) |
| 07:45:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:55:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:00:07 | × | tt123160 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 08:03:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:05:19 | → | tt123160 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 08:06:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) |
| 08:09:37 | × | xff0x quits (~xff0x@2405:6580:b080:900:7967:e26:4b29:6339) (Ping timeout: 250 seconds) |
| 08:13:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:18:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 08:22:32 | → | xff0x joins (~xff0x@2405:6580:b080:900:ad3f:f420:2d20:b3b4) |
| 08:24:59 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 08:28:28 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 08:29:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:34:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:41:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:42:13 | → | chenjf joins (~chenjf@68.64.178.54) |
| 08:43:50 | × | chenjf quits (~chenjf@68.64.178.54) (Client Quit) |
| 08:45:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:56:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:01:48 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 09:01:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 09:12:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:16:54 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:17:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 09:26:28 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 09:28:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:32:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:38:39 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 09:42:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:45:30 | × | ell quits (~ellie@user/ellie) (Quit: Leaving) |
| 09:46:36 | → | ell joins (~ellie@user/ellie) |
| 09:47:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 09:53:49 | → | fgarcia joins (~lei@user/fgarcia) |
| 09:57:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:58:38 | gAy_Dragon | is now known as Festive_Dragon |
| 10:00:45 | × | Googulator54 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 10:00:52 | → | Googulator54 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 10:03:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:03:33 | → | __monty__ joins (~toonn@user/toonn) |
| 10:03:48 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 10:12:17 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 10:12:36 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 10:21:23 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 10:21:46 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 10:23:05 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 10:23:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:23:56 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 10:33:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:39:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:40:54 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 10:41:09 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 10:43:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:44:09 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 10:44:47 | → | karenw joins (~karenw@user/karenw) |
| 10:46:15 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:47:17 | → | poscat joins (~poscat@user/poscat) |
| 10:49:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:52:04 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 10:58:19 | trickard_ | is now known as trickard |
| 11:00:37 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:01:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:03:10 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 11:05:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:05:51 | trickard_ | is now known as trickard |
| 11:07:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 11:07:38 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:07:51 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:08:15 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 11:12:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 11:12:36 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:12:37 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 11:17:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:22:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 11:23:37 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 11:24:22 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 11:32:04 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:32:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:34:35 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 11:37:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 11:44:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:46:38 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 11:47:04 | → | deptype_ joins (~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df) |
| 11:49:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 11:51:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:59:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:04:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 12:15:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:20:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:20:29 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 244 seconds) |
| 12:22:49 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:22:55 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 12:23:02 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 12:23:35 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 12:31:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:38:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 12:45:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:50:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 13:00:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:05:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 13:06:28 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 13:08:57 | → | tromp joins (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) |
| 13:10:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 13:10:57 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 13:11:59 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:14:02 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:14:15 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 13:15:04 | → | halloy7803 joins (~halloy780@46.211.29.235) |
| 13:16:03 | × | halloy7803 quits (~halloy780@46.211.29.235) (Client Quit) |
| 13:16:07 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 13:16:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:19:24 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:20:55 | → | Googulator91 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 13:20:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:20:58 | × | Googulator54 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 13:22:13 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:23:31 | → | ephemient joins (uid407513@user/ephemient) |
| 13:23:57 | × | Pozyomka quits (~pyon@user/pyon) (Quit: bbl) |
| 13:24:16 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 13:25:27 | → | Pozyomka joins (~pyon@user/pyon) |
| 13:32:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:37:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 13:46:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:49:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:51:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 13:55:39 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 13:56:23 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:00:55 | × | tromp quits (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:01:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:02:14 | → | tromp joins (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) |
| 14:07:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:07:38 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:07:51 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 14:17:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:20:32 | × | Googulator91 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 14:20:38 | → | Googulator35 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 14:22:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 14:30:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 14:33:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:36:22 | → | spew joins (~spew@user/spew) |
| 14:38:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:38:26 | → | qqe joins (~qqq@185.54.20.98) |
| 14:40:29 | trickard_ | is now known as trickard |
| 14:44:13 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 244 seconds) |
| 14:46:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 14:47:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:50:44 | × | Googulator35 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 14:50:54 | → | Googulator35 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 14:52:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:56:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:59:06 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 15:02:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:04:04 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.2) |
| 15:08:37 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 246 seconds) |
| 15:09:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 15:11:45 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 15:18:21 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 15:21:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:25:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:28:14 | → | tremon joins (~tremon@83.80.159.219) |
| 15:29:58 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 15:30:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 15:33:33 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 15:34:08 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 15:34:50 | Googulator35 | is now known as Googulator |
| 15:36:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:39:01 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 264 seconds) |
| 15:42:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 15:48:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:49:27 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 15:50:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 15:50:43 | ljdarj1 | is now known as ljdarj |
| 15:52:08 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 15:52:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 15:54:59 | → | user363627 joins (~user@user/user363627) |
| 15:55:10 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 246 seconds) |
| 16:03:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:04:26 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 16:08:23 | × | qqe quits (~qqq@185.54.20.98) (Remote host closed the connection) |
| 16:09:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:11:03 | × | wbooze quits (~wbooze@cgn-195-14-220-195.nc.de) (Ping timeout: 250 seconds) |
| 16:19:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:20:20 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 16:22:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:24:31 | → | wbooze joins (~wbooze@cgn-195-14-220-195.nc.de) |
| 16:24:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:26:50 | → | biberu joins (~biberu@user/biberu) |
| 16:27:49 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 16:28:35 | × | Pixi quits (~Pixi@user/pixi) (Quit: Leaving) |
| 16:29:44 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 16:30:44 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 16:35:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:38:00 | <haskellbridge> | <magic_rb> anyone know how to make microlens-th work with DuplicateRecordFields and NoFieldSelectors? with makeClassy it still defines toplevel names that conflict between multiple datatypes |
| 16:38:14 | × | biberu quits (~biberu@user/biberu) (Remote host closed the connection) |
| 16:38:25 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:38:38 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 16:38:44 | <haskellbridge> | <magic_rb> If I have data Foo = Foo { content :: Content } and data Content = ... then it will create two content toplevel bindings for some odd reason |
| 16:40:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 16:41:04 | × | opencircuit_ quits (~quassel@user/opencircuit) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 16:41:44 | → | opencircuit joins (~quassel@user/opencircuit) |
| 16:43:19 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) (Ping timeout: 240 seconds) |
| 16:43:31 | → | Pixi joins (~Pixi@user/pixi) |
| 16:44:44 | → | potatoespotatoes joins (~quassel@130.44.145.181) |
| 16:44:44 | × | potatoespotatoes quits (~quassel@130.44.145.181) (Changing host) |
| 16:44:44 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 16:49:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:50:25 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) (Ping timeout: 264 seconds) |
| 16:53:58 | → | Gedanken joins (~Gedanken@2601:14d:4d7e:8f0:89fd:a92e:847:4479) |
| 16:54:10 | → | potatoespotatoes joins (~quassel@130.44.145.181) |
| 16:54:10 | × | potatoespotatoes quits (~quassel@130.44.145.181) (Changing host) |
| 16:54:10 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 16:54:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:57:15 | → | biberu joins (~biberu@user/biberu) |
| 17:04:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:05:39 | → | Googulator69 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 17:05:39 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 17:10:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:10:30 | → | ftzm joins (~ftzm@085080241041.dynamic.telenor.dk) |
| 17:12:58 | <[exa]> | magic_rb: there was some extra naming convention there that you afaik had to use even with the extensions |
| 17:15:18 | <[exa]> | magic_rb: (just in case, can you do a minimal reproducer?) |
| 17:16:45 | × | ftzm quits (~ftzm@085080241041.dynamic.telenor.dk) (Quit: The Lounge - https://thelounge.chat) |
| 17:20:09 | <[exa]> | Liamzee: if you pull a monad through guards you have to be able to also rollback it, so a sound implementation would probably require at least Alternative or so |
| 17:20:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:20:54 | <[exa]> | but at that point you don't really need the guards because you can just `asum` the branches and it's going to work |
| 17:22:38 | <[exa]> | (or logicT which iirc has an actual cut to use after the guard condition succeeds) |
| 17:25:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:27:37 | → | Square2 joins (~Square@user/square) |
| 17:31:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:33:41 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:35:45 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 17:36:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 17:36:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:36:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 17:36:37 | ljdarj1 | is now known as ljdarj |
| 17:40:42 | → | Googulator10 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 17:40:46 | × | Googulator69 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 17:41:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 17:43:06 | × | wbooze quits (~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer) |
| 17:46:26 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 17:50:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:52:33 | ← | Gedanken parts (~Gedanken@2601:14d:4d7e:8f0:89fd:a92e:847:4479) () |
| 17:52:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:55:35 | → | wbooze joins (~wbooze@cgn-195-14-220-195.nc.de) |
| 17:57:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:57:21 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:03:11 | → | Guest28 joins (~Guest28@185-85-149-249.dynamic.telemach.net) |
| 18:03:52 | × | Guest28 quits (~Guest28@185-85-149-249.dynamic.telemach.net) (Client Quit) |
| 18:05:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:08:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:10:42 | × | Googulator10 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 18:10:45 | → | Googulator94 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 18:12:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:14:31 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 18:24:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:26:04 | <monochrom> | A few days ago we were talking about hypothetical Additive and Multiplicative classes. Someone has done it before! And completely fleshed out: https://hackage.haskell.org/package/numhask |
| 18:29:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:30:00 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:32:25 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 18:39:01 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 264 seconds) |
| 18:39:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:40:40 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 18:40:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) |
| 18:41:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:42:24 | × | pebble quits (~pebble@37.63.35.63) (Read error: Connection reset by peer) |
| 18:43:25 | <geekosaur> | yep |
| 18:43:34 | <geekosaur> | I think there's a couple of others as well |
| 18:45:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:46:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:47:03 | <geekosaur> | numeric-prelude has Additive but makes Multiplicative part of Ring (but it's written in Henningskell so figuring this out from the haddock takes some work) |
| 18:47:32 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 18:50:01 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:52:10 | × | deptype_ quits (~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df) (Remote host closed the connection) |
| 18:52:10 | × | deptype quits (~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df) (Remote host closed the connection) |
| 18:55:00 | → | michalz joins (~michalz@185.246.207.205) |
| 18:55:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 18:57:21 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 19:02:46 | <haskellbridge> | <doc> i'm so glad henningskell has official recognition |
| 19:06:56 | Googulator94 | is now known as Googulator |
| 19:06:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:11:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 19:15:52 | → | spew joins (~spew@user/spew) |
| 19:22:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:24:17 | → | qqe joins (~qqq@185.54.20.98) |
| 19:27:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:30:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 19:31:14 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:31:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:32:23 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 19:34:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:35:48 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 19:36:10 | → | spew joins (~spew@user/spew) |
| 19:38:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:43:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:45:54 | × | iqubic quits (~sophia@2601:602:9203:1660:dd90:fc81:4acd:a139) (Remote host closed the connection) |
| 19:47:07 | → | spew_ joins (~spew@user/spew) |
| 19:49:04 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:49:18 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 19:49:28 | → | pebble joins (~pebble@37.63.35.63) |
| 19:50:49 | × | spew quits (~spew@user/spew) (Killed (NickServ (GHOST command used by spew_))) |
| 19:50:57 | spew_ | is now known as spew |
| 19:52:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:52:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) |
| 19:55:38 | → | Googulator46 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 19:55:51 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 19:55:56 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:57:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:57:56 | → | califax joins (~califax@user/califx) |
| 19:58:01 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:58:59 | → | califax joins (~califax@user/califx) |
| 20:05:07 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:05:53 | → | califax joins (~califax@user/califx) |
| 20:07:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:09:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:10:11 | → | califax joins (~califax@user/califx) |
| 20:10:32 | × | qqe quits (~qqq@185.54.20.98) (Remote host closed the connection) |
| 20:11:41 | × | biberu quits (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 20:11:57 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:12:21 | → | califax joins (~califax@user/califx) |
| 20:13:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:17:00 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 20:23:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:24:55 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:27:20 | × | pebble quits (~pebble@37.63.35.63) (Read error: Connection reset by peer) |
| 20:28:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:38:24 | → | mikess joins (~sam@user/mikess) |
| 20:39:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:45:29 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 20:46:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:49:37 | → | jreicher joins (~user@user/jreicher) |
| 20:53:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:55:32 | → | Googulator79 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 20:55:44 | × | Googulator46 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 20:58:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:06:29 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 21:08:02 | → | weary-traveler joins (~user@user/user363627) |
| 21:08:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:23:56 | × | td_ quits (~td@i53870918.versanet.de) (Quit: waking up from the american dream ...) |
| 21:24:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:29:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 21:30:43 | → | td_ joins (~td@i53870918.versanet.de) |
| 21:35:16 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:35:30 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 21:40:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:41:06 | → | Square joins (~Square4@user/square) |
| 21:44:09 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 21:44:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:55:33 | × | Googulator79 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 21:55:37 | <chromoblob> | "numhask" whoa |
| 21:55:37 | → | Googulator29 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 21:56:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:00:06 | <chromoblob> | soon one will be able to learn math by Haskell packages... |
| 22:00:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:04:52 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 22:10:39 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 22:11:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:12:30 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:13:26 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 22:16:26 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:16:39 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 22:17:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:20:24 | → | raeven joins (~raeven@user/raeven) |
| 22:21:41 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:25:43 | → | Googulator89 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 22:26:15 | × | Googulator29 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 22:27:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:29:59 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:30:13 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 22:32:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:34:32 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 22:35:20 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 22:40:31 | → | gorignak joins (~gorignak@user/gorignak) |
| 22:43:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:44:38 | × | raeven quits (~raeven@user/raeven) (Quit: leaving) |
| 22:48:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:52:21 | → | gmg joins (~user@user/gehmehgeh) |
| 22:58:56 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 22:58:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:03:58 | → | Googulator49 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 23:04:05 | × | Googulator89 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 23:04:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:08:33 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:10:49 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 23:11:10 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 23:11:35 | → | baturhan joins (~baturhan@user/baturhan) |
| 23:13:26 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 23:14:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:14:57 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 23:15:41 | × | tromp quits (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:19:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:22:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 23:24:37 | × | annamalai quits (~annamalai@157.33.227.191) (Ping timeout: 264 seconds) |
| 23:30:35 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:30:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:36:23 | × | mikess quits (~sam@user/mikess) (Ping timeout: 244 seconds) |
| 23:37:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:44:25 | × | Square quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 23:45:58 | → | pavonia joins (~user@user/siracusa) |
| 23:48:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:50:05 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 23:53:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:57:19 | × | td_ quits (~td@i53870918.versanet.de) (Ping timeout: 250 seconds) |
All times are in UTC on 2025-12-07.