Home liberachat/#haskell: Logs Calendar

Logs on 2023-07-27 (liberachat/#haskell)

00:00:28 → arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au)
00:07:51 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
00:08:20 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
00:09:34 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
00:25:41 → pavonia joins (~user@user/siracusa)
00:27:42 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
00:27:58 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
00:27:58 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
00:27:58 → dibblego joins (~dibblego@haskell/developer/dibblego)
00:29:27 × dsrt^ quits (~cd@24.125.210.85) (Ping timeout: 260 seconds)
00:29:49 × diomacs^ quits (~cd@24.125.210.85) (Ping timeout: 244 seconds)
00:35:02 → harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
00:36:53 → codaraxis joins (~codaraxis@user/codaraxis)
00:37:11 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 264 seconds)
00:38:08 × codaraxis quits (~codaraxis@user/codaraxis) (Remote host closed the connection)
00:38:32 → codaraxis joins (~codaraxis@user/codaraxis)
00:38:40 × codaraxis quits (~codaraxis@user/codaraxis) (Remote host closed the connection)
00:45:05 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
00:49:39 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
00:50:08 → diomacs^ joins (~cd@24.125.210.85)
00:50:08 → dsrt^ joins (~cd@24.125.210.85)
00:53:18 → ai5lk joins (~ai5lk@209-188-121-236.taosnet.com)
01:01:32 × jero98772 quits (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 240 seconds)
01:04:32 × billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Ping timeout: 240 seconds)
01:10:43 → mrmr5 joins (~mrmr@user/mrmr)
01:10:50 × phma quits (phma@2001:5b0:210b:9ac8:f297:1dd8:f3f8:b4fd) (Read error: Connection reset by peer)
01:11:10 × mrmr quits (~mrmr@user/mrmr) (Ping timeout: 250 seconds)
01:11:10 mrmr5 is now known as mrmr
01:11:13 → phma joins (~phma@host-67-44-208-59.hnremote.net)
01:11:14 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:11:51 × slack1256 quits (~slack1256@186.11.61.14) (Remote host closed the connection)
01:13:04 → razetime joins (~quassel@117.193.0.94)
01:13:33 → jero98772 joins (~jero98772@2800:484:1d7f:5d36::1)
01:17:22 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:21:02 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
01:22:06 × diomacs^ quits (~cd@24.125.210.85) (Remote host closed the connection)
01:22:56 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
01:25:13 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
01:25:13 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
01:25:13 → dibblego joins (~dibblego@haskell/developer/dibblego)
01:27:44 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
01:29:15 → ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com)
01:31:53 → lbseale joins (~quassel@user/ep1ctetus)
01:40:52 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
01:42:57 × libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 260 seconds)
01:44:07 × ai5lk quits (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8)
01:55:47 × xff0x quits (~xff0x@2405:6580:b080:900:821d:6393:aa84:7d15) (Ping timeout: 260 seconds)
01:57:31 × ft quits (~ft@p3e9bcc0e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
01:58:55 → ft joins (~ft@p3e9bc61e.dip0.t-ipconnect.de)
02:04:19 × yaroot quits (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection)
02:05:03 → yaroot joins (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c)
02:05:11 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
02:05:42 × glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 260 seconds)
02:06:20 × lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
02:06:50 → lbseale joins (~quassel@user/ep1ctetus)
02:08:37 × _xor quits (~xor@ip-50-5-233-250.dynamic.fuse.net) (Ping timeout: 260 seconds)
02:11:15 → _xor joins (~xor@ip-50-5-233-250.dynamic.fuse.net)
02:17:17 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:17:34 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
02:18:35 × td_ quits (~td@i53870902.versanet.de) (Ping timeout: 264 seconds)
02:20:18 → td_ joins (~td@i5387090B.versanet.de)
02:20:55 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:20:55 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:20:55 finn_elija is now known as FinnElija
02:26:33 × yaroot quits (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer)
02:26:41 × Vq quits (~vq@90-227-195-9-no77.tbcn.telia.com) (Ping timeout: 245 seconds)
02:26:43 → yaroot joins (~yaroot@p3196076-ipngn7101souka.saitama.ocn.ne.jp)
02:28:34 → Vq joins (~vq@90-227-195-9-no77.tbcn.telia.com)
02:29:17 → libertyprime joins (~libertypr@203.96.203.44)
02:36:15 → glguy joins (~glguy@libera/staff-emeritus/glguy)
02:39:25 × lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
02:39:48 → lbseale joins (~quassel@user/ep1ctetus)
02:44:46 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:46:29 × arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds)
02:55:17 × ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds)
02:55:18 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
02:59:04 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
02:59:05 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
02:59:05 → wroathe joins (~wroathe@user/wroathe)
03:03:16 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds)
03:03:35 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
03:07:16 → ribosomerocker[m joins (~ribosomer@2001:470:69fc:105::3:8ac7)
03:09:57 × ystael quits (~ystael@user/ystael) (Ping timeout: 245 seconds)
03:13:27 → mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d)
03:16:42 × phma quits (~phma@host-67-44-208-59.hnremote.net) (Read error: Connection reset by peer)
03:17:07 → phma joins (phma@2001:5b0:210b:9ac8:cc3e:81df:eae2:50e9)
03:19:12 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
03:22:16 → hugo joins (znc@verdigris.lysator.liu.se)
03:29:58 → aforemny_ joins (~aforemny@2001:9e8:6cfc:2a00:d5a2:6a3b:38ac:cbd4)
03:31:24 × aforemny quits (~aforemny@i59F516D9.versanet.de) (Ping timeout: 260 seconds)
03:37:55 → jargon joins (~jargon@174-22-223-141.phnx.qwest.net)
03:39:00 × ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
03:45:24 × mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 260 seconds)
03:45:26 × dibblego quits (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
03:49:00 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
03:49:00 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
03:49:00 → dibblego joins (~dibblego@haskell/developer/dibblego)
03:54:35 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds)
03:57:01 → dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
03:57:01 × dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
03:57:01 → dobblego joins (~dibblego@haskell/developer/dibblego)
03:57:41 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
03:57:42 dobblego is now known as dibblego
04:00:44 × monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER)
04:02:19 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
04:03:17 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
04:04:14 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
04:04:36 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
04:10:51 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
04:10:51 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
04:10:51 → dibblego joins (~dibblego@haskell/developer/dibblego)
04:13:05 → monochrom joins (trebla@216.138.220.146)
04:15:26 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
04:15:44 × mrmr quits (~mrmr@user/mrmr) (Ping timeout: 260 seconds)
04:16:16 × razetime quits (~quassel@117.193.0.94) (Ping timeout: 245 seconds)
04:17:31 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds)
04:20:00 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
04:20:00 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
04:20:00 → dibblego joins (~dibblego@haskell/developer/dibblego)
04:24:46 × wagle quits (~wagle@quassel.wagle.io) (Remote host closed the connection)
04:26:02 → wagle joins (~wagle@quassel.wagle.io)
04:26:16 → reach__ joins (~reach@142.198.51.47)
04:31:06 × reach__ quits (~reach@142.198.51.47) (Ping timeout: 244 seconds)
04:33:27 mstksg is now known as jle`
04:41:26 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
04:45:37 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
04:45:37 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
04:45:37 → dibblego joins (~dibblego@haskell/developer/dibblego)
04:45:51 → bgs joins (~bgs@212-85-160-171.dynamic.telemach.net)
04:47:41 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
04:48:36 × nattiestnate quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2)
04:48:45 → mrmr joins (~mrmr@user/mrmr)
04:48:50 → nattiestnate joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
04:50:38 × notzmv quits (~zmv@user/notzmv) (Remote host closed the connection)
04:51:41 → notzmv joins (~zmv@user/notzmv)
04:52:29 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
04:56:25 → razetime joins (~quassel@117.193.0.94)
05:02:29 → arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au)
05:09:38 × bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
05:14:29 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
05:14:45 → mncheckm joins (~mncheck@193.224.205.254)
05:15:54 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
05:19:43 × arizona_ quits (~arizona@bcdcac82.skybroadband.com) (Quit: Connection error?!)
05:20:11 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
05:24:02 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds)
05:27:08 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
05:27:56 → highvoltage joins (~highvolt@bcdcac82.skybroadband.com)
05:36:49 × jargon quits (~jargon@174-22-223-141.phnx.qwest.net) (Ping timeout: 260 seconds)
05:37:32 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
05:44:58 → jargon joins (~jargon@174-22-217-254.phnx.qwest.net)
05:45:30 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
05:46:31 → terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
05:47:02 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
05:49:32 → CiaoSen joins (~Jura@2a05:5800:28b:8f00:664b:f0ff:fe37:9ef)
05:50:58 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
05:50:58 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
05:50:58 → dibblego joins (~dibblego@haskell/developer/dibblego)
05:51:12 → mixfix41 joins (~sdeny9ee@user/mixfix41)
05:51:50 → trev joins (~trev@user/trev)
05:56:04 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
05:59:21 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
05:59:21 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
05:59:21 → dibblego joins (~dibblego@haskell/developer/dibblego)
06:01:32 × jargon quits (~jargon@174-22-217-254.phnx.qwest.net) (Read error: Connection reset by peer)
06:04:11 × jjhoo quits (~jahakala@user/jjhoo) (Ping timeout: 245 seconds)
06:04:26 → jjhoo joins (~jahakala@user/jjhoo)
06:07:23 → michalz joins (~michalz@185.246.207.218)
06:10:04 → jargon joins (~jargon@184.101.76.232)
06:10:18 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds)
06:16:49 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
06:16:49 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
06:16:49 → dibblego joins (~dibblego@haskell/developer/dibblego)
06:18:25 → simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk)
06:21:47 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
06:24:32 → oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
06:27:54 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
06:28:03 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:28:17 × simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds)
06:29:18 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
06:29:18 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
06:29:18 → dibblego joins (~dibblego@haskell/developer/dibblego)
06:32:07 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
06:32:36 → bilegeek joins (~bilegeek@2600:1008:b05c:e2f3:65b4:988a:ae8:9467)
06:33:34 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
06:34:04 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds)
06:35:17 → dibblego joins (~dibblego@116.255.1.151)
06:35:17 × dibblego quits (~dibblego@116.255.1.151) (Changing host)
06:35:17 → dibblego joins (~dibblego@haskell/developer/dibblego)
06:40:33 aforemny_ is now known as aforemny
06:42:06 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
06:46:21 → fendor joins (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932)
06:47:13 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
06:47:13 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
06:47:13 → dibblego joins (~dibblego@haskell/developer/dibblego)
06:52:04 → Guest5267 joins (~finn@176-151-21-224.abo.bbox.fr)
06:53:18 → acidjnk joins (~acidjnk@p200300d6e7072f405d546349bf45e467.dip0.t-ipconnect.de)
07:00:51 × hdggxin quits (~hdggxin@122.175.41.19) (Ping timeout: 245 seconds)
07:07:21 × nattiestnate quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2)
07:07:55 → nattiestnate joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
07:11:44 × michalz quits (~michalz@185.246.207.218) (*.net *.split)
07:11:44 × trev quits (~trev@user/trev) (*.net *.split)
07:11:44 × terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (*.net *.split)
07:11:44 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (*.net *.split)
07:11:44 × wagle quits (~wagle@quassel.wagle.io) (*.net *.split)
07:11:44 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (*.net *.split)
07:11:44 × lbseale quits (~quassel@user/ep1ctetus) (*.net *.split)
07:11:44 × jero98772 quits (~jero98772@2800:484:1d7f:5d36::1) (*.net *.split)
07:11:44 × dsrt^ quits (~cd@24.125.210.85) (*.net *.split)
07:11:44 × mauke quits (~mauke@user/mauke) (*.net *.split)
07:11:44 × Sgeo quits (~Sgeo@user/sgeo) (*.net *.split)
07:11:44 × komikat` quits (~user@218.185.248.66) (*.net *.split)
07:11:44 × jmdaemon quits (~jmdaemon@user/jmdaemon) (*.net *.split)
07:11:44 × thelounge793 quits (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (*.net *.split)
07:11:44 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (*.net *.split)
07:11:44 × _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split)
07:11:44 × m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (*.net *.split)
07:11:44 × Feuermagier quits (~Feuermagi@user/feuermagier) (*.net *.split)
07:11:44 × anpad quits (~pandeyan@user/anpad) (*.net *.split)
07:11:44 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split)
07:11:44 × maerwald quits (~maerwald@mail.hasufell.de) (*.net *.split)
07:11:44 × [Leary] quits (~Leary]@user/Leary/x-0910699) (*.net *.split)
07:11:44 × litharge quits (litharge@libera/bot/litharge) (*.net *.split)
07:11:44 × ChanServ quits (ChanServ@services.libera.chat) (*.net *.split)
07:11:44 × jjhoo quits (~jahakala@user/jjhoo) (*.net *.split)
07:11:44 × aforemny quits (~aforemny@2001:9e8:6cfc:2a00:d5a2:6a3b:38ac:cbd4) (*.net *.split)
07:11:44 × libertyprime quits (~libertypr@203.96.203.44) (*.net *.split)
07:11:44 × Vq quits (~vq@90-227-195-9-no77.tbcn.telia.com) (*.net *.split)
07:11:44 × yaroot quits (~yaroot@p3196076-ipngn7101souka.saitama.ocn.ne.jp) (*.net *.split)
07:11:44 × ft quits (~ft@p3e9bc61e.dip0.t-ipconnect.de) (*.net *.split)
07:11:44 × Alex_test quits (~al_test@178.34.162.202) (*.net *.split)
07:11:44 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (*.net *.split)
07:11:44 × foul_owl quits (~kerry@185.219.141.162) (*.net *.split)
07:11:44 × darchitect quits (~darchitec@2a00:23c6:3584:df01:ace3:21db:4a0c:96b1) (*.net *.split)
07:11:44 × ByronJohnson quits (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (*.net *.split)
07:11:44 × driib quits (~driib@vmi931078.contaboserver.net) (*.net *.split)
07:11:44 × kimiamania60 quits (~681cf57f@user/kimiamania) (*.net *.split)
07:11:44 × turlando quits (~turlando@user/turlando) (*.net *.split)
07:11:44 × TheCatCollective quits (NyaaTheKit@user/calculuscat) (*.net *.split)
07:11:44 × myxos quits (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (*.net *.split)
07:11:44 × bgamari quits (~bgamari@70.16.98.14) (*.net *.split)
07:11:44 × mud quits (~mud@user/kadoban) (*.net *.split)
07:11:44 × sefidel quits (~sefidel@user/sefidel) (*.net *.split)
07:11:44 × Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (*.net *.split)
07:11:44 × Logio quits (em@kapsi.fi) (*.net *.split)
07:11:44 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split)
07:11:45 × johnw quits (~johnw@69.62.242.138) (*.net *.split)
07:11:45 × jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split)
07:11:45 × jrm quits (~jrm@user/jrm) (*.net *.split)
07:11:45 × son0p quits (~ff@181.136.122.143) (*.net *.split)
07:11:45 × Pent_ quits (sid313808@id-313808.lymington.irccloud.com) (*.net *.split)
07:11:45 × tnks quits (sid412124@id-412124.helmsley.irccloud.com) (*.net *.split)
07:11:45 × taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
07:11:45 × Hafydd quits (~Hafydd@user/hafydd) (*.net *.split)
07:11:45 × henrytill quits (e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split)
07:11:45 × acertain_ quits (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split)
07:11:45 × Moyst_ quits (~moyst@user/moyst) (*.net *.split)
07:11:45 × [exa] quits (~exa@user/exa/x-3587197) (*.net *.split)
07:11:45 × guygastineau quits (~guygastin@137.184.131.156) (*.net *.split)
07:11:45 × hexeme_ quits (~hexeme@user/hexeme) (*.net *.split)
07:11:45 × elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (*.net *.split)
07:11:45 × Luj quits (~Luj@2a01:e0a:5f9:9681:b61c:443d:ba92:3071) (*.net *.split)
07:11:45 × Nosrep quits (~Nosrep@user/nosrep) (*.net *.split)
07:11:45 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (*.net *.split)
07:11:45 × CiaoSen quits (~Jura@2a05:5800:28b:8f00:664b:f0ff:fe37:9ef) (*.net *.split)
07:11:45 × ringo___ quits (~ringo@157.230.117.128) (*.net *.split)
07:11:45 × Reinhilde quits (ellenor@callbox.trd.is) (*.net *.split)
07:11:45 × berberman quits (~berberman@user/berberman) (*.net *.split)
07:11:45 × joeyh quits (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (*.net *.split)
07:11:45 × davetapley quits (sid666@id-666.uxbridge.irccloud.com) (*.net *.split)
07:11:45 × gaze___ quits (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split)
07:11:45 × NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
07:11:45 × infinity0 quits (~infinity0@pwned.gg) (*.net *.split)
07:11:45 × nek0 quits (~nek0@2a01:4f8:222:2b41::12) (*.net *.split)
07:11:45 × cheater quits (~Username@user/cheater) (*.net *.split)
07:11:45 × img quits (~img@user/img) (*.net *.split)
07:11:45 × zer0bitz quits (~zer0bitz@user/zer0bitz) (*.net *.split)
07:11:45 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
07:11:45 × telser quits (~quassel@user/telser) (*.net *.split)
07:11:45 × tv quits (~tv@user/tv) (*.net *.split)
07:11:45 × extor quits (~extor@ns3018124.ip-149-202-82.eu) (*.net *.split)
07:11:45 × hueso quits (~root@user/hueso) (*.net *.split)
07:11:45 × jbalint quits (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (*.net *.split)
07:11:45 × tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split)
07:11:45 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (*.net *.split)
07:11:45 × troydm quits (~troydm@user/troydm) (*.net *.split)
07:11:45 × mxs quits (~mxs@user/mxs) (*.net *.split)
07:11:45 × arthurvl quits (~arthurvl@77-174-49-144.fixed.kpn.net) (*.net *.split)
07:11:45 × h2t_ quits (~h2t@user/h2t) (*.net *.split)
07:11:45 × megaTherion quits (~therion@unix.io) (*.net *.split)
07:11:45 × Athas quits (athas@sigkill.dk) (*.net *.split)
07:11:45 × sm2n quits (ae95cb1267@user/sm2n) (*.net *.split)
07:11:45 × jleightcap quits (7bc4014b62@user/jleightcap) (*.net *.split)
07:11:45 × JoelMcCracken quits (5ea8252fbb@2604:bf00:561:2000::10e3) (*.net *.split)
07:11:45 × b0o quits (0e4a0bf4c9@2604:bf00:561:2000::1bf) (*.net *.split)
07:11:45 × sus quits (1b7af6299f@user/zeromomentum) (*.net *.split)
07:11:45 × rselim quits (ce261f06ff@user/milesrout) (*.net *.split)
07:11:45 × Ankhers quits (e99e97ef8e@2604:bf00:561:2000::2a2) (*.net *.split)
07:11:45 × fluffyballoon quits (45ce440a48@2604:bf00:561:2000::e2) (*.net *.split)
07:11:45 × whereiseveryone quits (206ba86c98@2604:bf00:561:2000::2e4) (*.net *.split)
07:11:45 × shreyasminocha quits (51fdc93eda@user/shreyasminocha) (*.net *.split)
07:11:45 × theesm quits (2cbdf4b38a@2604:bf00:561:2000::11c8) (*.net *.split)
07:11:45 × arcadewise quits (52968ed80d@2604:bf00:561:2000::3df) (*.net *.split)
07:11:45 × fvr quits (ef3e56ca8b@2604:bf00:561:2000::3c4) (*.net *.split)
07:11:45 × jakzale quits (6291399afa@user/jakzale) (*.net *.split)
07:11:45 × ggb quits (a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split)
07:11:45 × bsima1 quits (9d7e39c8ad@2604:bf00:561:2000::dd) (*.net *.split)
07:11:45 × jkoshy quits (99b9359beb@user/jkoshy) (*.net *.split)
07:11:45 × n1essa quits (3d621153a5@2604:bf00:561:2000::df7) (*.net *.split)
07:11:45 × lukec quits (9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split)
07:11:45 × chaitlatte0 quits (ea29c0bb16@2604:bf00:561:2000::1124) (*.net *.split)
07:11:45 × jil` quits (~user@vps-15050500.vps.ovh.net) (*.net *.split)
07:11:45 × Wojciech_K quits (~Wojciech_@2a01:4f9:6a:18a8::239) (*.net *.split)
07:11:45 × mmarusea1ph2 quits (~mihai@mihai.page) (*.net *.split)
07:11:45 × statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split)
07:11:45 × ormaaaj quits (~ormaaj@user/ormaaj) (*.net *.split)
07:11:45 × fgaz quits (~fgaz@2001:470:69fc:105::842) (*.net *.split)
07:11:45 × beaky quits (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split)
07:11:45 × hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
07:11:45 × agander_m quits (sid407952@id-407952.tinside.irccloud.com) (*.net *.split)
07:11:45 × flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
07:11:45 × lieven quits (~mal@ns2.wyrd.be) (*.net *.split)
07:11:45 × kawzeg quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
07:11:45 × lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split)
07:11:45 × T_S__ quits (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split)
07:11:45 × codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
07:11:45 × aristid quits (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split)
07:11:45 × xnbya quits (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
07:11:45 × glider quits (~glider@user/glider) (*.net *.split)
07:11:45 × venkateshK[m] quits (~randomint@2001:470:69fc:105::3:852e) (*.net *.split)
07:11:45 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (*.net *.split)
07:11:45 × HerlockSholmes quits (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (*.net *.split)
07:11:45 × cyphase quits (~cyphase@user/cyphase) (*.net *.split)
07:11:45 × malte quits (~malte@mal.tc) (*.net *.split)
07:11:45 × shryke quits (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) (*.net *.split)
07:11:45 × the_guruji[m] quits (~theguruji@2001:470:69fc:105::3:825f) (*.net *.split)
07:11:45 × vgtw quits (~vgtw@user/vgtw) (*.net *.split)
07:11:45 × cassiope1 quits (~cassiopea@user/cassiopea) (*.net *.split)
07:11:45 × Philonous_ quits (~Philonous@user/philonous) (*.net *.split)
07:11:45 × kraftwerk28_ quits (~kraftwerk@178.62.210.83) (*.net *.split)
07:11:45 × meooow_ quits (~meooow@165.232.184.169) (*.net *.split)
07:11:45 × piele_ quits (~piele@tbonesteak.creativeserver.net) (*.net *.split)
07:11:45 × adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
07:11:45 × bah_ quits (~bah@l1.tel) (*.net *.split)
07:11:45 × sviermsung quits (spxLkMy9HV@user/s4msung) (*.net *.split)
07:11:45 × hexology quits (~hexology@user/hexology) (*.net *.split)
07:11:45 × finnekit quits (~finnekit@fsf/member/finnekit) (*.net *.split)
07:11:45 × NemesisD quits (sid24071@id-24071.lymington.irccloud.com) (*.net *.split)
07:11:45 × koz quits (~koz@121.99.240.58) (*.net *.split)
07:11:45 × int-e quits (~noone@int-e.eu) (*.net *.split)
07:11:45 × kronicma1 quits (user37546@neotame.csclub.uwaterloo.ca) (*.net *.split)
07:11:45 × qhong quits (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (*.net *.split)
07:11:45 × hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (*.net *.split)
07:11:45 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
07:11:45 × Ekho quits (~Ekho@user/ekho) (*.net *.split)
07:11:45 × danso quits (~danso@user/danso) (*.net *.split)
07:11:45 × Batzy quits (~quassel@user/batzy) (*.net *.split)
07:11:45 × ell quits (~ellie@user/ellie) (*.net *.split)
07:11:45 × jludwig quits (~justin@li657-110.members.linode.com) (*.net *.split)
07:11:45 × finsternis quits (~X@23.226.237.192) (*.net *.split)
07:11:45 × ribosomerocker[m quits (~ribosomer@2001:470:69fc:105::3:8ac7) (*.net *.split)
07:11:45 × hellwolf quits (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (*.net *.split)
07:11:45 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
07:11:46 × hololeap quits (~quassel@user/hololeap) (*.net *.split)
07:11:46 × mira quits (~aranea@wireguard/contributorcat/mira) (*.net *.split)
07:11:46 × xosdy[m] quits (~xosdymozi@2001:470:69fc:105::2:63f7) (*.net *.split)
07:11:46 × ryantrinkle quits (~ryantrink@204.2.90.61) (*.net *.split)
07:11:46 × alternateved quits (77c0810639@2604:bf00:561:2000::11f0) (*.net *.split)
07:11:46 × jmcantrell quits (~jmcantrel@user/jmcantrell) (*.net *.split)
07:11:46 × GoldsteinQ quits (~goldstein@goldstein.rs) (*.net *.split)
07:11:46 × AWizzArd quits (~code@gehrels.uberspace.de) (*.net *.split)
07:11:46 × mjacob quits (~mjacob@adrastea.uberspace.de) (*.net *.split)
07:11:46 × ysh____ quits (sid6017@id-6017.ilkley.irccloud.com) (*.net *.split)
07:11:46 × monochrom quits (trebla@216.138.220.146) (*.net *.split)
07:11:46 × byte quits (~byte@user/byte) (*.net *.split)
07:11:46 × hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (*.net *.split)
07:11:46 × ent quits (entgod@kapsi.fi) (*.net *.split)
07:11:46 × tstat quits (~tstat@user/tstat) (*.net *.split)
07:11:46 × tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split)
07:11:46 × Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split)
07:11:46 × connrs quits (~connrs@user/connrs) (*.net *.split)
07:11:46 × dolio quits (~dolio@130.44.134.54) (*.net *.split)
07:11:46 × AlexNoo quits (~AlexNoo@178.34.162.202) (*.net *.split)
07:11:46 × ian_ quits (~ian@matrix.chaos.earth.li) (*.net *.split)
07:11:46 × energizer quits (~energizer@user/energizer) (*.net *.split)
07:11:46 × absence_ quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
07:11:46 × Unode quits (~Unode@fg-ext-220.embl.de) (*.net *.split)
07:11:46 × paddymahoney quits (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (*.net *.split)
07:11:46 × cods quits (~fred@82-65-232-44.subs.proxad.net) (*.net *.split)
07:11:46 × czy quits (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) (*.net *.split)
07:11:46 × kitzman quits (~kitzman@user/dekenevs) (*.net *.split)
07:11:46 × it_ quits (~quassel@v2202212189510211193.supersrv.de) (*.net *.split)
07:11:46 × robbert-vdh quits (~robbert@robbertvanderhelm.nl) (*.net *.split)
07:11:46 × matijja quits (~matijja@193.77.181.201) (*.net *.split)
07:11:46 × caubert quits (~caubert@user/caubert) (*.net *.split)
07:11:46 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (*.net *.split)
07:11:46 × bcmiller quits (~bm3719@66.42.95.185) (*.net *.split)
07:11:46 × Deide quits (d0130db69a@user/deide) (*.net *.split)
07:11:46 × shane quits (~shane@ana.rch.ist) (*.net *.split)
07:11:46 × Dykam quits (Dykam@dykam.nl) (*.net *.split)
07:11:46 × arahael quits (~arahael@115-64-199-191.tpgi.com.au) (*.net *.split)
07:11:46 × xsarnik quits (xsarnik@lounge.fi.muni.cz) (*.net *.split)
07:11:46 × shachaf quits (~shachaf@user/shachaf) (*.net *.split)
07:11:46 × nurupo quits (~nurupo.ga@user/nurupo) (*.net *.split)
07:11:46 × noctux quits (~noctux@user/noctux) (*.net *.split)
07:11:46 × kadenwolff[m] quits (~kadenwolf@2001:470:69fc:105::1:d97f) (*.net *.split)
07:11:46 × boxscape[m] quits (~jabruenma@2001:470:69fc:105::3:88e7) (*.net *.split)
07:11:46 × FurudeRika[m] quits (~chitandae@2001:470:69fc:105::1:6039) (*.net *.split)
07:11:46 × JanusTroelsen[m] quits (~janustmat@2001:470:69fc:105::3:7e89) (*.net *.split)
07:11:46 × akadude[m] quits (~akadudema@2001:470:69fc:105::2:5bf7) (*.net *.split)
07:11:46 × hsiktas[m] quits (~hsiktasm]@2001:470:69fc:105::30d4) (*.net *.split)
07:11:46 × Null_A[m] quits (~jasonjckn@2001:470:69fc:105::bb85) (*.net *.split)
07:11:46 × aaronv quits (~aaronv@user/aaronv) (*.net *.split)
07:11:46 × hammond quits (proscan@gateway02.insomnia247.nl) (*.net *.split)
07:11:46 × maralorn quits (~maralorn@2001:470:69fc:105::251) (*.net *.split)
07:11:46 × Buliarous quits (~gypsydang@46.232.210.139) (*.net *.split)
07:11:46 × ManofLetters[m] quits (~manoflett@2001:470:69fc:105::3be) (*.net *.split)
07:11:46 × paulapatience quits (~paulapati@2001:470:69fc:105::16a4) (*.net *.split)
07:11:46 × Nate[m] quits (~m52957mat@2001:470:69fc:105::1:591a) (*.net *.split)
07:11:46 × peutri quits (~peutri@bobo.desast.re) (*.net *.split)
07:11:47 × hyvoid quits (~hyenavoid@222-0-178-69.static.gci.net) (*.net *.split)
07:11:47 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (*.net *.split)
07:11:47 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (*.net *.split)
07:11:47 × califax quits (~califax@user/califx) (*.net *.split)
07:11:47 × jpds quits (~jpds@gateway/tor-sasl/jpds) (*.net *.split)
07:11:47 × ec quits (~ec@gateway/tor-sasl/ec) (*.net *.split)
07:11:47 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (*.net *.split)
07:11:47 × chiselfuse quits (~chiselfus@user/chiselfuse) (*.net *.split)
07:11:47 × chexum quits (~quassel@gateway/tor-sasl/chexum) (*.net *.split)
07:11:47 × deb776[m] quits (~deb776ted@2001:470:69fc:105::3:84c5) (*.net *.split)
07:11:47 × end^ quits (~end^@user/end/x-0094621) (*.net *.split)
07:11:47 × aniketd[m] quits (~aniketdma@2001:470:69fc:105::dede) (*.net *.split)
07:11:47 × Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (*.net *.split)
07:11:47 × JensPetersen[m] quits (~juhp@2001:470:69fc:105::6e9) (*.net *.split)
07:11:47 × LenaDresner[m] quits (~lenadresn@2001:470:69fc:105::3:3c53) (*.net *.split)
07:11:47 × stites[m] quits (~stitesbee@2001:470:69fc:105::3:7bdc) (*.net *.split)
07:11:47 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (*.net *.split)
07:11:47 × Clinton[m] quits (~clintonme@2001:470:69fc:105::2:31d4) (*.net *.split)
07:11:47 × lamnou[m] quits (~lamnoumat@2001:470:69fc:105::3:7a7e) (*.net *.split)
07:11:47 × ners[m] quits (~nersnixos@2001:470:69fc:105::3:648b) (*.net *.split)
07:11:47 × yoggurt[m] quits (~yoggurtma@2001:470:69fc:105::2:ba5) (*.net *.split)
07:11:47 × ozkutuk[m] quits (~ozkutuk@2001:470:69fc:105::2:9af8) (*.net *.split)
07:11:47 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split)
07:11:47 × koolazer quits (~koo@user/koolazer) (*.net *.split)
07:11:47 × zfnmxt quits (~zfnmxt@user/zfnmxt) (*.net *.split)
07:11:47 × SethTisue_ quits (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split)
07:11:47 × mrvdb quits (~mrvdb@185.92.221.186) (*.net *.split)
07:11:47 × Christoph[m] quits (~hpotsirhc@2001:470:69fc:105::2ff8) (*.net *.split)
07:11:47 × alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split)
07:11:47 × MangoIV[m] quits (~mangoivma@2001:470:69fc:105::2:8417) (*.net *.split)
07:11:47 × cawfee quits (~root@2406:3003:2077:2758::babe) (*.net *.split)
07:11:47 × [_________] quits (~oos95GWG@user/oos95GWG) (*.net *.split)
07:11:47 × shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split)
07:11:47 × nomagno quits (~nomagno@2001:470:69fc:105::c1f0) (*.net *.split)
07:11:47 × fendor[m] quits (~fendormat@2001:470:69fc:105::fcbd) (*.net *.split)
07:11:47 × kadoban quits (~kadoban@user/kadoban) (*.net *.split)
07:11:47 × justache quits (~justache@user/justache) (*.net *.split)
07:11:47 × DigitalKiwi quits (~kiwi@2604:a880:400:d0::1ca0:e001) (*.net *.split)
07:11:47 × krjt quits (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split)
07:11:47 × andreas303 quits (andreas303@is.drunk.and.ready-to.party) (*.net *.split)
07:11:47 × Raito_Bezarius quits (~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d) (*.net *.split)
07:11:47 × sphynx quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split)
07:11:47 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split)
07:11:47 × asivitz quits (uid178348@id-178348.tinside.irccloud.com) (*.net *.split)
07:11:47 × buhman quits (sid411355@user/buhman) (*.net *.split)
07:11:47 × jmct quits (sid160793@id-160793.tinside.irccloud.com) (*.net *.split)
07:11:47 × lally quits (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split)
07:11:47 × PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
07:11:47 × Jon quits (jon@dow.land) (*.net *.split)
07:11:47 × adeptangel quits (cren@tilde.team) (*.net *.split)
07:11:47 × hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (*.net *.split)
07:11:47 × doyougnu quits (~doyougnu@45.46.170.68) (*.net *.split)
07:11:47 × geekosaur[c] quits (sid609282@xmonad/geekosaur) (*.net *.split)
07:11:47 × chessai quits (sid225296@id-225296.lymington.irccloud.com) (*.net *.split)
07:11:47 × kristjansson_ quits (sid126207@id-126207.tinside.irccloud.com) (*.net *.split)
07:11:47 × ncf quits (~n@monade.li) (*.net *.split)
07:11:47 × nonzen_ quits (~nonzen@user/nonzen) (*.net *.split)
07:11:47 × anderson quits (~anderson@user/anderson) (*.net *.split)
07:11:47 × sajith quits (~sajith@user/sajith) (*.net *.split)
07:11:47 × CAT_S quits (apic@brezn3.muc.ccc.de) (*.net *.split)
07:11:47 × samhh quits (7569f027cf@2604:bf00:561:2000::e4) (*.net *.split)
07:11:47 × dfordvm quits (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split)
07:11:47 × minigrim0 quits (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea) (*.net *.split)
07:11:47 × skippy quits (sid26890@user/slice) (*.net *.split)
07:11:47 × Fangs quits (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split)
07:11:47 × emergence quits (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split)
07:11:47 × tinwood quits (~tinwood@canonical/tinwood) (*.net *.split)
07:11:47 × amir quits (sid22336@user/amir) (*.net *.split)
07:11:47 × SanchayanMaity quits (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split)
07:11:47 × defanor quits (~defanor@tart.uberspace.net) (*.net *.split)
07:11:47 × carter quits (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split)
07:11:47 × maxfan8_ quits (~max@2a01:4f8:192:5356::2) (*.net *.split)
07:11:47 × delyan_ quits (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split)
07:11:47 × edwardk quits (sid47016@haskell/developer/edwardk) (*.net *.split)
07:11:47 × S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split)
07:11:47 × ario quits (~ario@159.65.220.102) (*.net *.split)
07:11:47 × oats_ quits (~thomas@user/oats) (*.net *.split)
07:11:47 × nisstyre quits (wes@user/nisstyre) (*.net *.split)
07:11:47 × chymera quits (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split)
07:11:47 × wallymathieu quits (sid533252@id-533252.uxbridge.irccloud.com) (*.net *.split)
07:11:47 × degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split)
07:11:47 × yvan-sraka quits (sid419690@id-419690.lymington.irccloud.com) (*.net *.split)
07:11:47 × welterde quits (welterde@thinkbase.srv.welterde.de) (*.net *.split)
07:11:47 × vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split)
07:11:47 × sa quits (sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
07:11:47 × evanrelf quits (3addc196af@2604:bf00:561:2000::f0) (*.net *.split)
07:11:47 × retropikzel quits (9d1a4f9f46@2604:bf00:561:2000::ce) (*.net *.split)
07:11:47 × 068AAA5TF quits (7569f027cf@2604:bf00:561:2000::e4) (*.net *.split)
07:11:47 × ymherklotz quits (cb2c9cfbdd@2604:bf00:561:2000::29a) (*.net *.split)
07:11:47 × probie quits (cc0b34050a@user/probie) (*.net *.split)
07:11:47 × cpli quits (77fc530071@2604:bf00:561:2000::252) (*.net *.split)
07:11:47 × filwisher quits (2e6936c793@2604:bf00:561:2000::170) (*.net *.split)
07:11:48 × Patternmaster quits (~georg@user/Patternmaster) (*.net *.split)
07:11:48 × bw_ quits (sid2730@user/betawaffle) (*.net *.split)
07:11:48 × PHO` quits (~pho@akari.cielonegro.org) (*.net *.split)
07:11:48 × MironZ quits (~MironZ@nat-infra.ehlab.uk) (*.net *.split)
07:11:48 × diagprov quits (sid348783@user/diagprov) (*.net *.split)
07:11:48 × yangby quits (~secret@183.128.108.131) (*.net *.split)
07:11:48 × Guest5267 quits (~finn@176-151-21-224.abo.bbox.fr) (*.net *.split)
07:11:48 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split)
07:11:48 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (*.net *.split)
07:11:48 × AlexZenon quits (~alzenon@178.34.162.202) (*.net *.split)
07:11:48 × tired quits (~tired@user/tired) (*.net *.split)
07:11:48 × swistak quits (~swistak@185.21.216.141) (*.net *.split)
07:11:48 × NinjaTrappeur quits (~ninja@hardin.alternativebit.fr) (*.net *.split)
07:11:48 × gentauro quits (~gentauro@user/gentauro) (*.net *.split)
07:11:48 × Helle quits (~helle@user/Helle) (*.net *.split)
07:11:48 × fun-safe-math quits (~fun-safe-@c-24-21-234-147.hsd1.or.comcast.net) (*.net *.split)
07:11:48 × m5zs7k quits (aquares@web10.mydevil.net) (*.net *.split)
07:11:48 × echoreply quits (~echoreply@45.32.163.16) (*.net *.split)
07:11:48 × nckx quits (~nckx@guix/contributor/nckx) (*.net *.split)
07:11:48 × rembo10 quits (~rembo10@main.remulis.com) (*.net *.split)
07:11:48 × geekosaur quits (~geekosaur@xmonad/geekosaur) (*.net *.split)
07:11:48 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
07:11:48 × manwithluck quits (manwithluc@52.197.234.151) (*.net *.split)
07:11:48 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
07:11:48 × tomku quits (~tomku@user/tomku) (*.net *.split)
07:11:48 × Everything quits (~Everythin@static.208.206.21.65.clients.your-server.de) (*.net *.split)
07:11:48 × dumptruckman quits (~dumptruck@143-42-184-47.ip.linodeusercontent.com) (*.net *.split)
07:11:48 × texasmynsted quits (~username@99.96.221.112) (*.net *.split)
07:11:48 × dfg quits (~dfg@user/dfg) (*.net *.split)
07:11:48 × Hooloovoo quits (~Hooloovoo@hax0rbana.org) (*.net *.split)
07:11:48 × lyxia quits (~lyxia@poisson.chat) (*.net *.split)
07:11:48 × tokie quits (~tokie@tokie.net) (*.net *.split)
07:11:48 × sudden quits (~cat@user/sudden) (*.net *.split)
07:11:48 × sympt quits (~sympt@user/sympt) (*.net *.split)
07:11:48 × zincy quits (~tom@host81-151-255-71.range81-151.btcentralplus.com) (*.net *.split)
07:11:48 × tomsmeding quits (~tomsmedin@static.21.109.88.23.clients.your-server.de) (*.net *.split)
07:11:48 × lawt quits (~lawt@129.159.36.129) (*.net *.split)
07:11:48 × dminuoso quits (~dminuoso@user/dminuoso) (*.net *.split)
07:11:48 × simpleauthority quits (~simpleaut@user/simpleauthority) (*.net *.split)
07:11:48 × ridcully_ quits (~ridcully@p57b52f2c.dip0.t-ipconnect.de) (*.net *.split)
07:11:48 × canta quits (~canta@user/canta) (*.net *.split)
07:11:48 × df quits (~ben@justworks.xyz) (*.net *.split)
07:11:48 × incertia quits (~incertia@209.122.71.127) (*.net *.split)
07:11:48 × gawen quits (~gawen@user/gawen) (*.net *.split)
07:11:48 × ouroboros quits (~ouroboros@user/ouroboros) (*.net *.split)
07:11:48 × kawen quits (~quassel@static.208.191.216.95.clients.your-server.de) (*.net *.split)
07:11:48 × nicole quits (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split)
07:11:48 × dibblego quits (~dibblego@haskell/developer/dibblego) (*.net *.split)
07:11:48 × fendor quits (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (*.net *.split)
07:11:48 × highvoltage quits (~highvolt@bcdcac82.skybroadband.com) (*.net *.split)
07:11:48 × natto quits (~natto@140.238.225.67) (*.net *.split)
07:11:48 × Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
07:11:48 × Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split)
07:11:48 × nshepper1 quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
07:11:48 × JSharp quits (sid4580@id-4580.lymington.irccloud.com) (*.net *.split)
07:11:48 × caasih quits (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
07:11:48 × hook54321 quits (sid149355@user/hook54321) (*.net *.split)
07:11:48 × rachelambda quits (~rachelamb@78-67-128-99-no247.tbcn.telia.com) (*.net *.split)
07:11:48 × teddyc quits (theodorc@cassarossa.samfundet.no) (*.net *.split)
07:11:48 × tureba quits (~tureba@tureba.org) (*.net *.split)
07:11:48 × edmundnoble_ quits (sid229620@id-229620.helmsley.irccloud.com) (*.net *.split)
07:11:48 × bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
07:11:48 × rune_ quits (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split)
07:11:48 × AndreasK quits (sid320732@id-320732.uxbridge.irccloud.com) (*.net *.split)
07:11:48 × hongminhee quits (sid295@id-295.tinside.irccloud.com) (*.net *.split)
07:11:48 × V quits (~v@ircpuzzles/2022/april/winner/V) (*.net *.split)
07:11:48 × scav quits (sid309693@user/scav) (*.net *.split)
07:11:48 × Momentum quits (momentum@2607:5300:60:4f58::248) (*.net *.split)
07:11:48 × rubin55 quits (sid175221@2a03:5180:f:4::2:ac75) (*.net *.split)
07:11:48 × jonrh_ quits (sid5185@2a03:5180:f:3::1441) (*.net *.split)
07:11:48 × mrmonday quits (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) (*.net *.split)
07:11:48 × bjs quits (sid190364@user/bjs) (*.net *.split)
07:11:48 × jakesyl____ quits (sid56879@2a03:5180:f:4::de2f) (*.net *.split)
07:11:48 × farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
07:11:48 × zups quits (~meow@2a01:4f9:c010:6036::1) (*.net *.split)
07:11:48 × mustafa quits (sid502723@rockylinux/releng/mustafa) (*.net *.split)
07:11:48 × snek quits (sid280155@2a03:5180:f:2::4:465b) (*.net *.split)
07:11:48 × edm quits (sid147314@2a03:5180:f:4::2:3f72) (*.net *.split)
07:11:48 × truckasaurus quits (sid457088@id-457088.helmsley.irccloud.com) (*.net *.split)
07:11:48 × Boarders___ quits (sid425905@id-425905.lymington.irccloud.com) (*.net *.split)
07:11:48 × xerox quits (~edi@user/edi) (*.net *.split)
07:11:48 × siers quits (~ij@user/ij) (*.net *.split)
07:11:48 × Rembane quits (~Rembane@178.79.177.36) (*.net *.split)
07:11:48 × davean quits (~davean@67.205.182.208) (*.net *.split)
07:11:48 × darkling quits (~darkling@2001:ba8:1f1:f0e6::2) (*.net *.split)
07:11:49 × winny quits (~weechat@user/winny) (*.net *.split)
07:11:49 × parseval quits (sid239098@2a03:5180:f:1::3:a5fa) (*.net *.split)
07:11:49 × Adeon quits (sid418992@2a03:5180:f:2::6:64b0) (*.net *.split)
07:11:49 × astra quits (sid289983@2a03:5180:f:4::4:6cbf) (*.net *.split)
07:11:49 × conjunctive quits (sid433686@2a03:5180:f:1::6:9e16) (*.net *.split)
07:11:49 × dy quits (sid3438@user/dy) (*.net *.split)
07:11:49 × nadja quits (~dequbed@2a01:4f8:201:34c7::1) (*.net *.split)
07:11:49 × mzg quits (mzg@lazy.unconscious.biz) (*.net *.split)
07:11:49 × idnar quits (sid12240@debian/mithrandi) (*.net *.split)
07:11:49 × dsal quits (sid13060@id-13060.lymington.irccloud.com) (*.net *.split)
07:11:49 × b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split)
07:11:49 × tritlo_ quits (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split)
07:11:49 × glowcoil quits (sid3405@id-3405.tinside.irccloud.com) (*.net *.split)
07:11:49 × integral quits (sid296274@user/integral) (*.net *.split)
07:11:49 × ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split)
07:11:49 × immae quits (~immae@2a01:4f8:141:53e7::) (*.net *.split)
07:11:49 × ocharles[m] quits (~ocharlesm@2001:470:69fc:105::3:5899) (*.net *.split)
07:11:49 × Matthew|m quits (~arathorn@2001:470:69fc:105::1f) (*.net *.split)
07:11:49 × zebrag[m] quits (~inkbottle@2001:470:69fc:105::2ff5) (*.net *.split)
07:11:49 × sm quits (~sm@plaintextaccounting/sm) (*.net *.split)
07:11:49 × mon_aaraj quits (~montchncs@2001:470:69fc:105::8e6b) (*.net *.split)
07:11:49 × joyfulmantis[m] quits (~joyfulman@2001:470:69fc:105::3:400a) (*.net *.split)
07:11:49 × supersven[m] quits (~supersven@2001:470:69fc:105::31b6) (*.net *.split)
07:11:49 × bgamari[m] quits (~bgamari@2001:470:69fc:105::c7b9) (*.net *.split)
07:11:49 × siraben quits (~siraben@user/siraben) (*.net *.split)
07:11:49 × VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (*.net *.split)
07:11:49 × peddie quits (~peddie@2001:470:69fc:105::25d) (*.net *.split)
07:11:49 × jean-paul[m] quits (~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split)
07:11:49 × somerandomnick[m quits (~somerando@2001:470:69fc:105::3:4f2e) (*.net *.split)
07:11:49 × shapr[m] quits (~shaprcofr@2001:470:69fc:105::2:d107) (*.net *.split)
07:11:49 × SeanKing[m] quits (~seankingm@2001:470:69fc:105::cf9c) (*.net *.split)
07:11:49 × Guillaum[m] quits (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split)
07:11:49 × oak- quits (~oak-@2001:470:69fc:105::fcd) (*.net *.split)
07:11:49 × romes[m] quits (~romesmatr@2001:470:69fc:105::2:1660) (*.net *.split)
07:11:49 × adziahel quits (~adziahelm@2001:470:69fc:105::b4d) (*.net *.split)
07:11:49 × jade[m] quits (~jade256th@2001:470:69fc:105::3:58df) (*.net *.split)
07:11:49 × elevenkb quits (~elevenkb@2001:470:69fc:105::2:cb89) (*.net *.split)
07:11:49 × chreekat quits (~chreekat@2001:470:69fc:105::16b5) (*.net *.split)
07:11:49 × alanz quits (~alanz@2001:470:69fc:105::2:49a6) (*.net *.split)
07:11:49 × elvishjerricco quits (~elvishjer@2001:470:69fc:105::6172) (*.net *.split)
07:11:49 × smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (*.net *.split)
07:11:49 × Adran quits (~adran@botters/adran) (*.net *.split)
07:11:49 × bionade24 quits (~bionade24@2a03:4000:33:45b::1) (*.net *.split)
07:11:49 × Clint quits (~Clint@user/clint) (*.net *.split)
07:11:49 × lightandlight quits (sid135476@id-135476.helmsley.irccloud.com) (*.net *.split)
07:11:49 × acro quits (~acro@user/acro) (*.net *.split)
07:11:49 × xstill_0 quits (xstill@fimu/xstill) (*.net *.split)
07:11:49 × kosmikus_ quits (~kosmikus@nullzig.kosmikus.org) (*.net *.split)
07:11:49 × hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Max SendQ exceeded)
07:11:56 × acidsys quits (~crameleon@openSUSE/member/crameleon) (Max SendQ exceeded)
07:12:26 × raghavgururajan quits (ea769b8000@user/raghavgururajan) (Read error: Connection reset by peer)
07:12:26 × MonsoonSecrecy quits (f78c86e960@2604:bf00:561:2000::f99) (Write error: Connection reset by peer)
07:12:26 × fgaz_ quits (1ff9197ed6@2604:bf00:561:2000::11ea) (Write error: Connection reset by peer)
07:12:31 → zer0bitz joins (~zer0bitz@2001:2003:f443:d600:5d9e:35bf:23a6:434c)
07:12:39 → henrytill joins (e0180937c3@2604:bf00:561:2000::e8c)
07:12:39 → shreyasminocha joins (51fdc93eda@2604:bf00:561:2000::108)
07:12:39 → rselim joins (ce261f06ff@2604:bf00:561:2000::257)
07:12:39 → retropikzel joins (9d1a4f9f46@2604:bf00:561:2000::ce)
07:12:39 → evanrelf joins (3addc196af@2604:bf00:561:2000::f0)
07:12:39 → theesm joins (2cbdf4b38a@2604:bf00:561:2000::11c8)
07:12:39 → filwisher joins (2e6936c793@2604:bf00:561:2000::170)
07:12:39 → whereiseveryone joins (206ba86c98@2604:bf00:561:2000::2e4)
07:12:39 → ymherklotz joins (cb2c9cfbdd@2604:bf00:561:2000::29a)
07:12:39 → probie joins (cc0b34050a@2604:bf00:561:2000::dbd)
07:12:39 → jkoshy joins (99b9359beb@2604:bf00:561:2000::10f)
07:12:39 → sus joins (1b7af6299f@2604:bf00:561:2000::1087)
07:12:39 → lukec joins (9dfd4d094e@2604:bf00:561:2000::10e)
07:12:40 → arcadewise joins (52968ed80d@2604:bf00:561:2000::3df)
07:12:40 → fluffyballoon joins (45ce440a48@2604:bf00:561:2000::e2)
07:12:40 → n1essa joins (3d621153a5@2604:bf00:561:2000::df7)
07:12:40 → bsima1 joins (9d7e39c8ad@2604:bf00:561:2000::dd)
07:12:40 → fgaz_ joins (1ff9197ed6@2604:bf00:561:2000::11ea)
07:12:40 → ggb joins (a62ffbaf4f@2604:bf00:561:2000::3ac)
07:12:40 → raghavgururajan joins (ea769b8000@2604:bf00:561:2000::242)
07:12:40 → Ankhers joins (e99e97ef8e@2604:bf00:561:2000::2a2)
07:12:40 → jakzale joins (6291399afa@2604:bf00:561:2000::1e4)
07:12:40 → fvr joins (ef3e56ca8b@2604:bf00:561:2000::3c4)
07:12:40 → MonsoonSecrecy joins (f78c86e960@2604:bf00:561:2000::f99)
07:12:40 → jleightcap joins (7bc4014b62@2604:bf00:561:2000::2cc)
07:12:40 → alternateved joins (77c0810639@2604:bf00:561:2000::11f0)
07:12:40 → b0o joins (0e4a0bf4c9@2604:bf00:561:2000::1bf)
07:12:41 → JoelMcCracken joins (5ea8252fbb@2604:bf00:561:2000::10e3)
07:12:41 → chaitlatte0 joins (ea29c0bb16@2604:bf00:561:2000::1124)
07:12:41 → sm2n joins (ae95cb1267@2604:bf00:561:2000::109)
07:12:41 → samhh joins (7569f027cf@2604:bf00:561:2000::e4)
07:12:41 → cpli joins (77fc530071@2604:bf00:561:2000::252)
07:13:06 → yangby joins (~secret@183.128.108.131)
07:13:27 → sa joins (sid1055@id-1055.tinside.irccloud.com)
07:13:37 × nattiestnate quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.1.0-dev)
07:14:21 → ubert joins (~Thunderbi@77.119.169.110.wireless.dyn.drei.com)
07:15:28 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
07:19:39 → Nosrep joins (~Nosrep@user/nosrep)
07:19:39 → Luj joins (~Luj@2a01:e0a:5f9:9681:b61c:443d:ba92:3071)
07:19:39 → elkcl joins (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
07:19:39 → hexeme_ joins (~hexeme@user/hexeme)
07:19:39 → guygastineau joins (~guygastin@137.184.131.156)
07:19:39 → [exa] joins (~exa@user/exa/x-3587197)
07:19:39 → Moyst_ joins (~moyst@user/moyst)
07:19:39 → acertain_ joins (sid470584@id-470584.hampstead.irccloud.com)
07:19:39 → Hafydd joins (~Hafydd@user/hafydd)
07:19:39 → tnks joins (sid412124@id-412124.helmsley.irccloud.com)
07:19:39 → taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com)
07:19:39 → Pent_ joins (sid313808@id-313808.lymington.irccloud.com)
07:19:39 → son0p joins (~ff@181.136.122.143)
07:19:39 → jrm joins (~jrm@user/jrm)
07:19:39 → jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com)
07:19:39 → johnw joins (~johnw@69.62.242.138)
07:19:39 → smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
07:19:39 → Logio joins (em@kapsi.fi)
07:19:39 → Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
07:19:39 → sefidel joins (~sefidel@user/sefidel)
07:19:39 → mud joins (~mud@user/kadoban)
07:19:39 → bgamari joins (~bgamari@70.16.98.14)
07:19:39 → myxos joins (~myxos@cpe-65-28-251-121.cinci.res.rr.com)
07:19:39 → turlando joins (~turlando@user/turlando)
07:19:39 → kimiamania60 joins (~681cf57f@user/kimiamania)
07:19:39 → driib joins (~driib@vmi931078.contaboserver.net)
07:19:39 → ByronJohnson joins (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
07:19:39 → darchitect joins (~darchitec@2a00:23c6:3584:df01:ace3:21db:4a0c:96b1)
07:19:39 → foul_owl joins (~kerry@185.219.141.162)
07:19:39 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
07:19:39 → ft joins (~ft@p3e9bc61e.dip0.t-ipconnect.de)
07:19:39 → yaroot joins (~yaroot@p3196076-ipngn7101souka.saitama.ocn.ne.jp)
07:19:39 → Vq joins (~vq@90-227-195-9-no77.tbcn.telia.com)
07:19:39 → libertyprime joins (~libertypr@203.96.203.44)
07:19:39 → aforemny joins (~aforemny@2001:9e8:6cfc:2a00:d5a2:6a3b:38ac:cbd4)
07:19:39 → jjhoo joins (~jahakala@user/jjhoo)
07:19:39 → 040AADQ8O joins (7569f027cf@2604:bf00:561:2000::e4)
07:19:39 → finsternis joins (~X@23.226.237.192)
07:19:39 → jludwig joins (~justin@li657-110.members.linode.com)
07:19:39 → ell joins (~ellie@user/ellie)
07:19:39 → Batzy joins (~quassel@user/batzy)
07:19:39 → danso joins (~danso@user/danso)
07:19:39 → opqdonut joins (opqdonut@pseudo.fixme.fi)
07:19:39 → hsw joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
07:19:39 → qhong joins (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu)
07:19:39 → kronicma1 joins (user37546@neotame.csclub.uwaterloo.ca)
07:19:39 → int-e joins (~noone@int-e.eu)
07:19:39 → koz joins (~koz@121.99.240.58)
07:19:39 → NemesisD joins (sid24071@id-24071.lymington.irccloud.com)
07:19:39 → finnekit joins (~finnekit@fsf/member/finnekit)
07:19:39 → hexology joins (~hexology@user/hexology)
07:19:39 → sviermsung joins (spxLkMy9HV@user/s4msung)
07:19:39 → bah_ joins (~bah@l1.tel)
07:19:39 → adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
07:19:39 → piele_ joins (~piele@tbonesteak.creativeserver.net)
07:19:39 → meooow_ joins (~meooow@165.232.184.169)
07:19:39 → kraftwerk28_ joins (~kraftwerk@178.62.210.83)
07:19:39 → Philonous_ joins (~Philonous@user/philonous)
07:19:39 → cassiope1 joins (~cassiopea@user/cassiopea)
07:19:39 → vgtw joins (~vgtw@user/vgtw)
07:19:39 → shryke joins (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd)
07:19:39 → malte joins (~malte@mal.tc)
07:19:39 → cyphase joins (~cyphase@user/cyphase)
07:19:39 → HerlockSholmes joins (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
07:19:39 → xnbya joins (~xnbya@2a01:4f8:c17:cbdd::1)
07:19:39 → aristid joins (sid1599@id-1599.uxbridge.irccloud.com)
07:19:39 → codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511)
07:19:39 → lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com)
07:19:39 → T_S__ joins (sid501726@id-501726.uxbridge.irccloud.com)
07:19:39 → kawzeg joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
07:19:39 → lieven joins (~mal@ns2.wyrd.be)
07:19:39 → flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
07:19:39 → agander_m joins (sid407952@id-407952.tinside.irccloud.com)
07:19:39 → hamishmack joins (sid389057@id-389057.hampstead.irccloud.com)
07:19:39 → beaky joins (~beaky@2a03:b0c0:0:1010::1e:a001)
07:19:39 → hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net)
07:19:39 → peutri joins (~peutri@bobo.desast.re)
07:19:39 → Buliarous joins (~gypsydang@46.232.210.139)
07:19:39 → hammond joins (proscan@gateway02.insomnia247.nl)
07:19:39 → statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
07:19:39 → mmarusea1ph2 joins (~mihai@mihai.page)
07:19:39 → Wojciech_K joins (~Wojciech_@2a01:4f9:6a:18a8::239)
07:19:39 → jil` joins (~user@vps-15050500.vps.ovh.net)
07:19:39 → Athas joins (athas@sigkill.dk)
07:19:39 → megaTherion joins (~therion@unix.io)
07:19:39 → h2t_ joins (~h2t@user/h2t)
07:19:39 → arthurvl joins (~arthurvl@77-174-49-144.fixed.kpn.net)
07:19:39 → mxs joins (~mxs@user/mxs)
07:19:39 → troydm joins (~troydm@user/troydm)
07:19:39 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
07:19:39 → tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
07:19:39 → jbalint joins (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7)
07:19:39 → hueso joins (~root@user/hueso)
07:19:39 → extor joins (~extor@ns3018124.ip-149-202-82.eu)
07:19:39 → tv joins (~tv@user/tv)
07:19:39 → telser joins (~quassel@user/telser)
07:19:39 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
07:19:39 → img joins (~img@user/img)
07:19:39 → cheater joins (~Username@user/cheater)
07:19:39 → nek0 joins (~nek0@2a01:4f8:222:2b41::12)
07:19:39 → infinity0 joins (~infinity0@pwned.gg)
07:19:39 → gaze___ joins (sid387101@id-387101.helmsley.irccloud.com)
07:19:39 → davetapley joins (sid666@id-666.uxbridge.irccloud.com)
07:19:39 → NiKaN joins (sid385034@id-385034.helmsley.irccloud.com)
07:19:39 → joeyh joins (joeyh@2600:3c03::f03c:91ff:fe73:b0d2)
07:19:39 → berberman joins (~berberman@user/berberman)
07:19:39 → ringo___ joins (~ringo@157.230.117.128)
07:19:39 → Reinhilde joins (ellenor@callbox.trd.is)
07:19:39 → CiaoSen joins (~Jura@2a05:5800:28b:8f00:664b:f0ff:fe37:9ef)
07:19:39 → oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
07:19:39 → noctux joins (~noctux@user/noctux)
07:19:39 → shachaf joins (~shachaf@user/shachaf)
07:19:39 → xsarnik joins (xsarnik@lounge.fi.muni.cz)
07:19:39 → Dykam joins (Dykam@dykam.nl)
07:19:39 → shane joins (~shane@ana.rch.ist)
07:19:39 → Deide joins (d0130db69a@user/deide)
07:19:39 → bcmiller joins (~bm3719@66.42.95.185)
07:19:39 → eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
07:19:39 → caubert joins (~caubert@user/caubert)
07:19:39 → matijja joins (~matijja@193.77.181.201)
07:19:39 → robbert-vdh joins (~robbert@robbertvanderhelm.nl)
07:19:39 → it_ joins (~quassel@v2202212189510211193.supersrv.de)
07:19:39 → arahael joins (~arahael@115-64-199-191.tpgi.com.au)
07:19:39 → czy joins (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net)
07:19:39 → cods joins (~fred@82-65-232-44.subs.proxad.net)
07:19:39 → paddymahoney joins (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
07:19:39 → Unode joins (~Unode@fg-ext-220.embl.de)
07:19:39 → absence_ joins (torgeihe@hildring.pvv.ntnu.no)
07:19:39 → ian_ joins (~ian@matrix.chaos.earth.li)
07:19:39 → AlexNoo joins (~AlexNoo@178.34.162.202)
07:19:39 → dolio joins (~dolio@130.44.134.54)
07:19:39 → connrs joins (~connrs@user/connrs)
07:19:39 → Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
07:19:39 → tomboy64 joins (~tomboy64@user/tomboy64)
07:19:39 → tstat joins (~tstat@user/tstat)
07:19:39 → ent joins (entgod@kapsi.fi)
07:19:39 → hughjfchen joins (~hughjfche@vmi556545.contaboserver.net)
07:19:39 → byte joins (~byte@user/byte)
07:19:39 → monochrom joins (trebla@216.138.220.146)
07:19:39 → chexum joins (~quassel@gateway/tor-sasl/chexum)
07:19:39 → stiell_ joins (~stiell@gateway/tor-sasl/stiell)
07:19:39 → ec joins (~ec@gateway/tor-sasl/ec)
07:19:39 → jpds joins (~jpds@gateway/tor-sasl/jpds)
07:19:39 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
07:19:39 → shawwwn joins (sid6132@id-6132.helmsley.irccloud.com)
07:19:39 → [_________] joins (~oos95GWG@user/oos95GWG)
07:19:39 → cawfee joins (~root@2406:3003:2077:2758::babe)
07:19:39 → mrvdb joins (~mrvdb@185.92.221.186)
07:19:39 → SethTisue joins (sid14912@id-14912.ilkley.irccloud.com)
07:19:39 → koolazer joins (~koo@user/koolazer)
07:19:39 → nicole joins (ilbelkyr@libera/staff/ilbelkyr)
07:19:39 → kawen joins (~quassel@static.208.191.216.95.clients.your-server.de)
07:19:39 → ouroboros joins (~ouroboros@user/ouroboros)
07:19:39 → gawen joins (~gawen@user/gawen)
07:19:39 → incertia joins (~incertia@209.122.71.127)
07:19:39 → df joins (~ben@justworks.xyz)
07:19:39 → canta joins (~canta@user/canta)
07:19:39 → ridcully_ joins (~ridcully@p57b52f2c.dip0.t-ipconnect.de)
07:19:39 → simpleauthority joins (~simpleaut@user/simpleauthority)
07:19:39 → dminuoso joins (~dminuoso@user/dminuoso)
07:19:39 → lawt joins (~lawt@129.159.36.129)
07:19:39 → tomsmeding joins (~tomsmedin@static.21.109.88.23.clients.your-server.de)
07:19:39 → zincy joins (~tom@host81-151-255-71.range81-151.btcentralplus.com)
07:19:39 → sympt joins (~sympt@user/sympt)
07:19:39 → sudden joins (~cat@user/sudden)
07:19:39 → tokie joins (~tokie@tokie.net)
07:19:39 → lyxia joins (~lyxia@poisson.chat)
07:19:39 → dfg joins (~dfg@user/dfg)
07:19:39 → Hooloovoo joins (~Hooloovoo@hax0rbana.org)
07:19:39 → texasmynsted joins (~username@99.96.221.112)
07:19:39 → dumptruckman joins (~dumptruck@143-42-184-47.ip.linodeusercontent.com)
07:19:39 → Everything joins (~Everythin@static.208.206.21.65.clients.your-server.de)
07:19:39 → tomku joins (~tomku@user/tomku)
07:19:39 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
07:19:39 → manwithluck joins (manwithluc@52.197.234.151)
07:19:39 → mhatta joins (~mhatta@www21123ui.sakura.ne.jp)
07:19:39 → geekosaur joins (~geekosaur@xmonad/geekosaur)
07:19:39 → rembo10 joins (~rembo10@main.remulis.com)
07:19:39 → nckx joins (~nckx@guix/contributor/nckx)
07:19:39 → echoreply joins (~echoreply@45.32.163.16)
07:19:39 → m5zs7k joins (aquares@web10.mydevil.net)
07:19:39 → fun-safe-math joins (~fun-safe-@c-24-21-234-147.hsd1.or.comcast.net)
07:19:39 → Helle joins (~helle@user/Helle)
07:19:39 → gentauro joins (~gentauro@user/gentauro)
07:19:39 → NinjaTrappeur joins (~ninja@hardin.alternativebit.fr)
07:19:39 → swistak joins (~swistak@185.21.216.141)
07:19:39 → tired joins (~tired@user/tired)
07:19:39 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
07:19:39 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:19:39 → Guest5267 joins (~finn@176-151-21-224.abo.bbox.fr)
07:19:39 → kosmikus_ joins (~kosmikus@nullzig.kosmikus.org)
07:19:39 → acro joins (~acro@user/acro)
07:19:39 → xstill_0 joins (xstill@fimu/xstill)
07:19:39 → lightandlight joins (sid135476@id-135476.helmsley.irccloud.com)
07:19:39 → Clint joins (~Clint@user/clint)
07:19:39 → bionade24 joins (~bionade24@2a03:4000:33:45b::1)
07:19:39 → Adran joins (~adran@botters/adran)
07:19:39 → ysh____ joins (sid6017@id-6017.ilkley.irccloud.com)
07:19:39 → mjacob joins (~mjacob@adrastea.uberspace.de)
07:19:39 → AWizzArd joins (~code@gehrels.uberspace.de)
07:19:39 → GoldsteinQ joins (~goldstein@goldstein.rs)
07:19:39 → mira joins (~aranea@wireguard/contributorcat/mira)
07:19:39 → hololeap joins (~quassel@user/hololeap)
07:19:39 → tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
07:19:39 → hellwolf joins (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee)
07:19:39 → immae joins (~immae@2a01:4f8:141:53e7::)
07:19:39 → ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com)
07:19:39 → integral joins (sid296274@user/integral)
07:19:39 → glowcoil joins (sid3405@id-3405.tinside.irccloud.com)
07:19:39 → tritlo_ joins (sid58727@id-58727.hampstead.irccloud.com)
07:19:39 → b20n joins (sid115913@id-115913.uxbridge.irccloud.com)
07:19:39 → dsal joins (sid13060@id-13060.lymington.irccloud.com)
07:19:39 → idnar joins (sid12240@debian/mithrandi)
07:19:39 → mzg joins (mzg@lazy.unconscious.biz)
07:19:39 → nadja joins (~dequbed@2a01:4f8:201:34c7::1)
07:19:39 → dy joins (sid3438@user/dy)
07:19:39 → conjunctive joins (sid433686@2a03:5180:f:1::6:9e16)
07:19:39 → astra joins (sid289983@2a03:5180:f:4::4:6cbf)
07:19:39 → Adeon joins (sid418992@2a03:5180:f:2::6:64b0)
07:19:39 → parseval joins (sid239098@2a03:5180:f:1::3:a5fa)
07:19:39 → winny joins (~weechat@user/winny)
07:19:39 → darkling joins (~darkling@2001:ba8:1f1:f0e6::2)
07:19:39 → davean joins (~davean@67.205.182.208)
07:19:39 → Rembane joins (~Rembane@178.79.177.36)
07:19:39 → siers joins (~ij@user/ij)
07:19:39 → xerox joins (~edi@user/edi)
07:19:39 → Boarders___ joins (sid425905@id-425905.lymington.irccloud.com)
07:19:39 → truckasaurus joins (sid457088@id-457088.helmsley.irccloud.com)
07:19:39 → edm joins (sid147314@2a03:5180:f:4::2:3f72)
07:19:39 → snek joins (sid280155@2a03:5180:f:2::4:465b)
07:19:39 → mustafa joins (sid502723@rockylinux/releng/mustafa)
07:19:39 → zups joins (~meow@2a01:4f9:c010:6036::1)
07:19:39 → farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
07:19:39 → jakesyl____ joins (sid56879@2a03:5180:f:4::de2f)
07:19:39 → bjs joins (sid190364@user/bjs)
07:19:39 → mrmonday joins (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15)
07:19:39 → jonrh_ joins (sid5185@2a03:5180:f:3::1441)
07:19:39 → rubin55 joins (sid175221@2a03:5180:f:4::2:ac75)
07:19:39 → Momentum joins (momentum@2607:5300:60:4f58::248)
07:19:39 → scav joins (sid309693@user/scav)
07:19:39 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:19:39 → hongminhee joins (sid295@id-295.tinside.irccloud.com)
07:19:39 → AndreasK joins (sid320732@id-320732.uxbridge.irccloud.com)
07:19:39 → rune_ joins (sid21167@id-21167.ilkley.irccloud.com)
07:19:39 → bwe joins (~bwe@2a01:4f8:1c1c:4878::2)
07:19:39 → edmundnoble_ joins (sid229620@id-229620.helmsley.irccloud.com)
07:19:39 → tureba joins (~tureba@tureba.org)
07:19:39 → teddyc joins (theodorc@cassarossa.samfundet.no)
07:19:39 → rachelambda joins (~rachelamb@78-67-128-99-no247.tbcn.telia.com)
07:19:39 → hook54321 joins (sid149355@user/hook54321)
07:19:39 → caasih joins (sid13241@id-13241.ilkley.irccloud.com)
07:19:39 → JSharp joins (sid4580@id-4580.lymington.irccloud.com)
07:19:39 → nshepper1 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
07:19:39 → Noinia joins (~Frank@77-162-168-71.fixed.kpn.net)
07:19:39 → Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi)
07:19:39 → natto joins (~natto@140.238.225.67)
07:19:39 → highvoltage joins (~highvolt@bcdcac82.skybroadband.com)
07:19:39 → fendor joins (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932)
07:19:39 → [Leary] joins (~Leary]@user/Leary/x-0910699)
07:19:39 → maerwald joins (~maerwald@mail.hasufell.de)
07:19:39 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
07:19:39 → anpad joins (~pandeyan@user/anpad)
07:19:39 → Feuermagier joins (~Feuermagi@user/feuermagier)
07:19:39 → m1dnight joins (~christoph@78-22-4-67.access.telenet.be)
07:19:39 → _d0t joins (~{-d0t-}@user/-d0t-/x-7915216)
07:19:39 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
07:19:39 → thelounge793 joins (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
07:19:39 → jmdaemon joins (~jmdaemon@user/jmdaemon)
07:19:39 → komikat` joins (~user@218.185.248.66)
07:19:39 → Sgeo joins (~Sgeo@user/sgeo)
07:19:39 → jero98772 joins (~jero98772@2800:484:1d7f:5d36::1)
07:19:39 → lbseale joins (~quassel@user/ep1ctetus)
07:19:39 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
07:19:39 → wagle joins (~wagle@quassel.wagle.io)
07:19:39 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
07:19:39 → terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
07:19:40 → trev joins (~trev@user/trev)
07:19:40 → michalz joins (~michalz@185.246.207.218)
07:19:40 → hrberg_ joins (~quassel@171.79-160-161.customer.lyse.net)
07:19:40 → dsrt^ joins (~cd@24.125.210.85)
07:19:46 × terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Max SendQ exceeded)
07:19:46 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded)
07:19:46 × hrberg_ quits (~quassel@171.79-160-161.customer.lyse.net) (Max SendQ exceeded)
07:19:46 × dsrt^ quits (~cd@24.125.210.85) (Max SendQ exceeded)
07:19:46 × hook54321 quits (sid149355@user/hook54321) (Max SendQ exceeded)
07:19:46 × rubin55 quits (sid175221@2a03:5180:f:4::2:ac75) (Max SendQ exceeded)
07:19:46 × jakesyl____ quits (sid56879@2a03:5180:f:4::de2f) (Max SendQ exceeded)
07:19:46 × shailangsa quits (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Max SendQ exceeded)
07:19:49 × auri quits (~auri@fsf/member/auri) (Max SendQ exceeded)
07:19:49 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Max SendQ exceeded)
07:19:49 × pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-43-67-70-144-186.dsl.bell.ca) (Max SendQ exceeded)
07:19:49 × hays quits (rootvegeta@fsf/member/hays) (Max SendQ exceeded)
07:19:50 → dsrt^ joins (~cd@24.125.210.85)
07:19:50 → rubin55 joins (sid175221@id-175221.hampstead.irccloud.com)
07:19:51 → jakesyl____ joins (sid56879@id-56879.hampstead.irccloud.com)
07:19:59 → auri joins (~auri@static.46.108.40.188.clients.your-server.de)
07:20:01 → AlexZenon joins (~alzenon@178.34.162.202)
07:20:03 → terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
07:20:10 → Alex_test joins (~al_test@178.34.162.202)
07:20:39 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Ping timeout: 260 seconds)
07:20:59 → hook54321 joins (sid149355@id-149355.ilkley.irccloud.com)
07:21:15 × highvoltage quits (~highvolt@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds)
07:21:26 → diagprov joins (sid348783@user/diagprov)
07:21:26 → MironZ joins (~MironZ@nat-infra.ehlab.uk)
07:21:26 → PHO` joins (~pho@akari.cielonegro.org)
07:21:26 → bw_ joins (sid2730@user/betawaffle)
07:21:26 → Patternmaster joins (~georg@user/Patternmaster)
07:21:26 → vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae)
07:21:26 → welterde joins (welterde@thinkbase.srv.welterde.de)
07:21:26 → yvan-sraka joins (sid419690@id-419690.lymington.irccloud.com)
07:21:26 → degraafk joins (sid71464@id-71464.lymington.irccloud.com)
07:21:26 → wallymathieu joins (sid533252@id-533252.uxbridge.irccloud.com)
07:21:26 → chymera joins (~chymera@ns1000526.ip-51-81-46.us)
07:21:26 → nisstyre joins (wes@user/nisstyre)
07:21:26 → oats_ joins (~thomas@user/oats)
07:21:26 → ario joins (~ario@159.65.220.102)
07:21:26 → S11001001 joins (sid42510@id-42510.ilkley.irccloud.com)
07:21:26 → edwardk joins (sid47016@haskell/developer/edwardk)
07:21:26 → delyan_ joins (sid523379@id-523379.hampstead.irccloud.com)
07:21:26 → maxfan8_ joins (~max@2a01:4f8:192:5356::2)
07:21:26 → carter joins (sid14827@id-14827.helmsley.irccloud.com)
07:21:26 → defanor joins (~defanor@tart.uberspace.net)
07:21:26 → SanchayanMaity joins (sid478177@id-478177.hampstead.irccloud.com)
07:21:26 → amir joins (sid22336@user/amir)
07:21:26 → tinwood joins (~tinwood@canonical/tinwood)
07:21:26 → emergence joins (emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
07:21:26 → Fangs joins (sid141280@id-141280.hampstead.irccloud.com)
07:21:26 → skippy joins (sid26890@user/slice)
07:21:26 → minigrim0 joins (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea)
07:21:26 → dfordvm joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp)
07:21:26 → CAT_S joins (apic@brezn3.muc.ccc.de)
07:21:26 → sajith joins (~sajith@user/sajith)
07:21:26 → anderson joins (~anderson@user/anderson)
07:21:26 → nonzen_ joins (~nonzen@user/nonzen)
07:21:26 → ncf joins (~n@monade.li)
07:21:26 → chessai joins (sid225296@id-225296.lymington.irccloud.com)
07:21:26 → kristjansson_ joins (sid126207@id-126207.tinside.irccloud.com)
07:21:26 → geekosaur[c] joins (sid609282@xmonad/geekosaur)
07:21:26 → doyougnu joins (~doyougnu@45.46.170.68)
07:21:26 → hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net)
07:21:26 → adeptangel joins (cren@tilde.team)
07:21:26 → lally joins (sid388228@id-388228.uxbridge.irccloud.com)
07:21:26 → PotatoGim joins (sid99505@id-99505.lymington.irccloud.com)
07:21:26 → jmct joins (sid160793@id-160793.tinside.irccloud.com)
07:21:26 → Jon joins (jon@dow.land)
07:21:26 → buhman joins (sid411355@user/buhman)
07:21:26 → asivitz joins (uid178348@id-178348.tinside.irccloud.com)
07:21:26 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
07:21:26 → sphynx joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288)
07:21:26 → Raito_Bezarius joins (~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d)
07:21:26 → andreas303 joins (andreas303@is.drunk.and.ready-to.party)
07:21:26 → DigitalKiwi joins (~kiwi@2604:a880:400:d0::1ca0:e001)
07:21:26 → krjt joins (~krjst@2604:a880:800:c1::16b:8001)
07:21:26 → ChanServ joins (ChanServ@services.libera.chat)
07:21:26 sodium.libera.chat sets mode +o ChanServ
07:21:44 × Raito_Bezarius quits (~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d) (Max SendQ exceeded)
07:21:44 × skippy quits (sid26890@user/slice) (Max SendQ exceeded)
07:21:44 × bw_ quits (sid2730@user/betawaffle) (Max SendQ exceeded)
07:21:44 × chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Max SendQ exceeded)
07:21:44 × andreas303 quits (andreas303@is.drunk.and.ready-to.party) (Max SendQ exceeded)
07:21:44 × CAT_S quits (apic@brezn3.muc.ccc.de) (Max SendQ exceeded)
07:21:46 Ankhers is now known as Guest1409
07:21:47 → glider joins (~glider@user/glider)
07:21:50 → justache joins (~justache@user/justache)
07:21:51 → andreas303 joins (andreas303@is.drunk.and.ready-to.party)
07:21:51 → CAT_S joins (apic@brezn3.muc.ccc.de)
07:21:57 → califax joins (~califax@user/califx)
07:22:01 → skippy joins (sid26890@user/slice)
07:22:07 raghavgururajan is now known as Guest8948
07:22:08 fgaz_ is now known as Guest3285
07:22:08 sa is now known as Guest3051
07:22:20 → Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen)
07:22:21 → chymera joins (~chymera@ns1000526.ip-51-81-46.us)
07:22:25 → highvoltage joins (~highvolt@bcdcac82.skybroadband.com)
07:22:26 → kitzman joins (~kitzman@user/dekenevs)
07:22:41 → energizer joins (~energizer@user/energizer)
07:22:44 → chiselfuse joins (~chiselfus@user/chiselfuse)
07:22:51 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
07:23:04 → bw_ joins (sid2730@id-2730.ilkley.irccloud.com)
07:23:30 → ryantrinkle joins (~ryantrink@140.174.243.250)
07:23:44 → hrberg joins (~quassel@171.79-160-161.customer.lyse.net)
07:24:05 → acidsys joins (~crameleon@openSUSE/member/crameleon)
07:24:09 × kristjansson_ quits (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 246 seconds)
07:24:48 → kristjansson_ joins (sid126207@id-126207.tinside.irccloud.com)
07:25:03 → fgaz joins (~fgaz@2001:470:69fc:105::842)
07:26:17 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
07:26:17 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
07:26:17 → dibblego joins (~dibblego@haskell/developer/dibblego)
07:28:57 × NinjaTrappeur quits (~ninja@hardin.alternativebit.fr) (Quit: WeeChat 4.0.1)
07:29:07 → nattiestnate joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
07:29:13 → NinjaTrappeur joins (~ninja@user/ninjatrappeur)
07:31:16 → Ekho joins (~Ekho@user/ekho)
07:33:12 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds)
07:33:23 → hdggxin joins (~hdggxin@122.175.41.19)
07:36:18 × nattiestnate quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2)
07:37:02 → gurkenglas joins (~gurkengla@dynamic-046-114-090-248.46.114.pool.telefonica.de)
07:40:45 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
07:40:45 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
07:40:45 → dibblego joins (~dibblego@haskell/developer/dibblego)
07:44:23 <Guest5267> is it possible to use lens to focus on only integer types in a structure?
07:44:26 → peddie joins (~peddie@2001:470:69fc:105::25d)
07:44:37 → venkateshK[m] joins (~randomint@2001:470:69fc:105::3:852e)
07:44:38 → Null_A[m] joins (~jasonjckn@2001:470:69fc:105::bb85)
07:44:39 → ocharles[m] joins (~ocharlesm@2001:470:69fc:105::3:5899)
07:44:40 → maralorn joins (~maralorn@2001:470:69fc:105::251)
07:44:41 → alanz joins (~alanz@2001:470:69fc:105::2:49a6)
07:44:41 → ribosomerocker[m joins (~ribosomer@2001:470:69fc:105::3:8ac7)
07:44:42 → sm joins (~sm@plaintextaccounting/sm)
07:44:43 → nomagno joins (~nomagno@2001:470:69fc:105::c1f0)
07:44:46 → Christoph[m] joins (~hpotsirhc@2001:470:69fc:105::2ff8)
07:44:47 → LenaDresner[m] joins (~lenadresn@2001:470:69fc:105::3:3c53)
07:44:48 → smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32)
07:44:48 → ManofLetters[m] joins (~manoflett@2001:470:69fc:105::3be)
07:44:48 → fendor[m] joins (~fendormat@2001:470:69fc:105::fcbd)
07:44:49 → lamnou[m] joins (~lamnoumat@2001:470:69fc:105::3:7a7e)
07:44:49 → romes[m] joins (~romesmatr@2001:470:69fc:105::2:1660)
07:44:49 → ormaaaj joins (~ormaaj@user/ormaaj)
07:44:50 → JensPetersen[m] joins (~juhp@2001:470:69fc:105::6e9)
07:44:50 → end^ joins (~end^@user/end/x-0094621)
07:44:51 → Guillaum[m] joins (~guiboumat@2001:470:69fc:105::1:72ac)
07:44:52 → chreekat joins (~chreekat@2001:470:69fc:105::16b5)
07:44:53 → alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba)
07:44:54 → jean-paul[m] joins (~jean-paul@2001:470:69fc:105::d1ab)
07:44:55 → Matthew|m joins (~arathorn@2001:470:69fc:105::1f)
07:44:55 → elevenkb joins (~elevenkb@2001:470:69fc:105::2:cb89)
07:45:09 → xosdy[m] joins (~xosdymozi@2001:470:69fc:105::2:63f7)
07:45:12 → mon_aaraj joins (~montchncs@2001:470:69fc:105::8e6b)
07:45:26 → jaror[m] joins (~jaror@2001:470:69fc:105::265)
07:45:27 → jade[m] joins (~jade256th@2001:470:69fc:105::3:58df)
07:45:27 → misterfish joins (~misterfis@87.215.131.102)
07:45:30 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
07:45:39 → Clinton[m] joins (~clintonme@2001:470:69fc:105::2:31d4)
07:45:51 → Nate[m] joins (~m52957mat@2001:470:69fc:105::1:591a)
07:45:52 → VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d)
07:45:53 → akadude[m] joins (~akadudema@2001:470:69fc:105::2:5bf7)
07:46:06 → stites[m] joins (~stitesbee@2001:470:69fc:105::3:7bdc)
07:46:20 → bgamari[m] joins (~bgamari@2001:470:69fc:105::c7b9)
07:46:34 → aaronv joins (~aaronv@user/aaronv)
07:46:35 → siraben joins (~siraben@user/siraben)
07:46:35 → zebrag[m] joins (~inkbottle@2001:470:69fc:105::2ff5)
07:46:36 → paulapatience joins (~paulapati@2001:470:69fc:105::16a4)
07:46:48 → supersven[m] joins (~supersven@2001:470:69fc:105::31b6)
07:46:52 → maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee)
07:46:53 → elvishjerricco joins (~elvishjer@2001:470:69fc:105::6172)
07:46:54 → shapr[m] joins (~shaprcofr@2001:470:69fc:105::2:d107)
07:47:06 → MangoIV[m] joins (~mangoivma@2001:470:69fc:105::2:8417)
07:47:20 → oak- joins (~oak-@2001:470:69fc:105::fcd)
07:47:32 → ners[m] joins (~nersnixos@2001:470:69fc:105::3:648b)
07:47:32 → hsiktas[m] joins (~hsiktasm]@2001:470:69fc:105::30d4)
07:47:33 → ozkutuk[m] joins (~ozkutuk@2001:470:69fc:105::2:9af8)
07:47:34 → joyfulmantis[m] joins (~joyfulman@2001:470:69fc:105::3:400a)
07:47:35 → Artem[m] joins (~artemtype@2001:470:69fc:105::75b)
07:47:36 → zfnmxt joins (~zfnmxt@user/zfnmxt)
07:47:48 → somerandomnick[m joins (~somerando@2001:470:69fc:105::3:4f2e)
07:48:03 → marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8)
07:48:04 → kadoban joins (~kadoban@user/kadoban)
07:48:07 × thelounge793 quits (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Ping timeout: 260 seconds)
07:48:07 → SeanKing[m] joins (~seankingm@2001:470:69fc:105::cf9c)
07:48:19 → aniketd[m] joins (~aniketdma@2001:470:69fc:105::dede)
07:48:20 → the_guruji[m] joins (~theguruji@2001:470:69fc:105::3:825f)
07:48:32 → JanusTroelsen[m] joins (~janustmat@2001:470:69fc:105::3:7e89)
07:48:32 → FurudeRika[m] joins (~chitandae@2001:470:69fc:105::1:6039)
07:48:33 → adziahel joins (~adziahelm@2001:470:69fc:105::b4d)
07:48:46 → boxscape[m] joins (~jabruenma@2001:470:69fc:105::3:88e7)
07:48:47 → yoggurt[m] joins (~yoggurtma@2001:470:69fc:105::2:ba5)
07:48:47 → jmcantrell joins (~jmcantrel@user/jmcantrell)
07:48:59 → deb776[m] joins (~deb776ted@2001:470:69fc:105::3:84c5)
07:49:13 → kadenwolff[m] joins (~kadenwolf@2001:470:69fc:105::1:d97f)
07:49:14 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
07:54:30 <fvr> do you mean like getting all the Integer types? It must be possible with `Control.Lens.Plated` module
07:55:01 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
07:55:27 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
07:56:37 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
07:56:37 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
07:56:37 → dibblego joins (~dibblego@haskell/developer/dibblego)
07:59:39 → chele joins (~chele@user/chele)
08:00:11 → nattiestnate joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
08:00:18 <jackdk> Guest5267: `template` is the thing you want https://www.irccloud.com/pastebin/IPu0xJAd/PartsOfTemplate.hs
08:02:43 → shailangsa joins (~shailangs@host86-186-196-224.range86-186.btcentralplus.com)
08:03:40 × jargon quits (~jargon@184.101.76.232) (Remote host closed the connection)
08:03:45 <probie> ^ Requires all the relevant types to be an instance of `Data` though (https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-Data.html)
08:05:44 → danse-nr3__ joins (~francesco@151.43.60.62)
08:07:01 × danse-nr3__ quits (~francesco@151.43.60.62) (Remote host closed the connection)
08:07:07 <Guest5267> fvr: yes, use case such as: increment all integers inside the structure
08:07:26 → danse-nr3__ joins (~francesco@151.43.60.62)
08:07:48 <ncf> what kind of structure is that?
08:08:20 <Guest5267> such as a record type
08:08:20 → gehmehgeh joins (~user@user/gehmehgeh)
08:08:30 <ncf> like are you just too lazy to write someLens . traversed %~ succ or are your ints really strewn about
08:09:16 <Guest5267> like if there are many fields in the record
08:10:21 <ncf> are you sure you won't ever add a new field that isn't meant to be incremented?
08:10:47 × arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds)
08:12:44 → bilegeek_ joins (~bilegeek@2600:1008:b05c:e2f3:65b4:988a:ae8:9467)
08:13:04 <Guest5267> just curious if such features exist
08:13:11 × finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer)
08:13:58 <probie> If I have something like `data Foo = Foo Int Bar; data Bar = Bar Int Int` should `(Foo 3 (Bar 4 5)) & traverseAllInts %~ succ be `Foo 4 (Bar 5 6)` or `(Foo 4 (Bar 4 5))`?
08:13:58 <jackdk> anyway yeah you'd use %~ instead of .~ in the above snippet
08:15:35 × bilegeek quits (~bilegeek@2600:1008:b05c:e2f3:65b4:988a:ae8:9467) (Ping timeout: 264 seconds)
08:15:56 <probie> because if you want the first behaviour, `template` from `Data.Data.Lens` will do what you want
08:18:45 → titibandit joins (~titibandi@user/titibandit)
08:18:52 × m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 250 seconds)
08:20:02 <Guest5267> how to use `template`?
08:21:00 → m5zs7k joins (aquares@web10.mydevil.net)
08:22:11 × razetime quits (~quassel@117.193.0.94) (Ping timeout: 264 seconds)
08:22:26 <ncf> same way as any other Traversal
08:22:39 <Guest5267> ("hello", 5,'k') & template +~ 1
08:22:42 <Guest5267> wow this works
08:23:10 <Guest5267> ("hello", 5,'k',6) & template +~ 1
08:23:27 → habib joins (~habib@193.160.247.211)
08:23:35 <Guest5267> it will automatically work on the second and last slots
08:23:53 <jackdk> I posted a snippet with an example. Did it not show in your client?
08:24:21 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
08:24:27 <Guest5267> jackdk: just saw it!
08:24:33 <Guest5267> jackdk: thanks!
08:24:34 <probie> traverseAllInts :: (Data s, Applicative f) => (a -> f a) -> s -> f s; traverseAllInts = template
08:24:44 <probie> s/a/Int/
08:24:46 <jackdk> great, hope it helps
08:25:03 <Guest5267> really cool
08:25:09 × ft quits (~ft@p3e9bc61e.dip0.t-ipconnect.de) (Quit: leaving)
08:25:35 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:25:40 × lottaquestions_ quits (~nick@2607:fa49:503d:b200:5636:ab77:f271:bed6) (Remote host closed the connection)
08:25:46 → Pickchea joins (~private@user/pickchea)
08:26:08 → lottaquestions_ joins (~nick@2607:fa49:503d:b200:6257:f623:94d5:3fe3)
08:28:23 <jade[m]> why do I get an error for `class Foo a; instance Foo (String, String)` within my project, but not [here](https://play.haskell.org/saved/3zfWL1u3) or when using ghc directly?
08:28:32 <jade[m]> > Illegal instance declaration ...
08:28:33 <lambdabot> <hint>:1:9: error: parse error on input ‘instance’
08:29:14 <ncf> the error message should tell you
08:29:28 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
08:29:46 <ncf> (and you do get the error in play.haskell.org if you select GHC 9.0)
08:30:35 <ncf> (i think GHC 9.2 defaults to using GHC2021, which includes FlexibleInstances)
08:31:11 <jade[m]> hm okay, but I'm using 9.2.8
08:32:31 <jade[m]> oh - my cabal file specifies Haskell2010
08:32:52 → z0k joins (~z0k@2407:d000:a:6650:d5e7:723d:ef82:4ebd)
08:32:57 <jade[m]> thanks
08:33:19 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
08:40:05 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds)
08:53:49 <probie> Is there a way to stop a datatype's constructors being promoted to the kind level when `DataKinds` is enabled?
08:53:57 <dminuoso> No.
08:56:17 <geekosaur> afaik the closest you get is -Werror=unticked-promoted-constructors which isn't quite the same thing
08:57:58 → simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk)
09:02:31 × bilegeek_ quits (~bilegeek@2600:1008:b05c:e2f3:65b4:988a:ae8:9467) (Quit: Leaving)
09:03:32 × eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) (Remote host closed the connection)
09:04:43 <probie> I can get around my problem by in GHC 9.6 using `type data` (namely, that I want two things with the same name, one which is used exclusively at the type level, and the other exclusively at the value level)
09:05:26 → danse-nr3_ joins (~francesco@151.57.37.100)
09:06:10 <geekosaur> you might be on a collision course with dependent haskell
09:07:05 <probie> If I want to do this in older GHC's, can I do better than defining the type level names in a different module and then re-export them (e.g. `data Foo = Bar | Baz; type Bar = 'Bar; type Baz = 'Baz`)
09:07:32 <probie> s/GHC's/GHCs/
09:07:39 → razetime joins (~quassel@117.193.0.94)
09:08:00 × danse-nr3__ quits (~francesco@151.43.60.62) (Ping timeout: 245 seconds)
09:09:03 <probie> I think I should probably just stop being silly and use different names
09:13:50 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
09:14:48 × razetime quits (~quassel@117.193.0.94) (Ping timeout: 246 seconds)
09:15:30 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
09:16:58 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
09:17:02 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 246 seconds)
09:17:06 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
09:17:40 → __monty__ joins (~toonn@user/toonn)
09:18:32 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
09:21:45 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
09:22:09 × simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds)
09:23:54 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds)
09:27:38 <jade[m]> I'm having trouble with HLS in the ghc codebase -it tells me ghc: ghcversion.h missing; tried and then a bunch of directories
09:27:48 <jade[m]> anyone know what causes this and how to fix it?
09:36:26 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
09:37:46 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
09:38:07 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer)
09:38:29 → jespada_ joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
09:42:17 → dibblego joins (~dibblego@116.255.1.151)
09:42:17 × dibblego quits (~dibblego@116.255.1.151) (Changing host)
09:42:17 → dibblego joins (~dibblego@haskell/developer/dibblego)
09:42:19 × z0k quits (~z0k@2407:d000:a:6650:d5e7:723d:ef82:4ebd) (Quit: WeeChat 4.0.2)
09:43:50 × jespada_ quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer)
09:44:18 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
09:45:45 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
09:46:45 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
09:50:21 → razetime joins (~quassel@117.193.0.94)
09:53:02 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
09:53:02 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
09:53:02 → dibblego joins (~dibblego@haskell/developer/dibblego)
09:56:19 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:59:31 × mncheckm quits (~mncheck@193.224.205.254) (Remote host closed the connection)
10:02:26 × Guest5267 quits (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 250 seconds)
10:04:02 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620)
10:08:21 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) (Ping timeout: 246 seconds)
10:19:51 × [exa] quits (~exa@user/exa/x-3587197) (Ping timeout: 244 seconds)
10:27:35 <danse-nr3_> jade[m], any luck with that?
10:29:16 <jade[m]> hm?
10:29:53 <danse-nr3_> with that ghcversion.h error
10:30:36 <jade[m]> oh, not yet
10:31:09 <jade[m]> I ./hadrian/build clean and its rebuilding right now
10:31:13 <jade[m]> to see if that works
10:31:37 → aniketd joins (~aniketd@2405:201:d00b:116e:9de7:8d94:3db0:68dc)
10:33:36 → thyriaen joins (~thyriaen@2a01:aea0:dd4:699d:6245:cbff:fe9f:48b1)
10:40:06 × driib quits (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds))
10:41:49 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
10:43:11 × Guest5986 quits (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 258 seconds)
10:45:36 → bonz060 joins (~quassel@2001:bc8:678:1c48::1)
10:46:34 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
10:46:34 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
10:46:34 → dibblego joins (~dibblego@haskell/developer/dibblego)
10:47:35 → root joins (~m-mzmz6l@vmi833741.contaboserver.net)
10:47:59 root is now known as Guest3327
10:51:53 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
10:55:55 × Guest3327 quits (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 240 seconds)
10:58:08 → root joins (~m-mzmz6l@vmi833741.contaboserver.net)
10:58:30 root is now known as Guest3805
10:59:56 → driib joins (~driib@vmi931078.contaboserver.net)
10:59:56 × driib quits (~driib@vmi931078.contaboserver.net) (Client Quit)
11:00:55 × danse-nr3_ quits (~francesco@151.57.37.100) (Ping timeout: 245 seconds)
11:01:12 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
11:06:14 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
11:06:39 → [exa] joins (~exa@srv3n.blesmrt.net)
11:07:20 → TheCatCollective joins (NyaaTheKit@user/calculuscat)
11:07:28 → danse-nr3_ joins (~francesco@151.57.37.100)
11:07:53 → kilolympus joins (~kilolympu@cpc105064-sgyl40-2-0-cust46.18-2.cable.virginm.net)
11:08:13 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:10:08 → driib joins (~driib@vmi931078.contaboserver.net)
11:12:32 × dsrt^ quits (~cd@24.125.210.85) (Ping timeout: 240 seconds)
11:15:46 × [exa] quits (~exa@srv3n.blesmrt.net) (Ping timeout: 246 seconds)
11:16:24 → zmt01 joins (~zmt00@user/zmt00)
11:17:36 → [exa] joins (~exa@srv3n.blesmrt.net)
11:18:04 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 260 seconds)
11:20:07 → billchenchina joins (~billchenc@103.152.35.21)
11:25:20 → dsrt^ joins (~cd@24.125.210.85)
11:25:29 <Benzi-Junior> Does Haskell's type system have any knowledge of "suptypes" in the sence of "Every Integer is a Real" ?
11:26:46 → simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk)
11:27:46 <ncf> no
11:28:15 <ncf> the best you get are typeclasses, in this case Num is what makes 42 both a valid Integer and Real
11:29:48 <ncf> :t fromInteger :: Real a => Integer -> a
11:29:49 <lambdabot> Real a => Integer -> a
11:31:33 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:37:19 → mmhat joins (~mmh@p200300f1c73d19d9ee086bfffe095315.dip0.t-ipconnect.de)
11:37:26 × mmhat quits (~mmh@p200300f1c73d19d9ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
11:44:07 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
11:47:03 <dminuoso> Benzi-Junior: Well yes, exactly through typeclasses.
11:47:43 <dminuoso> Given that you have an `instance Real Integer` the relationship that every Integer is real is expressed.
11:48:13 <dminuoso> The kind of subclassing that you are thinking of exists in Haskell too, but its not tied to types but typeclasses. Namely a typeclass can be a super/subclass of another.
11:48:48 <dminuoso> And that has the obvious implications. Say Functor is a subclass of Monad, consequently every type that is Monad is necessarily also Functor.
11:49:38 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
11:49:42 <probie> Isn't `Real` a bit of a misnomer, since being a member of `Real` means that you can be mapped to a `Rational`, and not a real number
11:50:15 → accord joins (uid568320@id-568320.hampstead.irccloud.com)
11:50:21 <probie> well, a rational is a real, but I can't turn `sqrt 2` into a Rational
11:50:32 <dminuoso> probie: `Rational = Ratio Integer` and Integer is unbounded.
11:50:45 <dminuoso> So I guess its a question of belief.
11:50:47 × anpad quits (~pandeyan@user/anpad) (Ping timeout: 260 seconds)
11:50:51 → pandeyan joins (~pandeyan@135-180-53-157.fiber.dynamic.sonic.net)
11:50:52 → jpds joins (~jpds@gateway/tor-sasl/jpds)
11:51:25 <dminuoso> But yeah, Rational would have been a better name I suppose.
11:51:34 <dminuoso> Or IsRational *shrugs*
11:52:56 → gugu256 joins (~gugu256@67.134.22.93.rev.sfr.net)
11:54:04 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:55:38 × califax quits (~califax@user/califx) (Ping timeout: 240 seconds)
11:57:08 → califax joins (~califax@user/califx)
11:57:10 × simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds)
11:59:13 <probie> It just means that there are numeric types that I might want to represent which are subsets of the reals, but can't be instances of `Real` (e.g. `data QRoot2 = QRoot2 Rational Rational` where `QRoot2 a b` means `a + b * (sqrt 2)`). Sorry, I've derailed your explanation, but the name of the `Real` typeclass bothers me
12:00:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
12:00:34 → arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au)
12:01:05 <probie> s/the name of the `Real` typeclass bothers me/the name of the `Real` typeclass really bothers me/
12:04:10 <dminuoso> The numeric typeclasses are not well designed mostly.
12:04:45 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
12:05:07 × arahael_ quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds)
12:08:20 × califax quits (~califax@user/califx) (Remote host closed the connection)
12:10:18 → califax joins (~califax@user/califx)
12:13:25 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds)
12:21:41 → dibblego joins (~dibblego@116.255.1.151)
12:21:41 × dibblego quits (~dibblego@116.255.1.151) (Changing host)
12:21:41 → dibblego joins (~dibblego@haskell/developer/dibblego)
12:24:06 × hammond quits (proscan@gateway02.insomnia247.nl) (Changing host)
12:24:06 → hammond joins (proscan@user/hammond2)
12:24:40 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
12:26:03 → azimut joins (~azimut@gateway/tor-sasl/azimut)
12:29:47 <danse-nr3_> how do these kind of improvements work? Are there issues somewhere, or change proposals?
12:30:30 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
12:30:30 <dminuoso> Which improvements are you referring to?
12:31:05 → harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
12:32:07 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
12:32:32 <danse-nr3_> refactoring the numeric classes
12:33:29 → merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
12:34:27 <dminuoso> There is no work that I'm aware about them.
12:35:47 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
12:35:47 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
12:35:47 → dibblego joins (~dibblego@haskell/developer/dibblego)
12:37:30 × perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2)
12:38:00 → flounders joins (~flounders@24.246.133.1)
12:39:01 × kitzman quits (~kitzman@user/dekenevs) (Quit: C-x C-c)
12:39:33 → kitzman joins (~kitzman@user/dekenevs)
12:40:25 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds)
12:42:37 <danse-nr3_> i wonder whether noone ever complained or what, but i would not even know where a change proposal should be written ... maybe an issue on ghc itself
12:42:58 × libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving)
12:43:25 <yushyin> https://github.com/ghc-proposals/ghc-proposals
12:44:07 → perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
12:44:07 × kitzman quits (~kitzman@user/dekenevs) (Client Quit)
12:45:01 × gugu256 quits (~gugu256@67.134.22.93.rev.sfr.net) (Ping timeout: 246 seconds)
12:45:04 <merijn> complained about what?
12:45:40 → kitzman joins (~kitzman@user/dekenevs)
12:45:52 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
12:45:52 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
12:45:52 → dibblego joins (~dibblego@haskell/developer/dibblego)
12:47:36 <danse-nr3_> we where talking about the Real class and how the name is not correct
12:48:16 <danse-nr3_> thanks yushyin. I did not find anything about Real, but there have been proposals about the numeric types in the past https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0364-unify-natural.rst
12:48:40 <probie> You can always just supply your own prelude with your own numeric typeclasses. Actually changing them would cause massive breakage, and for most use cases they work well enough
12:49:57 <merijn> danse-nr3_: There are *numerous* proposed alternate hierarchies for numerics that are "more correct"
12:50:33 <merijn> Unfortunately, most of them are orders of magnitude less practical to actually program with (disregarding the fact that you lose compatibility with *everything*)
12:51:26 <danse-nr3_> yeah i suppose that has to be a slow development process
12:53:41 zzz is now known as yin
12:55:42 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
12:56:50 → Guest5267 joins (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
12:59:16 → gugu256 joins (~gugu256@93.22.134.67)
12:59:49 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
13:00:17 → jpds joins (~jpds@gateway/tor-sasl/jpds)
13:03:42 × CiaoSen quits (~Jura@2a05:5800:28b:8f00:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds)
13:04:18 → Tlsx joins (~rscastilh@187.40.124.54)
13:05:15 × danse-nr3_ quits (~francesco@151.57.37.100) (Read error: Connection reset by peer)
13:05:27 → danse-nr3_ joins (~francesco@151.57.72.94)
13:06:07 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
13:06:29 → jpds joins (~jpds@gateway/tor-sasl/jpds)
13:15:53 → xff0x joins (~xff0x@ai086045.d.east.v6connect.net)
13:16:06 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
13:18:28 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
13:23:17 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
13:26:41 × Tlsx quits (~rscastilh@187.40.124.54) ()
13:28:50 → killer joins (~killer@cg.ptr134.ptrcloud.net)
13:29:45 × killer quits (~killer@cg.ptr134.ptrcloud.net) (Remote host closed the connection)
13:32:02 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
13:32:21 × perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2)
13:37:10 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
13:37:10 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
13:37:10 → dibblego joins (~dibblego@haskell/developer/dibblego)
13:37:25 → EvanR joins (~EvanR@user/evanr)
13:38:09 → yaxu joins (~yaxu@host-92-8-188-207.as13285.net)
13:42:23 → ddellacosta joins (~ddellacos@143.244.47.71)
13:42:55 × flounders quits (~flounders@24.246.133.1) (Ping timeout: 240 seconds)
13:44:34 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:45:28 → perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
13:52:15 <dolio> I think the idea beind Real is "not complex." It's somewhat odd, though.
13:52:50 × zer0bitz quits (~zer0bitz@2001:2003:f443:d600:5d9e:35bf:23a6:434c) ()
13:53:44 <dolio> Every actual type of 'real' numbers that gets used commonly is a subtype of the rationals.
13:53:58 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds)
13:56:46 × razetime quits (~quassel@117.193.0.94) (Ping timeout: 246 seconds)
13:57:02 → ystael joins (~ystael@user/ystael)
13:57:21 → zer0bitz joins (~zer0bitz@user/zer0bitz)
13:57:29 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
14:01:24 × Guest3285 quits (1ff9197ed6@2604:bf00:561:2000::11ea) (Remote host closed the connection)
14:01:31 → fgaz_ joins (1ff9197ed6@2604:bf00:561:2000::11ea)
14:02:10 <dolio> Oh, actually, I guess that's not technically true, because IEEE floating point has those extra weird values. But the actual real numbers represented are rational.
14:02:18 → bgs joins (~bgs@212-85-160-171.dynamic.telemach.net)
14:03:31 × perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2)
14:03:40 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
14:04:41 <monochrom> Having the method toRational agrees with intending a subset of the rationals. The parent constraints Num, Ord suggests ordered ring.
14:05:11 <monochrom> Names are meaningless. APIs give the real semantics.
14:08:30 <carbolymer> I think a year ago (?) was a discussion somewhere about implicit HasCallStack in GHC. Was this a thing or did I mix up something?
14:08:42 → shriekingnoise joins (~shrieking@186.137.175.87)
14:09:55 <geekosaur> there have been discussions about adding such a thing. the ghc devs are against it, because (a) it's a bandage over the real issue (b) it creates a lot of overhead (c) and would complicate the compiler
14:12:03 <carbolymer> right
14:12:26 <geekosaur> the hope is that https://downloads.haskell.org/ghc/9.4.1/docs/users_guide/debug-info.html#debugging-compiled-programs (which doesn't require profiling or etc.) will be the final solution
14:13:13 <monochrom> Meanwhile I'm scare-mongering my students with an assignment question that says how implicit Show (to match Java's every-type-has-toString()) would ruin parametricity. >:)
14:13:50 <monochrom> http://www.cs.utoronto.ca/~trebla/CSCC24-2023-Summer/a4/cscc24-2023-5-a4.pdf 1.(c)
14:15:43 <geekosaur> so as the alternative to `HasCallStack` everywhere you would set a breakpoint somewhere (the exception handler but I don't know how you do that currently) and get a gdb backtrace
14:16:15 <dolio> You got your students to care about parametricity? :)
14:16:23 <monochrom> heh
14:17:27 <yaxu> Hi, I'm wondering if it's possible to make a function that can either a parameter of type a, or a parameter of some functor of a. For example that can take an integer or a list of integers. I guess it comes down to whether it's possible to make a type class with a function 'toList', with an instance for type a where toList = pure, and an instance for type [a] where toList = id. As far as I can tell the answer is no, but maybe it's possible
14:17:27 <yaxu> with a type family or something like that?
14:18:12 × accord quits (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
14:19:05 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
14:19:18 <ncf> instance Num a => Num [a] where fromInteger = pure . fromInteger
14:19:24 <ncf> 4 ++ 5
14:19:24 <ncf> [4,5]
14:19:29 <ncf> (please don't use this)
14:19:32 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
14:19:32 × yangby quits (~secret@183.128.108.131) (Quit: Go out for a walk and buy a drink.)
14:21:55 <ncf> you could also abuse IsList but please just don't mix values and lists
14:24:55 <yaxu> The actual types I want to work with are (a -> a) and Pattern (a -> a), where Pattern is a functor/applicative/monad thingie from the tidal package.
14:26:26 <geekosaur> sounds like what Arrow tried to do with functions and Kleisli
14:26:27 <yaxu> I'm afraid Pattern already has a Num instance
14:26:40 → thegeekinside joins (~thegeekin@189.217.90.138)
14:30:29 → notzmv joins (~zmv@user/notzmv)
14:31:52 <Profpatsch> getLiteral :: TH.Lift to => Parser to -> TH.QuasiQuoter
14:31:56 <Profpatsch> Is this the best I can do?
14:32:03 <Profpatsch> How many types even implement Lift?
14:32:06 <merijn> yaxu: What's the purpose of this?
14:32:16 <merijn> Profpatsch: Everything in recent GHC
14:32:21 <merijn> Profpatsch: -XDeriveLift
14:32:24 <geekosaur> also there is DeriveLift
14:32:27 <geekosaur> that
14:32:42 <merijn> Profpatsch: What are you trying to do?
14:32:44 <Profpatsch> So I need to manually derive it? Unlike HasField for example
14:32:55 <Profpatsch> merijn: [parse fooParser|Foo|]
14:33:10 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
14:33:12 <Profpatsch> For compile-time literals that can use our simple parser thingy
14:33:29 <Profpatsch> Right now I unwrap things from Either manually at runtime, but that’s kinda stoopid
14:33:42 <merijn> Profpatsch: Gotcha, way ahead of you and solved your problem :p
14:33:52 <merijn> Profpatsch: https://hackage.haskell.org/package/validated-literals
14:34:25 <Profpatsch> merijn: I don’t want to implement a class
14:34:41 <Profpatsch> Also why $$() instead of [foo||]
14:34:42 <yaxu> merijn: because most of the time I will want to pass a plain value. I want the option of passing a pattern of values, without having to stick 'pure' in front of values in the majority of cases
14:35:24 <merijn> Profpatsch: because [||] is a quasi quote that turns Haskell (or plain text) into some AST representation $$() is a splice which splices a generated AST into the actual one
14:36:00 <merijn> Profpatsch: I mean the minimal implementation of that class is "fromLiteral :: a -> Maybe b", which you presumably already have
14:36:14 <merijn> (or "fromLiteralWithError :: a -> Either String b" incase of an error reporting function)
14:36:18 <Profpatsch> merijn: no, I don’t use classes for parsing
14:36:29 <Profpatsch> that’s such an antipattern
14:36:34 <Profpatsch> I just have plain old functions
14:37:02 <Profpatsch> There’s not a 1:1 relationship between parsers and types
14:37:22 <Profpatsch> I can parse into an Int via a decimal, signed decimal, hex decimal, …
14:37:50 <Profpatsch> they all have different parsing functions, no sense in just allowing one per type
14:38:08 <Profpatsch> *hexadecimal
14:38:09 <yaxu> A failed attempt:
14:38:10 <yaxu> class PatternableFunction a where toPatFunc :: a -> Sequence (b -> c)
14:38:10 <yaxu> instance PatternableFunction (Sequence (b -> c)) where toPatFunc = id
14:38:10 <yaxu> instance PatternableFunction (b -> c) where toPatFunc = pure
14:38:52 → YuutaW joins (~YuutaW@mail.yuuta.moe)
14:40:51 <Profpatsch> ugh, Quoters can’t be arbitrary expressions, that’s a bummer
14:41:42 × misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 246 seconds)
14:41:54 → bontaq joins (~user@ool-45779b84.dyn.optonline.net)
14:43:02 × yaxu quits (~yaxu@host-92-8-188-207.as13285.net) (Remote host closed the connection)
14:43:24 → yaxu joins (~yaxu@host-92-8-188-207.as13285.net)
14:46:46 × yaxu quits (~yaxu@host-92-8-188-207.as13285.net) (Remote host closed the connection)
14:47:10 → yaxu joins (~yaxu@host-92-8-188-207.as13285.net)
14:47:53 <probie> In the worst case, if something needs a class, just use the reflection library so you can pass regular functions
14:49:58 × gurkenglas quits (~gurkengla@dynamic-046-114-090-248.46.114.pool.telefonica.de) (Ping timeout: 246 seconds)
14:53:08 → reach joins (~reach@142.198.51.47)
14:54:15 × gugu256 quits (~gugu256@93.22.134.67) (Ping timeout: 245 seconds)
14:54:16 → razetime joins (~quassel@117.193.0.94)
14:55:17 <Profpatsch> merijn: so, if I want to use the library, but e.g. `time` does not implement Lift for its datatypes, do I have to create orphans?
14:56:17 → segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
14:59:07 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
15:01:23 <merijn> Profpatsch: This doesn't use a typeclass for parsing, though
15:01:34 <merijn> Profpatsch: It uses the typeclass to smuggle the type inference into the TH
15:01:57 × yaxu quits (~yaxu@host-92-8-188-207.as13285.net) (Ping timeout: 244 seconds)
15:02:12 <merijn> i.e. the Even example is smuggling the 'Even' type into the TH code via the typeclass
15:03:25 <merijn> Profpatsch: Note that thisn't really intended for parsing actual text, since it's mostly for doing partial conversions of actual haskell values of type A into values of type B via a (compile time) partial conversion
15:03:45 <Profpatsch> fromMaybe $$("00:01" & Field.qq Csv.timeHourMinute)
15:03:49 <Profpatsch> works pretty well
15:04:03 <Profpatsch> merijn: ^ I stole liberally from your example though :)
15:04:06 × ddellacosta quits (~ddellacos@143.244.47.71) (Ping timeout: 246 seconds)
15:04:19 <Profpatsch> gotta implement a bunch of orphan instances which are hopefully gonne get filled by future versions of libraries
15:04:36 venkateshK[m] is now known as RandomInt[m]
15:04:52 <Profpatsch> I wonder if they lead to blowup of code or something
15:05:13 <merijn> Profpatsch: Lift is fairly straightforward, so it shouldn't
15:05:33 <Profpatsch> I’d love to see it be automatically derived like HasField
15:05:37 <merijn> There's just a few fundamental things that are tricky to Lift (i.e. stuff including Ptr/MVar/IORef/ logically can't really be lifted)
15:05:39 jonrh_ is now known as jonrh
15:06:04 → ddellacosta joins (~ddellacos@146.70.168.200)
15:06:18 <Profpatsch> merijn: fwiw, “Field.*” above is https://hackage.haskell.org/package/pa-field-parser-0.1.0.1/docs/FieldParser.html
15:06:33 <Profpatsch> which is essentially what your “validate” function does, without the class
15:08:30 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620)
15:08:41 <Profpatsch> merijn: why use $$() and not $() tho?
15:08:57 <Profpatsch> As far as I can understand I’m lifting from Q to Splice anyway
15:09:24 <Profpatsch> Oh, is it because $() does not have an output type?
15:10:30 × chele quits (~chele@user/chele) (Remote host closed the connection)
15:11:44 <merijn> Profpatsch: $$() is typed template Haskell
15:12:04 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:12:13 <merijn> $() produces an untyped expression, so you don't know what TH to generate (unless you write a TH function per conversion)
15:12:28 <Profpatsch> Ah, I guess this is a newer addition to TH
15:12:36 <Profpatsch> I hope TH can still be saved somehow
15:12:38 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) (Ping timeout: 246 seconds)
15:12:57 <merijn> But the entire goal of this class was: most people finding writing TH code kinda intimidating, and with this code you can use TH without writing any code with it (since the class just wants a regular function)
15:13:55 × Guest5267 quits (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
15:13:56 <merijn> Profpatsch: basically, TH allows generating ill-typed splices (so the splices for an Even expression that ends up returning an expression with type Char). Typed TH has type info from the surrounding code and only allows AST splices that much the type of the context they're spliced in
15:15:22 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
15:16:04 × nyc quits (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Ping timeout: 260 seconds)
15:17:52 × reach quits (~reach@142.198.51.47) (Ping timeout: 245 seconds)
15:18:48 × habib quits (~habib@193.160.247.211) (Remote host closed the connection)
15:18:49 → mauke joins (~mauke@user/mauke)
15:21:28 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
15:21:29 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
15:21:29 → dibblego joins (~dibblego@haskell/developer/dibblego)
15:21:56 Guest1409 is now known as Ankhers
15:22:34 <Profpatsch> That’s a good step in the rigth direction I’d say
15:23:03 <Profpatsch> Now we only need to split IO TH from pure TH, so that we can finally get rid of the recompilation overhead for the moste useful stuff
15:26:13 → Sgeo joins (~Sgeo@user/sgeo)
15:28:58 × kmein quits (~weechat@user/kmein) (Quit: ciao kakao)
15:29:04 → eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
15:29:47 → kmein joins (~weechat@user/kmein)
15:30:04 × mixfix41 quits (~sdeny9ee@user/mixfix41) (Ping timeout: 260 seconds)
15:30:44 → reach joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca)
15:31:17 <Profpatsch> Hrm, I guess if there was some restricted Q that might do the trick actually
15:31:29 <Profpatsch> Q--
15:32:55 × merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
15:33:46 → shapr joins (~user@2600:1700:c640:3100:fa13:6c46:116:2be9)
15:34:01 <shapr> I wrote a blog post: https://shapr.github.io/posts/2023-07-25-android-app-in-haskell.html
15:34:47 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds)
15:35:59 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 264 seconds)
15:38:55 → gugu256 joins (~gugu256@67.134.22.93.rev.sfr.net)
15:40:52 × tomku quits (~tomku@user/tomku) (Ping timeout: 250 seconds)
15:41:05 → tomku joins (~tomku@user/tomku)
15:43:21 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
15:43:39 × reach quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 246 seconds)
15:44:11 → simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk)
15:49:13 <danse-nr3_> shapr, android app in haskell! Interesting ... i will read it and ping you
15:49:44 <shapr> yeah!
15:52:30 → litharge joins (litharge@libera/bot/litharge)
15:54:45 → thegeekinside joins (~thegeekin@189.217.90.138)
15:54:46 <mauke> heh, "the Jean-Paul taught nix"
15:55:41 <mauke> also nice use of "in anger". there was a discussion on Mastodon a while ago about the origins of this phrase and where it is known
15:56:16 × aniketd quits (~aniketd@2405:201:d00b:116e:9de7:8d94:3db0:68dc) (Quit: Client closed)
15:58:56 <ncf> in + anger?
15:59:19 <ncf> like "in doubt"
15:59:57 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
16:01:09 <mauke> "Jean-Paul wanted to use Haskell in anger."
16:01:51 <darkling> mauke: Heh. I was in that one. :)
16:03:43 <ncf> oh so it means something like "for real"? i wasn't aware of that meaning
16:04:18 <darkling> Interestingly, the usages that the researcher on that thread found were all referring to weapons,
16:04:41 <mauke> yeah, there was speculation about military slang origins
16:04:42 <darkling> but many of the people who used it regularly used it to mean "for real".
16:07:40 → mixfix41 joins (~sdeny9ee@user/mixfix41)
16:09:53 <danse-nr3_> i guess using haskell "in anger" is what happens when one starts and gets kicked often by the compiler for trivial tasks
16:10:15 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
16:11:45 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
16:13:14 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
16:13:44 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
16:14:38 <shapr> Jean-Paul was coming from Python, with Python's challenges, so using Haskell in anger was correct here.
16:14:49 <shapr> But the anger was not directed at Haskell!
16:14:54 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
16:14:55 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
16:15:12 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
16:15:21 <shapr> mauke: ok, I took out "the Jean-Paul" though it is funny
16:15:47 → notzmv joins (~zmv@user/notzmv)
16:17:03 → perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
16:17:16 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 250 seconds)
16:17:53 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
16:17:55 <ddellacosta> I have always interpreted that as, for example, you are trying to fix something you got paged to fix at 1AM, and you didn't write it, and have to figure out how to patch it quickly, and that's when you really learn about using any given tool, when you have to use it "in anger"
16:18:20 <danse-nr3_> yeah that has also always been my interpretation
16:18:56 <shapr> Hm, I like that interpretation
16:19:58 → reach joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca)
16:24:40 × danse-nr3_ quits (~francesco@151.57.72.94) (Ping timeout: 245 seconds)
16:34:11 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
16:35:26 × ddellacosta quits (~ddellacos@146.70.168.200) (Ping timeout: 245 seconds)
16:36:49 → mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d)
16:37:30 → ddellacosta joins (~ddellacos@146.70.185.168)
16:41:12 → thegeekinside joins (~thegeekin@189.217.90.138)
16:41:13 × [exa] quits (~exa@srv3n.blesmrt.net) (Changing host)
16:41:13 → [exa] joins (~exa@user/exa/x-3587197)
16:41:45 <gugu256> All right everybody, y'all convinced me to try haskell. I'm installing the GHC, this better be good
16:42:57 <maerwald> oh gosh, hope the installation will work
16:44:20 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:45:14 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:46:10 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
16:48:26 <gugu256> maerwald: the installation is frickin long
16:48:34 <maerwald> oh no
16:49:15 <gugu256> this is a bad sign ?
16:49:29 <gugu256> i mean, i said i wanted to install everything
16:49:41 <gugu256> i still find that it's taking a lot of space on my disk tho
16:51:40 × fendor quits (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection)
16:52:23 <mauke> oh yeah, it's gigabytes of stuff
16:53:26 <gugu256> gigabytes ?
16:54:14 <maerwald> yeah... they come after megabytes
16:54:46 <dolio> My /opt/ghc/9.6.2 is 2.1GB.
16:54:46 <maerwald> kind of a funny lot
16:55:08 <gugu256> WHY SO MUCH ?
16:55:13 <maerwald> yes, without profiling libs a little less
16:55:38 <gugu256> please tell me that it's easy to uninstall all this mess
16:55:43 <maerwald> lol
16:55:51 <maerwald> depends how you installed
16:56:01 <gugu256> i installed everything from the command line
16:56:04 <mauke> with ghcup? pretty trivial, I think
16:56:11 <gugu256> yep with ghcup
16:56:18 <maerwald> ghcup nuke
16:56:33 <mauke> 2.6G /home/mauke/.ghcup/ghc/9.6.2/
16:56:38 <gugu256> nuke ?
16:56:43 <maerwald> yeah, like oppenheimer
16:56:45 <mauke> that deletes everything
16:56:54 <gugu256> guys be serious
16:56:57 <maerwald> xD
16:57:03 <shapr> why so serious?
16:57:04 <gugu256> YES DONE
16:57:13 <mauke> nuke Completely remove ghcup from your system
16:57:14 <shapr> gugu256: what convinced you to install Haskell?
16:57:16 <mauke> ^ not a joke
16:57:22 <maerwald> you can also try onliine https://play.haskell.org/
16:57:31 <shapr> oh yeah
16:57:40 <gugu256> shapr: dunno, it looked cool and it's interesting
16:58:39 × bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
16:58:55 <maerwald> gugu256: wait, so now you deleted everything?
16:59:00 <dolio> 672M is documentation
16:59:05 <gugu256> marwald: no
16:59:09 → merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
16:59:10 <maerwald> why not?
16:59:13 <dolio> 627, even.
16:59:38 <gugu256> maerwald: because i wanted to code in haskell ?
16:59:44 <maerwald> pff
16:59:50 <maerwald> prove it
16:59:54 <Profpatsch> wow huh
17:00:07 <Profpatsch> I wasn’t aware the ApplicativeDo heuristics depends on the size of the rigth side of <-
17:00:22 <mauke> maerwald: ?
17:00:31 <maerwald> mauke: hm?
17:00:32 <Profpatsch> I was getting a Monad inferred even though I didn’t even map over anything in m
17:00:54 <Profpatsch> moving the right side into a let solved the problem
17:00:59 <gugu256> THE GHCUP FOLDER IS 6 GO BIG
17:01:05 <maerwald> omg
17:01:33 <gugu256> how come a programming language needs so much space
17:01:42 <maerwald> gugu256: ghcup gc -p -s -h -c -t
17:01:49 × simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 244 seconds)
17:01:51 <gugu256> what's that
17:01:54 <yushyin> mine is >12GB
17:01:57 <maerwald> gugu256: run it
17:02:01 <gugu256> nope
17:02:05 <gugu256> explain first
17:02:07 <maerwald> why
17:02:11 <maerwald> ghcup gc --help
17:02:13 <maerwald> explains it
17:02:38 <Profpatsch> GHC might be big, but at least it compresses really well :P
17:02:38 <mauke> why remove profiling libs?
17:02:53 <maerwald> don't think you need profiling when starting out with haskell
17:03:11 <gugu256> what's profiling
17:03:23 <maerwald> gives you more grip
17:03:27 × merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
17:03:37 <gugu256> maerwald: over what ?
17:03:41 → simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk)
17:03:45 <mauke> when you're trying to optimize your code, profiling tells you where it spends most of its time
17:03:55 <maerwald> yeah... a grip on perfomance
17:04:02 <mauke> so you can see which parts are slow
17:04:15 <gugu256> ok
17:04:23 <Profpatsch> maerwald: gugu is a French-speaker, you can’t expect all puns to land :)
17:04:43 <mauke> in haskell this involves special compiler options, and you need special profiling versions of all the libraries as well
17:05:04 <gugu256> maerwald: you saw that because of my server ?
17:05:18 <maerwald> I see everything
17:05:32 <shapr> *forboding music*
17:05:50 <gugu256> maerwald ist Deutsch
17:06:04 <maerwald> hey... I have a cloak
17:06:20 <maerwald> oh no, I'm decloaked
17:06:39 × maerwald quits (~maerwald@mail.hasufell.de) (Changing host)
17:06:39 → maerwald joins (~maerwald@user/maerwald)
17:06:57 <mauke> you weren't logged in
17:07:02 <maerwald> gosh
17:07:19 <maerwald> all the years of privacy building wasted
17:07:24 <mauke> also, your SSL certificate is expired
17:07:30 <maerwald> it always does
17:07:41 <maerwald> my docker container that's supposed to renew it doesn't work
17:07:51 <maerwald> all software is trash
17:08:46 × razetime quits (~quassel@117.193.0.94) (Remote host closed the connection)
17:11:10 × reach quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Remote host closed the connection)
17:11:25 × kitzman quits (~kitzman@user/dekenevs) (Quit: C-x C-c)
17:11:38 → reach joins (~reach@142.198.51.47)
17:12:58 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
17:12:58 <gugu256> main = do
17:12:59 <gugu256> putStrLn "Hello, World"
17:13:00 <gugu256> GO BRR
17:13:13 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
17:14:29 → nyc joins (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com)
17:15:12 <mauke> can be shortened to: main = putStr "Hello, world!\n"
17:16:35 <shapr> I say I'm Swedish, but it's not true
17:17:48 <shapr> Out of all the programming languages I've tried, Haskell irritates me the least.
17:17:57 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:18:05 <shapr> hoi tromp, hoe gaat het met jou?
17:18:29 <maerwald> Go is not irritating... until you want to do error handling and you feel thrown back to C
17:18:30 <tromp> het gaat zijn gangetje...
17:18:46 <mauke> wat mutt, dat mutt
17:19:16 <tromp> en met jou, shapr?
17:19:30 <shapr> gaat goed!
17:19:39 <shapr> I just published a blog post about building an Android app in Haskell
17:20:00 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
17:20:03 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
17:20:04 <shapr> maerwald: I tried to write `id` in Go before generics, that was irritating
17:20:11 <mauke> (the mobile OS, not an actual cyborg)
17:20:13 <shapr> Haven't tried Go since they got generics
17:20:25 <tromp> i published a blog post about the largest integer representable in 64 bits
17:20:28 <shapr> I think acowley does robot things in Haskell
17:20:35 <shapr> tromp: oooh, where's that?
17:20:42 <shapr> Do you have a mastodon account I can follow?
17:21:11 <tromp> not that i knowL(
17:21:14 <tromp> https://googology.fandom.com/wiki/User_blog:JohnTromp/The_largest_number_representable_in_64_bits
17:21:46 → Guest5267 joins (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
17:22:10 <tromp> apparently that site is ad ridden but i don't really tell when using Brave browser
17:22:42 <shapr> Is your lambda playground still around?
17:23:18 <mauke> 2^1024 (1-2^-53)? that doesn't look right
17:23:25 <ncf> "the largest number representable in 64 bits" sounds a lot like "the largest number definable in less than 20 words"...
17:24:07 <ncf> well i guess it's less paradoxical than https://en.wikipedia.org/wiki/Berry_paradox
17:24:33 <ncf> but only because there's no negation involved
17:24:40 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
17:25:28 → kitzman joins (~kitzman@user/dekenevs)
17:25:33 <tromp> do you mean my webpage "John's Lambda Calculus and Combinatory Logic Playground" ?
17:25:38 × perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2)
17:26:21 <tromp> i welcome corrections, mauke
17:27:27 <mauke> > 2^1024 * (1 - 2^^(-53)) :: Double
17:27:29 <lambdabot> Infinity
17:28:01 <mauke> oh, I see now what's going on
17:28:45 <mauke> this is the 2^64-1 of floating point numbers
17:28:59 → jmdaemon joins (~jmdaemon@user/jmdaemon)
17:29:19 → perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
17:30:04 <jade[m]> the docs for ap mention that it can be used like return f `ap` x `ap` y `ap` ... - should one rather write this as pure f `ap` ... or is return in this case more idiomatic, even though its use is discouraged?
17:30:21 <jade[m]> when using `<*>` which should be equivialent you see `pure` of course
17:31:44 × hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds)
17:31:45 × hellwolf quits (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Read error: Connection reset by peer)
17:35:53 <int-e> > 2^1023 * (1 - 2^^(-53)) * 2
17:35:55 <lambdabot> 1.7976931348623157e308
17:38:37 → hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net)
17:38:44 × tomsmeding quits (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Ping timeout: 250 seconds)
17:38:58 → tomsmeding joins (~tomsmedin@2a01:4f8:c0c:5e5e::2)
17:38:59 <shapr> tromp: yes, when you gave the actual title I could find it!
17:40:02 <tromp> or you can just visit my home page (easy to find) and click on the predecessor image
17:41:18 <tromp> i mean the diagram of the lambda calculus predecessor function
17:41:33 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
17:44:13 × nattiestnate quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2)
17:45:55 <mauke> tromp: do you know about http://djm.cc/bignum-results.txt ?
17:46:57 <tromp> yes, i know about Loader's number
17:47:28 <tromp> would be interesting to port it to BLC one day
17:48:31 <tromp> it looks like the 63 bit program exceeds all entries in that contest except for loader's
17:49:11 <tromp> oops, no. i misread omega**omega as omega*omega
17:51:41 × gugu256 quits (~gugu256@67.134.22.93.rev.sfr.net) (Ping timeout: 245 seconds)
17:55:15 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
17:55:34 → merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
17:57:42 × komikat` quits (~user@218.185.248.66) (Ping timeout: 260 seconds)
17:58:55 × reach quits (~reach@142.198.51.47) (Ping timeout: 240 seconds)
17:58:58 × mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds)
18:02:18 → komikat` joins (~user@218.185.248.66)
18:05:52 × trev quits (~trev@user/trev) (Quit: trev)
18:06:25 × komikat` quits (~user@218.185.248.66) (Ping timeout: 240 seconds)
18:08:49 → jmdaemon joins (~jmdaemon@user/jmdaemon)
18:14:12 → Inst_ joins (~Inst@2601:6c4:4081:2fc0:81e3:495a:25c7:6863)
18:16:00 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds)
18:16:40 <Guest5267> how to use lens to update vector at index 0
18:17:08 × thegeekinside quits (~thegeekin@189.217.90.138) (Remote host closed the connection)
18:17:21 → thegeekinside joins (~thegeekin@189.217.90.138)
18:17:41 <glguy> I'd use _head
18:17:47 <glguy> set _head 42
18:18:38 → Inst__ joins (~Inst@2601:6c4:4081:2fc0:5890:e6f2:7ab0:1c8)
18:18:39 × Inst quits (~Inst@2601:6c4:4081:2fc0:81e3:495a:25c7:6863) (Ping timeout: 260 seconds)
18:18:53 <Guest5267> what about other index
18:18:59 → jmd_ joins (~jmdaemon@user/jmdaemon)
18:19:43 <Guest5267> isn't it a pity that ix doesnt work for vector for updating?
18:20:37 <glguy> it does
18:20:55 × Inst_ quits (~Inst@2601:6c4:4081:2fc0:81e3:495a:25c7:6863) (Ping timeout: 245 seconds)
18:22:31 → reach joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca)
18:25:55 × Guest5267 quits (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
18:27:29 → Guest8558 joins (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
18:27:40 × merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
18:35:10 × simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving)
18:43:30 → gmg joins (~user@user/gehmehgeh)
18:45:50 → merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
18:47:51 × Inst__ quits (~Inst@2601:6c4:4081:2fc0:5890:e6f2:7ab0:1c8) (Read error: Connection reset by peer)
18:49:22 × reach quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 246 seconds)
18:49:56 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:50:26 × merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
18:54:37 → geekosaur joins (~geekosaur@xmonad/geekosaur)
18:57:51 → Inst joins (~Inst@c-76-101-10-131.hsd1.fl.comcast.net)
18:58:55 → reach joins (~reach@142.198.51.47)
19:03:01 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
19:08:45 → matt1 joins (~matt@92.41.26.229.threembb.co.uk)
19:10:30 × reach quits (~reach@142.198.51.47) (Ping timeout: 245 seconds)
19:11:47 → reach joins (~reach@142.198.51.47)
19:14:11 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
19:17:54 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
19:18:33 → reach_ joins (~reach@2605:8d80:682:d1af:1992:b716:bcf7:814b)
19:19:15 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds)
19:19:49 → geekosaur joins (~geekosaur@xmonad/geekosaur)
19:20:48 × phma quits (phma@2001:5b0:210b:9ac8:cc3e:81df:eae2:50e9) (Read error: Connection reset by peer)
19:21:11 → phma joins (phma@2001:5b0:210b:9ac8:482d:5318:4a02:3871)
19:21:35 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds)
19:22:18 × reach quits (~reach@142.198.51.47) (Ping timeout: 250 seconds)
19:27:00 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 244 seconds)
19:27:05 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
19:27:05 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
19:27:05 → dibblego joins (~dibblego@haskell/developer/dibblego)
19:27:20 × sajith quits (~sajith@user/sajith) (Quit: Gone)
19:27:20 × nonzen_ quits (~nonzen@user/nonzen) (Quit: Gone)
19:27:41 → nonzen joins (~nonzen@user/nonzen)
19:28:14 → sajith joins (~sajith@user/sajith)
19:28:34 → ft joins (~ft@p3e9bc61e.dip0.t-ipconnect.de)
19:29:39 × nonzen quits (~nonzen@user/nonzen) (Client Quit)
19:29:39 × sajith quits (~sajith@user/sajith) (Remote host closed the connection)
19:30:18 → nonzen joins (~nonzen@user/nonzen)
19:30:50 → sajith joins (~sajith@user/sajith)
19:31:06 × johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
19:31:34 → johnw joins (~johnw@69.62.242.138)
19:31:39 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds)
19:33:07 × jmd_ quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
19:35:22 × Inst quits (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) (Ping timeout: 245 seconds)
19:36:18 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
19:36:18 → Inst joins (~Inst@c-76-101-10-131.hsd1.fl.comcast.net)
19:36:18 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
19:36:18 → dibblego joins (~dibblego@haskell/developer/dibblego)
19:47:06 → reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca)
19:47:07 × reach_ quits (~reach@2605:8d80:682:d1af:1992:b716:bcf7:814b) (Read error: Connection reset by peer)
19:47:10 → merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
19:50:22 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
19:51:27 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
19:52:11 × merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
19:58:48 × Guest8558 quits (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
19:59:17 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
19:59:17 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
19:59:17 → dibblego joins (~dibblego@haskell/developer/dibblego)
19:59:36 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:01:38 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds)
20:02:15 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
20:04:33 → merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
20:05:10 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
20:06:04 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
20:07:11 × reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 264 seconds)
20:08:20 × thyriaen quits (~thyriaen@2a01:aea0:dd4:699d:6245:cbff:fe9f:48b1) (Quit: Leaving)
20:09:32 × merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
20:11:39 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
20:11:39 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
20:11:39 → dibblego joins (~dibblego@haskell/developer/dibblego)
20:15:53 → Guest8558 joins (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
20:15:59 × connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
20:16:15 → connrs joins (~connrs@user/connrs)
20:19:21 × EvanR quits (~EvanR@user/evanr) (Remote host closed the connection)
20:20:42 → EvanR joins (~EvanR@user/evanr)
20:26:33 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
20:31:21 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
20:35:29 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds)
20:43:19 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
20:43:57 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
20:45:21 → yaxu joins (~yaxu@94.119.64.35)
20:49:01 → mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d)
20:50:52 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620)
20:51:38 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
20:54:46 → jmdaemon joins (~jmdaemon@user/jmdaemon)
20:54:50 × perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2)
20:55:17 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) (Ping timeout: 246 seconds)
20:57:56 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
20:58:08 → perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
21:02:07 → dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au)
21:02:07 × dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
21:02:07 → dibblego joins (~dibblego@haskell/developer/dibblego)
21:04:42 → reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca)
21:04:59 → nick4 joins (~nick@2600:8807:9084:7800:504a:bdb:1c92:8eb1)
21:11:45 × Guest8558 quits (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds)
21:11:54 × ubert quits (~Thunderbi@77.119.169.110.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
21:12:06 → ubert1 joins (~Thunderbi@178.115.37.112.wireless.dyn.drei.com)
21:14:23 ubert1 is now known as ubert
21:19:03 → Pickchea joins (~private@user/pickchea)
21:21:29 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
21:23:19 → libertyprime joins (~libertypr@203.96.203.44)
21:25:48 × matt1 quits (~matt@92.41.26.229.threembb.co.uk) (Quit: WeeChat 4.0.2)
21:26:18 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
21:29:19 × reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 246 seconds)
21:29:41 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:32:33 → codaraxis joins (~codaraxis@user/codaraxis)
21:36:24 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
21:36:32 → merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
21:38:15 → thegeekinside joins (~thegeekin@189.217.90.138)
21:40:01 → flounders joins (~flounders@24.246.133.1)
21:41:06 → tom_ joins (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684)
21:42:32 → finsternis joins (~X@23.226.237.192)
21:43:34 × zincy quits (~tom@host81-151-255-71.range81-151.btcentralplus.com) (Ping timeout: 250 seconds)
21:45:41 × mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds)
21:47:01 × yaxu quits (~yaxu@94.119.64.35) (Ping timeout: 244 seconds)
21:47:56 → hugo- joins (znc@verdigris.lysator.liu.se)
21:48:28 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
21:49:05 → reach__ joins (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca)
21:52:54 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
21:55:51 × reach__ quits (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 245 seconds)
21:57:27 × ystael quits (~ystael@user/ystael) (Ping timeout: 245 seconds)
21:58:12 → reach__ joins (~reach@142.198.51.47)
21:58:22 → ystael joins (~ystael@user/ystael)
22:04:40 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
22:08:42 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds)
22:10:11 × acidjnk quits (~acidjnk@p200300d6e7072f405d546349bf45e467.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
22:10:30 × merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
22:19:19 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
22:22:40 → emmanuelux joins (~emmanuelu@user/emmanuelux)
22:34:03 → oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
22:37:34 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
22:38:25 × mei quits (~mei@user/mei) (Remote host closed the connection)
22:40:08 × libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving)
22:40:50 → mei joins (~mei@user/mei)
22:43:41 × bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection)
22:46:40 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds)
22:47:34 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
22:48:03 → azimut joins (~azimut@gateway/tor-sasl/azimut)
22:55:55 × reach__ quits (~reach@142.198.51.47) (Ping timeout: 245 seconds)
22:57:17 → wroathe joins (~wroathe@user/wroathe)
22:57:19 → reach__ joins (~reach@142.198.51.47)
23:07:29 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
23:16:43 → justsomeguy joins (~justsomeg@user/justsomeguy)
23:19:13 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
23:20:39 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
23:22:27 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds)
23:23:21 × reach__ quits (~reach@142.198.51.47) (Ping timeout: 245 seconds)
23:26:05 → mauke_ joins (~mauke@user/mauke)
23:27:15 × jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 244 seconds)
23:27:39 → merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
23:27:46 × mauke quits (~mauke@user/mauke) (Ping timeout: 244 seconds)
23:27:46 mauke_ is now known as mauke
23:29:07 → jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com)
23:29:21 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
23:31:37 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds)
23:33:36 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:36:51 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
23:44:59 → mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d)
23:49:45 × phma quits (phma@2001:5b0:210b:9ac8:482d:5318:4a02:3871) (Read error: Connection reset by peer)
23:50:12 → phma joins (~phma@host-67-44-208-59.hnremote.net)
23:57:01 → arahael_ joins (~arahael@124-149-31-4.dyn.iinet.net.au)
23:58:49 → talismanick joins (~user@76.133.152.122)
23:59:29 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)

All times are in UTC on 2023-07-27.