2025/01/16

Newest at the top

2025-01-16 22:10:49 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-01-16 22:10:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-16 22:07:42 +0100 <EvanR> if you expect / agree that this mapping results in a list of the same size and shape
2025-01-16 22:07:41 +0100 <haskellbridge> <sm> +1! even without power or in the even of a cyberpocalypse, I can read / reconstruct the data from a printout
2025-01-16 22:07:23 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-01-16 22:07:23 +0100 <EvanR> to simply map a type level list, it's not that bad
2025-01-16 22:06:43 +0100 <c_wraith> err, *without* the tools
2025-01-16 22:06:32 +0100 <c_wraith> there's a lot to be said for plain-text accounting. Tools automate lots of tasks, but with the tools all the info is still easily available.
2025-01-16 22:05:42 +0100 <haskellbridge> <sm> it's a sign!
2025-01-16 22:05:32 +0100 <constxd> i was just joking with my friend saying i'm going to start using GnuCash to track my finances and now 2mins later i stumble on this
2025-01-16 22:04:45 +0100 <constxd> wow cool i think i will play around with this hledger thing
2025-01-16 22:03:41 +0100 <c_wraith> There really isn't any way to approach type-level lists elegantly. By their nature, they require the types to reflect the terms in a way that just creates a lot of bookkeeping.
2025-01-16 21:59:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-16 21:57:38 +0100haskellbridgesm went down a rabbit hole gathering old notes: https://joyful.com/Haskell
2025-01-16 21:55:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-16 21:51:55 +0100 <fr33domlover> elegant way... are we still waiting for the golden Haskell feature that will solve that?
2025-01-16 21:51:55 +0100 <fr33domlover> o/ is there an elegant way to do type-level list mapping? I used to do it with FCF but much type/instance inference didn't happen and I ended up finding a workaround using Vinyl instead. But whenever I need type level list mapping (this starts repeating, let's call it TLLM :p) again I keep looking for ways to avoid it... sometimes there's no
2025-01-16 21:49:31 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-01-16 21:44:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-16 21:43:08 +0100weary-traveler(~user@user/user363627) user363627
2025-01-16 21:39:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-16 21:39:45 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds)
2025-01-16 21:39:37 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-16 21:39:02 +0100DigitteknohippieDigit
2025-01-16 21:33:33 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-01-16 21:29:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-16 21:29:27 +0100weary-traveler(~user@user/user363627) user363627
2025-01-16 21:29:24 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) (Quit: Leaving)
2025-01-16 21:26:46 +0100ColinRobinson(~00000000@user/JuanDaugherty) (Quit: Client closed)
2025-01-16 21:24:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-16 21:21:19 +0100 <juri_> website's back up. :P
2025-01-16 21:13:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-16 21:06:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-16 21:06:02 +0100JuanDaughertyColinRobinson
2025-01-16 21:02:00 +0100Digit(~user@user/digit) (Ping timeout: 276 seconds)
2025-01-16 21:00:41 +0100caconym(~caconym@user/caconym) caconym
2025-01-16 21:00:34 +0100Digitteknohippie(~user@user/digit) Digit
2025-01-16 21:00:02 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-16 20:58:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-01-16 20:55:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-16 20:54:24 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) SlackCoder
2025-01-16 20:51:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-16 20:50:10 +0100user363627(~user@user/user363627) (Remote host closed the connection)
2025-01-16 20:48:53 +0100JuanDaugherty(~00000000@user/JuanDaugherty) JuanDaugherty
2025-01-16 20:45:59 +0100dsrt^(~dsrt@108.192.66.114)
2025-01-16 20:44:07 +0100 <[exa]> lol I meant that github ranking from above
2025-01-16 20:41:33 +0100 <hellwolf> it might be an infinite list, it all depends on if you keep consume it.
2025-01-16 20:39:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-16 20:37:30 +0100[exa]discovers patat
2025-01-16 20:37:20 +0100 <[exa]> oh wow that's a good list