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