2024/10/15

Newest at the top

2024-10-15 19:16:07 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2024-10-15 19:15:27 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-15 19:10:12 +0200 <lambdabot> 3602879701896397 % 36028797018963968
2024-10-15 19:10:10 +0200 <EvanR> > toRational 0.1
2024-10-15 19:09:49 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-15 19:03:53 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
2024-10-15 19:03:47 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-10-15 18:59:19 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-15 18:57:44 +0200Joao[3](~Joao003@190.108.99.216) Joao003
2024-10-15 18:53:59 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-15 18:49:47 +0200 <geekosaur> configurability would imply being in `IO` instead of being pure
2024-10-15 18:47:43 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-10-15 18:43:55 +0200 <EvanR> yeah that paper is great
2024-10-15 18:43:35 +0200 <EvanR> which isn't configurable afaict
2024-10-15 18:43:20 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb5475cfd1c549ef8808.dip0.t-ipconnect.de) acidjnk
2024-10-15 18:43:18 +0200 <EvanR> does printf and showFFloat have anything to do with the Show instance/
2024-10-15 18:41:15 +0200briandaed(~root@185.234.210.211.r.toneticgroup.pl)
2024-10-15 18:39:44 +0200briandaed(~root@185.234.210.211.r.toneticgroup.pl) (Read error: Connection reset by peer)
2024-10-15 18:36:12 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
2024-10-15 18:35:46 +0200 <haskellbridge> <Bowuigi> The "#"s are printed as zeroes in Haskell too, that's why it looked like that on 1/3
2024-10-15 18:35:10 +0200mari-estel(~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) (Quit: taking a break)
2024-10-15 18:34:04 +0200 <haskellbridge> <Bowuigi> Ohhh that's really cool
2024-10-15 18:34:04 +0200jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada
2024-10-15 18:30:20 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-10-15 18:30:00 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-10-15 18:27:48 +0200 <dolio> https://dl.acm.org/doi/pdf/10.1145/249069.231397
2024-10-15 18:27:04 +0200 <dolio> EvanR, Bowuigi: The Show instance for floating point numbers uses an algorithm that figures out how to create the shortest string that will be read back in as the same number.
2024-10-15 18:26:41 +0200 <lxsameer> which one is appropriate for a function in a record: `init :: forall e. (e ~ SomeException) => IO (Either e Int64)` or `init :: forall e. (Exception e) => IO (Either e Int64)`?
2024-10-15 18:24:43 +0200alexherbo2(~alexherbo@2a02-8440-3102-d9ee-0047-5224-edfa-6ff2.rev.sfr.net) (Remote host closed the connection)
2024-10-15 18:21:38 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb5435abe4c8369aafbe.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-10-15 18:17:30 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-10-15 18:11:48 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2024-10-15 18:11:46 +0200 <haskellbridge> <hellwolf> s/vdp/vdq/
2024-10-15 18:11:26 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/YxxmvvRUwCUBSRmzXLGOWDLg/F6KcgE_BJEc (4 lines)
2024-10-15 18:11:26 +0200 <haskellbridge> <hellwolf> alright... vdp syntax question again.
2024-10-15 18:09:37 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-15 18:09:25 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-10-15 18:07:21 +0200comerijn(~merijn@77.242.116.146) merijn
2024-10-15 18:06:21 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-10-15 18:02:41 +0200euleritian(~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) (Ping timeout: 255 seconds)
2024-10-15 18:00:41 +0200 <EvanR> for list of something
2024-10-15 18:00:35 +0200 <EvanR> I guess bird is a type synonym
2024-10-15 18:00:17 +0200Achylles(~Achylles@45.182.57.12) Achylles
2024-10-15 17:58:53 +0200 <EvanR> oh lol
2024-10-15 17:58:31 +0200 <c_wraith> But that's expected when inlining into a reddit title
2024-10-15 17:58:15 +0200 <c_wraith> There's a newline missing
2024-10-15 17:57:55 +0200 <EvanR> it's 3 years old, 11 comments, correcting the post not allowed. Thanks Reddit
2024-10-15 17:57:25 +0200 <EvanR> (or won't)
2024-10-15 17:57:08 +0200 <EvanR> can't construct infinite kind
2024-10-15 17:56:47 +0200 <EvanR> er, source