2025-09-19 00:09:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 00:10:02 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-09-19 00:13:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 00:23:01 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-19 00:24:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 00:24:58 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-09-19 00:29:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 00:29:19 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-19 00:29:32 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 00:36:06 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-19 00:39:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 00:44:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 00:54:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-19 00:55:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 00:59:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 01:03:48 +0200 | mikess | (~sam@user/mikess) (Quit: leaving) |
2025-09-19 01:07:08 +0200 | dfg | (~dfg@user/dfg) (Remote host closed the connection) |
2025-09-19 01:07:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
2025-09-19 01:07:21 +0200 | dfg | (~dfg@user/dfg) dfg |
2025-09-19 01:07:23 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
2025-09-19 01:07:23 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
2025-09-19 01:07:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
2025-09-19 01:07:29 +0200 | pandeyan | (~pandeyan@192-184-251-101.fiber.dynamic.sonic.net) |
2025-09-19 01:08:24 +0200 | anpad | (~pandeyan@user/anpad) (Read error: Connection reset by peer) |
2025-09-19 01:10:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 01:11:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:24e9:81bc:8e37:65ac) (Ping timeout: 256 seconds) |
2025-09-19 01:15:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 01:15:39 +0200 | mange | (~mange@user/mange) mange |
2025-09-19 01:16:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-09-19 01:20:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-19 01:24:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kdsks) |
2025-09-19 01:24:10 +0200 | acidjnk | (~acidjnk@p200300d6e7171931818b3f6cc8b1abe4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-09-19 01:24:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:24e9:81bc:8e37:65ac) |
2025-09-19 01:26:00 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-19 01:26:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 01:28:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-09-19 01:28:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-09-19 01:28:34 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-19 01:28:46 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 01:31:34 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-09-19 01:32:15 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-09-19 01:32:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 01:39:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-09-19 01:39:45 +0200 | sprotte24 | (~sprotte24@p200300d16f0ebf00040e1ff3e8fae618.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-09-19 01:41:58 +0200 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
2025-09-19 01:42:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 01:44:06 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
2025-09-19 01:44:39 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
2025-09-19 01:45:03 +0200 | craunts79 | (~craunts@152.32.99.194) |
2025-09-19 01:47:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-19 01:47:51 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
2025-09-19 01:49:31 +0200 | craunts79 | (~craunts@152.32.99.194) (Client Quit) |
2025-09-19 01:52:16 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
2025-09-19 01:53:51 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-09-19 01:57:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 01:58:16 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-19 01:58:28 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 02:02:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 02:07:34 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
2025-09-19 02:07:51 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-19 02:08:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-09-19 02:12:44 +0200 | defragger | (~random@i5C742C0E.versanet.de) (Ping timeout: 260 seconds) |
2025-09-19 02:13:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 02:14:07 +0200 | defragger | (~random@i5C742DFC.versanet.de) defragger |
2025-09-19 02:15:16 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
2025-09-19 02:17:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 02:20:46 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
2025-09-19 02:23:15 +0200 | trickard_ | trickard |
2025-09-19 02:28:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 02:32:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 02:38:48 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-19 02:42:50 +0200 | aaronv | (~aaronv@user/aaronv) aaronv |
2025-09-19 02:43:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-09-19 02:43:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 02:44:28 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
2025-09-19 02:46:06 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-19 02:46:22 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
2025-09-19 02:47:34 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 256 seconds) |
2025-09-19 02:47:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:24e9:81bc:8e37:65ac) (Ping timeout: 248 seconds) |
2025-09-19 02:48:16 +0200 | trickard | (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
2025-09-19 02:48:33 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 02:48:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 02:51:28 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-19 02:53:08 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
2025-09-19 02:54:25 +0200 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-19 02:56:37 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
2025-09-19 02:58:41 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
2025-09-19 02:59:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 03:06:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 03:12:30 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 256 seconds) |
2025-09-19 03:13:54 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 03:13:55 +0200 | AlexNoo_ | (~AlexNoo@85.174.180.29) |
2025-09-19 03:13:58 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
2025-09-19 03:15:06 +0200 | AlexZenon | (~alzenon@178.34.162.29) (Ping timeout: 248 seconds) |
2025-09-19 03:15:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-09-19 03:16:03 +0200 | AlexZenon | (~alzenon@85.174.180.29) |
2025-09-19 03:17:07 +0200 | AlexNoo | (~AlexNoo@178.34.162.29) (Ping timeout: 250 seconds) |
2025-09-19 03:17:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 03:22:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 03:30:56 +0200 | Lycurgus | JuanDaugherty |
2025-09-19 03:31:09 +0200 | JuanDaugherty | (~juan@user/Lycurgus) (Changing host) |
2025-09-19 03:31:09 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-09-19 03:32:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 03:37:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 03:41:30 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-19 03:48:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 03:51:10 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-19 03:52:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 04:03:34 +0200 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-09-19 04:03:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 04:04:19 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-19 04:05:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-09-19 04:08:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 04:09:34 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-19 04:18:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 04:23:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 04:31:16 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
2025-09-19 04:34:17 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-19 04:34:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 04:35:52 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-09-19 04:36:21 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-09-19 04:36:21 +0200 | ChanServ | +v haskellbridge |
2025-09-19 04:40:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 04:41:05 +0200 | h2t | (~h2t@user/h2t) (Server closed connection) |
2025-09-19 04:41:19 +0200 | h2t | (~h2t@user/h2t) h2t |
2025-09-19 04:44:08 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-09-19 04:44:39 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-09-19 04:52:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 04:56:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 05:06:33 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 260 seconds) |
2025-09-19 05:07:30 +0200 | aforemny | (~aforemny@i577B1293.versanet.de) aforemny |
2025-09-19 05:07:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 05:08:06 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc8:5900:5a53:58bc:b5c4:22e6) (Ping timeout: 256 seconds) |
2025-09-19 05:09:09 +0200 | posixlycorrect | (~posixlyco@user/posixlycorrect) () |
2025-09-19 05:10:40 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-19 05:10:53 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 05:12:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 05:14:11 +0200 | Axma98840 | (~Axman6@user/axman6) Axman6 |
2025-09-19 05:15:52 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-19 05:16:33 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-19 05:27:56 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 256 seconds) |
2025-09-19 05:29:37 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
2025-09-19 05:29:45 +0200 | aaronv_ | (~aaronv@user/aaronv) (Remote host closed the connection) |
2025-09-19 05:42:31 +0200 | khumba | (~khumba@user/khumba) khumba |
2025-09-19 05:47:35 +0200 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-19 05:49:27 +0200 | humasect | (~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 +0200 | gues13178 | (~username@104-3-192-151.lightspeed.tulsok.sbcglobal.net) |
2025-09-19 05:58:52 +0200 | gues13178 | d0liver |
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 +0200 | poscat0x04 | (~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 +0200 | jmcantrell_ | 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 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-09-19 06:08:14 +0200 | <davean> | Thats not a unicode symbol |
2025-09-19 06:09:10 +0200 | merijn | (~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 +0200 | haritz | (~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 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 06:29:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 06:33:01 +0200 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-09-19 06:37:51 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-19 06:40:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 06:40:21 +0200 | Axma98840 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
2025-09-19 06:44:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 06:55:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 06:59:21 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
2025-09-19 07:00:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 07:02:21 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 07:03:28 +0200 | hsw__ | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
2025-09-19 07:03:52 +0200 | hsw__ | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
2025-09-19 07:11:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 07:11:27 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-19 07:12:08 +0200 | michalz | (~michalz@185.246.207.203) |
2025-09-19 07:17:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-19 07:27:14 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-19 07:27:26 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 07:28:20 +0200 | Lears | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2025-09-19 07:29:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 07:33:40 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-19 07:33:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 07:33:59 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
2025-09-19 07:35:38 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-09-19 07:44:05 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 245 seconds) |
2025-09-19 07:44:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 07:45:45 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
2025-09-19 07:45:45 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-19 07:45:51 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) jle` |
2025-09-19 07:49:01 +0200 | merijn | (~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 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-09-19 08:00:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 08:03:31 +0200 | Axma41470 | (~Axman6@user/axman6) Axman6 |
2025-09-19 08:04:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 08:05:45 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
2025-09-19 08:10:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 08:10:11 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 08:10:44 +0200 | Googulator2 | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-19 08:10:50 +0200 | Googulator48 | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
2025-09-19 08:14:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 08:16:00 +0200 | Googulator69 | (~Googulato@178-164-188-203.pool.digikabel.hu) |
2025-09-19 08:16:21 +0200 | Googulator48 | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-19 08:16:51 +0200 | Googulator69 | Googulator |
2025-09-19 08:19:54 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
2025-09-19 08:25:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 08:25:51 +0200 | trickard_ | trickard |
2025-09-19 08:26:12 +0200 | Googulator | (~Googulato@178-164-188-203.pool.digikabel.hu) (Quit: Client closed) |
2025-09-19 08:30:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 08:30:44 +0200 | khumba | (~khumba@user/khumba) () |
2025-09-19 08:40:32 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-09-19 08:40:36 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-19 08:40:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 08:41:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e91c:4745:1af1:e3b4) |
2025-09-19 08:42:46 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-19 08:45:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 08:50:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-09-19 08:52:52 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-19 08:56:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:00:01 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
2025-09-19 09:00:17 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
2025-09-19 09:00:39 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
2025-09-19 09:00:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 09:01:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-19 09:03:04 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
2025-09-19 09:04:26 +0200 | Square2 | (~Square@user/square) Square |
2025-09-19 09:04:47 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-09-19 09:06:06 +0200 | Square | (~Square4@user/square) Square |
2025-09-19 09:06:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-09-19 09:08:19 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-19 09:09:03 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-09-19 09:11:03 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-19 09:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:14:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-19 09:15:10 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
2025-09-19 09:15:10 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-09-19 09:15:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 09:19:08 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-19 09:20:42 +0200 | vpan | (~vpan@212.117.1.172) |
2025-09-19 09:21:01 +0200 | vpan | Guest6036 |
2025-09-19 09:21:19 +0200 | Guest6036 | vpan |
2025-09-19 09:25:10 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-19 09:26:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:27:03 +0200 | Axma41470 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-19 09:27:35 +0200 | chele | (~chele@user/chele) chele |
2025-09-19 09:28:11 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-09-19 09:29:22 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
2025-09-19 09:31:22 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) |
2025-09-19 09:31:22 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) (Changing host) |
2025-09-19 09:31:22 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-19 09:31:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 09:34:14 +0200 | GdeVolpiano | (~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 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-19 09:41:04 +0200 | hsw__ | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
2025-09-19 09:41:23 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-09-19 09:42:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:42:51 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2025-09-19 09:42:58 +0200 | vpan | (~vpan@212.117.1.172) |
2025-09-19 09:43:22 +0200 | vpan | Guest7912 |
2025-09-19 09:44:05 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-19 09:46:53 +0200 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
2025-09-19 09:46:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 09:49:11 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 09:50:41 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-09-19 09:51:10 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-09-19 09:55:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:56:20 +0200 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
2025-09-19 09:57:37 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 258 seconds) |
2025-09-19 09:59:59 +0200 | merijn | (~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 +0200 | Guest7912 | vpan |
2025-09-19 10:05:14 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 260 seconds) |
2025-09-19 10:06:32 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-19 10:08:17 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 10:10:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 10:16:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e91c:4745:1af1:e3b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-19 10:17:30 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
2025-09-19 10:17:35 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-19 10:18:01 +0200 | Googulator | (~Googulato@81.183.235.203) |
2025-09-19 10:18:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-09-19 10:19:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 10:19:41 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-19 10:25:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-19 10:26:35 +0200 | acidjnk | (~acidjnk@p200300d6e7171937d46e20cf8ad144df.dip0.t-ipconnect.de) acidjnk |
2025-09-19 10:27:00 +0200 | A_Dragon | (A_D@libera/staff/dragon) ad |
2025-09-19 10:30:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 10:32:01 +0200 | gAy_Dragon | (A_D@libera/staff/dragon) (Ping timeout: 624 seconds) |
2025-09-19 10:35:04 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
2025-09-19 10:35:38 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-09-19 10:42:27 +0200 | byorgey | (~byorgey@user/byorgey) (Ping timeout: 258 seconds) |
2025-09-19 10:42:33 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-09-19 10:43:32 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 10:44:12 +0200 | byorgey | (~byorgey@user/byorgey) byorgey |
2025-09-19 10:47:47 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 250 seconds) |
2025-09-19 10:47:57 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 244 seconds) |
2025-09-19 10:48:53 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 10:50:29 +0200 | Axma26850 | (~Axman6@user/axman6) Axman6 |
2025-09-19 10:50:56 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
2025-09-19 10:51:59 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-09-19 10:52:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-19 10:58:17 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-09-19 11:05:36 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-19 11:05:49 +0200 | fp1 | (~Thunderbi@dhcp-85-46.eduroam.aalto.fi) fp |
2025-09-19 11:07:05 +0200 | remmie | (ianremsen@tilde.team) (Server closed connection) |
2025-09-19 11:07:54 +0200 | remmie | (ianremsen@tilde.team) remsense |
2025-09-19 11:08:32 +0200 | fp1 | (~Thunderbi@dhcp-85-46.eduroam.aalto.fi) (Read error: Connection reset by peer) |
2025-09-19 11:10:27 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-09-19 11:16:58 +0200 | AlexZenon | (~alzenon@85.174.180.29) (Ping timeout: 258 seconds) |
2025-09-19 11:18:32 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-09-19 11:18:32 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-09-19 11:18:32 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-09-19 11:19:04 +0200 | trickard | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-19 11:20:37 +0200 | AlexZenon | (~alzenon@85.174.180.29) |
2025-09-19 11:21:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-09-19 11:21:50 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 11:23:00 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-19 11:28:55 +0200 | Googulator4 | (~Googulato@81.183.235.203) |
2025-09-19 11:29:47 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) |
2025-09-19 11:29:47 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) (Changing host) |
2025-09-19 11:29:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-19 11:31:05 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Server closed connection) |
2025-09-19 11:31:13 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
2025-09-19 11:32:55 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
2025-09-19 11:35:08 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-19 11:35:21 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-19 11:35:33 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
2025-09-19 11:44:38 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-09-19 11:45:16 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-09-19 11:50:50 +0200 | trickard_ | trickard |
2025-09-19 11:54:24 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-09-19 12:01:54 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) |
2025-09-19 12:01:54 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) (Changing host) |
2025-09-19 12:01:54 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-19 12:04:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-09-19 12:04:12 +0200 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
2025-09-19 12:07:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-09-19 12:13:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2025-09-19 12:13:38 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-19 12:14:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
2025-09-19 12:16:09 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-19 12:18:45 +0200 | Axma26850 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
2025-09-19 12:20:28 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
2025-09-19 12:21:48 +0200 | trickard | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-19 12:22:00 +0200 | trickard | (~trickard@cpe-94-98-47-163.wireline.com.au) |