| 2026-02-27 00:00:28 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-27 00:02:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-27 00:05:37 +0100 | hseg_ | (~hseg_@46.120.20.225) (Remote host closed the connection) |
| 2026-02-27 00:12:29 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-27 00:12:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 00:15:55 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) |
| 2026-02-27 00:17:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 00:26:41 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-27 00:28:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 00:33:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 00:44:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 00:49:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 00:58:05 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
| 2026-02-27 00:59:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 01:03:30 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 01:03:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 01:05:28 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 01:07:41 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.220) |
| 2026-02-27 01:09:45 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 01:10:13 +0100 | AlexZenon | (~alzenon@178.34.163.162) (Ping timeout: 265 seconds) |
| 2026-02-27 01:10:13 +0100 | Alex_delenda_est | (~al_test@178.34.163.162) (Ping timeout: 265 seconds) |
| 2026-02-27 01:11:07 +0100 | AlexNoo | (~AlexNoo@178.34.163.162) (Ping timeout: 264 seconds) |
| 2026-02-27 01:13:44 +0100 | AlexZenon | (~alzenon@85.174.181.220) |
| 2026-02-27 01:14:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 01:17:13 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 248 seconds) |
| 2026-02-27 01:17:57 +0100 | werneta | (~werneta@71.83.160.242) (Ping timeout: 265 seconds) |
| 2026-02-27 01:19:44 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 01:20:42 +0100 | AlexZenon | (~alzenon@85.174.181.220) (Ping timeout: 255 seconds) |
| 2026-02-27 01:21:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 01:21:40 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-27 01:23:08 +0100 | Alex_test_ | (~al_test@85.174.181.220) |
| 2026-02-27 01:24:18 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 01:24:45 +0100 | AlexZenon | (~alzenon@85.174.181.220) |
| 2026-02-27 01:32:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 01:33:20 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 01:37:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 01:37:40 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 01:41:58 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 01:46:10 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 01:48:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 01:49:07 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-27 01:49:22 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) |
| 2026-02-27 01:51:16 +0100 | xff0x | (~xff0x@2405:6580:b080:900:96a:d9bf:efaf:a826) (Ping timeout: 256 seconds) |
| 2026-02-27 01:53:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 01:59:57 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 02:02:46 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-27 02:04:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 02:06:25 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 02:08:32 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 02:09:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 02:10:01 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2026-02-27 02:12:50 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 02:20:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 02:25:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 02:26:51 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-27 02:31:45 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 02:35:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 02:36:00 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 02:38:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-27 02:40:18 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 02:40:26 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-27 02:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 02:41:02 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-27 02:44:50 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 02:51:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 02:53:17 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) () |
| 2026-02-27 02:58:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 02:58:36 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 03:05:10 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 03:08:59 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-02-27 03:09:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 03:12:30 +0100 | traxex | (traxex@user/traxex) traxex |
| 2026-02-27 03:14:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 03:18:43 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 03:23:14 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 03:25:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 03:29:20 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-02-27 03:29:55 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-02-27 03:29:55 +0100 | ChanServ | +v haskellbridge |
| 2026-02-27 03:30:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-27 03:34:17 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-02-27 03:38:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 03:42:01 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 03:43:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-27 03:46:25 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 03:49:14 +0100 | Pixi` | Pixi |
| 2026-02-27 03:54:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 03:55:33 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 03:56:50 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-02-27 03:58:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 04:00:02 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 04:00:02 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-02-27 04:00:48 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2026-02-27 04:05:12 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-27 04:05:23 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 04:05:57 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-02-27 04:06:23 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-27 04:06:37 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-27 04:09:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 04:14:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 04:25:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 04:28:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-27 04:32:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 04:43:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-02-27 04:43:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 04:47:02 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-02-27 04:48:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 04:52:57 +0100 | <haskellbridge> | <sm> gentauro: That was great, thanks! |
| 2026-02-27 04:53:52 +0100 | <sm> | Re: "with regard to LEAN, I like the following explanation from Charles Hoskinson: https://www.youtube.com/watch?v=3snIzhjqsk0 (academic papers tend to loose insights, so by providing a more formal framework, we might have better..." |
| 2026-02-27 04:59:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 05:03:25 +0100 | myxokephale | (~myxos@174-18-44-59.tcso.qwest.net) (Ping timeout: 276 seconds) |
| 2026-02-27 05:04:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 05:10:24 +0100 | myxos | (~myxos@174-18-44-59.tcso.qwest.net) myxokephale |
| 2026-02-27 05:11:58 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-02-27 05:14:58 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-02-27 05:15:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 05:20:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 05:31:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 05:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 05:53:51 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-02-27 05:55:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 05:58:48 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-02-27 06:00:42 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-27 06:03:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 06:15:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 06:16:05 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-27 06:16:23 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-27 06:21:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 06:28:14 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 2026-02-27 06:28:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-27 06:30:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-27 06:33:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 06:35:06 +0100 | michalz | (~michalz@185.246.207.217) |
| 2026-02-27 06:38:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-27 06:40:37 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-27 06:40:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 06:41:50 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-27 06:45:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 06:47:59 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-27 06:53:16 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-02-27 06:56:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 06:57:18 +0100 | housemate | (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) housemate |
| 2026-02-27 07:00:49 +0100 | housemate | (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) (Remote host closed the connection) |
| 2026-02-27 07:01:14 +0100 | housemate | (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) housemate |
| 2026-02-27 07:01:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 07:03:20 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-27 07:03:39 +0100 | mfc_kbs | (~keibisoft@mail.keibisoft.com) |
| 2026-02-27 07:11:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 07:12:01 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2026-02-27 07:14:57 +0100 | constxd | (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 2026-02-27 07:15:36 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-27 07:16:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 07:17:53 +0100 | constxd | (~constxd@user/constxd) constxd |
| 2026-02-27 07:27:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 07:28:24 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-02-27 07:32:37 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-27 07:32:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 07:33:13 +0100 | larsivi | (~larsivi@user/larsivi) (Ping timeout: 268 seconds) |
| 2026-02-27 07:34:35 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-27 07:35:07 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.220) (Ping timeout: 264 seconds) |
| 2026-02-27 07:41:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 07:46:00 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 07:46:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 07:57:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 08:00:57 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 08:03:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 08:05:22 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 08:13:15 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-27 08:13:33 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-27 08:14:14 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 08:15:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-27 08:15:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 08:16:51 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-27 08:18:30 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 08:20:02 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 08:20:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 08:24:34 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 08:31:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 08:34:01 +0100 | jreicher | (~joelr@user/jreicher) (Ping timeout: 276 seconds) |
| 2026-02-27 08:35:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-27 08:37:38 +0100 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2026-02-27 08:38:19 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 08:42:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 08:43:34 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-27 08:45:18 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 08:47:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-27 08:58:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 08:59:23 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-27 09:02:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 09:03:25 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 09:08:28 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-27 09:11:40 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 09:13:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 09:14:47 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-27 09:15:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-02-27 09:16:18 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 09:17:33 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-27 09:18:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 09:19:27 +0100 | Square | (~Square4@user/square) Square |
| 2026-02-27 09:19:58 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2026-02-27 09:21:03 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 09:25:35 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 09:29:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 09:29:57 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-02-27 09:34:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-27 09:34:37 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 09:39:21 +0100 | larsivi | (~larsivi@user/larsivi) (Quit: WeeChat 4.8.1) |
| 2026-02-27 09:42:00 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 09:43:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 09:43:47 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Client Quit) |
| 2026-02-27 09:43:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 09:45:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 09:46:00 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 09:46:41 +0100 | housemate | (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-27 09:50:33 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 255 seconds) |
| 2026-02-27 09:50:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-27 09:53:06 +0100 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2026-02-27 09:55:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 09:56:45 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-27 09:56:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-27 09:59:16 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 10:03:46 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 10:03:52 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-27 10:05:07 +0100 | img | (~img@user/img) img |
| 2026-02-27 10:05:08 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-27 10:14:11 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-27 10:14:46 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:5b23:7d4e:8d70:47e1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-02-27 10:15:00 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:cf1a:69d5:5267:2743) |
| 2026-02-27 10:18:29 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 10:19:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-27 10:22:57 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 10:26:47 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 10:31:31 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 264 seconds) |
| 2026-02-27 10:37:02 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-27 10:38:33 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-27 10:39:57 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 10:40:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-27 10:40:35 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-02-27 10:44:18 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 10:44:34 +0100 | Fischmie- | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-02-27 10:45:33 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 272 seconds) |
| 2026-02-27 10:47:46 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 10:54:08 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2026-02-27 10:57:24 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-02-27 11:08:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 11:19:36 +0100 | EPic_ | (apic@apic.name) (Quit: ffffffffffffffffffffffffuuuuuuuuuuuuuuuuuuuuuuuuuuu-) |
| 2026-02-27 11:21:06 +0100 | APic | (apic@apic.name) APic |
| 2026-02-27 11:26:47 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-27 11:27:04 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-27 11:31:22 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) |
| 2026-02-27 11:34:28 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds) |
| 2026-02-27 11:44:35 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-02-27 11:46:28 +0100 | cipherrot | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-27 11:49:39 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-27 11:51:59 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 2026-02-27 11:57:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-27 11:58:37 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-02-27 12:02:39 +0100 | <yin> | in a parallel universe the term could have evolved to latin vita minutio -> vitamin |
| 2026-02-27 12:02:45 +0100 | <gentauro> | sm: when did I write that message? |
| 2026-02-27 12:02:46 +0100 | <gentauro> | :) |
| 2026-02-27 12:03:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-27 12:03:20 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-27 12:07:55 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-27 12:08:23 +0100 | <gentauro> | btw, is there a way to pass different context for functions parameters? Like: `foobar :: ((Foo a) => a -> String) -> ((Bar b) => b -> String) -> FooBar` |
| 2026-02-27 12:09:22 +0100 | <gentauro> | would it just to do: `foobar :: (Foo a, Bar b) => (a -> String) -> (b -> String) -> FooBar`? |
| 2026-02-27 12:10:13 +0100 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:6863:87bc:381d:11fa) kaskal |
| 2026-02-27 12:10:25 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-27 12:12:32 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2026-02-27 12:18:11 +0100 | <mauke> | depends on whether you want to apply those callbacks at different types |
| 2026-02-27 12:18:44 +0100 | <ski> | > let foo :: (Ord a => a -> a -> Bool) -> (Num a => a -> a) -> (Integral a => a -> a -> a); foo f g x y = if f x y then g x else y `mod` x in foo (>=) negate 3 8 |
| 2026-02-27 12:18:45 +0100 | <lambdabot> | 2 |
| 2026-02-27 12:18:58 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 2026-02-27 12:19:14 +0100 | APic | (apic@apic.name) (Ping timeout: 248 seconds) |
| 2026-02-27 12:20:06 +0100 | APic | (apic@apic.name) APic |
| 2026-02-27 12:24:02 +0100 | <ski> | the first `foobar' is : caller picks two types `a' and `b', and passes two callbacks working on them. callee will pick instances `Foo a' and `Bar b' for those caller-chosen types |
| 2026-02-27 12:26:40 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-02-27 12:27:04 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-27 12:27:15 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 12:28:51 +0100 | <ski> | (which seems to only make sense if either (a) those two callbacks will never be used; or (b) both `Foo' and `Bar' have a generic instance, working for all types; or (c) `FooBar' actually mentions `a' and `b', including being provided evidence for some instance(s) relating to `a' and `b', from which `Foo a' and `Bar b' can be derived; or (d) there's some GADT-matching going on (still asssuming `a' and `b' |
| 2026-02-27 12:28:57 +0100 | <ski> | occurs in `FooBar'), so that by learning more about `a' and `b', `foobar' can manage to provide the `Foo' and `Bar' instances to the callbacks) |
| 2026-02-27 12:30:28 +0100 | <ski> | while, the second `foobar' is : caller picks two types `a' and `b', and passes two callbackss working on them. *caller* also will pick and provide instances `Foo a' and `Bar b' (which should then be easier, given that caller picked `a' and `b', presumably knows more about them) |
| 2026-02-27 12:32:49 +0100 | <ski> | gentauro : in any case, `Cxt => (... -> ...)' is very different from `(Cxt => ...) -> ...'. in the former, evidence for `Cxt' is provided by the caller/user/consumer of the value (of this type); while in the latter, evidence for `Cxt' is provided by the callee/implementor/producer of the value |
| 2026-02-27 12:34:30 +0100 | <ski> | it's the same kind of difference as between `T -> (U -> V)' (`T' and `U' are input, `V' is output) and `(T -> U) -> V' (`T' is output, back to the callback, which produces the input `U', and `V' is output) |
| 2026-02-27 12:36:14 +0100 | <ski> | or the difference between `forall a. ([a] -> Int)' (caller picks `a', passes as input some list of `a's) and (the rank-2 type) `(forall a. [a]) -> Int' (callee picks which type `a' to use, caller must pass a polymorphic parameter .. which in this case means only the empty list, if we discount partial values) |
| 2026-02-27 12:37:41 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 12:41:25 +0100 | <gentauro> | ski: I think I got. Thx |
| 2026-02-27 12:42:10 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 12:43:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-27 12:43:29 +0100 | <ski> | np |
| 2026-02-27 12:53:54 +0100 | causal | (~eric@50.46.156.145) causal |
| 2026-02-27 13:00:29 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 13:02:50 +0100 | kuribas | (~user@2a02-1810-2825-6000-1a76-6371-2ebf-5f1e.ip6.access.telenet.be) kuribas |
| 2026-02-27 13:08:51 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 13:13:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3713:5717:d067:11de) |
| 2026-02-27 13:21:59 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 265 seconds) |
| 2026-02-27 13:22:30 +0100 | natto17 | (~natto@129.154.243.159) (Ping timeout: 246 seconds) |
| 2026-02-27 13:23:14 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 245 seconds) |
| 2026-02-27 13:34:02 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-27 13:36:39 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2026-02-27 13:37:24 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2026-02-27 13:38:13 +0100 | Vajb | (~Vajb@2001:999:38:a1b6:95aa:8c38:ae41:ec93) |
| 2026-02-27 13:39:21 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-02-27 13:39:24 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-02-27 13:39:38 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-27 13:41:32 +0100 | divya | (divya@140.238.251.170) divya |
| 2026-02-27 13:41:40 +0100 | natto17 | (~natto@129.154.243.159) natto |
| 2026-02-27 13:45:30 +0100 | causal | (~eric@50.46.156.145) (Quit: WeeChat 4.8.1) |
| 2026-02-27 14:09:20 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-27 14:11:30 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2026-02-27 14:11:30 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-02-27 14:11:30 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-27 14:26:38 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 14:30:58 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 14:37:59 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-02-27 14:41:45 +0100 | lbseale | (~quassel@user/ep1ctetus) (Client Quit) |
| 2026-02-27 14:48:30 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-02-27 14:57:44 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f2e9:bf08:81c5:a9a2) |
| 2026-02-27 15:00:57 +0100 | tydes | (~tydes@user/ttydes) ttydes |
| 2026-02-27 15:24:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-27 15:24:57 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-27 15:27:11 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-27 15:31:25 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-02-27 15:31:43 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) |
| 2026-02-27 15:37:51 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Quit: leaving) |
| 2026-02-27 15:39:11 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) |
| 2026-02-27 15:41:51 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 15:45:28 +0100 | <yin> | @pl uncurry g . (id &&& f) |
| 2026-02-27 15:45:42 +0100 | <yin> | :t uncurry g . (id &&& f) |
| 2026-02-27 15:45:44 +0100 | <lambdabot> | error: [GHC-39999] |
| 2026-02-27 15:45:44 +0100 | <lambdabot> | • Could not deduce ‘Show b0’ arising from a use of ‘g’ |
| 2026-02-27 15:45:44 +0100 | <lambdabot> | from the context: (Show a, FromExpr c) |
| 2026-02-27 15:46:32 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 256 seconds) |
| 2026-02-27 15:46:36 +0100 | <yin> | :t uncurry (<>) . (id &&& succ) |
| 2026-02-27 15:46:38 +0100 | <lambdabot> | (Semigroup c, Enum c) => c -> c |
| 2026-02-27 15:47:03 +0100 | <yin> | :t liftA2 (<>) id succ |
| 2026-02-27 15:47:04 +0100 | <lambdabot> | (Semigroup c, Enum c) => c -> c |
| 2026-02-27 15:47:34 +0100 | <yin> | is there a more appropriate abstraction? |
| 2026-02-27 15:47:48 +0100 | <yin> | for `liftA2 f id g` |
| 2026-02-27 15:48:05 +0100 | <yin> | i find myself using this all the time, under some form or another |
| 2026-02-27 15:49:37 +0100 | <yin> | oh wait |
| 2026-02-27 15:50:15 +0100 | <yin> | is this <*> ? |
| 2026-02-27 15:50:39 +0100 | <int-e> | yes it is |
| 2026-02-27 15:51:33 +0100 | <yin> | :t (<*>) @((->) _) |
| 2026-02-27 15:51:34 +0100 | <lambdabot> | Applicative ((->) w) => (w -> (a -> b)) -> (w -> a) -> w -> b |
| 2026-02-27 15:51:57 +0100 | <int-e> | @pl \f g x -> f x (g x) |
| 2026-02-27 15:51:57 +0100 | <lambdabot> | ap |
| 2026-02-27 15:55:04 +0100 | <yin> | well i guess i'll comment the hell out of it |
| 2026-02-27 16:13:20 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-27 16:14:32 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-02-27 16:16:10 +0100 | acidjnk | (~acidjnk@p200300d6e700e5504d503f6022936b58.dip0.t-ipconnect.de) acidjnk |
| 2026-02-27 16:19:56 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-27 16:20:07 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 16:21:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-27 16:21:28 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-27 16:21:50 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2026-02-27 16:22:05 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-27 16:24:14 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 252 seconds) |
| 2026-02-27 16:28:12 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-27 16:29:38 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-02-27 16:32:38 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-02-27 16:32:55 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 16:35:14 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 248 seconds) |
| 2026-02-27 16:39:34 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-27 16:42:28 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-02-27 16:42:38 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-02-27 16:44:30 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-27 16:45:17 +0100 | tydes | (~tydes@user/ttydes) (Ping timeout: 272 seconds) |
| 2026-02-27 16:51:25 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-27 16:54:42 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-02-27 16:54:57 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) |
| 2026-02-27 17:01:45 +0100 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-02-27 17:02:58 +0100 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-02-27 17:06:00 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-02-27 17:10:26 +0100 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 248 seconds) |
| 2026-02-27 17:18:57 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-27 17:19:52 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-02-27 17:21:37 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Client Quit) |
| 2026-02-27 17:30:01 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 248 seconds) |
| 2026-02-27 17:36:14 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-02-27 17:46:54 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-27 17:52:20 +0100 | morj_away | (~morj@user/morj) morj |
| 2026-02-27 17:53:28 +0100 | mfc_kbs | (~keibisoft@mail.keibisoft.com) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-27 17:53:48 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-02-27 17:54:34 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Client Quit) |
| 2026-02-27 17:55:44 +0100 | mfc_kbs | (~keibisoft@mail.keibisoft.com) |
| 2026-02-27 17:58:51 +0100 | Alex_test_ | Alex_delend_est |
| 2026-02-27 17:59:03 +0100 | Alex_delend_est | Alex_delenda_est |
| 2026-02-27 18:28:30 +0100 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 268 seconds) |
| 2026-02-27 18:28:53 +0100 | jle` | (~jle`@2603:8001:3b00:11::1156) jle` |
| 2026-02-27 18:29:26 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-02-27 18:32:08 +0100 | <haskellbridge> | <sm> gentauro: February 4th. (https://matrix.to/#/!GEZGGnggcSrFfjhOeo:matrix.org/$3DJCyTKK2V161Xug7GhuKqFjj4WFegRiPs6lji77FsU?vi…) |
| 2026-02-27 18:33:10 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-27 18:35:54 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 268 seconds) |
| 2026-02-27 18:36:18 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-02-27 18:47:53 +0100 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-02-27 18:53:16 +0100 | Square3 | (~Square@user/square) (Quit: Leaving) |
| 2026-02-27 18:53:50 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-27 18:54:39 +0100 | Square2 | Square |
| 2026-02-27 18:57:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-27 18:58:08 +0100 | Googulator69 | Googulator |
| 2026-02-27 19:02:28 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds) |
| 2026-02-27 19:12:03 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2026-02-27 19:15:55 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 19:20:02 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 19:22:56 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-27 19:26:09 +0100 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Ping timeout: 272 seconds) |
| 2026-02-27 19:30:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 19:37:14 +0100 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) omentic |
| 2026-02-27 19:44:39 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f2e9:bf08:81c5:a9a2) (Remote host closed the connection) |
| 2026-02-27 19:48:13 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-27 19:52:34 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds) |
| 2026-02-27 19:53:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-27 19:57:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds) |
| 2026-02-27 19:58:51 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-27 20:01:58 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2026-02-27 20:03:14 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds) |
| 2026-02-27 20:09:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-27 20:10:18 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-02-27 20:18:22 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 20:24:15 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 20:28:49 +0100 | natechan | (~natechan@c-98-45-159-200.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2026-02-27 20:34:38 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-02-27 20:43:31 +0100 | Logio | (em@kapsi.fi) (Ping timeout: 264 seconds) |
| 2026-02-27 20:45:17 +0100 | Logio | (em@kapsi.fi) Logio |
| 2026-02-27 20:45:55 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 20:48:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-02-27 20:48:45 +0100 | tromp | (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) |
| 2026-02-27 20:48:46 +0100 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 2026-02-27 20:48:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-27 20:50:10 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 20:54:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 20:55:30 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 2026-02-27 20:58:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 21:01:13 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-27 21:01:33 +0100 | <tomsmeding> | I'm not sure if a matrix link will be helpful to someone who's not on matrix |
| 2026-02-27 21:07:34 +0100 | <haskellbridge> | <sm> it's the only way to share a permalink right now |
| 2026-02-27 21:07:34 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-27 21:07:36 +0100 | natechan | (~natechan@c-98-45-159-200.hsd1.ca.comcast.net) |
| 2026-02-27 21:08:46 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-02-27 21:09:02 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Client Quit) |
| 2026-02-27 21:09:40 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-02-27 21:09:40 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-27 21:09:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 21:14:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 21:16:19 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-27 21:18:02 +0100 | <tomsmeding> | the only easy way from matrix, yes, but not strictly speaking the only way :) https://ircbrowse.tomsmeding.com/day/lchaskell/2026/02/04 |
| 2026-02-27 21:18:29 +0100 | <tomsmeding> | (hello from the dark side where we have low tech chat) |
| 2026-02-27 21:23:58 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:58e9:2bc7:d9a1:3fa1) |
| 2026-02-27 21:23:58 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:58e9:2bc7:d9a1:3fa1) (Changing host) |
| 2026-02-27 21:23:58 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-27 21:24:55 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-02-27 21:25:17 +0100 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-02-27 21:25:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 21:27:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-27 21:31:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-27 21:35:38 +0100 | <haskellbridge> | <sm> ah, thanks tomsmeding ! I thought that was dead. It should be in /topic |
| 2026-02-27 21:36:04 +0100 | <sm> | lol, now I feel silly. It's there. |
| 2026-02-27 21:36:47 +0100 | <sm> | I see, a different topic is configured on the matrix side. I'll make matrix topic match the irc topic, if I can. |
| 2026-02-27 21:37:52 +0100 | <tomsmeding> | there's a different topic on the matrix side? That sounds like a recipe for trouble (as indeed happened, lol) |
| 2026-02-27 21:38:15 +0100 | <tomsmeding> | (for some definition of "trouble") |
| 2026-02-27 21:39:00 +0100 | <haskellbridge> | <sm> on the matrix side, it gives advice for interacting well with IRC. I guess that's needed. I've just appended the IRC topic to it. |
| 2026-02-27 21:42:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 21:46:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 21:50:16 +0100 | elarks | (~elarks@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2026-02-27 21:53:45 +0100 | <tomsmeding> | ah, makes sense |
| 2026-02-27 21:57:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 22:02:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-27 22:04:05 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 22:06:20 +0100 | <geekosaur> | right, no way to sync topics sadly |
| 2026-02-27 22:07:39 +0100 | natechan | (~natechan@c-98-45-159-200.hsd1.ca.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-27 22:08:34 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 22:08:45 +0100 | natechan | (~natechan@c-98-45-159-200.hsd1.ca.comcast.net) |
| 2026-02-27 22:13:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 22:16:19 +0100 | <chromoblob> | write a bot (in Haskell) |
| 2026-02-27 22:16:51 +0100 | <geekosaur> | actually I'm planning to switch bridge software in the next few months |
| 2026-02-27 22:17:03 +0100 | <geekosaur> | (when I'm not having 4 doctor appointments per week) |
| 2026-02-27 22:17:40 +0100 | <geekosaur> | that may make things behave better, especially since I should be able to switch the matrix side of this channell to a shadow room |
| 2026-02-27 22:17:59 +0100 | <geekosaur> | (a direct image of this channel on the matrix end) |
| 2026-02-27 22:19:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 22:23:21 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-02-27 22:26:50 +0100 | <haskellbridge> | <sm> that's a lot geekosaur... good prospects for fewer doctor visits later ? |
| 2026-02-27 22:27:22 +0100 | <geekosaur> | yes, it's starting to clear up, I'm down to 2 for the next couple weeks at least |
| 2026-02-27 22:27:39 +0100 | <geekosaur> | but it may grow more later as I have a couple procedures coming up |
| 2026-02-27 22:27:49 +0100 | geekosaur | old and creaky |
| 2026-02-27 22:28:43 +0100 | <haskellbridge> | <sm> good luck 🙌 |
| 2026-02-27 22:31:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 22:35:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 22:37:37 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-27 22:39:48 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-27 22:41:06 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 248 seconds) |
| 2026-02-27 22:55:08 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-02-27 22:59:59 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 23:00:16 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-02-27 23:00:20 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-27 23:01:43 +0100 | morj_away | (~morj@user/morj) (Quit: Konversation terminated!) |
| 2026-02-27 23:04:12 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-27 23:06:24 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Ping timeout: 264 seconds) |
| 2026-02-27 23:07:13 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Read error: Connection reset by peer) |
| 2026-02-27 23:08:54 +0100 | acidjnk | (~acidjnk@p200300d6e700e5504d503f6022936b58.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2026-02-27 23:09:05 +0100 | lambdabot | (~lambdabot@int-e.eu) |
| 2026-02-27 23:09:05 +0100 | lambdabot | (~lambdabot@int-e.eu) (Changing host) |
| 2026-02-27 23:09:05 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-02-27 23:09:05 +0100 | ChanServ | +v lambdabot |
| 2026-02-27 23:10:19 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2026-02-27 23:10:22 +0100 | tusko | (~uwu@user/tusko) (Quit: Lost terminal) |
| 2026-02-27 23:13:14 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 23:17:54 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 23:18:33 +0100 | acidjnk | (~acidjnk@p200300d6e700e5505b0a995e519a2976.dip0.t-ipconnect.de) acidjnk |
| 2026-02-27 23:21:26 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 23:22:03 +0100 | foul_owl | (~kerry@94.156.149.91) (Ping timeout: 246 seconds) |
| 2026-02-27 23:25:03 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-02-27 23:34:45 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 23:35:42 +0100 | foul_owl | (~kerry@94.156.149.91) foul_owl |
| 2026-02-27 23:36:10 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-27 23:37:13 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-27 23:37:22 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-02-27 23:37:33 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-27 23:43:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-27 23:43:50 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-27 23:44:46 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-27 23:47:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 23:47:55 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 276 seconds) |