Newest at the top
2024-10-15 18:24:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-d9ee-0047-5224-edfa-6ff2.rev.sfr.net) (Remote host closed the connection) |
2024-10-15 18:21:38 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5435abe4c8369aafbe.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-10-15 18:17:30 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-10-15 18:11:48 +0200 | comerijn | (~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 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-15 18:09:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-15 18:07:21 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2024-10-15 18:06:21 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-10-15 18:02:41 +0200 | euleritian | (~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 +0200 | Achylles | (~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 |
2024-10-15 17:56:37 +0200 | <EvanR> | bird has kind * -> * -> *, so it can't be the target of a function type? |
2024-10-15 17:55:25 +0200 | <EvanR> | the type signature looks wrong |
2024-10-15 17:54:29 +0200 | <c_wraith> | Maybe if it was list of bird to list of bird... |
2024-10-15 17:54:11 +0200 | <c_wraith> | I don't see how that body will typecheck with that given type |
2024-10-15 17:53:24 +0200 | <c_wraith> | that doesn't look valid to me |
2024-10-15 17:52:28 +0200 | <yin> | "yes, interesting. it's just as legible as normal haskell" made me smirk |
2024-10-15 17:51:15 +0200 | <yin> | not sure if your browser will render this correctly, but: https://www.reddit.com/r/programmingcirclejerk/comments/pl6xu4/one_of_the_things_ive_read_in_the_l… |
2024-10-15 17:48:31 +0200 | <EvanR> | yin, that sounds horrible lol |
2024-10-15 17:48:26 +0200 | <biberao> | hi |
2024-10-15 17:48:24 +0200 | biberao | (~m@user/biberao) biberao |
2024-10-15 17:47:49 +0200 | <EvanR> | (in C) |
2024-10-15 17:47:26 +0200 | poscat | (~poscat@user/poscat) poscat |
2024-10-15 17:47:04 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
2024-10-15 17:46:59 +0200 | <yin> | ohh this should be fun https://hackage.haskell.org/package/unicode-tricks-0.14.1.0/docs/Data-Char-Number-Egyptian.html |
2024-10-15 17:46:14 +0200 | <EvanR> | behavior decidedly different from printf |
2024-10-15 17:45:30 +0200 | <EvanR> | that depends on the scale, I guess |
2024-10-15 17:45:16 +0200 | <EvanR> | it craps out after an integer number of decimals |
2024-10-15 17:44:56 +0200 | <lambdabot> | "1024.33333333333330000000000000000000000000000000000000" |
2024-10-15 17:44:54 +0200 | <EvanR> | > showFFloat (Just 50) (1024 + 1/3) "" |
2024-10-15 17:44:41 +0200 | <yin> | EvanR: https://hackage.haskell.org/package/fractionizer-0.17.0.0/docs/EgyptianFractions.html |
2024-10-15 17:44:11 +0200 | <lambdabot> | "0.33333333333333330000000000000000000000000000000000" |
2024-10-15 17:44:09 +0200 | <EvanR> | > showFFloat (Just 50) (1/3) "" -- 🤪 |
2024-10-15 17:43:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-15 17:43:09 +0200 | <EvanR> | clearly we should be using Egyptian fractions by default |
2024-10-15 17:42:07 +0200 | <yin> | i wonder how efficient/performant they can be. i need to think about this |
2024-10-15 17:40:14 +0200 | <c_wraith> | there are several. I've never used any of them, nor do I know if they're up to date. |
2024-10-15 17:40:10 +0200 | <yin> | with the ability to perform arithmetic operations with a high degree of precision |
2024-10-15 17:39:40 +0200 | <yin> | c_wraith: i was wondering if there is any |