2025/10/23

Newest at the top

2025-10-23 17:01:35 +0200bggd(~bgg@2a01:e0a:819:1510:1b45:b7a3:b4e:5159)
2025-10-23 16:59:43 +0200FirefoxDeHuk(~FirefoxDe@109.108.69.106) (Write error: Broken pipe)
2025-10-23 16:59:22 +0200FirefoxDeHuk(~FirefoxDe@109.108.69.106)
2025-10-23 16:48:07 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-10-23 16:46:41 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-23 16:46:31 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
2025-10-23 16:42:16 +0200deptype(~deptype@2406:b400:d4:c314:37d2:1fe8:9590:1374) (Ping timeout: 256 seconds)
2025-10-23 16:40:28 +0200deptype_(~deptype@124.123.188.12)
2025-10-23 16:34:25 +0200tromp(~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-23 16:33:36 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-23 16:33:19 +0200craunts795335385(~craunts@136.158.7.194)
2025-10-23 16:24:45 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-23 16:23:30 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-10-23 16:22:25 +0200trickard_trickard
2025-10-23 16:19:28 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-10-23 16:14:04 +0200 <kuribas> bwe: it is likely to be inefficient, unless the instance get inlined.
2025-10-23 16:13:15 +0200 <bwe> kuribas: I felt bad at just using unpack to get it to String.
2025-10-23 16:12:54 +0200 <bwe> Leary: That's what I was looking for. Thanks.
2025-10-23 16:11:38 +0200 <Leary> bwe: If you want to use the `Read` typeclass, you can only `unpack` to `String`. If it's just for a number, there are some `Reader`s in `Data.Text.Reader`.
2025-10-23 16:10:34 +0200 <kuribas> Or specific parser for Text
2025-10-23 16:10:23 +0200 <kuribas> readMaybe . unpack?
2025-10-23 16:06:03 +0200 <bwe> what's the equivalent for Text as input? `readMaybe :: Read a => String -> Maybe a`
2025-10-23 16:04:00 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-10-23 16:01:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus)
2025-10-23 15:50:03 +0200Square(~Square4@user/square) (Ping timeout: 244 seconds)
2025-10-23 15:48:03 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-10-23 15:47:46 +0200deptype(~deptype@2406:b400:d4:c314:37d2:1fe8:9590:1374)
2025-10-23 15:47:29 +0200deptype(~deptype@2406:b400:d4:c314:8332:aeaf:6094:c234) (Remote host closed the connection)
2025-10-23 15:45:48 +0200Googulator50(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 15:45:47 +0200Googulator72(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 15:45:33 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-10-23 15:40:14 +0200kubrat(~kubrat@149.62.205.188) kubrat
2025-10-23 15:38:56 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-23 15:33:23 +0200malte(~malte@mal.tc) malte
2025-10-23 15:32:40 +0200malte(~malte@mal.tc) (Ping timeout: 246 seconds)
2025-10-23 15:27:59 +0200gustrb(~gustrb@191.243.134.87)
2025-10-23 15:26:13 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 15:25:46 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-23 15:24:03 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-23 15:23:28 +0200qqe(~qqq@185.54.23.200)
2025-10-23 15:22:16 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-10-23 15:20:40 +0200Googulator56(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-23 15:20:40 +0200Googulator72(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-23 15:16:42 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-10-23 15:15:03 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-23 15:14:49 +0200trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-23 15:10:58 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-23 15:08:25 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds)
2025-10-23 15:08:08 +0200 <tomsmeding> yes
2025-10-23 15:08:04 +0200 <kuribas> singletons are a good sign you want dependent types :)