2025/05/14

Newest at the top

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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-14 22:31:45 +0200Square(~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 +0200Ranhir(~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 +0200Square2(~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 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-14 22:20:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-14 22:19:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-05-14 22:18:16 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Ping timeout: 272 seconds)
2025-05-14 22:13:53 +0200merijn(~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 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-05-14 22:02:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-14 21:58:21 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-14 21:58:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-14 21:58:00 +0200wootehfoot(~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 +0200merijn(~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 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-14 21:43:32 +0200ChanServ+v haskellbridge
2025-05-14 21:43:32 +0200haskellbridge(~hackager@syn-096-028-227-029.res.spectrum.com) hackager