2025/09/22

Newest at the top

2025-09-22 20:29:01 +0200Typedfern(~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net)
2025-09-22 20:25:45 +0200Googulator9(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 20:25:45 +0200Googulator74(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 20:24:46 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-09-22 20:24:26 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-09-22 20:22:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-22 20:20:43 +0200craunts79(~craunts@136.158.7.194)
2025-09-22 20:19:48 +0200craunts79(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-09-22 20:15:52 +0200tromp(~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4)
2025-09-22 20:15:45 +0200Typedfern(~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 245 seconds)
2025-09-22 20:15:33 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-22 20:13:42 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-09-22 20:04:56 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) (Quit: Leaving.)
2025-09-22 20:00:36 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-22 19:55:00 +0200tromp(~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-22 19:49:16 +0200Square(~Square4@user/square) (Ping timeout: 244 seconds)
2025-09-22 19:46:16 +0200Square2(~Square@user/square) Square
2025-09-22 19:45:28 +0200trickard_trickard
2025-09-22 19:31:18 +0200Googulator(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 19:30:55 +0200Googulator9(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 19:28:03 +0200Axma58360(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-22 19:24:34 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-22 19:24:21 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-09-22 19:24:04 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-09-22 19:23:01 +0200kuribas(~user@2a02-1810-2825-6000-fedd-5dda-6057-f5dc.ip6.access.telenet.be) (Ping timeout: 255 seconds)
2025-09-22 19:22:39 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-22 19:21:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 19:17:12 +0200jmcantrell_jmcantrell
2025-09-22 19:17:12 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-22 19:16:16 +0200 <Franciman> i see
2025-09-22 19:14:23 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-09-22 19:14:19 +0200 <dminuoso> And its not because the problem domain is complicated: its just that all that fixed point nonsense is very much adhoc.
2025-09-22 19:13:52 +0200 <dminuoso> Long story short: One is bad, you should probably use the other, and use a bunch of magic undocumented library functions to make it really extensible.
2025-09-22 19:13:28 +0200 <dminuoso> 8 year old issue about haskellPackages.extend and haskellPackages.override
2025-09-22 19:13:19 +0200 <dminuoso> https://github.com/NixOS/nixpkgs/issues/26561
2025-09-22 19:13:17 +0200 <dminuoso> The best example is this:
2025-09-22 19:13:13 +0200 <dminuoso> But its an absurd abstraction because it leaks implementation at every step of the way
2025-09-22 19:13:00 +0200 <dminuoso> At the end its all done to compose things together
2025-09-22 19:12:51 +0200 <dminuoso> Sometimes its about attrsets
2025-09-22 19:12:51 +0200 <Franciman> i see
2025-09-22 19:12:49 +0200 <dminuoso> Sometimes its about config
2025-09-22 19:12:47 +0200 <dminuoso> Sometimes its about a singular derivation
2025-09-22 19:12:28 +0200 <Franciman> i thought fixpoints was to compute the final derivation
2025-09-22 19:12:20 +0200 <Franciman> ahh i see
2025-09-22 19:12:19 +0200 <dminuoso> In case of NixOS modules config fixed point, its how modules can talk to each other to figure out whats what
2025-09-22 19:12:16 +0200 <inline> on almost every update i saw haskell packages... looks like a fast moving thing
2025-09-22 19:11:59 +0200 <dminuoso> In various degrees.
2025-09-22 19:11:55 +0200 <dminuoso> Franciman: So the fixed points that occur in nixpkgs allow for composability of "things"
2025-09-22 19:11:54 +0200 <inline> and once i installed haskell in there the updates won't ever end....
2025-09-22 19:11:19 +0200 <Franciman> i'm not sure i follow the comment on fixed point logics, wdym dminuoso ?