2024/05/19

Newest at the top

2024-05-19 17:24:55 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-19 17:24:29 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-19 17:21:53 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer)
2024-05-19 17:20:28 +0200 <yin> String represent sequences of characters encoded as Unicode code points but it's not tied to any specific encoding afaiui. using Text ensures the text is properly encoded as UTF-8
2024-05-19 17:17:36 +0200 <jtza8> Thanks though.
2024-05-19 17:17:06 +0200 <jtza8> It's likely something with my setup. Using nix on Arch Linux.
2024-05-19 17:16:16 +0200 <yin> try using Text
2024-05-19 17:15:41 +0200ph88(~ph88@2a02:8109:9e26:c800:89a1:6764:e3be:d52b) (Ping timeout: 240 seconds)
2024-05-19 17:14:26 +0200 <jtza8> String
2024-05-19 17:14:07 +0200 <yin> String or Text ?
2024-05-19 17:12:35 +0200ss4(~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
2024-05-19 17:12:26 +0200 <jtza8> Strangely fails.
2024-05-19 17:12:15 +0200 <jtza8> I tested putStrLn.
2024-05-19 17:11:14 +0200 <yin> are you using print, putStr, show , or something else?
2024-05-19 17:10:24 +0200 <jtza8> Compiled code crashes with an exception, ghci prints question marks instead of "invalid" code points.
2024-05-19 17:09:32 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-19 17:09:29 +0200 <yin> jtza8: what are you getting instead?
2024-05-19 17:08:13 +0200 <jtza8> (I'm trying to use the Hedgehog testing suite.)
2024-05-19 17:06:42 +0200 <jtza8> I'm wondering why GHC refuses to print UTF-8 encoded, non-ascii charactes despite my LANG environment variable being set to "en_US.UTF-8". My terminal doesn't have any trouble printing exotic characters.
2024-05-19 17:04:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-19 17:02:35 +0200jtza8(~user@user/jtza8)
2024-05-19 16:52:47 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds)
2024-05-19 16:47:19 +0200petrichor(~znc-user@user/petrichor)
2024-05-19 16:46:26 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-19 16:44:31 +0200yin(~yin@user/zero)
2024-05-19 16:41:11 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-19 16:38:34 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-05-19 16:37:42 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-19 16:34:42 +0200rvalue(~rvalue@user/rvalue)
2024-05-19 16:34:12 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-19 16:32:26 +0200son0p(~ff@186.121.14.247)
2024-05-19 16:26:23 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-05-19 16:22:44 +0200auri(~auri@fsf/member/auri)
2024-05-19 16:21:25 +0200auri(~auri@fsf/member/auri) (Quit: No Ping reply in 180 seconds.)
2024-05-19 16:21:12 +0200Philonous(~Philonous@user/philonous)
2024-05-19 16:20:51 +0200Philonous(~Philonous@user/philonous) (Quit: ZNC - https://znc.in)
2024-05-19 16:15:59 +0200son0p(~ff@186.121.14.247) (Quit: Leaving)
2024-05-19 16:15:40 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-05-19 16:10:23 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-19 16:08:29 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds)
2024-05-19 16:08:23 +0200euleritian(~euleritia@dynamic-176-006-183-204.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-05-19 16:03:32 +0200euleritian(~euleritia@dynamic-176-006-183-204.176.6.pool.telefonica.de)
2024-05-19 16:02:06 +0200ph88(~ph88@2a02:8109:9e26:c800:89a1:6764:e3be:d52b)
2024-05-19 15:59:44 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-19 15:58:47 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
2024-05-19 15:57:50 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds)
2024-05-19 15:56:03 +0200ss4(~wootehfoo@user/wootehfoot)
2024-05-19 15:44:22 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:2f7f:60c6:1960:5610)
2024-05-19 15:37:32 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-19 15:13:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)