2025/11/20

Newest at the top

2025-11-20 17:12:58 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-20 17:09:33 +0100Square3(~Square@user/square) (Ping timeout: 252 seconds)
2025-11-20 17:06:22 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-20 17:06:09 +0100Googulator84(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-20 17:05:52 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 17:05:27 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 17:05:13 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 17:00:44 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) SlackCoder
2025-11-20 16:59:28 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) (Ping timeout: 244 seconds)
2025-11-20 16:56:13 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 16:55:58 +0100merijn(~merijn@77.242.116.146) (Quit: Reconnecting)
2025-11-20 16:53:28 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds)
2025-11-20 16:26:59 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 16:24:45 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)
2025-11-20 16:24:04 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-20 16:19:34 +0100Xe_Xe
2025-11-20 16:18:55 +0100 <yin> (I'm also just learning about Selective Applicatives)
2025-11-20 16:18:05 +0100foul_owl(~kerry@94.156.149.97) foul_owl
2025-11-20 16:17:01 +0100 <yin> Learning about FRP and understanding the problam with using Monad in its context, I ask if Selective Applicative offers useful expressiveness without the downsides
2025-11-20 16:14:07 +0100trickard_trickard
2025-11-20 16:12:49 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-20 16:11:56 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-11-20 16:11:41 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2025-11-20 16:06:35 +0100Square3(~Square@user/square) Square
2025-11-20 16:05:55 +0100qqe(~qqq@185.54.21.140)
2025-11-20 16:03:35 +0100foul_owl(~kerry@94.156.149.94) (Ping timeout: 250 seconds)
2025-11-20 15:58:37 +0100sshine_sshine
2025-11-20 15:46:27 +0100 <kuribas> yeah, I am setting this from ghci
2025-11-20 15:39:43 +0100 <tomsmeding> if you just pass -ddump-splices they get written to stderr, which works fine if you apply it to just one file (hint: {-# OPTIONS -ddump-splices #-})
2025-11-20 15:36:34 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) SlackCoder
2025-11-20 15:34:07 +0100 <merijn> kuribas: I don't remember exactly when and you generally wanna do some fiddling with file naming/output dirs to make them findable
2025-11-20 15:34:01 +0100 <lucabtz> yeah someone mentions -ddump-splices
2025-11-20 15:33:35 +0100 <merijn> kuribas: I dunno if someone answer you already while I was disconnected, but GHC has a flag to write out all generated splices to files
2025-11-20 15:30:17 +0100timide(~timide@user/timide) timide
2025-11-20 15:29:08 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 15:28:49 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 15:28:05 +0100tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-11-20 15:22:35 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-20 15:20:44 +0100Googulator6(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 15:20:39 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 15:16:28 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 15:16:14 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 15:08:14 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-11-20 15:06:58 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-11-20 15:00:33 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-20 14:55:19 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 14:54:43 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)
2025-11-20 14:51:27 +0100spew(~spew@user/spew) spew
2025-11-20 14:48:02 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-20 14:47:57 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)