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