2026/02/13

2026-02-13 00:00:06 +0100Ranhir(~Ranhir@157.97.53.139) Ranhir
2026-02-13 00:03:02 +0100jonnie(~jonnie@user/jonnie) (Ping timeout: 256 seconds)
2026-02-13 00:03:22 +0100tromp(~textual@2001:1c00:3487:1b00:154c:cfad:a57b:3e14) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-13 00:03:27 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-13 00:06:32 +0100 <jackdk> It is for reasons like this that I will use `error "thing that went wrong and what invariant was violated"` over `undefined`
2026-02-13 00:10:20 +0100 <haskellbridge> <magic_rb> And youre correct, undefined is easier to type :P
2026-02-13 00:10:41 +0100mange(~mange@user/mange) mange
2026-02-13 00:10:58 +0100 <haskellbridge> <magic_rb> Though in this case it would have not helped, because the exception got swallowed somehow, still not sure how
2026-02-13 00:11:10 +0100kadobanana(~mud@user/kadoban) (Quit: quit)
2026-02-13 00:11:30 +0100kadobanana(~mud@user/kadoban) kadoban
2026-02-13 00:11:52 +0100 <monochrom> "No news is good news" >:)
2026-02-13 00:12:04 +0100kadobanana(~mud@user/kadoban) (Client Quit)
2026-02-13 00:12:47 +0100kadobanana(~mud@user/kadoban) kadoban
2026-02-13 00:13:12 +0100jonnie(~jonnie@user/jonnie) jonnie
2026-02-13 00:13:15 +0100kadobanana(~mud@user/kadoban) (Client Quit)
2026-02-13 00:13:59 +0100kadobanana(~mud@user/kadoban) kadoban
2026-02-13 00:21:40 +0100mud(~mud@user/kadoban) kadoban
2026-02-13 00:23:15 +0100kadobanana(~mud@user/kadoban) (Ping timeout: 245 seconds)
2026-02-13 00:31:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 00:32:13 +0100wickedjargon(~user@2605:8d80:5430:b9b7:fbed:7aca:46ae:2535) (Ping timeout: 246 seconds)
2026-02-13 00:36:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 00:37:38 +0100weary-traveler(~user@user/user363627) user363627
2026-02-13 00:46:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 00:51:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 00:53:31 +0100oskarw`(~user@user/oskarw) (Remote host closed the connection)
2026-02-13 01:01:07 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-13 01:02:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 01:03:51 +0100haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2026-02-13 01:04:22 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-02-13 01:04:23 +0100haskellbridge(~hackager@96.28.224.214) hackager
2026-02-13 01:04:23 +0100ChanServ+v haskellbridge
2026-02-13 01:05:06 +0100califax(~califax@user/califx) califx
2026-02-13 01:05:20 +0100mud(~mud@user/kadoban) (Ping timeout: 245 seconds)
2026-02-13 01:06:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 01:11:57 +0100Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.)
2026-02-13 01:17:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 01:19:43 +0100Vizious(~bes@user/Vizious) (Remote host closed the connection)
2026-02-13 01:22:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 01:33:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 01:35:01 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-13 01:35:25 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-13 01:37:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 01:39:29 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds)
2026-02-13 01:44:04 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2026-02-13 01:47:51 +0100pavonia(~user@user/siracusa) siracusa
2026-02-13 01:48:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 01:50:17 +0100Googulator46(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-13 01:50:20 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-13 01:51:24 +0100Googulator60(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-13 01:51:25 +0100Googulator46(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit)
2026-02-13 01:53:01 +0100Googulator59(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-13 01:53:04 +0100Googulator60(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit)
2026-02-13 01:54:54 +0100xff0x(~xff0x@2405:6580:b080:900:bb2a:3aa9:d99:94fb) (Ping timeout: 245 seconds)
2026-02-13 01:55:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 02:06:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 02:11:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 02:17:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 02:19:24 +0100omidmash0(~omidmash@user/omidmash) omidmash
2026-02-13 02:20:40 +0100wickedjargon(~user@2605:8d80:5430:ffe4:f6e0:4c35:5911:ff51) wickedjargon
2026-02-13 02:21:25 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 246 seconds)
2026-02-13 02:21:25 +0100omidmash0omidmash
2026-02-13 02:21:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-13 02:26:34 +0100aaron(~aaron@2a0a:4cc0:c0:bbb1:180d:50ff:febf:b21)
2026-02-13 02:30:18 +0100artyfartypartyca(~artyfarty@c-71-236-152-154.hsd1.or.comcast.net)
2026-02-13 02:30:42 +0100artyfartypartyca(~artyfarty@c-71-236-152-154.hsd1.or.comcast.net) (Client Quit)
2026-02-13 02:32:39 +0100 <haskellbridge> <sm> does a minimal logFn work ?
2026-02-13 02:32:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 02:37:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 02:40:56 +0100aaron(~aaron@2a0a:4cc0:c0:bbb1:180d:50ff:febf:b21) (Quit: Client closed)
2026-02-13 02:41:36 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-13 02:43:35 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-13 02:43:50 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-02-13 02:47:25 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-13 02:48:23 +0100merijn(~merijn@62.45.136.136) merijn
2026-02-13 02:52:28 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
2026-02-13 02:52:49 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 245 seconds)
2026-02-13 02:53:36 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-13 03:03:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 03:04:01 +0100Googulator59(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-13 03:04:18 +0100Googulator59(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-13 03:05:14 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-02-13 03:05:41 +0100ec(~ec@gateway/tor-sasl/ec) ec
2026-02-13 03:08:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 03:14:27 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-13 03:19:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 03:23:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 03:30:14 +0100confusedalex(~confuseda@user/confusedalex) (Ping timeout: 252 seconds)
2026-02-13 03:33:15 +0100acidjnk(~acidjnk@p200300d6e700e56700d07a3d42763801.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2026-02-13 03:34:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 03:40:00 +0100confusedalex(~confuseda@user/confusedalex) confusedalex
2026-02-13 03:41:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 03:42:53 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds)
2026-02-13 03:51:09 +0100jreicher(~joelr@user/jreicher) (Ping timeout: 245 seconds)
2026-02-13 03:52:21 +0100jreicher(~joelr@user/jreicher) jreicher
2026-02-13 03:52:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 03:57:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 04:04:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 04:09:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 04:15:06 +0100td_(~td@i5387091F.versanet.de) (Ping timeout: 244 seconds)
2026-02-13 04:15:22 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-13 04:16:52 +0100td_(~td@i5387090A.versanet.de) td_
2026-02-13 04:19:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 04:21:16 +0100Axma62634Axman6
2026-02-13 04:23:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-13 04:27:00 +0100 <feetwind> hm. the default haskell nix infra does build docs for packages by default. sometimes i look at it by poking into /nix/store/...-docs; but is there a better/intended way to view such docs? i know stack does have a feature like that which might be the easiest option...
2026-02-13 04:27:38 +0100frio(~frio@2001:4450:49e5:4b00:8dd7:7de8:24ff:3397)
2026-02-13 04:34:04 +0100 <jackdk> I normally do that too, but I suppose you could enter a dev shell and run hoogle
2026-02-13 04:34:05 +0100mud(~mud@user/kadoban) kadoban
2026-02-13 04:35:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 04:39:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 04:46:08 +0100 <feetwind> stack:yes - so you can use `system-ghc: true` in a stack.yaml and that ghc will happily use all the available packages [e.g. installed by cabal or nix env]. then do `stack haddock --only-dependencies` to generate the index
2026-02-13 04:46:58 +0100 <feetwind> also "$(which ghc)/../../share/doc" does actually contain all the docs for available packages (where that ghc is from ghcWithPackages [all my local deps here]). but sadly no index.html linking them all together
2026-02-13 04:50:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 04:55:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 05:03:29 +0100Googulator59Googulator
2026-02-13 05:04:22 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Read error: Connection reset by peer)
2026-02-13 05:05:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 05:12:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 05:17:07 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2026-02-13 05:17:44 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-13 05:17:49 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-02-13 05:21:45 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds)
2026-02-13 05:23:51 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 05:27:27 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in)
2026-02-13 05:28:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-13 05:30:22 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-02-13 05:36:52 +0100w00ter(~w00ter@user/w00ter) (Read error: Connection reset by peer)
2026-02-13 05:39:01 +0100monochrom(trebla@216.138.220.146) monochrom
2026-02-13 05:39:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 05:41:34 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2026-02-13 05:43:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 05:48:41 +0100michalz(~michalz@185.246.207.222)
2026-02-13 05:51:10 +0100Square2(~Square4@user/square) (Ping timeout: 245 seconds)
2026-02-13 05:54:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 05:59:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 06:05:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 06:05:54 +0100w00ter(~w00ter@user/w00ter) w00ter
2026-02-13 06:09:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 06:10:00 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-13 06:11:47 +0100karenw(~karenw@user/karenw) karenw
2026-02-13 06:12:01 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-02-13 06:12:58 +0100karenw_(~karenw@user/karenw) karenw
2026-02-13 06:16:34 +0100karenw(~karenw@user/karenw) (Ping timeout: 245 seconds)
2026-02-13 06:19:51 +0100karenw_(~karenw@user/karenw) (Read error: Connection reset by peer)
2026-02-13 06:20:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 06:21:40 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-02-13 06:24:15 +0100karenw_(~karenw@user/karenw) karenw
2026-02-13 06:25:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 06:27:17 +0100frio(~frio@2001:4450:49e5:4b00:8dd7:7de8:24ff:3397) (Quit: Goodbye Cruel World!)
2026-02-13 06:36:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 06:36:09 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-13 06:40:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 06:42:19 +0100arahael(~wetfoot@user/arahael) (Ping timeout: 260 seconds)
2026-02-13 06:43:03 +0100arahael(~wetfoot@user/arahael) arahael
2026-02-13 06:46:26 +0100mange(~mange@user/mange) (Quit: Quittin' time!)
2026-02-13 06:51:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 06:58:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 07:04:11 +0100emaczen(~user@user/emaczen) (Ping timeout: 252 seconds)
2026-02-13 07:05:19 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-02-13 07:05:45 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-02-13 07:06:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 07:11:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 07:21:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 07:24:10 +0100Vizious(~bes@user/Vizious) Vizious
2026-02-13 07:26:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 07:35:06 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2026-02-13 07:35:32 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds)
2026-02-13 07:37:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 07:40:15 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-02-13 07:40:35 +0100trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2026-02-13 07:41:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-13 07:41:21 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-13 07:42:20 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-13 07:44:28 +0100karenw_(~karenw@user/karenw) (Ping timeout: 246 seconds)
2026-02-13 07:52:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 07:56:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 07:59:40 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-02-13 08:00:10 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-13 08:02:38 +0100acidjnk(~acidjnk@p200300d6e700e568400d7056540e4618.dip0.t-ipconnect.de) acidjnk
2026-02-13 08:07:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 08:12:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 08:16:43 +0100tromp(~textual@2001:1c00:3487:1b00:154c:cfad:a57b:3e14)
2026-02-13 08:22:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 08:23:14 +0100jle`(~jle`@2603:8001:3b00:11:dbf:b6f2:b9d0:daa) (Ping timeout: 245 seconds)
2026-02-13 08:23:23 +0100w00ter(~w00ter@user/w00ter) (Ping timeout: 252 seconds)
2026-02-13 08:26:07 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 246 seconds)
2026-02-13 08:27:32 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2026-02-13 08:28:10 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-02-13 08:28:21 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-13 08:29:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 08:40:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 08:45:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 08:56:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:00:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 09:04:24 +0100akegalj(~akegalj@141-136-187-120.dsl.iskon.hr)
2026-02-13 09:08:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:12:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 09:16:33 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-02-13 09:22:07 +0100wickedja`(~user@2605:8d80:5430:fd12:6e99:f85a:47a9:10bc)
2026-02-13 09:22:28 +0100wickedjargon(~user@2605:8d80:5430:ffe4:f6e0:4c35:5911:ff51) (Ping timeout: 246 seconds)
2026-02-13 09:23:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:28:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 09:39:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:40:44 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds)
2026-02-13 09:43:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 09:43:53 +0100oskarw(~user@user/oskarw) oskarw
2026-02-13 09:44:49 +0100chele(~chele@user/chele) chele
2026-02-13 09:47:03 +0100trickard_trickard
2026-02-13 09:48:22 +0100trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Remote host closed the connection)
2026-02-13 09:48:28 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-02-13 09:50:56 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 09:53:31 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-13 09:53:48 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-13 09:54:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:58:33 +0100 <gentauro> I was looking at -> https://nix.dev/manual/nix/2.23/command-ref/nix-shell.html?highlight=shebang#use-as-a--interpreter and does anybody know if `nix-shell -i runghc …` is interpreted Haskell or pre-compiled before exec?
2026-02-13 09:59:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 09:59:44 +0100gentauroif it's pre-compiled, where is the binary located?
2026-02-13 10:00:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 10:04:04 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-13 10:04:44 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de)
2026-02-13 10:05:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 10:05:49 +0100 <int-e> `runghc` compiles to bytecode on the fly and runs that, more or less like ghci
2026-02-13 10:10:36 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2026-02-13 10:13:45 +0100 <probie> You can `runhaskell --ghc-arg=-fobject-code` if you want it to compile (but it won't clean up after itself, so you'll get a bunch of .o and .hi files)
2026-02-13 10:14:19 +0100tromp(~textual@2001:1c00:3487:1b00:154c:cfad:a57b:3e14) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-13 10:15:02 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-13 10:15:30 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-13 10:17:14 +0100akegalj(~akegalj@141-136-187-120.dsl.iskon.hr) (Ping timeout: 252 seconds)
2026-02-13 10:24:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 10:28:32 +0100fp(~Thunderbi@130.233.70.58) fp
2026-02-13 10:33:18 +0100 <gentauro> int-e: got it
2026-02-13 10:34:27 +0100 <gentauro> probie: I will stick to `run-DMC`, I mean, `runGHC` (I see what you did there)
2026-02-13 10:38:41 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 252 seconds)
2026-02-13 10:40:39 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-02-13 10:44:54 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2026-02-13 10:48:32 +0100hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-02-13 10:48:35 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-02-13 10:50:28 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-13 10:51:08 +0100akegalj(~akegalj@78-3-64-186.adsl.net.t-com.hr)
2026-02-13 10:53:01 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 255 seconds)
2026-02-13 10:56:48 +0100__monty__(~toonn@user/toonn) toonn
2026-02-13 10:56:50 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 10:59:24 +0100prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-13 10:59:38 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 11:05:34 +0100poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2026-02-13 11:05:54 +0100prdak(~Thunderbi@user/prdak) (Quit: prdak)
2026-02-13 11:06:14 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 11:06:45 +0100mange(~mange@user/mange) mange
2026-02-13 11:07:17 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-02-13 11:08:32 +0100poscat(~poscat@user/poscat) poscat
2026-02-13 11:15:30 +0100kuribas(~user@2a02:1808:4f:c60e:3101:d5fb:7a84:16f8) kuribas
2026-02-13 11:22:47 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-13 11:26:43 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-02-13 11:27:00 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-02-13 11:28:55 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-02-13 11:34:32 +0100prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-13 11:38:39 +0100wickedja`(~user@2605:8d80:5430:fd12:6e99:f85a:47a9:10bc) (Ping timeout: 245 seconds)
2026-02-13 11:45:03 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-13 11:58:31 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-13 12:00:44 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2026-02-13 12:02:25 +0100kuribas(~user@2a02:1808:4f:c60e:3101:d5fb:7a84:16f8) (Ping timeout: 250 seconds)
2026-02-13 12:03:11 +0100hakutaku(~textual@user/hakutaku) (Client Quit)
2026-02-13 12:05:01 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-13 12:09:01 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2026-02-13 12:12:05 +0100xff0x(~xff0x@ai083101.d.east.v6connect.net)
2026-02-13 12:21:51 +0100haritz(~hrtz@140.228.70.141)
2026-02-13 12:21:51 +0100haritz(~hrtz@140.228.70.141) (Changing host)
2026-02-13 12:21:51 +0100haritz(~hrtz@user/haritz) haritz
2026-02-13 12:58:31 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 13:08:56 +0100prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-13 13:10:47 +0100bggd_(~bgg@2a01:e0a:fd5:f510:3570:c65c:a9b1:87c4)
2026-02-13 13:18:32 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 13:31:04 +0100pointlessslippe1(~pointless@62.106.85.17) (Ping timeout: 265 seconds)
2026-02-13 13:42:37 +0100pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2026-02-13 13:57:55 +0100AlexZenon(~alzenon@85.174.182.59) (Ping timeout: 264 seconds)
2026-02-13 14:12:24 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 245 seconds)
2026-02-13 14:15:03 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-02-13 14:15:28 +0100AlexZenon(~alzenon@85.174.182.59)
2026-02-13 14:21:16 +0100mange(~mange@user/mange) (Quit: Zzz...)
2026-02-13 14:24:54 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-02-13 14:27:24 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds)
2026-02-13 15:17:46 +0100byorgey_byorgey
2026-02-13 15:19:00 +0100oskarw(~user@user/oskarw) (Remote host closed the connection)
2026-02-13 15:20:36 +0100jle`(~jle`@2603:8001:3b00:11:6773:850f:e41e:de84) jle`
2026-02-13 15:20:36 +0100prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-13 15:21:23 +0100ystael(~ystael@user/ystael) ystael
2026-02-13 15:31:24 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2026-02-13 15:31:29 +0100koz_(~koz@121.99.240.58)
2026-02-13 15:31:43 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-13 15:31:54 +0100koz(~koz@121.99.240.58) (Ping timeout: 265 seconds)
2026-02-13 15:44:56 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-02-13 15:45:38 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-02-13 15:47:55 +0100wickedja`(~user@2605:8d80:5430:6508:dfba:c575:481a:1de0)
2026-02-13 15:53:55 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 15:53:59 +0100wickedja`wickedjargon
2026-02-13 15:58:39 +0100fp(~Thunderbi@130.233.70.58) (Ping timeout: 245 seconds)
2026-02-13 16:00:11 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) (Quit: leaving)
2026-02-13 16:01:36 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) sixfourtwelve
2026-02-13 16:01:55 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) ()
2026-02-13 16:08:38 +0100spew(~spew@user/spew) spew
2026-02-13 16:13:53 +0100srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2026-02-13 16:28:39 +0100wickedjargon(~user@2605:8d80:5430:6508:dfba:c575:481a:1de0) (Ping timeout: 245 seconds)
2026-02-13 16:29:11 +0100emaczen(~user@user/emaczen) emaczen
2026-02-13 16:29:41 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-02-13 16:34:04 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) sixfourtwelve
2026-02-13 16:34:13 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) ()
2026-02-13 16:35:25 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2026-02-13 16:36:12 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-13 16:40:43 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-02-13 16:44:07 +0100Square2(~Square@user/square) Square
2026-02-13 16:44:35 +0100Square2(~Square@user/square) (Remote host closed the connection)
2026-02-13 16:44:59 +0100Square2(~Square@user/square) Square
2026-02-13 16:53:52 +0100prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-13 16:56:18 +0100Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla
2026-02-13 16:59:24 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-13 17:06:29 +0100jmcantrell_(~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1)
2026-02-13 17:07:52 +0100wickedjargon(~user@24.83.46.194) wickedjargon
2026-02-13 17:18:39 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-13 17:18:47 +0100jmcantrell_jmcantrell
2026-02-13 17:19:29 +0100hakutaku(~textual@user/hakutaku) (Ping timeout: 245 seconds)
2026-02-13 17:20:48 +0100m_a_r_k(~m_a_r_k@archlinux/support/mark) (Remote host closed the connection)
2026-02-13 17:21:36 +0100m_a_r_k(~m_a_r_k@archlinux/support/mark) m_a_r_k
2026-02-13 17:32:49 +0100diabloblanco(~diablobla@user/diabloblanco) diabloblanco
2026-02-13 17:38:35 +0100v0id_7(~v0id_7@user/v0id-7:62772) v0id_7
2026-02-13 17:39:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 17:41:34 +0100ringo__(~ringo@157.230.117.128) (Ping timeout: 256 seconds)
2026-02-13 17:46:34 +0100ringo__(~ringo@157.230.117.128) ringo_
2026-02-13 17:50:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 17:53:31 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2026-02-13 17:55:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 17:56:35 +0100chele(~chele@user/chele) (Remote host closed the connection)
2026-02-13 17:57:49 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2026-02-13 18:03:04 +0100akegalj(~akegalj@78-3-64-186.adsl.net.t-com.hr) (Remote host closed the connection)
2026-02-13 18:06:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 18:07:00 +0100oskarw(~user@user/oskarw) oskarw
2026-02-13 18:08:25 +0100pie_(~pie_bnc@user/pie/x-2818909) (Ping timeout: 264 seconds)
2026-02-13 18:11:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 18:11:36 +0100Square2(~Square@user/square) (Ping timeout: 256 seconds)
2026-02-13 18:16:21 +0100diabloblanco(~diablobla@user/diabloblanco) (Remote host closed the connection)
2026-02-13 18:16:38 +0100pie_(~pie_bnc@user/pie/x-2818909) __
2026-02-13 18:22:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 18:27:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 18:29:14 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-02-13 18:29:46 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds)
2026-02-13 18:36:47 +0100Square2(~Square@user/square) Square
2026-02-13 18:38:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 18:40:27 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2026-02-13 18:43:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 18:49:32 +0100wickedjargon(~user@24.83.46.194) (Remote host closed the connection)
2026-02-13 18:54:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 18:56:44 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-02-13 18:57:03 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-13 18:59:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 19:01:23 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds)
2026-02-13 19:02:34 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-13 19:04:52 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-13 19:09:51 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 19:15:48 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2026-02-13 19:16:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-13 19:19:38 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-02-13 19:24:21 +0100eason(~eason@user/eason) eason
2026-02-13 19:24:28 +0100 <eason> o/
2026-02-13 19:25:45 +0100wickedjargon(~user@24.244.23.97) wickedjargon
2026-02-13 19:25:56 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-02-13 19:27:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 19:32:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 19:36:01 +0100ent(entgod@kapsi.fi) (Ping timeout: 264 seconds)
2026-02-13 19:36:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 19:37:46 +0100ent(~entgod@kapsi.fi) ent
2026-02-13 19:40:58 +0100eason(~eason@user/eason) (Ping timeout: 244 seconds)
2026-02-13 19:40:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 19:41:08 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-13 19:45:36 +0100diabloblanco(~diablobla@user/diabloblanco) diabloblanco
2026-02-13 19:51:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 19:56:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 20:02:26 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2026-02-13 20:07:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 20:12:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 20:23:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 20:28:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 20:28:28 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 20:31:15 +0100pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2026-02-13 20:31:53 +0100pabs3(~pabs3@user/pabs3) pabs3
2026-02-13 20:32:41 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2026-02-13 20:37:48 +0100diabloblanco(~diablobla@user/diabloblanco) (Remote host closed the connection)
2026-02-13 20:39:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 20:39:54 +0100petrichor(~jez@user/petrichor) (Ping timeout: 245 seconds)
2026-02-13 20:44:10 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-02-13 20:44:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 20:44:52 +0100hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-02-13 20:45:20 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2026-02-13 20:45:28 +0100Lord_of_Life_Lord_of_Life
2026-02-13 20:49:35 +0100tromp(~textual@2001:1c00:3487:1b00:19:f64a:f0f6:2051)
2026-02-13 20:49:50 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-13 20:55:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 20:56:22 +0100wickedjargon(~user@24.244.23.97) (Remote host closed the connection)
2026-02-13 21:01:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 21:03:29 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) sixfourtwelve
2026-02-13 21:03:46 +0100cipherrot(~jez@user/petrichor) petrichor
2026-02-13 21:04:26 +0100caubert(~caubert@user/caubert) caubert
2026-02-13 21:05:19 +0100petrichor(~jez@user/petrichor) (Ping timeout: 245 seconds)
2026-02-13 21:05:42 +0100bggd_(~bgg@2a01:e0a:fd5:f510:3570:c65c:a9b1:87c4) (Remote host closed the connection)
2026-02-13 21:07:16 +0100wickedjargon(~user@24.244.23.97) wickedjargon
2026-02-13 21:13:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 21:18:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 21:21:37 +0100ent(~entgod@kapsi.fi) (Ping timeout: 264 seconds)
2026-02-13 21:22:54 +0100ent(entgod@kapsi.fi) ent
2026-02-13 21:29:03 +0100FANTOM(~fantom@87.75.185.177) (*.net *.split)
2026-02-13 21:29:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 21:32:49 +0100FANTOM(~fantom@87.75.185.177)
2026-02-13 21:34:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 21:40:07 +0100wickedjargon(~user@24.244.23.97) (Remote host closed the connection)
2026-02-13 21:44:22 +0100FANTOM(~fantom@87.75.185.177) (*.net *.split)
2026-02-13 21:44:41 +0100FANTOM(~fantom@87.75.185.177)
2026-02-13 21:44:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 21:47:43 +0100FANTOM(~fantom@87.75.185.177) (Ping timeout: 265 seconds)
2026-02-13 21:47:57 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2026-02-13 21:49:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 21:50:10 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-13 21:56:13 +0100jonnie(~jonnie@user/jonnie) (Remote host closed the connection)
2026-02-13 22:00:35 +0100FANTOM(~fantom@87.75.185.177)
2026-02-13 22:00:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 22:01:52 +0100 <bwe> Is there some minimum working example of basic errors with Megaparsec you can recommend? I mean from `type Parser a = ...` to just calling `fail` in some parser with my custom error type. I find https://markkarpov.com/tutorial/megaparsec#parse-errors too confusing and haven't found any code example on github that is enlightening.
2026-02-13 22:06:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 22:10:04 +0100 <[exa]> bwe: hey watsup :)
2026-02-13 22:11:14 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2026-02-13 22:12:36 +0100 <[exa]> re megaparsec errors, I always ended up with just labeling the parser properly because in the end I didn't invent any extra value to carry in the custom errors. Might be more interesting for recovery-ish parsers
2026-02-13 22:14:29 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-02-13 22:16:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 22:16:30 +0100 <mauke> fail takes a string; you don't get to fail with a custom error type
2026-02-13 22:18:34 +0100 <mauke> https://markkarpov.com/tutorial/megaparsec#parse-errors:~:text=custom%20parse%20error
2026-02-13 22:18:37 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-02-13 22:18:43 +0100 <mauke> looks reasonable
2026-02-13 22:19:04 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds)
2026-02-13 22:21:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 22:32:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 22:34:55 +0100acidjnk(~acidjnk@p200300d6e700e568400d7056540e4618.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2026-02-13 22:36:48 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-13 22:39:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 22:45:28 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-02-13 22:50:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 22:52:55 +0100ElementalFluorin(~Elemental@2a02:3035:613:b707:f5e7:32a2:68a3:74db)
2026-02-13 22:53:01 +0100gorignak(~gorignak@user/gorignak) gorignak
2026-02-13 22:53:33 +0100 <ElementalFluorin> So, what’s the quickest way to get my cabal project to run in the browser? (It uses SDL2)
2026-02-13 22:55:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 22:56:40 +0100 <ElementalFluorin> GHC’s documentation seems to assume Windows or something else that tries to not integrate with the package manager as is typical for Winodws. But I’m running Gentoo, so I really would like to avoid things that without windows would not even exist, like ghcup. Or manual building.
2026-02-13 22:57:14 +0100 <monochrom> ghcup exists on Linux. Actually even better than in Windows.
2026-02-13 22:57:58 +0100 <monochrom> Actually ghcup was written for Linux first. (It was even a bash script back then.)
2026-02-13 22:58:32 +0100 <tomsmeding> ElementalFluorin: I'm not sure where you got the information that GHC documentation suggests Windows. Windows support exists, and Haskell works fine on Windows, but only with a Linux emulation layer called MinGW. The platform where GHC is most at home is Linux.
2026-02-13 22:59:41 +0100 <haskellbridge> <maerwald> Wake me up when gentoo gets an unbroken package manager
2026-02-13 22:59:54 +0100 <monochrom> heh
2026-02-13 22:59:59 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2026-02-13 23:00:23 +0100 <tomsmeding> is it more broken than the situation on Windows? Last I looked, it was a challenge to get GHC and Git to work in the same terminal session
2026-02-13 23:00:35 +0100 <geekosaur> the claim wasn't "windows", it was "don't use the package manager". which is correct on all platforms, because the package manager's haskell (and perl and python and …) serves the packagers, not developers
2026-02-13 23:01:36 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2026-02-13 23:01:37 +0100ElementalFluorin(~Elemental@2a02:3035:613:b707:f5e7:32a2:68a3:74db) (Ping timeout: 272 seconds)
2026-02-13 23:01:41 +0100 <tomsmeding> lol
2026-02-13 23:01:47 +0100ElementalFluorin(~Elemental@2a02:3035:613:b707:f5e7:32a2:68a3:74db)
2026-02-13 23:02:01 +0100 <geekosaur> you can still break a debian/ubuntu installation pretty badly with a global install of an unexpected version of the wrong perl module(s)
2026-02-13 23:02:05 +0100ElementalFluorinFluoridinatedFlu
2026-02-13 23:02:23 +0100 <geekosaur> the same with python used to be true of fedora untill they started installing a private python setup just for their tools to use
2026-02-13 23:02:59 +0100 <tomsmeding> isn't this the same with any language runtime that tries to have its own global package database? NodeJS (npm) has the same issue
2026-02-13 23:03:06 +0100 <geekosaur> yes
2026-02-13 23:03:53 +0100 <geekosaur> so the real moral here is "regardless of language, don't trust the global package manager if you want to do development, because those packages aren't there for your use
2026-02-13 23:03:56 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds)
2026-02-13 23:04:07 +0100 <geekosaur> "
2026-02-13 23:04:22 +0100 <tomsmeding> or: if you use a package manager that is not the system package manager, don't use it to globally install stuff
2026-02-13 23:04:41 +0100 <tomsmeding> (ex: npm, pip, the perl things, etc.)
2026-02-13 23:05:14 +0100 <geekosaur> that also, but you're also still stuck with that the global package manager isn't guaranteed to e.g. install recent enough versions of things you might want, it installs dependencies for whatever versions of end user packages they want to package
2026-02-13 23:05:19 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 23:05:31 +0100 <tomsmeding> right
2026-02-13 23:06:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 23:07:06 +0100 <geekosaur> also why ghcup (and before it stack), rustup, etc. exist
2026-02-13 23:07:58 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2026-02-13 23:08:24 +0100 <FluoridinatedFlu> geekosaur: It’s better to see it like this: Your development *staging* area is not your *production* area. Don’t assume *anything* about your production area. Ideally, your staging area should be entirely its own namespace, chroot, everything. I learned that when trying to make a “OS” out of just the LInux kernel and a Haskell program as
2026-02-13 23:08:24 +0100 <FluoridinatedFlu> init. :)
2026-02-13 23:09:01 +0100 <FluoridinatedFlu> OSes should not allow other package managers that work around the OS at all.
2026-02-13 23:09:25 +0100 <FluoridinatedFlu> They should provide converters like hackport.
2026-02-13 23:09:29 +0100 <geekosaur> uh, no, that's the reverse of what a developer needs, unless your idea of a prerequisite for development is to build your own OS
2026-02-13 23:09:58 +0100 <geekosaur> hackport etc. aren't enough unless your OS is nixos
2026-02-13 23:09:59 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2026-02-13 23:10:29 +0100 <geekosaur> (i.e. supports multiple versions of things concurrently installed and the OS gets to stick to what it wants without disturbing your work)
2026-02-13 23:10:37 +0100 <FluoridinatedFlu> geekosaur: No, I think we misunderstand each other. Basically I’m saying by having to actually declare all your dependencies and assumptions in your installer or whatever, you won’t fall into the pit of your program assuming things that it shouldn’t.
2026-02-13 23:11:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-13 23:11:08 +0100 <geekosaur> did you by any chance read what started this discussion?
2026-02-13 23:11:15 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds)
2026-02-13 23:11:17 +0100 <FluoridinatedFlu> geekosaur: A typical case is websites that assumed the background was white, and only set the font to black. Resulting in black on black text in dark mode, until that became a thing for everyone else too.
2026-02-13 23:11:52 +0100 <mauke> geekosaur: not just read, but also wrote!
2026-02-13 23:12:26 +0100 <FluoridinatedFlu> Well, that’s precisely when my client lost the connection, it seems. XD
2026-02-13 23:12:44 +0100 <mauke> we have public logs, see /topic
2026-02-13 23:12:59 +0100 <FluoridinatedFlu> I thought they were replies to my pre-connection-break questions.
2026-02-13 23:13:06 +0100 <mauke> yes
2026-02-13 23:13:27 +0100 <geekosaur> okay, so did I completely misunderstand the thrust of "Windows or something else that tries to not integrate with the package manager"? your current discussion doesn't seem to mesh with its implication
2026-02-13 23:13:55 +0100 <FluoridinatedFlu> Ah, thanks
2026-02-13 23:14:53 +0100 <tomsmeding> geekosaur: I think they mean this: 1. a program should declare all its dependencies and the system should (somehow) ensure that you get no more than you declare. 2. The system package manager is suited for this job. 3. Hence, all development tools should be a shim (ish) over the system package manager.
2026-02-13 23:15:02 +0100 <tomsmeding> FluoridinatedFlu: is that sort of accurate?
2026-02-13 23:15:15 +0100 <monochrom> That would be called "nix".
2026-02-13 23:15:26 +0100 <tomsmeding> (1.) sounds like you should be a nix user; (2.) _really_ sounds like you should be a nix user; (3.) is a logical consequence once you're a nix user
2026-02-13 23:15:30 +0100 <tomsmeding> :D
2026-02-13 23:16:14 +0100 <monochrom> But what I *really* read between the line is simply "they should do it my way".
2026-02-13 23:16:37 +0100 <tomsmeding> With how package managers work on linux distros that I know (disclaimer: just Ubuntu and Arch, though Fedora isn't any different apart from side notes about Silverblue), this just doesn't work on Linux
2026-02-13 23:16:50 +0100 <tomsmeding> (apart from nix/nixos, that is)
2026-02-13 23:16:55 +0100 <FluoridinatedFlu> What is it with this Nix stuff? Everything I saw about it immediately put me off. Can someone tell me what its point is in one sentence, cause I feel like I didn’t get the memo *and* everyone is hiding it from me when I search for infos on it. XD
2026-02-13 23:17:37 +0100 <monochrom> nix declares dependencies.
2026-02-13 23:18:01 +0100 <FluoridinatedFlu> tomsmeding: Ubuntu/Debian’s apt is a sad antiquated joke though. It’s more like something from 1999.
2026-02-13 23:18:13 +0100 <FluoridinatedFlu> (Like RPM)
2026-02-13 23:18:22 +0100 <tomsmeding> someone else should do this, but: Nix gets you precisely this "you declare exactly your dependencies and those are what you get", plus that you don't need only a single version of some package X on your system, because everything can use their own version, transparently
2026-02-13 23:18:39 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-02-13 23:18:49 +0100 <tomsmeding> regardless of how antique apt is, I don't see how RPM is in any way better on the points relevant to the discussion here
2026-02-13 23:19:04 +0100 <geekosaur> which is why I said this only works with nixos, since at present only that guarantees that the same system package manager can serve both your and the packagers' purposes simultaneously
2026-02-13 23:19:04 +0100 <FluoridinatedFlu> tomsmeding: That sounds indeed nice. So is it basically a more advanced package manager?
2026-02-13 23:19:06 +0100 <tomsmeding> you can still just use stuff on the system without declaring that as a dependency in your package.
2026-02-13 23:19:38 +0100 <tomsmeding> FluoridinatedFlu: The idea -- as a non-user, disclaimer! -- is that it tries to give you a "declarative system"
2026-02-13 23:19:41 +0100 <geekosaur> because, as I said, the system package manager does not serve developers, it serves the packagers
2026-02-13 23:19:50 +0100 <tomsmeding> which subsumes a package manager
2026-02-13 23:20:24 +0100 <FluoridinatedFlu> tomsmeding: As a Haskell programmer, and a supporter of the idea of the block universe, that’s of course very attractive. :)
2026-02-13 23:20:51 +0100 <tomsmeding> at the same time, nix is a slippery slope to nixos, and the language is untyped with no good proposals for a sensible type system (so it's actually inherently untyped). :)
2026-02-13 23:21:04 +0100 <tomsmeding> It kind of sounds like you should give nix a serious try
2026-02-13 23:21:31 +0100 <tomsmeding> if nothing else, to figure out what things are wrong with nix so you can further refine your ideals on how systems should work
2026-02-13 23:21:43 +0100 <tomsmeding> (I don't really know what's wrong with nix because I don't use it. :) )
2026-02-13 23:21:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 23:22:05 +0100 <mauke> I don't use it either, but I've heard it's fashtech-adjacent
2026-02-13 23:22:16 +0100 <tomsmeding> what in the world is "fashtech"
2026-02-13 23:22:27 +0100 <FluoridinatedFlu> So you’re saying we need something more clean… more elegant… Like pure category theory expressed as unlambda… :D
2026-02-13 23:23:19 +0100 <tomsmeding> I'm not sure we need that. It's a nice ideal, but I feel it's also an ideal that creates friction with reality in how I (and others) want to use their machines
2026-02-13 23:23:31 +0100 <tomsmeding> But it sounds like you want it, hence us suggesting it. :)
2026-02-13 23:23:41 +0100 <monochrom> We don't need more fragmentation or "one more standard".
2026-02-13 23:23:53 +0100 <FluoridinatedFlu> (It was a joke. Like Toki Pona or a programming languages that consists purely of brackets ;)
2026-02-13 23:24:20 +0100 <mauke> tomsmeding: fascism + technology. see also https://mas.to/@zzt/115272477801664683
2026-02-13 23:24:58 +0100 <FluoridinatedFlu> monochrom: Well, that’s easy: Just instead of NewStandard 1.0, call it ThatOldStandard 2.0! :D Look at my boy USB! :D
2026-02-13 23:25:34 +0100 <FluoridinatedFlu> mauke: XD
2026-02-13 23:25:37 +0100 <tomsmeding> mauke: what is @zzt referring to there? It seems like a random list of "bad stuff", but then "terrible Fisher-Price CSS" sounds like it's targeting something specific
2026-02-13 23:25:50 +0100michalz(~michalz@185.246.207.222) (Remote host closed the connection)
2026-02-13 23:25:52 +0100 <FluoridinatedFlu> tomsmeding: Bad ideologies, in general, I would say.
2026-02-13 23:26:06 +0100 <monochrom> Does nix have CSS?
2026-02-13 23:26:07 +0100 <FluoridinatedFlu> Or fashionable ones
2026-02-13 23:26:17 +0100 <tomsmeding> the nix website probably has css
2026-02-13 23:26:25 +0100 <mauke> tomsmeding: might be tailwind. the x11 stuff is almost definitely xlibre
2026-02-13 23:26:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 23:26:40 +0100 <geekosaur> I might also drop in guix as a somewhat more principled nix-like
2026-02-13 23:26:46 +0100 <mauke> the web browser is ladybird. the "distributed functional programming" is urbit
2026-02-13 23:26:47 +0100 <Clint> what's the wayland part
2026-02-13 23:26:52 +0100 <mauke> I don't know that one
2026-02-13 23:26:54 +0100 <tomsmeding> because if this is just a random list of bad stuff, I'm still not sure what "fashtech" is supposed to mean :p
2026-02-13 23:26:55 +0100 <geekosaur> but I don't think they've built an OS around hurd+guix as yet
2026-02-13 23:27:00 +0100 <FluoridinatedFlu> I’m gonna develop a ASN.1 impllementation of Nix syntax; gouge your eyes out, because I am Nyarlathotep! XD
2026-02-13 23:27:24 +0100 <monochrom> "corporations protecting you from yourself" sounds more like capitalism than fascism.
2026-02-13 23:27:41 +0100 <geekosaur> and btb I originally read "fashtech" as a portmanteau of "fashion" and "tech", but then I think a lot of modern (especially web) tech has been there for years
2026-02-13 23:27:53 +0100ElementalFluorin(~Elemental@2a02:3035:613:b707:f5e7:32a2:68a3:74db)
2026-02-13 23:28:14 +0100 <tomsmeding> honestly, most of the things that mauke mentions fit more with "fashion tech" than "fascism tech"
2026-02-13 23:28:19 +0100 <mauke> tomsmeding: they're projects lead, financed, or controlled by people who are anti-woke, anti-diversity, and/or plain racist
2026-02-13 23:28:25 +0100 <tomsmeding> ah
2026-02-13 23:28:55 +0100 <ElementalFluorin> monochrom: Uuum, in practice, capitalism’s goal of profit maximization by definition leads to totalitarian fascism though. But I think we’re getting too political in here now, for my taste.
2026-02-13 23:29:01 +0100 <mauke> the "corporate control over packages" thing might be nix
2026-02-13 23:29:04 +0100 <Rembane> I think I would prefer a world where more was fashion tech and less was fascism tech
2026-02-13 23:29:14 +0100 <ElementalFluorin> tomsmeding: I tnink that was the joke. :)
2026-02-13 23:29:20 +0100 <tomsmeding> I see :p
2026-02-13 23:29:29 +0100 <yushyin> FluoridinatedFlu: be prepared for the fact that building haskell projects on nix/nixos can be a challenge, especially if you want to link against shared libs. When I tried that a while ago, I regularly ran into linker errors. I apparently exceeded the argv max length or something
2026-02-13 23:29:33 +0100 <ElementalFluorin> mauke: Wouldn’t that be IBM/RedHat?
2026-02-13 23:29:59 +0100 <mauke> ah, here's a version with an "answer key": https://lemmy.ca/post/52764317/19307072