2025/09/19

2025-09-19 00:09:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 00:10:02 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-19 00:13:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 00:23:01 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-19 00:24:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 00:24:58 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-09-19 00:29:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 00:29:19 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-19 00:29:32 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 00:36:06 +0200jreicher(~user@user/jreicher) jreicher
2025-09-19 00:39:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 00:44:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 00:54:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-09-19 00:55:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 00:59:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 01:03:48 +0200mikess(~sam@user/mikess) (Quit: leaving)
2025-09-19 01:07:08 +0200dfg(~dfg@user/dfg) (Remote host closed the connection)
2025-09-19 01:07:11 +0200dibblego(~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
2025-09-19 01:07:21 +0200dfg(~dfg@user/dfg) dfg
2025-09-19 01:07:23 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2025-09-19 01:07:23 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2025-09-19 01:07:23 +0200dibblego(~dibblego@haskell/developer/dibblego) dibblego
2025-09-19 01:07:29 +0200pandeyan(~pandeyan@192-184-251-101.fiber.dynamic.sonic.net)
2025-09-19 01:08:24 +0200anpad(~pandeyan@user/anpad) (Read error: Connection reset by peer)
2025-09-19 01:10:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 01:11:48 +0200xff0x(~xff0x@2405:6580:b080:900:24e9:81bc:8e37:65ac) (Ping timeout: 256 seconds)
2025-09-19 01:15:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 01:15:39 +0200mange(~mange@user/mange) mange
2025-09-19 01:16:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-09-19 01:20:02 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-09-19 01:24:04 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kdsks)
2025-09-19 01:24:10 +0200acidjnk(~acidjnk@p200300d6e7171931818b3f6cc8b1abe4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-09-19 01:24:18 +0200xff0x(~xff0x@2405:6580:b080:900:24e9:81bc:8e37:65ac)
2025-09-19 01:26:00 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-19 01:26:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 01:28:01 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-09-19 01:28:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-09-19 01:28:34 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-19 01:28:46 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 01:31:34 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-09-19 01:32:15 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-09-19 01:32:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 01:39:30 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-09-19 01:39:45 +0200sprotte24(~sprotte24@p200300d16f0ebf00040e1ff3e8fae618.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-19 01:41:58 +0200vetkat(~vetkat@user/vetkat) (Read error: Connection reset by peer)
2025-09-19 01:42:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 01:44:06 +0200mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 256 seconds)
2025-09-19 01:44:39 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-09-19 01:45:03 +0200craunts79(~craunts@152.32.99.194)
2025-09-19 01:47:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-19 01:47:51 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds)
2025-09-19 01:49:31 +0200craunts79(~craunts@152.32.99.194) (Client Quit)
2025-09-19 01:52:16 +0200ystael(~ystael@user/ystael) (Ping timeout: 255 seconds)
2025-09-19 01:53:51 +0200ystael(~ystael@user/ystael) ystael
2025-09-19 01:57:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 01:58:16 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-19 01:58:28 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 02:02:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 02:07:34 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
2025-09-19 02:07:51 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-19 02:08:22 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-09-19 02:12:44 +0200defragger(~random@i5C742C0E.versanet.de) (Ping timeout: 260 seconds)
2025-09-19 02:13:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 02:14:07 +0200defragger(~random@i5C742DFC.versanet.de) defragger
2025-09-19 02:15:16 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-09-19 02:17:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 02:20:46 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus)
2025-09-19 02:23:15 +0200trickard_trickard
2025-09-19 02:28:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 02:32:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 02:38:48 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-19 02:42:50 +0200aaronv(~aaronv@user/aaronv) aaronv
2025-09-19 02:43:22 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-09-19 02:43:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 02:44:28 +0200aaronv_(~aaronv@user/aaronv) aaronv
2025-09-19 02:46:06 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-19 02:46:22 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-19 02:47:34 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 256 seconds)
2025-09-19 02:47:54 +0200xff0x(~xff0x@2405:6580:b080:900:24e9:81bc:8e37:65ac) (Ping timeout: 248 seconds)
2025-09-19 02:48:16 +0200trickard(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 258 seconds)
2025-09-19 02:48:33 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 02:48:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 02:51:28 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-19 02:53:08 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-09-19 02:54:25 +0200humasect_(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-19 02:56:37 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds)
2025-09-19 02:58:41 +0200vetkat(~vetkat@user/vetkat) vetkat
2025-09-19 02:59:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 03:06:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 03:12:30 +0200aaronv_(~aaronv@user/aaronv) (Ping timeout: 256 seconds)
2025-09-19 03:13:54 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 03:13:55 +0200AlexNoo_(~AlexNoo@85.174.180.29)
2025-09-19 03:13:58 +0200aaronv_(~aaronv@user/aaronv) aaronv
2025-09-19 03:15:06 +0200AlexZenon(~alzenon@178.34.162.29) (Ping timeout: 248 seconds)
2025-09-19 03:15:21 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-19 03:16:03 +0200AlexZenon(~alzenon@85.174.180.29)
2025-09-19 03:17:07 +0200AlexNoo(~AlexNoo@178.34.162.29) (Ping timeout: 250 seconds)
2025-09-19 03:17:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 03:22:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 03:30:56 +0200LycurgusJuanDaugherty
2025-09-19 03:31:09 +0200JuanDaugherty(~juan@user/Lycurgus) (Changing host)
2025-09-19 03:31:09 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-09-19 03:32:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 03:37:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 03:41:30 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-19 03:48:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 03:51:10 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-19 03:52:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 04:03:34 +0200humasect_(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-19 04:03:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 04:04:19 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-19 04:05:18 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-09-19 04:08:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 04:09:34 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-19 04:18:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 04:23:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 04:31:16 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-09-19 04:34:17 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-19 04:34:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 04:35:52 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-09-19 04:36:21 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-09-19 04:36:21 +0200ChanServ+v haskellbridge
2025-09-19 04:40:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 04:41:05 +0200h2t(~h2t@user/h2t) (Server closed connection)
2025-09-19 04:41:19 +0200h2t(~h2t@user/h2t) h2t
2025-09-19 04:44:08 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-09-19 04:44:39 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-09-19 04:52:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 04:56:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 05:06:33 +0200jjhoo(~jahakala@user/jjhoo) (Ping timeout: 260 seconds)
2025-09-19 05:07:30 +0200aforemny(~aforemny@i577B1293.versanet.de) aforemny
2025-09-19 05:07:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 05:08:06 +0200aforemny_(~aforemny@2001:9e8:6cc8:5900:5a53:58bc:b5c4:22e6) (Ping timeout: 256 seconds)
2025-09-19 05:09:09 +0200posixlycorrect(~posixlyco@user/posixlycorrect) ()
2025-09-19 05:10:40 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-19 05:10:53 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 05:12:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 05:14:11 +0200Axma98840(~Axman6@user/axman6) Axman6
2025-09-19 05:15:52 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-19 05:16:33 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-19 05:27:56 +0200aaronv_(~aaronv@user/aaronv) (Ping timeout: 256 seconds)
2025-09-19 05:29:37 +0200aaronv_(~aaronv@user/aaronv) aaronv
2025-09-19 05:29:45 +0200aaronv_(~aaronv@user/aaronv) (Remote host closed the connection)
2025-09-19 05:42:31 +0200khumba(~khumba@user/khumba) khumba
2025-09-19 05:47:35 +0200humasect_(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-19 05:49:27 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds)
2025-09-19 05:54:37 +0200 <haskellbridge> <iqubic (she/her)> Does Haskell support putting arbitrary unicode characters in strings?
2025-09-19 05:54:45 +0200 <haskellbridge> <iqubic (she/her)> I have a section of code in my XMonad config that looks like this:
2025-09-19 05:55:01 +0200 <haskellbridge> <iqubic (she/her)> renameWS "1" = xmobarFont 1 ""
2025-09-19 05:55:03 +0200 <haskellbridge> <iqubic (she/her)> renameWS "2" = xmobarFont 1 ""
2025-09-19 05:55:31 +0200 <haskellbridge> <iqubic (she/her)> I'm using fancy unicode symbols from Nerd Fonts here. They are supposed to be numbers inside boxes.
2025-09-19 05:58:05 +0200gues13178(~username@104-3-192-151.lightspeed.tulsok.sbcglobal.net)
2025-09-19 05:58:52 +0200gues13178d0liver
2025-09-19 06:04:56 +0200 <pavonia> You should be able to use Unicode characters in string literals, yes
2025-09-19 06:04:58 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-09-19 06:05:11 +0200 <haskellbridge> <iqubic (she/her)> https://dpaste.org/SErmG/raw
2025-09-19 06:05:16 +0200 <haskellbridge> <iqubic (she/her)> I don't think I can...
2025-09-19 06:05:25 +0200 <haskellbridge> <iqubic (she/her)> GHC is getting all confused here.
2025-09-19 06:07:42 +0200jmcantrell_jmcantrell
2025-09-19 06:07:48 +0200 <pavonia> Hhm
2025-09-19 06:07:48 +0200 <davean> iqubic: Haskell has full unicode support, but that char litteral well https://www.fileformat.info/info/unicode/char/f03a6/index.htm
2025-09-19 06:07:55 +0200 <davean> Thats the private usage area.
2025-09-19 06:08:08 +0200poscat(~poscat@user/poscat) poscat
2025-09-19 06:08:14 +0200 <davean> Thats not a unicode symbol
2025-09-19 06:09:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 06:09:35 +0200 <haskellbridge> <iqubic (she/her)> Right... it's \uf03a6
2025-09-19 06:09:50 +0200 <haskellbridge> <iqubic (she/her)> I can still make this work, I think.
2025-09-19 06:10:03 +0200 <davean> So GHC can't know what to do with it since it is locally defined
2025-09-19 06:10:31 +0200 <haskellbridge> <iqubic (she/her)> Right... I understand. That's a bit annoying here.
2025-09-19 06:10:44 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-19 06:13:01 +0200 <davean> Why are you trying to stick a private use char into a string anyway?
2025-09-19 06:13:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 06:15:00 +0200 <haskellbridge> <iqubic (she/her)> So that I can send it to my XMobar status bar. I'm having Haskell construct a string to send to XMobar for display
2025-09-19 06:24:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 06:29:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 06:33:01 +0200humasect_(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-19 06:37:51 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-19 06:40:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 06:40:21 +0200Axma98840(~Axman6@user/axman6) (Ping timeout: 264 seconds)
2025-09-19 06:44:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 06:55:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 06:59:21 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 258 seconds)
2025-09-19 07:00:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 07:02:21 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 07:03:28 +0200hsw__(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection)
2025-09-19 07:03:52 +0200hsw__(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw
2025-09-19 07:11:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 07:11:27 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-19 07:12:08 +0200michalz(~michalz@185.246.207.203)
2025-09-19 07:17:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-19 07:27:14 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-19 07:27:26 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 07:28:20 +0200Lears(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-09-19 07:29:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 07:33:40 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-19 07:33:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 07:33:59 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-19 07:35:38 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-09-19 07:44:05 +0200jle`(~jle`@2603:8001:3b00:11::1156) (Ping timeout: 245 seconds)
2025-09-19 07:44:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 07:45:45 +0200Googulator2(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-19 07:45:45 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-19 07:45:51 +0200jle`(~jle`@2603:8001:3b00:11::1156) jle`
2025-09-19 07:49:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 07:52:17 +0200 <kaol> Haskell is lovely. I dread what I'd have to do with some other language where I couldn't do things like (fmap . fmap . fmap) just like that.
2025-09-19 07:55:05 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-09-19 08:00:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 08:03:31 +0200Axma41470(~Axman6@user/axman6) Axman6
2025-09-19 08:04:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 08:05:45 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-09-19 08:10:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 08:10:11 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-19 08:10:44 +0200Googulator2(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-19 08:10:50 +0200Googulator48(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-19 08:14:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 08:16:00 +0200Googulator69(~Googulato@178-164-188-203.pool.digikabel.hu)
2025-09-19 08:16:21 +0200Googulator48(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-19 08:16:51 +0200Googulator69Googulator
2025-09-19 08:19:54 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds)
2025-09-19 08:25:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 08:25:51 +0200trickard_trickard
2025-09-19 08:26:12 +0200Googulator(~Googulato@178-164-188-203.pool.digikabel.hu) (Quit: Client closed)
2025-09-19 08:30:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 08:30:44 +0200khumba(~khumba@user/khumba) ()
2025-09-19 08:40:32 +0200emmanuelux_(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-09-19 08:40:36 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-19 08:40:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 08:41:07 +0200tromp(~textual@2001:1c00:3487:1b00:e91c:4745:1af1:e3b4)
2025-09-19 08:42:46 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-19 08:45:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 08:50:07 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-19 08:52:52 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-19 08:56:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:00:01 +0200caconym74787(~caconym@user/caconym) (Quit: bye)
2025-09-19 09:00:17 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 265 seconds)
2025-09-19 09:00:39 +0200caconym74787(~caconym@user/caconym) caconym
2025-09-19 09:00:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 09:01:11 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-09-19 09:03:04 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-09-19 09:04:26 +0200Square2(~Square@user/square) Square
2025-09-19 09:04:47 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-19 09:06:06 +0200Square(~Square4@user/square) Square
2025-09-19 09:06:55 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-19 09:08:19 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-19 09:09:03 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-09-19 09:11:03 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-19 09:11:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:14:39 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-19 09:15:10 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds)
2025-09-19 09:15:10 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-09-19 09:15:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 09:19:08 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-19 09:20:42 +0200vpan(~vpan@212.117.1.172)
2025-09-19 09:21:01 +0200vpanGuest6036
2025-09-19 09:21:19 +0200Guest6036vpan
2025-09-19 09:25:10 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-19 09:26:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:27:03 +0200Axma41470(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-19 09:27:35 +0200chele(~chele@user/chele) chele
2025-09-19 09:28:11 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-09-19 09:29:22 +0200mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com)
2025-09-19 09:31:22 +0200arandombit(~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4)
2025-09-19 09:31:22 +0200arandombit(~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) (Changing host)
2025-09-19 09:31:22 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-19 09:31:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 09:34:14 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-09-19 09:35:09 +0200 <tomsmeding> iqubic: if no other way then at the very least you can put the unicode escape there -- \xF03A6 for the character that davean linked
2025-09-19 09:37:00 +0200 <dibblego> data Tree a b = Tree a (Either [Tree a b] [b]) -- does this exist anywhere?
2025-09-19 09:37:29 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-19 09:41:04 +0200hsw__(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving)
2025-09-19 09:41:23 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-19 09:42:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:42:51 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2025-09-19 09:42:58 +0200vpan(~vpan@212.117.1.172)
2025-09-19 09:43:22 +0200vpanGuest7912
2025-09-19 09:44:05 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-19 09:46:53 +0200Square(~Square4@user/square) (Ping timeout: 256 seconds)
2025-09-19 09:46:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 09:49:11 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-19 09:50:41 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-09-19 09:51:10 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-09-19 09:55:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:56:20 +0200nitrix_(~nitrix@user/meow/nitrix) nitrix
2025-09-19 09:57:37 +0200nitrix(~nitrix@user/meow/nitrix) (Ping timeout: 258 seconds)
2025-09-19 09:59:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-19 10:00:18 +0200 <tomsmeding> it's close-ish to `data Tree a b = Leaf a b | Node a (Tree a b) (Tree a b)`, which I'd guess has a higher chance of existing somewhere
2025-09-19 10:01:43 +0200Guest7912vpan
2025-09-19 10:05:14 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Ping timeout: 260 seconds)
2025-09-19 10:06:32 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-19 10:08:17 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-19 10:10:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn