| 2025-11-17 00:02:12 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-17 00:03:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-17 00:06:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 00:11:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 00:17:05 +0000 | mange | (~mange@user/mange) mange |
| 2025-11-17 00:22:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 00:29:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 00:32:02 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-17 00:39:15 +0000 | pterobul | (~Thunderbi@user/pterobul) pterobul |
| 2025-11-17 00:40:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 00:41:08 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-17 00:42:41 +0000 | pterobul | (~Thunderbi@user/pterobul) (Quit: pterobul) |
| 2025-11-17 00:45:13 +0000 | pterobul | (~Thunderbi@user/pterobul) pterobul |
| 2025-11-17 00:45:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 00:46:33 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7550:dcbe:aa36:f649) (Ping timeout: 250 seconds) |
| 2025-11-17 00:51:14 +0000 | itaipu | (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-11-17 00:56:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 01:01:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 01:07:09 +0000 | sindu | (~sindu@77.19.134.151.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-11-17 01:08:22 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-17 01:12:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 01:12:15 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2025-11-17 01:16:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 01:23:29 +0000 | pterobul | (~Thunderbi@user/pterobul) (Quit: pterobul) |
| 2025-11-17 01:27:32 +0000 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-17 01:27:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 01:30:40 +0000 | acidjnk | (~acidjnk@p200300d6e7171947d86447954ea3c074.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-17 01:32:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 01:40:57 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-17 01:43:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 01:46:33 +0000 | martin | (~martin@181.169.204.250) |
| 2025-11-17 01:47:19 +0000 | <martin> | hola |
| 2025-11-17 01:47:31 +0000 | <martin> | alguien habla español? |
| 2025-11-17 01:48:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 01:50:32 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-17 01:52:31 +0000 | martin | (~martin@181.169.204.250) (Ping timeout: 240 seconds) |
| 2025-11-17 01:54:12 +0000 | otto_s | (~user@p5b04423e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-17 01:54:24 +0000 | <geekosaur> | @tell martin there's a #haskell-es, although it doesn't look like it's getting much use currently |
| 2025-11-17 01:54:24 +0000 | <lambdabot> | Consider it noted. |
| 2025-11-17 01:55:17 +0000 | <geekosaur> | @tell martin existe #haskell-es, aunque parece que actualmente no se está usando mucho |
| 2025-11-17 01:55:17 +0000 | <lambdabot> | Consider it noted. |
| 2025-11-17 01:55:37 +0000 | <geekosaur> | …my Spanish isn't quite up to that, sadly |
| 2025-11-17 01:55:38 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) (Read error: Connection reset by peer) |
| 2025-11-17 01:55:57 +0000 | otto_s | (~user@p5de2f6bf.dip0.t-ipconnect.de) |
| 2025-11-17 01:57:05 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) synchromesh |
| 2025-11-17 01:57:18 +0000 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-17 01:59:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 02:00:57 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 02:01:10 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-17 02:04:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 02:05:55 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-17 02:06:18 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-17 02:06:24 +0000 | myxokephale | (~myxos@2001:579:8380:f20:23b:d085:c827:a3cf) myxokephale |
| 2025-11-17 02:09:20 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-11-17 02:09:27 +0000 | myxos | (~myxos@2001:579:8380:f20:abb:2847:db49:d417) (Ping timeout: 252 seconds) |
| 2025-11-17 02:15:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 02:19:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-17 02:30:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 02:35:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 02:37:50 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-17 02:38:08 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-17 02:46:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 02:51:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 02:57:40 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 255 seconds) |
| 2025-11-17 03:02:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 03:02:57 +0000 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-17 03:04:49 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-17 03:09:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 03:11:32 +0000 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-17 03:15:40 +0000 | bggd | (~bgg@2a01:e0a:819:1510:c9b2:3583:8eb1:f3ee) (Remote host closed the connection) |
| 2025-11-17 03:20:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 03:24:34 +0000 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-17 03:25:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 03:26:28 +0000 | td_ | (~td@i53870917.versanet.de) td_ |
| 2025-11-17 03:29:20 +0000 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-17 03:32:45 +0000 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-17 03:36:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 03:40:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 03:51:01 +0000 | <haskellbridge> | <slack1256> Computaciones monadicas con estructura aplicativo |
| 2025-11-17 03:51:30 +0000 | <haskellbridge> | <slack1256> Los teoremas de punto fijo |
| 2025-11-17 03:51:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 03:52:54 +0000 | <haskellbridge> | <slack1256> Imaginaos si jaskell usará clase en vez de class o si usará lambdala en vez de lambda jajaa |
| 2025-11-17 03:56:00 +0000 | <geekosaur> | they left some time ago, that's why I used @tell |
| 2025-11-17 03:56:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 04:07:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 04:10:40 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-17 04:12:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 04:22:10 +0000 | mange | (~mange@user/mange) mange |
| 2025-11-17 04:23:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 04:24:21 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-11-17 04:26:14 +0000 | vardhan | (~vardhan@122.172.80.68) |
| 2025-11-17 04:26:55 +0000 | sansk | (~sansk@user/sansk) sansk |
| 2025-11-17 04:28:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-17 04:31:10 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 2025-11-17 04:31:28 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-11-17 04:39:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 04:39:35 +0000 | sansk | (~sansk@user/sansk) (Quit: WeeChat 4.7.1) |
| 2025-11-17 04:45:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 04:51:46 +0000 | qqe | (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 2025-11-17 04:56:48 +0000 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-11-17 04:57:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 04:57:25 +0000 | qqe | (~qqq@185.54.21.140) |
| 2025-11-17 04:59:19 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-17 05:02:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 05:02:42 +0000 | bggd | (~bgg@2a01:e0a:819:1510:9f9:43a8:4a1a:b6f1) |
| 2025-11-17 05:03:07 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-17 05:12:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 05:13:13 +0000 | trickard__ | trickard |
| 2025-11-17 05:18:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 05:18:58 +0000 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-17 05:27:09 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-17 05:38:11 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-17 05:39:25 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-11-17 05:40:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 05:41:33 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-17 05:43:13 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-11-17 05:44:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 05:46:29 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-17 05:48:24 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-17 05:50:02 +0000 | Nachtgespenst_ | (~user@user/siracusa) siracusa |
| 2025-11-17 05:50:08 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-11-17 05:50:24 +0000 | tomsmeding_ | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2025-11-17 05:51:28 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-17 05:51:36 +0000 | AlexZenon_2 | (~alzenon@178.34.151.158) |
| 2025-11-17 05:51:54 +0000 | haskellbridge_ | (~hackager@96.28.224.214) hackager |
| 2025-11-17 05:51:54 +0000 | ChanServ | +v haskellbridge_ |
| 2025-11-17 05:52:32 +0000 | raym_ | (~ray@user/raym) raym |
| 2025-11-17 05:53:01 +0000 | td__ | (~td@i53870917.versanet.de) td_ |
| 2025-11-17 05:53:22 +0000 | int-e_ | (~noone@int-e.eu) int-e |
| 2025-11-17 05:53:25 +0000 | lbseale_ | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-11-17 05:53:36 +0000 | op_4_ | (~tslil@2a01:4f8:c0c:7952::1) |
| 2025-11-17 05:55:29 +0000 | kaankeskin2 | (~kaankeski@user/kaankeskin) kaankeskin |
| 2025-11-17 05:55:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 05:56:07 +0000 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-17 05:56:40 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-11-17 05:56:40 +0000 | haskellbridge | (~hackager@96.28.224.214) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | Fijxu_ | (~Fijxu@user/fijxu) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | rekahsoft | (~rekahsoft@70.51.99.245) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | kaankeskin | (~kaankeski@user/kaankeskin) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | raym | (~ray@user/raym) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | annamalai | (~annamalai@157.33.231.224) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | Nachtgespenst | (~user@user/siracusa) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | int-e | (~noone@int-e.eu) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | AlexZenon | (~alzenon@178.34.151.158) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 +0000 | kaankeskin2 | kaankeskin |
| 2025-11-17 05:56:43 +0000 | op_4_ | op_4 |
| 2025-11-17 05:56:47 +0000 | haskellbridge_ | haskellbridge |
| 2025-11-17 05:57:20 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2025-11-17 05:57:20 +0000 | ChanServ | +v yahb2 |
| 2025-11-17 05:58:57 +0000 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-17 06:00:41 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-17 06:00:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 06:04:38 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) (Read error: Connection reset by peer) |
| 2025-11-17 06:05:44 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) synchromesh |
| 2025-11-17 06:10:32 +0000 | tt1231 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Read error: Connection reset by peer) |
| 2025-11-17 06:10:37 +0000 | tt12316 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-11-17 06:11:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 06:13:47 +0000 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2025-11-17 06:14:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-17 06:14:22 +0000 | michalz | (~michalz@185.246.207.203) |
| 2025-11-17 06:16:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 06:16:27 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-11-17 06:26:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 06:28:13 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2025-11-17 06:33:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-17 06:44:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 06:49:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-17 07:00:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 07:04:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-17 07:06:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 07:08:35 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-17 07:10:18 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 2025-11-17 07:16:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 07:21:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 07:31:17 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-17 07:32:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 07:34:32 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-17 07:37:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 07:42:39 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-17 07:43:14 +0000 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-17 07:44:02 +0000 | annamalai | (~annamalai@157.33.228.129) annamalai |
| 2025-11-17 07:46:34 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-11-17 07:48:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 07:52:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-17 07:55:34 +0000 | annamalai | (~annamalai@157.33.228.129) (Ping timeout: 255 seconds) |
| 2025-11-17 08:03:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 08:06:12 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-17 08:10:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-17 08:13:07 +0000 | bggd | (~bgg@2a01:e0a:819:1510:9f9:43a8:4a1a:b6f1) (Remote host closed the connection) |
| 2025-11-17 08:15:51 +0000 | annamalai | (~annamalai@157.33.234.145) annamalai |
| 2025-11-17 08:20:33 +0000 | annamalai | (~annamalai@157.33.234.145) (Ping timeout: 260 seconds) |
| 2025-11-17 08:21:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 08:22:39 +0000 | annamalai | (~annamalai@2405:204:9017:58f8::4c5:e8a5) annamalai |
| 2025-11-17 08:26:21 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-17 08:26:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 08:31:30 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 2025-11-17 08:37:09 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-17 08:37:52 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-11-17 08:40:16 +0000 | kuribas | (~user@2a02-1810-2825-6000-2c81-b9d0-3939-7889.ip6.access.telenet.be) kuribas |
| 2025-11-17 08:42:30 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-17 08:43:06 +0000 | chele | (~chele@user/chele) chele |
| 2025-11-17 08:50:35 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 2025-11-17 08:54:28 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-17 09:11:40 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 09:14:06 +0000 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
| 2025-11-17 09:14:55 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-17 09:15:09 +0000 | dmj`_ | (uid72307@id-72307.hampstead.irccloud.com) |
| 2025-11-17 09:16:44 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-11-17 09:16:45 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-17 09:26:14 +0000 | <haskellbridge> | <zoil> byorgey: jhrcek was asking for you in the haskell channel |
| 2025-11-17 09:27:16 +0000 | <haskellbridge> | <zoil> btw i had a criticism of the years of game playing that formed monologuing. and, as phil is jewish, has, by the actions of non jews, created a significant ruction in time. |
| 2025-11-17 09:27:40 +0000 | <haskellbridge> | <zoil> the censorship is feverpitch, and the language has been completely hijacked by a maligning group |
| 2025-11-17 09:27:40 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-17 09:28:04 +0000 | <haskellbridge> | <zoil> i wrote this language with turing. and reality is teetering on the brink |
| 2025-11-17 09:28:16 +0000 | <haskellbridge> | <zoil> retrospectively, the lies seem unforgivable. |
| 2025-11-17 09:28:44 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-17 09:28:54 +0000 | gustrb | (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-17 09:28:54 +0000 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-17 09:29:33 +0000 | gustrb | (~gustrb@user/gustrb) (Remote host closed the connection) |
| 2025-11-17 09:29:42 +0000 | <c_wraith> | @where mods |
| 2025-11-17 09:29:42 +0000 | <lambdabot> | I know nothing about mods. |
| 2025-11-17 09:29:52 +0000 | <c_wraith> | bah, I can't remember it |
| 2025-11-17 09:30:05 +0000 | <c_wraith> | @where ops |
| 2025-11-17 09:30:05 +0000 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2025-11-17 09:36:41 +0000 | martin | (~martin@181.169.204.250) |
| 2025-11-17 09:37:48 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-17 09:38:55 +0000 | tomsmeding_ | tomsmeding |
| 2025-11-17 09:45:12 +0000 | Taneb | (~username@host-79-43-26-190.retail.telecomitalia.it) Taneb |
| 2025-11-17 09:45:33 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 09:46:30 +0000 | acidjnk | (~acidjnk@p200300d6e717199494cb24f290a326c5.dip0.t-ipconnect.de) acidjnk |
| 2025-11-17 09:50:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-11-17 10:02:14 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 10:05:15 +0000 | Vajb | (~Vajb@n60ck02t8pyq870qtsc-1.v6.elisa-mobile.fi) (Ping timeout: 265 seconds) |
| 2025-11-17 10:05:59 +0000 | Vajb | (~Vajb@n5ges64xxne6jwy5ufr-1.v6.elisa-mobile.fi) |
| 2025-11-17 10:06:41 +0000 | myxos | (~myxos@2001:579:8380:f20:e6ab:8ef0:3a0a:e59c) myxokephale |
| 2025-11-17 10:07:43 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-17 10:09:16 +0000 | myxokephale | (~myxos@2001:579:8380:f20:23b:d085:c827:a3cf) (Ping timeout: 246 seconds) |
| 2025-11-17 10:10:31 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-17 10:15:08 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-11-17 10:19:06 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-17 10:21:14 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 10:25:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-11-17 10:35:47 +0000 | <jreicher> | Would IRC mods be able to help with something coming across the bridge? |
| 2025-11-17 10:38:04 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 10:42:31 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-11-17 10:53:21 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-17 10:55:46 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 10:56:17 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-17 10:58:48 +0000 | Nachtgespenst_ | Nachtgespenst |
| 2025-11-17 11:00:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-17 11:02:02 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 2025-11-17 11:06:42 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-11-17 11:12:27 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 11:12:58 +0000 | AlexZenon_2 | (~alzenon@178.34.151.158) (Ping timeout: 246 seconds) |
| 2025-11-17 11:13:17 +0000 | AlexNoo | (~AlexNoo@178.34.151.158) (Ping timeout: 244 seconds) |
| 2025-11-17 11:17:37 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 11:17:51 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-17 11:19:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-17 11:23:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:fb28:6c11:a653:72c4) |
| 2025-11-17 11:23:46 +0000 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-17 11:23:46 +0000 | dmj`_ | (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-17 11:24:37 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds) |
| 2025-11-17 11:25:47 +0000 | annamalai | (~annamalai@2405:204:9017:58f8::4c5:e8a5) (Ping timeout: 244 seconds) |
| 2025-11-17 11:27:34 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-11-17 11:27:45 +0000 | gustrb | (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-17 11:27:45 +0000 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-17 11:32:47 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 11:34:29 +0000 | int-e_ | int-e |
| 2025-11-17 11:40:39 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-11-17 11:41:12 +0000 | deptype | (~deptype@2406:b400:3a:73c2:8e9e:5030:da68:3cf) |
| 2025-11-17 11:52:33 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 11:52:47 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-17 11:53:42 +0000 | Everything | (~Everythin@88.155.1.132) Everything |
| 2025-11-17 11:54:26 +0000 | fp | (~Thunderbi@130.233.70.206) fp |
| 2025-11-17 11:55:05 +0000 | fp | (~Thunderbi@130.233.70.206) (Client Quit) |
| 2025-11-17 11:55:26 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-11-17 11:55:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-17 12:03:44 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 12:08:55 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-17 12:09:11 +0000 | trickard__ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 12:29:08 +0000 | trickard__ | trickard |
| 2025-11-17 12:30:01 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 12:32:21 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-17 12:32:48 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 12:33:08 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-17 12:34:25 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 12:34:35 +0000 | martin | (~martin@181.169.204.250) (Quit: WeeChat 4.6.3) |
| 2025-11-17 12:35:45 +0000 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 245 seconds) |
| 2025-11-17 12:36:27 +0000 | Taneb | (~username@host-79-43-26-190.retail.telecomitalia.it) (Ping timeout: 252 seconds) |
| 2025-11-17 12:37:43 +0000 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 255 seconds) |
| 2025-11-17 12:41:21 +0000 | annamalai | (~annamalai@157.33.248.131) annamalai |
| 2025-11-17 12:42:16 +0000 | Googulator78 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 12:42:31 +0000 | Googulator78 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 12:44:04 +0000 | Taneb | (~username@host-79-43-26-190.retail.telecomitalia.it) Taneb |
| 2025-11-17 12:44:10 +0000 | vardhan | (~vardhan@122.172.80.68) (Ping timeout: 256 seconds) |
| 2025-11-17 12:45:28 +0000 | Googulator78 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Client Quit) |
| 2025-11-17 12:45:59 +0000 | Googulator78 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 12:47:29 +0000 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-17 12:48:57 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-17 12:49:02 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 2025-11-17 12:55:20 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-11-17 12:56:01 +0000 | Googulator67 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 12:56:12 +0000 | Googulator78 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 12:56:21 +0000 | annamalai | (~annamalai@157.33.248.131) (Remote host closed the connection) |
| 2025-11-17 12:56:40 +0000 | annamalai | (~annamalai@157.33.248.131) annamalai |
| 2025-11-17 13:02:50 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 13:03:06 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-17 13:03:20 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-17 13:05:28 +0000 | Googulator67 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 13:05:41 +0000 | Googulator67 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 13:14:29 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-11-17 13:16:18 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-17 13:17:38 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 13:20:36 +0000 | vardhan | (~vardhan@122.172.80.68) |
| 2025-11-17 13:21:09 +0000 | Googulator67 | Googulator |
| 2025-11-17 13:21:24 +0000 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-17 13:26:45 +0000 | AlexNoo | (~AlexNoo@178.34.151.158) |
| 2025-11-17 13:28:29 +0000 | AlexZenon | (~alzenon@178.34.151.158) |
| 2025-11-17 13:30:40 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 13:30:43 +0000 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 13:35:44 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 13:35:49 +0000 | Googulator57 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 13:38:58 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-17 13:43:10 +0000 | __monty__ | (~toonn@user/toonn) (Quit: Lost terminal) |
| 2025-11-17 13:44:46 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-17 13:44:46 +0000 | Core6681 | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 13:44:48 +0000 | Zemy | (~Zemy@2600:100c:b0a9:8436:9ce1:72ff:fe03:126e) |
| 2025-11-17 13:45:22 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 13:45:25 +0000 | Googulator57 | Googulator |
| 2025-11-17 13:45:42 +0000 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 13:45:57 +0000 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 13:46:15 +0000 | Zemy | (~Zemy@2600:100c:b0a9:8436:9ce1:72ff:fe03:126e) (Read error: Connection reset by peer) |
| 2025-11-17 13:46:44 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-17 13:46:44 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 13:53:09 +0000 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 13:53:28 +0000 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 13:55:30 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-17 13:56:25 +0000 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-17 13:56:41 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 13:59:17 +0000 | pounce | (8a023a9e4a@user/cute/pounce) pounce |
| 2025-11-17 13:59:47 +0000 | <pounce> | hey all, i installed ghc through ghcup on fedora aarch64, and every time it runs it gives a bunch of linker errors (even though it runs correctly) |
| 2025-11-17 14:00:03 +0000 | <pounce> | these are the errors: https://paste.sr.ht/~pounce/70a7d0a909d75aeada3dcc4db77b8673c43291f1 |
| 2025-11-17 14:00:48 +0000 | <pounce> | I've installed all ncurses libraries and ncurses compat libraries. In particular it seems like ghc wants to libtinfo5, but it keeps requesting libtinfo6 for some reason |
| 2025-11-17 14:00:56 +0000 | <haskellbridge> | <maerwald> Those are warnings |
| 2025-11-17 14:01:02 +0000 | <haskellbridge> | <maerwald> Not errors |
| 2025-11-17 14:01:13 +0000 | <pounce> | ok, I would appreciate help getting rid of the warnings |
| 2025-11-17 14:02:48 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-17 14:06:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 2025-11-17 14:10:40 +0000 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 14:10:46 +0000 | Googulator32 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 14:17:25 +0000 | Googulator32 | Googulator |
| 2025-11-17 14:19:42 +0000 | <haskellbridge> | <Morj> Added to my list of arguments to get rid of ncurses in ghc |
| 2025-11-17 14:29:37 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-17 14:29:53 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 14:30:07 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 14:49:22 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-17 14:51:41 +0000 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) mulk |
| 2025-11-17 14:58:46 +0000 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-17 15:06:24 +0000 | Taneb | (~username@host-79-43-26-190.retail.telecomitalia.it) (Ping timeout: 244 seconds) |
| 2025-11-17 15:18:19 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-17 15:28:59 +0000 | OWS | Shark8 |
| 2025-11-17 15:35:19 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-11-17 15:36:01 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-17 15:36:46 +0000 | <Square2> | pounce, why not use cabal? I imagine 99% of haskell users do |
| 2025-11-17 15:37:00 +0000 | <pounce> | i use cabal? |
| 2025-11-17 15:37:05 +0000 | <Square2> | oh ok |
| 2025-11-17 15:37:18 +0000 | <pounce> | cabal calls ghc... |
| 2025-11-17 15:38:04 +0000 | <Square2> | your paste hinted on direct use of ghc to me. |
| 2025-11-17 15:38:20 +0000 | <pounce> | it's an example of the output of anything that calls ghc |
| 2025-11-17 15:38:30 +0000 | <pounce> | im specifically writing agda, which does call ghc directly |
| 2025-11-17 15:38:42 +0000 | <pounce> | but also using cabal or stack or anything else has the same effect |
| 2025-11-17 15:38:50 +0000 | <Square2> | okok |
| 2025-11-17 15:41:34 +0000 | <merijn> | Those look like linker errors to me |
| 2025-11-17 15:41:38 +0000 | <Square2> | A quick googling seems to yield a bunch of results that are not tied to ghc/haskell. |
| 2025-11-17 15:41:39 +0000 | vardhan | (~vardhan@122.172.80.68) (Ping timeout: 265 seconds) |
| 2025-11-17 15:41:45 +0000 | <pounce> | merijn: yes, they are |
| 2025-11-17 15:42:04 +0000 | <merijn> | Sounds like the libtinfo shipping with your fedora might just be borked? |
| 2025-11-17 15:42:22 +0000 | m1dnight_ | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-11-17 15:43:14 +0000 | <pounce> | the only thing i can gather is it might be missing VERDEF |
| 2025-11-17 15:44:11 +0000 | <pounce> | but idk how to fix this :/ it's repo managed |
| 2025-11-17 15:44:38 +0000 | <Square2> | missing libtinfo-dev? |
| 2025-11-17 15:46:28 +0000 | <pounce> | i have ncurses-devel and ncurses-libs and ncurses-compat-libs |
| 2025-11-17 15:47:02 +0000 | <pounce> | which is where the libtinfo.so.6 mentioned comes from |
| 2025-11-17 16:01:33 +0000 | <Clint> | presumably you could just rebuild ghc against your libtinfo and it would be happy |
| 2025-11-17 16:05:10 +0000 | <pounce> | Clint: ghc was built against libtinfo on this machine |
| 2025-11-17 16:05:23 +0000 | <pounce> | ghc isn't from the repo |
| 2025-11-17 16:07:26 +0000 | <Clint> | so haskeline and terminfo require versioned symbols and libtinfo has those symbol versions and it's still complaining? |
| 2025-11-17 16:09:08 +0000 | <tomsmeding> | is it possible to #include a header file using CPP from a _different_ package? |
| 2025-11-17 16:09:34 +0000 | <merijn> | tomsmeding: "It Depends (TM)" |
| 2025-11-17 16:09:48 +0000 | <merijn> | tomsmeding: cabal explicitly supports installing header files in a findable location |
| 2025-11-17 16:09:58 +0000 | <merijn> | What that location is, is distro-dependent |
| 2025-11-17 16:10:03 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:1c98:a0ff:fed8:7a71) |
| 2025-11-17 16:10:42 +0000 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 16:10:45 +0000 | Googulator48 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-17 16:10:45 +0000 | <merijn> | I guess that also depends whether you mean including it in C or including it in Haskell code, I suppose |
| 2025-11-17 16:10:50 +0000 | Googulator48 | Googulator |
| 2025-11-17 16:10:54 +0000 | <merijn> | In short: What are you trying to do? |
| 2025-11-17 16:11:25 +0000 | <tomsmeding> | merijn: I'm trying to write a new function on `vector` vectors that works with their fusion system |
| 2025-11-17 16:11:51 +0000 | <tomsmeding> | and they have a little header file (include/vector.h) that defines PHASE_FUSED as [1], and then they write {-# INLINE PHASE_FUSED foo #-} |
| 2025-11-17 16:12:13 +0000 | <tomsmeding> | to be robust against future changes of that header file, I'd ideally like to be able to use their macro definition |
| 2025-11-17 16:13:50 +0000 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2025-11-17 16:14:43 +0000 | <merijn> | tomsmeding: https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#pkg-field-install-inclu… |
| 2025-11-17 16:14:45 +0000 | <tomsmeding> | (concretely: the fromListN on vectors just ignores additional elements in the list and returns a shorter vector if the list was too short; I think that's boneheaded behaviour and want an error to be thrown instead) |
| 2025-11-17 16:15:03 +0000 | <pounce> | Clint: well, libtinfo might not have those versions. but im not an expert on linkers so im not sure |
| 2025-11-17 16:15:23 +0000 | <pounce> | if i do readelf -e /lib64/libtinfo.so.6 | grep VER the library has VERSYM and VERNEED but not VERDEF |
| 2025-11-17 16:15:35 +0000 | <merijn> | tomsmeding: That behaviour is because those functions seem like they're intended to be use with OverloadedList? |
| 2025-11-17 16:15:44 +0000 | <merijn> | tomsmeding: Which doesn't support any kind of error flow |
| 2025-11-17 16:16:14 +0000 | <tomsmeding> | possible, but I want a checked fromListN and I can't have that now, because doing a length check before calling V.fromListN forces the entire list and breaks all streaming |
| 2025-11-17 16:16:40 +0000 | <tomsmeding> | so I believe my only option is writing a fromListNChecked that does almost the same as fromListN but not quite |
| 2025-11-17 16:16:51 +0000 | <merijn> | tomsmeding: At any rate, the answer is basically IFF they include it in install-includes you can, else you're hosed |
| 2025-11-17 16:17:00 +0000 | <tomsmeding> | makes sense, thanks! |
| 2025-11-17 16:17:19 +0000 | <lucabtz> | how do you connect a matrix account to a IRC one? |
| 2025-11-17 16:17:39 +0000 | <merijn> | lucabtz: You don't, afaik? |
| 2025-11-17 16:17:53 +0000 | <tomsmeding> | merijn: it has an install-includes!!!!!! |
| 2025-11-17 16:17:59 +0000 | <tomsmeding> | I cannot believe my luck |
| 2025-11-17 16:18:01 +0000 | <lucabtz> | idk because some people on the bridge in matrix have a proper name |
| 2025-11-17 16:18:04 +0000 | <merijn> | tomsmeding: :) |
| 2025-11-17 16:18:10 +0000 | <lucabtz> | while mine looks weird |
| 2025-11-17 16:18:21 +0000 | <lucabtz> | i thought there is a way to have that |
| 2025-11-17 16:18:37 +0000 | <tomsmeding> | lucabtz: do you mean speaking with a proper irc nick instead of via haskellbridge? |
| 2025-11-17 16:18:48 +0000 | <lucabtz> | tomsmeding yeah |
| 2025-11-17 16:19:09 +0000 | <tomsmeding> | I think you can only achieve that with a proper bridge plugin on a matrix server, and public servers don't tend to run those because of abuse potential |
| 2025-11-17 16:19:17 +0000 | <tomsmeding> | you can do it with a self-hosted matrix server |
| 2025-11-17 16:19:29 +0000 | <lucabtz> | oh i see |
| 2025-11-17 16:19:35 +0000 | <lucabtz> | thx |
| 2025-11-17 16:19:40 +0000 | <tomsmeding> | matrix.org used to have one of those with libera.chat, but there were complaints about spam and they stopped offering that |
| 2025-11-17 16:19:42 +0000 | <lucabtz> | sorry for the slight off topic |
| 2025-11-17 16:20:42 +0000 | Googulator21 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 16:20:46 +0000 | Googulator | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 16:21:02 +0000 | Googulator21 | Googulator |
| 2025-11-17 16:23:05 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-17 16:25:11 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-17 16:25:52 +0000 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 16:25:54 +0000 | Googulator89 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-17 16:27:54 +0000 | Googulator89 | Googulator |
| 2025-11-17 16:28:08 +0000 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) |
| 2025-11-17 16:29:22 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-11-17 16:30:03 +0000 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2025-11-17 16:31:15 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-11-17 16:31:26 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:1c98:a0ff:fed8:7a71) (Ping timeout: 265 seconds) |
| 2025-11-17 16:31:28 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-17 16:31:41 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-17 16:34:06 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) |
| 2025-11-17 16:34:53 +0000 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-17 16:35:30 +0000 | Core7738 | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-17 16:36:29 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) (Read error: Connection reset by peer) |
| 2025-11-17 16:36:29 +0000 | Core3185 | (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) |
| 2025-11-17 16:36:48 +0000 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-11-17 16:39:44 +0000 | Core7738 | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 240 seconds) |
| 2025-11-17 16:40:19 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 16:40:34 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 16:43:44 +0000 | trickard_ | trickard |
| 2025-11-17 17:12:13 +0000 | Zemy | (~Zemy@mobile-107-80-206-104.mycingular.net) |
| 2025-11-17 17:14:15 +0000 | <hololeap> | what was the thing where you can give it a type signature and it gives you back a function/one-liner? |
| 2025-11-17 17:15:08 +0000 | <hololeap> | (trying to remember the canonical way to do [a -> b] -> a -> [b]) |
| 2025-11-17 17:15:25 +0000 | Core3185 | (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) (Ping timeout: 250 seconds) |
| 2025-11-17 17:15:46 +0000 | Zemy_ | (~Zemy@mobile-107-80-206-104.mycingular.net) |
| 2025-11-17 17:16:50 +0000 | <hololeap> | I guess (\a -> fmap ($ a)) |
| 2025-11-17 17:17:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-17 17:18:31 +0000 | Zemy | (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 240 seconds) |
| 2025-11-17 17:20:28 +0000 | <geekosaur> | djinn but it doesn't handle recursive types iirc? |
| 2025-11-17 17:20:50 +0000 | <geekosaur> | @djinn [a -> b] -> a -> [b]) |
| 2025-11-17 17:20:50 +0000 | <lambdabot> | Cannot parse command |
| 2025-11-17 17:21:15 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-17 17:21:33 +0000 | <hololeap> | thanks, I couldn't remember what it was called. I can install it locally :) |
| 2025-11-17 17:22:27 +0000 | Zemy | (~Zemy@2600:100c:b0a9:8436:20e2:f5ff:fea2:5e88) |
| 2025-11-17 17:24:39 +0000 | Zemy_ | (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-11-17 17:28:06 +0000 | <haskellbridge> | <doc> hololeap: i think that signature can be satisfied with just sequenceA or sequence |
| 2025-11-17 17:28:28 +0000 | <yin> | How can I have an idea of the current state of Yampa? |
| 2025-11-17 17:28:39 +0000 | <yin> | still a goto choice for FRP? |
| 2025-11-17 17:33:34 +0000 | Square3 | (~Square@user/square) Square |
| 2025-11-17 17:34:18 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 2025-11-17 17:36:34 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-11-17 17:37:35 +0000 | qqe | (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 2025-11-17 17:38:40 +0000 | annamalai | (~annamalai@157.33.248.131) (Ping timeout: 245 seconds) |
| 2025-11-17 17:47:03 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-11-17 17:48:52 +0000 | <hololeap> | yin: check the repo for recent commits |
| 2025-11-17 17:49:40 +0000 | Vajb | (~Vajb@n5ges64xxne6jwy5ufr-1.v6.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 2025-11-17 17:50:20 +0000 | Vajb | (~Vajb@n5ft3n7r297yp3xh401-1.v6.elisa-mobile.fi) |
| 2025-11-17 17:50:40 +0000 | <hololeap> | kind of concerning that they only test up to ghc 8.10, though: https://app.travis-ci.com/github/ivanperez-keera/Yampa/builds/274379953/config |
| 2025-11-17 17:50:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-17 17:52:35 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 17:52:49 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 17:54:05 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2025-11-17 17:54:25 +0000 | Vajb | (~Vajb@n5ft3n7r297yp3xh401-1.v6.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 2025-11-17 17:56:02 +0000 | <geekosaur> | didn't they make a new release within the past couple months? |
| 2025-11-17 17:57:09 +0000 | <geekosaur> | hm, apparently not |
| 2025-11-17 17:57:35 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-17 17:57:58 +0000 | Vajb | (~Vajb@n60et6bw8o0r9fxdjbq-1.v6.elisa-mobile.fi) |
| 2025-11-17 17:58:01 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-17 18:02:00 +0000 | Vajb | (~Vajb@n60et6bw8o0r9fxdjbq-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2025-11-17 18:02:42 +0000 | Vajb | (~Vajb@n4dgb69h6dkio9s4tuj-1.v6.elisa-mobile.fi) |
| 2025-11-17 18:06:38 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 18:06:43 +0000 | Vajb | (~Vajb@n4dgb69h6dkio9s4tuj-1.v6.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 2025-11-17 18:06:51 +0000 | myxokephale | (~myxos@2001:579:8380:f20:6b9e:1a89:7816:af78) myxokephale |
| 2025-11-17 18:09:18 +0000 | myxos | (~myxos@2001:579:8380:f20:e6ab:8ef0:3a0a:e59c) (Ping timeout: 244 seconds) |
| 2025-11-17 18:12:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-17 18:14:44 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-17 18:19:30 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 18:19:31 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-17 18:20:39 +0000 | Zemy | (~Zemy@2600:100c:b0a9:8436:20e2:f5ff:fea2:5e88) (Read error: Connection reset by peer) |
| 2025-11-17 18:21:03 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 18:21:04 +0000 | Zemy | (~Zemy@2600:100c:b0a9:8436:7017:6dff:fea3:f591) |
| 2025-11-17 18:21:28 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-17 18:21:37 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 18:21:56 +0000 | Vajb | (~Vajb@n6jd7kwb4e2quheg6tf-1.v6.elisa-mobile.fi) |
| 2025-11-17 18:22:31 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:d977:548d:70c4:d88f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-17 18:22:48 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2025-11-17 18:23:43 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-17 18:25:13 +0000 | Zemy | (~Zemy@2600:100c:b0a9:8436:7017:6dff:fea3:f591) (Ping timeout: 246 seconds) |
| 2025-11-17 18:25:21 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-11-17 18:26:34 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 18:30:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-17 18:32:26 +0000 | kuribas | (~user@2a02-1810-2825-6000-2c81-b9d0-3939-7889.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-11-17 18:33:19 +0000 | <yin> | hololeap: common pattern i use is `f <*> pure x` |
| 2025-11-17 18:33:43 +0000 | <yin> | or rather `fs <*> pure x` |
| 2025-11-17 18:33:52 +0000 | <yin> | where fs :: [a -> b] |
| 2025-11-17 18:36:34 +0000 | trickard_ | trickard |
| 2025-11-17 18:36:43 +0000 | <hololeap> | ye |
| 2025-11-17 18:38:31 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-11-17 18:49:00 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-17 18:56:56 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-11-17 18:57:17 +0000 | Xe_ | Xe |
| 2025-11-17 18:57:41 +0000 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-17 19:03:32 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-11-17 19:06:18 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-11-17 19:11:29 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-11-17 19:15:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-17 19:15:26 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Read error: Connection reset by peer) |
| 2025-11-17 19:16:23 +0000 | <monochrom> | Wait, there is a law about fs <*> pure x. |
| 2025-11-17 19:18:37 +0000 | <monochrom> | = (\f -> f x) <*> fs |
| 2025-11-17 19:19:00 +0000 | <monochrom> | err, (\f -> f x) <$> fs |
| 2025-11-17 19:20:01 +0000 | <hololeap> | there's also this thing from lens: (??) :: Functor f => f (a -> b) -> a -> f b |
| 2025-11-17 19:20:16 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-11-17 19:21:07 +0000 | Jackneill_ | (~Jackneill@188-143-82-72.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 2025-11-17 19:22:12 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-11-17 19:22:21 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-17 19:24:02 +0000 | deptype | (~deptype@2406:b400:3a:73c2:8e9e:5030:da68:3cf) (Quit: Leaving) |
| 2025-11-17 19:25:15 +0000 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 244 seconds) |
| 2025-11-17 19:25:30 +0000 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-11-17 19:27:37 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-17 19:31:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 19:35:15 +0000 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-17 19:35:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-17 19:45:43 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-17 19:46:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 19:51:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-17 19:58:04 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-17 19:58:08 +0000 | fp1 | (~Thunderbi@159-255-247-115.bb.dnainternet.fi) fp |
| 2025-11-17 20:00:22 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Client Quit) |
| 2025-11-17 20:02:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 20:08:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-17 20:16:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 20:17:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-17 20:19:46 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-17 20:20:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 20:31:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 20:34:54 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 20:35:08 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 20:35:25 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-17 20:35:43 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) (Read error: Connection reset by peer) |
| 2025-11-17 20:36:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 20:37:23 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) synchromesh |
| 2025-11-17 20:38:25 +0000 | Everything | (~Everythin@88.155.1.132) (Quit: Lost terminal) |
| 2025-11-17 20:45:08 +0000 | <jackdk> | And if you don't want to pull that in (I'm usually depending on it anyway), it's `fmap ($ f)`, I think |
| 2025-11-17 20:47:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 20:49:28 +0000 | trickard_ | trickard |
| 2025-11-17 20:52:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 20:57:25 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-17 21:03:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 21:08:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 21:15:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-17 21:17:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 21:22:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 21:28:23 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-17 21:29:58 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-17 21:30:50 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2025-11-17 21:33:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 21:33:47 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-17 21:37:52 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-17 21:38:42 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-17 21:38:46 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-11-17 21:40:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 21:40:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-11-17 21:41:51 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-17 21:42:21 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-11-17 21:47:11 +0000 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-11-17 21:50:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 21:50:19 +0000 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-17 21:53:43 +0000 | jangerma1 | (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2025-11-17 21:55:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 22:01:12 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-11-17 22:02:43 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-17 22:03:46 +0000 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-17 22:06:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 22:06:26 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-17 22:10:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-17 22:15:45 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-17 22:16:47 +0000 | fp1 | (~Thunderbi@159-255-247-115.bb.dnainternet.fi) (Quit: fp1) |
| 2025-11-17 22:18:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 22:23:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-17 22:31:50 +0000 | sindu | (~sindu@77.19.134.151.tmi.telenormobil.no) |
| 2025-11-17 22:34:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 22:35:11 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-17 22:38:43 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-17 22:39:07 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-17 22:39:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 22:40:02 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 22:40:14 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 22:48:48 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-17 22:49:07 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-17 22:52:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 22:54:28 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-11-17 22:57:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 23:08:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-11-17 23:08:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 23:14:24 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-17 23:14:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 23:23:35 +0000 | auri_ | (~auri@fsf/member/auri) () |
| 2025-11-17 23:24:47 +0000 | auri | (~auri@fsf/member/auri) auri |
| 2025-11-17 23:26:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 23:30:42 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-17 23:31:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 23:34:31 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-11-17 23:34:52 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-17 23:42:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-17 23:42:00 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 23:42:09 +0000 | Zemy | (~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) |
| 2025-11-17 23:42:29 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-17 23:43:06 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 23:44:56 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-17 23:46:36 +0000 | Zemy | (~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) (Ping timeout: 256 seconds) |
| 2025-11-17 23:47:08 +0000 | Zemy | (~Zemy@2600:100c:b049:cf82:70a5:c4ff:fea8:36a5) |
| 2025-11-17 23:47:08 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 23:47:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 23:47:20 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 23:47:33 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 23:47:43 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 23:48:30 +0000 | Zemy | (~Zemy@2600:100c:b049:cf82:70a5:c4ff:fea8:36a5) (Read error: Connection reset by peer) |
| 2025-11-17 23:49:39 +0000 | Zemy | (~Zemy@2600:100c:b049:cf82:9086:16ff:febf:b418) |
| 2025-11-17 23:49:39 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 23:50:13 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 23:50:14 +0000 | Zemy | (~Zemy@2600:100c:b049:cf82:9086:16ff:febf:b418) (Read error: Connection reset by peer) |
| 2025-11-17 23:50:51 +0000 | Zemy | (~Zemy@2600:100c:b049:cf82:fcfb:56ff:fea6:3ac1) |
| 2025-11-17 23:50:51 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 23:51:26 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-17 23:53:47 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 23:55:06 +0000 | Zemy | (~Zemy@2600:100c:b049:cf82:fcfb:56ff:fea6:3ac1) (Ping timeout: 256 seconds) |
| 2025-11-17 23:56:43 +0000 | bggd | (~bgg@2a01:e0a:819:1510:2461:8c52:600a:b549) |
| 2025-11-17 23:58:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |