2026/02/13

Newest at the top

2026-02-13 10:40:39 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-02-13 10:38:41 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 252 seconds)
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:33:18 +0100 <gentauro> int-e: got it
2026-02-13 10:28:32 +0100fp(~Thunderbi@130.233.70.58) fp
2026-02-13 10:24:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 10:17:14 +0100akegalj(~akegalj@141-136-187-120.dsl.iskon.hr) (Ping timeout: 252 seconds)
2026-02-13 10:15:30 +0100KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-13 10:15:02 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
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: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:10:36 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
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:05:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 10:04:44 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de)
2026-02-13 10:04:04 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-13 10:00:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:59:44 +0100gentauroif it's pre-compiled, where is the binary located?
2026-02-13 09:59:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
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:54:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:53:48 +0100Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
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:50:56 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-13 09:48:28 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
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:47:03 +0100trickard_trickard
2026-02-13 09:44:49 +0100chele(~chele@user/chele) chele
2026-02-13 09:43:53 +0100oskarw(~user@user/oskarw) oskarw
2026-02-13 09:43:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-13 09:40:44 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds)
2026-02-13 09:39:04 +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:23:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:22:28 +0100wickedjargon(~user@2605:8d80:5430:ffe4:f6e0:4c35:5911:ff51) (Ping timeout: 246 seconds)
2026-02-13 09:22:07 +0100wickedja`(~user@2605:8d80:5430:fd12:6e99:f85a:47a9:10bc)
2026-02-13 09:16:33 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-02-13 09:12:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 09:08:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-13 09:04:24 +0100akegalj(~akegalj@141-136-187-120.dsl.iskon.hr)
2026-02-13 09:00: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 08:45:19 +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:29:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-13 08:28:21 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-13 08:28:10 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-02-13 08:27:32 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2026-02-13 08:26:07 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 246 seconds)
2026-02-13 08:23:23 +0100w00ter(~w00ter@user/w00ter) (Ping timeout: 252 seconds)