Logs on 2025-11-24 (liberachat/#haskell)
| 00:01:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:08:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:12:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:15:45 | → | Googulator20 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 00:15:45 | × | Googulator92 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 00:21:29 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:21:47 | → | califax joins (~califax@user/califx) |
| 00:23:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:28:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 00:30:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:33:30 | → | Inline joins (~inlinE@2001-4dd7-868d-0-7335-edda-3f5f-81c7.ipv6dyn.netcologne.de) |
| 00:36:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:40:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:49:02 | → | gustrb joins (~gustrb@user/gustrb) |
| 00:51:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:53:05 | × | kayvank quits (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 00:53:34 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 00:55:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:03:32 | → | karenw joins (~karenw@user/karenw) |
| 01:04:01 | → | omidmash7 joins (~omidmash@user/omidmash) |
| 01:06:04 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 01:06:04 | omidmash7 | is now known as omidmash |
| 01:06:15 | × | acidjnk quits (~acidjnk@p200300d6e71719225087d4aad8d26235.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 01:06:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:09:59 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 01:11:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:12:13 | × | fmlatghor quits (~lcoogan@user/fmlatghor) (Quit: WeeChat 3.8) |
| 01:22:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:26:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:26:59 | × | falafel quits (~falafel@2603:8000:ca00:83fb:d01e:2fee:516:54fa) (Ping timeout: 260 seconds) |
| 01:27:30 | × | connrs quits (~connrs@user/connrs) (Ping timeout: 252 seconds) |
| 01:31:40 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 01:34:57 | → | connrs joins (~connrs@user/connrs) |
| 01:35:36 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:37:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:42:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 01:44:53 | × | trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:45:06 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 01:53:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:55:41 | × | Googulator20 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 01:55:43 | → | Googulator34 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 01:55:48 | → | AlexNoo_ joins (~AlexNoo@178.34.162.165) |
| 01:57:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:58:15 | × | AlexZenon quits (~alzenon@94.233.240.123) (Ping timeout: 245 seconds) |
| 01:59:43 | × | AlexNoo quits (~AlexNoo@94.233.240.123) (Ping timeout: 264 seconds) |
| 02:01:25 | → | omidmash4 joins (~omidmash@user/omidmash) |
| 02:03:28 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 02:03:28 | omidmash4 | is now known as omidmash |
| 02:08:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:10:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:13:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:17:47 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 02:19:36 | → | AlexZenon joins (~alzenon@178.34.162.165) |
| 02:24:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:28:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:32:03 | → | fmlatghor joins (~lcoogan@user/fmlatghor) |
| 02:37:21 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 252 seconds) |
| 02:39:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:44:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:54:43 | × | trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:54:56 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 02:55:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:55:36 | × | Googulator34 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 02:55:38 | → | Googulator58 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 02:57:06 | × | ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 02:59:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:03:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 03:05:37 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:10:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:15:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:15:47 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 03:25:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:29:01 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:30:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 03:40:04 | trickard_ | is now known as trickard |
| 03:41:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:45:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:50:07 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 03:55:32 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 03:56:43 | → | ft joins (~ft@p508db844.dip0.t-ipconnect.de) |
| 03:56:44 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:56:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:59:46 | → | potatoespotatoes joins (~quassel@130.44.145.181) |
| 03:59:46 | × | potatoespotatoes quits (~quassel@130.44.145.181) (Changing host) |
| 03:59:46 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 04:01:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:02:53 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 04:06:01 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) (Ping timeout: 264 seconds) |
| 04:06:32 | → | potatoespotatoes joins (~quassel@130.44.145.181) |
| 04:06:32 | × | potatoespotatoes quits (~quassel@130.44.145.181) (Changing host) |
| 04:06:32 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 04:11:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 04:12:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:12:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 04:14:32 | × | xff0x quits (~xff0x@ai083123.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 04:18:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 04:22:26 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 04:27:33 | → | xff0x joins (~xff0x@2405:6580:b080:900:3f6a:7752:62cb:f27d) |
| 04:30:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:30:51 | → | Googulator61 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 04:30:51 | × | Googulator58 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 04:34:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:45:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:50:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:01:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:01:41 | → | annamalai joins (~annamalai@117.246.144.182) |
| 05:05:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:12:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 05:13:48 | → | falafel joins (~falafel@2603:8000:ca00:83fb:d01e:2fee:516:54fa) |
| 05:15:22 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 05:16:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:20 | × | annamalai quits (~annamalai@117.246.144.182) (Ping timeout: 245 seconds) |
| 05:20:46 | → | annamalai joins (~annamalai@117.242.91.197) |
| 05:21:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:30:42 | × | Googulator61 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 05:30:45 | → | Googulator3 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 05:31:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:34:00 | × | trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 05:34:35 | → | trickard__ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 05:36:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:45:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 05:45:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 05:47:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:51:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:57:30 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:02:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:05:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 06:07:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:17:29 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 06:18:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:22:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:25:10 | → | merijn joins (~merijn@62.45.137.128) |
| 06:25:49 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds) |
| 06:27:28 | × | trickard__ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:27:42 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 06:29:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 06:29:19 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 240 seconds) |
| 06:31:02 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 06:33:49 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 06:37:34 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:38:00 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 06:38:09 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 06:40:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:41:07 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds) |
| 06:43:14 | → | michalz joins (~michalz@185.246.207.215) |
| 06:45:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:46:06 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 06:50:07 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 06:52:01 | → | aditya_an1l joins (~aditya_an@user/aditya-an1l:63825) |
| 06:56:09 | → | merijn joins (~merijn@62.45.137.128) |
| 06:57:42 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 06:58:52 | → | djspacewhale joins (~djspacewh@user/djspacewhale) |
| 07:00:42 | → | Googulator73 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 07:00:45 | × | Googulator3 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 07:02:55 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 255 seconds) |
| 07:04:24 | × | djspacewhale quits (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 07:06:27 | → | djspacewhale joins (~djspacewh@user/djspacewhale) |
| 07:06:35 | × | djspacewhale quits (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 07:13:57 | → | merijn joins (~merijn@62.45.137.128) |
| 07:15:53 | × | tomku|two quits (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 07:16:39 | × | Sgeo quits (~Sgeo@user/sgeo) (Quit: Leaving) |
| 07:18:08 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 240 seconds) |
| 07:21:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:24:51 | → | falafel_ joins (~falafel@gateway/vpn/pia/falafel) |
| 07:25:49 | × | annamalai quits (~annamalai@117.242.91.197) (Ping timeout: 264 seconds) |
| 07:26:19 | × | Square3 quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 07:29:01 | × | falafel quits (~falafel@2603:8000:ca00:83fb:d01e:2fee:516:54fa) (Ping timeout: 255 seconds) |
| 07:30:42 | × | Googulator73 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 07:30:44 | → | Googulator65 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 07:32:49 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 07:35:52 | → | poscat joins (~poscat@user/poscat) |
| 07:38:48 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 07:43:50 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 07:43:57 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 07:44:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 07:44:12 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:44:19 | × | Inline quits (~inlinE@2001-4dd7-868d-0-7335-edda-3f5f-81c7.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 07:44:26 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 07:44:37 | → | Inline joins (~inlinE@2001-4dd7-868d-0-5819-83dd-4ea3-eaee.ipv6dyn.netcologne.de) |
| 07:44:40 | → | merijn joins (~merijn@62.45.137.128) |
| 07:46:07 | DetourNe- | is now known as DetourNetworkUK |
| 07:47:12 | × | Inline quits (~inlinE@2001-4dd7-868d-0-5819-83dd-4ea3-eaee.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 07:47:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:48:15 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 07:49:00 | → | Inline joins (~inlinE@2001-4dd7-868d-0-7876-6072-4304-49c7.ipv6dyn.netcologne.de) |
| 07:49:05 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
| 07:50:21 | → | annamalai joins (~annamalai@117.246.27.136) |
| 07:51:46 | × | ft quits (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:53:12 | → | defragger joins (~random@i6DFADE93.versanet.de) |
| 08:00:09 | → | merijn joins (~merijn@62.45.137.128) |
| 08:02:45 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:02:47 | → | chele joins (~chele@user/chele) |
| 08:02:58 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 08:03:15 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 08:04:25 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 250 seconds) |
| 08:11:12 | × | annamalai quits (~annamalai@117.246.27.136) (Ping timeout: 252 seconds) |
| 08:11:37 | → | annamalai joins (~annamalai@157.32.136.68) |
| 08:14:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 08:14:33 | → | trickard__ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 08:14:49 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 08:21:22 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:23:02 | AlexNoo_ | is now known as AlexNoo |
| 08:33:12 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 08:33:58 | × | fmlatghor quits (~lcoogan@user/fmlatghor) (Remote host closed the connection) |
| 08:34:22 | → | fmlatghor joins (~lcoogan@user/fmlatghor) |
| 08:42:50 | → | tomku joins (~tomku@user/tomku) |
| 08:44:24 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 08:45:53 | → | Googulator30 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 08:45:53 | × | Googulator65 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 08:46:38 | → | merijn joins (~merijn@77.242.116.146) |
| 08:48:34 | → | Vayu joins (~Vayu@2401:4900:1c96:e26f:d476:fd93:2a86:a776) |
| 08:52:32 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 08:54:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:54:56 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:01:43 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 09:07:32 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:07:55 | trickard__ | is now known as trickard |
| 09:08:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 09:08:18 | → | infinity0 joins (~infinity0@pwned.gg) |
| 09:08:59 | → | Frostillicus joins (~Frostilli@71.174.119.69) |
| 09:09:48 | → | tromp joins (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 09:10:11 | × | tromp quits (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 09:14:15 | × | Gravifer quits (~Gravifer@user/Gravifer) (Ping timeout: 250 seconds) |
| 09:21:52 | → | bliminse joins (~bliminse@user/bliminse) |
| 09:24:01 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 09:28:50 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 09:30:19 | × | Vayu quits (~Vayu@2401:4900:1c96:e26f:d476:fd93:2a86:a776) (Quit: Client closed) |
| 09:35:45 | → | Digitteknohippie joins (~user@user/digit) |
| 09:36:37 | × | Frostillicus quits (~Frostilli@71.174.119.69) (Ping timeout: 264 seconds) |
| 09:37:16 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 09:45:35 | → | merijn joins (~merijn@77.242.116.146) |
| 09:48:22 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:50:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 09:50:09 | Digitteknohippie | is now known as Digit |
| 09:57:44 | → | acidjnk joins (~acidjnk@p200300d6e7171999e55ab4ed707f2239.dip0.t-ipconnect.de) |
| 10:01:32 | → | merijn joins (~merijn@77.242.116.146) |
| 10:09:18 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 10:09:18 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 10:09:18 | → | haritz joins (~hrtz@user/haritz) |
| 10:14:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 10:15:18 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:15:59 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:18:12 | × | FANTOM quits (~fantom@212.228.181.156) (*.net *.split) |
| 10:22:34 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 10:22:53 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:32:47 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 10:35:31 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 10:40:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 10:45:49 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 10:45:55 | × | Googulator30 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 10:46:05 | → | Googulator30 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 11:05:20 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 11:05:54 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 11:06:13 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:07:59 | → | merijn joins (~merijn@77.242.116.146) |
| 11:15:37 | × | Googulator30 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 11:15:42 | → | Googulator49 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 11:16:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 11:23:28 | × | falafel_ quits (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 265 seconds) |
| 11:29:05 | → | merijn joins (~merijn@77.242.116.146) |
| 11:33:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 11:39:09 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 11:41:14 | → | merijn joins (~merijn@77.242.116.146) |
| 11:43:26 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1) |
| 11:43:54 | → | FANTOM joins (~fantom@212.228.181.156) |
| 11:45:07 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 11:48:15 | × | FANTOM quits (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 11:51:39 | → | FANTOM joins (~fantom@212.228.181.156) |
| 12:00:46 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 12:04:51 | → | trickard__ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 12:06:13 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 12:06:48 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 12:12:37 | → | infinity0 joins (~infinity0@pwned.gg) |
| 12:16:14 | → | qqe joins (~qqq@185.54.21.174) |
| 12:19:08 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 12:23:22 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 12:27:45 | trickard__ | is now known as trickard |
| 12:34:51 | → | __monty__ joins (~toonn@user/toonn) |
| 12:41:37 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 12:46:05 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 12:48:17 | → | younder joins (~user@105.79-161-59.customer.lyse.net) |
| 12:53:08 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:56:11 | <younder> | https://paste.tomsmeding.com/LhOsIzUc |
| 13:01:41 | × | trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:01:55 | → | trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 13:22:31 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 13:23:29 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:29:43 | → | fp joins (~Thunderbi@130.233.70.108) |
| 13:36:15 | × | fp quits (~Thunderbi@130.233.70.108) (Ping timeout: 240 seconds) |
| 13:38:33 | → | fp joins (~Thunderbi@wireless-86-50-141-141.open.aalto.fi) |
| 13:47:30 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:50:11 | → | gorignak joins (~gorignak@user/gorignak) |
| 14:02:59 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 14:03:53 | → | merijn joins (~merijn@77.242.116.146) |
| 14:11:25 | trickard_ | is now known as trickard |
| 14:25:21 | × | Googulator49 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 14:26:31 | → | Googulator joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 14:30:05 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 250 seconds) |
| 14:30:06 | → | turlando_ joins (~turlando@user/turlando) |
| 14:31:20 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 14:41:07 | → | ystael joins (~ystael@user/ystael) |
| 14:43:09 | <kuribas> | Why do I get "Failed to find a HLS version for GHC 8.10.7" |
| 14:43:19 | <kuribas> | In emacs-lsp |
| 14:43:28 | <kuribas> | It works in another project. |
| 14:44:24 | <haskellbridge> | <Morj> Did you rule out the obvious problems with PATH already, it picking up a different version of hls and/or ghc? |
| 14:44:55 | <kuribas> | But path is the same in both projects? |
| 14:45:41 | <haskellbridge> | <Morj> It might be modified by nix, direnv or your lsp plugin |
| 14:46:12 | <kuribas> | hmm, there is a .stack-work with ghc-8.10.7 |
| 14:46:16 | <haskellbridge> | <Morj> Sorry, I'm not familiar with emacs, so I'm doing first-line help advice here |
| 14:46:38 | <kuribas> | Ah, I think stack is fixing this ghc... |
| 14:47:21 | <haskellbridge> | <Morj> I prefer to always set system-ghc: true in stack to prevent that |
| 14:47:52 | <haskellbridge> | <Morj> Some time ago stack also added ghcup integration instead of using its own packages, but I'm not sure how it works |
| 14:48:08 | <kuribas> | hmm, I can try that |
| 14:49:11 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 14:49:29 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 14:49:48 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 14:52:25 | × | fp quits (~Thunderbi@wireless-86-50-141-141.open.aalto.fi) (Remote host closed the connection) |
| 14:53:39 | <kuribas> | ok, it works now. |
| 14:54:16 | <kuribas> | If I do map (\(x:xs) -> ...) $ groupBy .., how do I avoid the exhaustive error? |
| 14:54:28 | <kuribas> | Empty list is impossible here. |
| 14:54:34 | <kuribas> | well, warning. |
| 14:55:49 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:59:34 | <geekosaur> | best you can do is -Wno-incomplete-uni-patterns, I think |
| 14:59:45 | <geekosaur> | since there's no way to add the other case even if it mattered |
| 14:59:48 | <kuribas> | It's nice to have, but not here. |
| 14:59:48 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 14:59:55 | <haskellbridge> | <Morj> 1. Refactor all your code to put NonEmpty there ;-) |
| 14:59:57 | <kuribas> | well, lambdacase |
| 15:00:04 | → | weary-traveler joins (~user@user/user363627) |
| 15:00:19 | <Leary> | kuribas: Use `Data.List.NonEmpty.groupBy`. |
| 15:00:23 | <geekosaur> | (this is why uni-patterns is a separate warning) |
| 15:01:01 | <haskellbridge> | <Morj> 2. You can use a partial function like "fromJust . uncons" |
| 15:01:04 | <geekosaur> | well, yes, if you can use NonEmoty then it's not a problem. but I find NonEmpty somewhat annoying and sometimes a bit expensive since it's adding constructors that are pointless at runtime |
| 15:01:55 | <geekosaur> | imo NonEmpty isn't a solution, it's an ugly hack around Haskell missing that aspect of dependent types |
| 15:02:08 | <Leary> | `x:|xs` has no more constructors/expense than `x:xs`. |
| 15:02:22 | → | fp joins (~Thunderbi@130.233.70.108) |
| 15:02:35 | <Leary> | It's not a solution to every non-empty list problem, but it /is/ a solution to giving `groupBy` a good signature. |
| 15:02:44 | × | fp quits (~Thunderbi@130.233.70.108) (Read error: Connection reset by peer) |
| 15:03:34 | <haskellbridge> | <Morj> I find that NonEmpty is fine when you're inside the ecosystem that's more abstract over it's data types. A lot of functions take a list instead of a traversable. I find the pain slightly smaller with mono-traversable and everything that uses it |
| 15:03:46 | <kuribas> | groupBy in idris uses List1 |
| 15:04:50 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 15:05:36 | <geekosaur> | well, there's also that the case where I personally run into this "correctly" should be solved in xmonad core… by breaking the API of a central structure that's been fixed since at least 0.2 |
| 15:06:14 | <geekosaur> | and is so core that pretty much everything in both core and contrib would have to be modified |
| 15:08:44 | × | gustrb quits (~gustrb@user/gustrb) (Read error: Connection reset by peer) |
| 15:08:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 15:09:34 | → | gustrb joins (~gustrb@user/gustrb) |
| 15:10:31 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 15:10:36 | <kuribas> | groupBy should have been forall a. (a -> a -> a) -> [a] -> [(a, [a])] |
| 15:11:24 | <kuribas> | ah, that's basically NonEmpty... |
| 15:11:38 | <kuribas> | Maybe a bit less heavy on dependencies. |
| 15:13:48 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:20:21 | <monochrom> | Data.List.Nonempty exports a groupBy :: Foldable f => (a -> a -> Bool) -> f a -> [NonEmpty a] |
| 15:20:44 | <kuribas> | right :) |
| 15:20:56 | <monochrom> | Since the input is any Foldable, you can still give it a normal list. |
| 15:21:57 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Quit: fp) |
| 15:24:05 | <monochrom> | "How groupBy Should Have Ended" |
| 15:24:53 | <monochrom> | "But this is how groupBy should really have ended: Foldable f => (r :: a -> a -> Bool) -> (proof that r is really an equivalence relation) -> f a -> [NonEmpty a]" >:) |
| 15:26:28 | <kuribas> | I usually use groupBy ((==) `on` f) ... |
| 15:26:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 15:27:11 | <kuribas> | ah, that's groupWith... |
| 15:27:23 | <monochrom> | Nice. |
| 15:28:08 | <kuribas> | Even in idris Eq doesn't come with proofs... |
| 15:30:10 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 15:30:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:30:30 | <Leary> | One of the reasons for `*By` functions is because you don't always want to be restricted by the laws associated with `Eq`/`Ord`. Ideally `groupBy` would be rewritten to group /related chains/, then it would make perfect sense regardless of transitivity. |
| 15:31:30 | <monochrom> | I think it already does that. |
| 15:31:58 | <Leary> | No, it collects elements related to the first following each break. |
| 15:32:17 | <monochrom> | Ah, that. |
| 15:36:14 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 15:37:38 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 15:48:37 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 15:53:56 | → | infinity0 joins (~infinity0@pwned.gg) |
| 15:55:06 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 15:56:04 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 15:56:27 | × | annamalai quits (~annamalai@157.32.136.68) (Read error: Connection reset by peer) |
| 15:56:47 | → | annamalai joins (~annamalai@157.32.136.68) |
| 15:58:11 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:02:35 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 16:10:42 | × | Googulator quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 16:10:47 | → | Googulator40 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 16:14:06 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 16:16:26 | catties | is now known as kitties |
| 16:16:32 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:18:00 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 16:18:39 | gehmehgeh | is now known as gmg |
| 16:18:45 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 16:19:23 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Client Quit) |
| 16:21:53 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 16:26:21 | × | comonad quits (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 16:29:02 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:29:59 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 16:30:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 16:30:41 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 16:31:17 | Lord_of_Life_ | is now known as Lord_of_Life |
| 16:33:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 16:34:57 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 16:37:21 | × | Googulator40 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 16:37:30 | → | Square3 joins (~Square@user/square) |
| 16:37:39 | → | Googulator40 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 16:40:47 | → | Googulator16 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 16:40:47 | × | Googulator40 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Client Quit) |
| 16:43:02 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:43:59 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 16:46:21 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 16:46:40 | → | infinity0 joins (~infinity0@pwned.gg) |
| 16:54:48 | kitties | is now known as Catty |
| 17:01:45 | × | Googulator16 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 17:01:59 | → | Googulator16 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 17:03:08 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:05:35 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 240 seconds) |
| 17:07:16 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 17:08:01 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:10:40 | × | Googulator16 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 17:10:46 | → | Googulator13 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 17:12:50 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:17:01 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:18:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 17:18:32 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 17:22:04 | × | fmlatghor quits (~lcoogan@user/fmlatghor) (Quit: WeeChat 4.1.1) |
| 17:23:35 | × | qqe quits (~qqq@185.54.21.174) (Ping timeout: 240 seconds) |
| 17:38:49 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:41:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) |
| 17:52:08 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 17:52:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:54:19 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 17:59:59 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 18:02:44 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 18:12:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:21:15 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 18:21:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:22:09 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:24:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:26:00 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 18:29:29 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 18:33:37 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 18:36:27 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 18:38:13 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:39:31 | → | img joins (~img@user/img) |
| 18:41:44 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 18:41:54 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:45:27 | → | fmlatghor joins (~lcoogan@user/fmlatghor) |
| 18:54:13 | → | marlino joins (~marlino@96-8-193-28.block0.gvtc.com) |
| 18:55:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) |
| 18:55:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 18:58:16 | × | marlino quits (~marlino@96-8-193-28.block0.gvtc.com) (Client Quit) |
| 18:58:21 | → | ft joins (~ft@p508db844.dip0.t-ipconnect.de) |
| 19:11:45 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:28:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:41:52 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 19:42:35 | × | kimiamania99 quits (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 19:43:45 | → | kimiamania99 joins (~67ff9c12@user/kimiamania) |
| 19:55:46 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 19:58:30 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 20:01:10 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 20:04:36 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 20:04:44 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 20:15:48 | → | Googulator2 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 20:15:48 | × | Googulator13 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 20:16:24 | → | infinity0 joins (~infinity0@pwned.gg) |
| 20:17:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:24:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:27:58 | × | yin quits (~zero@user/zero) (Ping timeout: 260 seconds) |
| 20:29:35 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
| 20:31:34 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 20:35:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:37:15 | × | younder quits (~user@105.79-161-59.customer.lyse.net) (Remote host closed the connection) |
| 20:37:49 | → | yin joins (~zero@user/zero) |
| 20:40:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:51:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:51:18 | <jreicher> | @tell kuribas in general you might have a better experience with eglot than with lsp-mode |
| 20:51:18 | <lambdabot> | Consider it noted. |
| 20:52:38 | × | trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 20:54:24 | → | trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 20:55:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:56:41 | → | pavonia joins (~user@user/siracusa) |
| 20:56:46 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 20:57:17 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 21:00:38 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 21:06:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:10:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:11:16 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:18:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:22:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:30:45 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 21:33:01 | × | trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 21:33:12 | → | trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 21:33:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:38:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:47:24 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 21:49:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:53:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:00:00 | × | trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:00:14 | → | trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 22:02:02 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:03:32 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 22:04:05 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 22:04:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:09:02 | trickard_ | is now known as trickard |
| 22:09:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:13:38 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 22:14:23 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:15:50 | × | Googulator2 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 22:16:02 | → | Googulator2 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 22:19:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:26:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:30:35 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 22:35:16 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 22:37:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:37:49 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 22:37:50 | divlamir_ | is now known as divlamir |
| 22:40:53 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 22:42:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:45:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:52:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:52:55 | → | hseg_ joins (~hseg_@46.120.21.70) |
| 22:57:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:59:19 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 22:59:20 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 22:59:38 | → | infinity0 joins (~infinity0@pwned.gg) |
| 23:06:05 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 23:06:18 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:08:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:12:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:12:35 | × | trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 23:13:09 | → | trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 23:13:45 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 23:13:50 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:14:48 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 23:15:07 | → | EvanR joins (~EvanR@user/evanr) |
| 23:16:41 | trickard_ | is now known as trickard |
| 23:17:24 | → | mange joins (~mange@user/mange) |
| 23:17:45 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 23:19:58 | × | hseg_ quits (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 23:21:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 23:23:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:24:34 | → | infinity0 joins (~infinity0@pwned.gg) |
| 23:25:07 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 23:27:54 | Googulator2 | is now known as Googulator |
| 23:28:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:28:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 23:30:31 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:32:24 | → | Square2 joins (~Square4@user/square) |
| 23:35:15 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 23:39:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:43:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:51:49 | → | hseg_ joins (~hseg_@46.120.21.70) |
| 23:53:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:54:03 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 23:54:28 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
All times are in UTC on 2025-11-24.