2025/03/10

Newest at the top

2025-03-10 19:20:01 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-10 19:16:25 +0100ft(~ft@p508db291.dip0.t-ipconnect.de) ft
2025-03-10 19:15:51 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 19:15:29 +0100acidjnk_new(~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-03-10 19:01:04 +0100euphores(~SASL_euph@user/euphores) euphores
2025-03-10 18:56:09 +0100synchromesh(~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) synchromesh
2025-03-10 18:55:18 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-03-10 18:55:18 +0100synchromesh(~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer)
2025-03-10 18:52:55 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-03-10 18:43:24 +0100Square2(~Square4@user/square) (Ping timeout: 272 seconds)
2025-03-10 18:40:19 +0100Square(~Square@user/square) Square
2025-03-10 18:39:51 +0100harveypwca(~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving)
2025-03-10 18:37:53 +0100esph(~weechat@user/esph) (Read error: Connection reset by peer)
2025-03-10 18:34:45 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-10 18:33:32 +0100sprotte24(~sprotte24@p200300d16f2be600dd41c2d10079e9f2.dip0.t-ipconnect.de)
2025-03-10 18:30:26 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 18:24:52 +0100pavonia(~user@user/siracusa) siracusa
2025-03-10 18:19:04 +0100acidjnk_new(~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de)
2025-03-10 18:17:20 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-10 18:15:12 +0100euouae(~euouae@user/euouae) ()
2025-03-10 17:55:54 +0100acidjnk_new(~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-10 17:49:34 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-10 17:47:05 +0100iteratee(~kyle@199.119.84.78) iteratee
2025-03-10 17:45:02 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 17:43:55 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-03-10 17:36:30 +0100__monty__(~toonn@user/toonn) toonn
2025-03-10 17:32:52 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-10 17:32:22 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-10 17:29:06 +0100greenOcean(~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Remote host closed the connection)
2025-03-10 17:27:23 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-03-10 17:27:13 +0100polux5polux
2025-03-10 17:27:12 +0100polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 252 seconds)
2025-03-10 17:26:17 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-10 17:24:42 +0100polux5(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2025-03-10 17:24:29 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-03-10 17:21:41 +0100 <euouae> Hm... this article I think explains the issues <https://www.williamyaoh.com/posts/2023-06-10-monad-transformers-101.html> and the choices between transformers and mtl
2025-03-10 17:21:36 +0100ljdarj1ljdarj
2025-03-10 17:21:36 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-03-10 17:18:38 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-10 17:03:52 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-10 17:03:31 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-03-10 17:03:04 +0100zungi(~tory@user/andrewchawk) (Remote host closed the connection)
2025-03-10 17:01:24 +0100 <euouae> by using takeWhileP with a state monad I can optimize away the pack
2025-03-10 17:01:00 +0100 <euouae> do I need a ParsecT State or a StateT Parsec?
2025-03-10 17:00:48 +0100 <euouae> I'm trying instead to use takeWhileP, and I think I need to wrap the argument in a State monad, or the other way around, but I can't figure out which way I need to go
2025-03-10 17:00:00 +0100 <euouae> what I currently have is `count 10 p`, which then requires to pack it. (p :: Parser Char)
2025-03-10 16:59:25 +0100 <euouae> Hello I'm using megaparsec and I want to write a parser that applies another parser 10 times and collects the results in a Text
2025-03-10 16:58:57 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 16:58:14 +0100euouae(~euouae@user/euouae) euouae
2025-03-10 16:44:55 +0100greenOcean(~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734)