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