Newest at the top
2025-05-14 22:38:34 +0200 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
2025-05-14 22:38:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-05-14 22:37:37 +0200 | <[exa]> | yes, like, don't. it makes no sense. :D |
2025-05-14 22:36:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-14 22:35:42 +0200 | <haskellbridge> | <magic_rb> And im failing |
2025-05-14 22:35:40 +0200 | <haskellbridge> | <magic_rb> Ik im just trying to wrap my head against their thought process :P |
2025-05-14 22:34:42 +0200 | <[exa]> | </lawyer_complaints> |
2025-05-14 22:34:30 +0200 | <[exa]> | I didn't imply that the thoughts of the lawyer are following any legal system :D |
2025-05-14 22:33:29 +0200 | <haskellbridge> | <magic_rb> But ig its a different legal system? |
2025-05-14 22:33:22 +0200 | <monochrom> | Now I feel bad about the lawyer of your lawyer. >:) |
2025-05-14 22:33:17 +0200 | <haskellbridge> | <magic_rb> Like, the point of open source and free software are the four fundamental freedoms and a patent violates them |
2025-05-14 22:33:03 +0200 | <[exa]> | regardless, I don't think it makes any sense at all :D |
2025-05-14 22:32:37 +0200 | <[exa]> | tbh they think that's OK |
2025-05-14 22:32:07 +0200 | <haskellbridge> | <magic_rb> That doesnt seem to make sense |
2025-05-14 22:32:07 +0200 | <haskellbridge> | <magic_rb> Can something thats patented even be opensource |
2025-05-14 22:31:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-14 22:31:45 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
2025-05-14 22:31:38 +0200 | <[exa]> | the copypaste is not the reason to be sorry :D |
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) |