Newest at the top
2025-09-22 20:25:45 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-22 20:25:45 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-22 20:24:46 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-09-22 20:24:26 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-09-22 20:22:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-09-22 20:20:43 +0200 | craunts79 | (~craunts@136.158.7.194) |
2025-09-22 20:19:48 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
2025-09-22 20:15:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) |
2025-09-22 20:15:45 +0200 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
2025-09-22 20:15:33 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-22 20:13:42 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-09-22 20:04:56 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
2025-09-22 20:00:36 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-22 19:55:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-22 19:49:16 +0200 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
2025-09-22 19:46:16 +0200 | Square2 | (~Square@user/square) Square |
2025-09-22 19:45:28 +0200 | trickard_ | trickard |
2025-09-22 19:31:18 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-22 19:30:55 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-22 19:28:03 +0200 | Axma58360 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-22 19:24:34 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-22 19:24:21 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-09-22 19:24:04 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-09-22 19:23:01 +0200 | kuribas | (~user@2a02-1810-2825-6000-fedd-5dda-6057-f5dc.ip6.access.telenet.be) (Ping timeout: 255 seconds) |
2025-09-22 19:22:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-22 19:21:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-22 19:17:12 +0200 | jmcantrell_ | jmcantrell |
2025-09-22 19:17:12 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-22 19:16:16 +0200 | <Franciman> | i see |
2025-09-22 19:14:23 +0200 | jmcantrell | (~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 ? |
2025-09-22 19:11:15 +0200 | <inline> | so 1. level flaky, 2. level flaky due to previous or on it's own, 3. level stable |