2025/09/19

Newest at the top

2025-09-19 07:12:08 +0200michalz(~michalz@185.246.207.203)
2025-09-19 07:11:27 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-19 07:11:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 07:03:52 +0200hsw__(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw
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:02:21 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-19 07:00:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 06:59:21 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 258 seconds)
2025-09-19 06:55:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 06:44:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 06:40:21 +0200Axma98840(~Axman6@user/axman6) (Ping timeout: 264 seconds)
2025-09-19 06:40:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 06:37:51 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-19 06:33:01 +0200humasect_(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-19 06:29:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-19 06:24:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
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:13:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
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:10:44 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
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:03 +0200 <davean> So GHC can't know what to do with it since it is locally defined
2025-09-19 06:09:50 +0200 <haskellbridge> <iqubic (she/her)> I can still make this work, I think.
2025-09-19 06:09:35 +0200 <haskellbridge> <iqubic (she/her)> Right... it's \uf03a6
2025-09-19 06:09:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 06:08:14 +0200 <davean> Thats not a unicode symbol
2025-09-19 06:08:08 +0200poscat(~poscat@user/poscat) poscat
2025-09-19 06:07:55 +0200 <davean> Thats the private usage area.
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:48 +0200 <pavonia> Hhm
2025-09-19 06:07:42 +0200jmcantrell_jmcantrell
2025-09-19 06:05:25 +0200 <haskellbridge> <iqubic (she/her)> GHC is getting all confused here.
2025-09-19 06:05:16 +0200 <haskellbridge> <iqubic (she/her)> I don't think I can...
2025-09-19 06:05:11 +0200 <haskellbridge> <iqubic (she/her)> https://dpaste.org/SErmG/raw
2025-09-19 06:04:58 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-09-19 06:04:56 +0200 <pavonia> You should be able to use Unicode characters in string literals, yes
2025-09-19 05:58:52 +0200gues13178d0liver
2025-09-19 05:58:05 +0200gues13178(~username@104-3-192-151.lightspeed.tulsok.sbcglobal.net)
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:55:03 +0200 <haskellbridge> <iqubic (she/her)> renameWS "2" = xmobarFont 1 ""
2025-09-19 05:55:01 +0200 <haskellbridge> <iqubic (she/her)> renameWS "1" = xmobarFont 1 ""
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:54:37 +0200 <haskellbridge> <iqubic (she/her)> Does Haskell support putting arbitrary unicode characters in strings?
2025-09-19 05:49:27 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds)
2025-09-19 05:47:35 +0200humasect_(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-19 05:42:31 +0200khumba(~khumba@user/khumba) khumba
2025-09-19 05:29:45 +0200aaronv_(~aaronv@user/aaronv) (Remote host closed the connection)
2025-09-19 05:29:37 +0200aaronv_(~aaronv@user/aaronv) aaronv
2025-09-19 05:27:56 +0200aaronv_(~aaronv@user/aaronv) (Ping timeout: 256 seconds)
2025-09-19 05:16:33 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)