Newest at the top
2025-05-14 22:30:59 +0200 | <[exa]> | our lawyer is obsessed with the fact that we could opensource something without patenting it first, which is apparently a terrible loss |
2025-05-14 22:30:41 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
2025-05-14 22:29:34 +0200 | <monochrom> | Now I feel sorry for your lawyer. >:) |
2025-05-14 22:29:13 +0200 | <monochrom> | err nevermind, you just copy-paste the 5 lines of code you want. |
2025-05-14 22:29:11 +0200 | <[exa]> | that eventually I should depend on microlens-platform :D |
2025-05-14 22:29:02 +0200 | <[exa]> | I'll make a note there :D |
2025-05-14 22:28:51 +0200 | <monochrom> | Wait, you're going to fork it? :) |
2025-05-14 22:28:31 +0200 | Square2 | (~Square@user/square) Square |
2025-05-14 22:27:51 +0200 | <[exa]> | ok well, license is copypastable, let's copy with a notice |
2025-05-14 22:27:03 +0200 | <[exa]> | hm true, I didn't click it because I thought it would just be all other packages together |
2025-05-14 22:26:24 +0200 | <monochrom> | I feel sorry for your computer. This rebuilds everything again. |
2025-05-14 22:25:51 +0200 | <monochrom> | microlens-platform depends on both microlens and vector. Perhaps it is that. |
2025-05-14 22:22:46 +0200 | <[exa]> | (oh btw I mean the Ixed from microlens) |
2025-05-14 22:21:33 +0200 | <[exa]> | (or a reason why I can't find it?) |
2025-05-14 22:21:26 +0200 | <[exa]> | is there an Ixed instance for vectors somewhere in packages? |
2025-05-14 22:21:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-14 22:20:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-14 22:19:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-05-14 22:18:16 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Ping timeout: 272 seconds) |
2025-05-14 22:13:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-14 22:13:27 +0200 | <monochrom> | use Kan extensions for everything >:) |
2025-05-14 22:13:03 +0200 | <monochrom> | abstract early, abstract often |
2025-05-14 22:12:15 +0200 | <EvanR> | is this some kind of spin on erlang crash early crash often |
2025-05-14 22:11:52 +0200 | <EvanR> | well thank the LLM for this: Matches Haskell's general philosophy: "crash less, compose more". |
2025-05-14 22:07:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-05-14 22:02:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-14 21:58:21 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-14 21:58:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-14 21:58:00 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-05-14 21:49:33 +0200 | <monochrom> | Yes. |
2025-05-14 21:47:27 +0200 | <yin> | is this ok? https://paste.jrvieira.com/1747252027073 |
2025-05-14 21:47:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-14 21:45:07 +0200 | <JuanDaugherty> | right that's why i call it "fun ding" the opposite of the homonym in the capitalism |
2025-05-14 21:44:08 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-14 21:43:32 +0200 | ChanServ | +v haskellbridge |
2025-05-14 21:43:32 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
2025-05-14 21:43:13 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-14 21:42:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-14 21:40:16 +0200 | <EvanR> | without fun you're only doing ctional programming |
2025-05-14 21:38:44 +0200 | <yin> | so i'm having fun i guess |
2025-05-14 21:38:26 +0200 | <yin> | right now i'm learning about functional dependencies, something i never bothered to explore deeply because i never came across a situation that asked for it |
2025-05-14 21:37:52 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2025-05-14 21:37:07 +0200 | <yin> | i'm just experimenting with haskell |
2025-05-14 21:37:01 +0200 | <yin> | that's great, if i can learn something along the way |
2025-05-14 21:36:12 +0200 | <monochrom> | err, reinventing. I hate English. |
2025-05-14 21:35:58 +0200 | <monochrom> | But you are on the road to reinvent lens. |
2025-05-14 21:35:28 +0200 | <yin> | monochrom: i avoid lens at all cost. just by personal preference |
2025-05-14 21:33:13 +0200 | <lambdabot> | [Just 2,Just 3,Just 4] |
2025-05-14 21:33:11 +0200 | <int-e> | > (.) fmap fmap (+ 1) [Just 1, Just 2, Just 3] |
2025-05-14 21:32:38 +0200 | <monochrom> | You know what, may I suggest just using lens? |