IRCBrowse

2026/04/04

2026-04-04 00:06:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 00:11:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-04 00:14:07 +0000absurdvoid(~absurdvoi@user/absurdvoid) (Ping timeout: 264 seconds)
2026-04-04 00:16:33 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.)
2026-04-04 00:22:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 00:27:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-04 00:34:35 +0000craunts795335385(~craunts@152.32.99.2)
2026-04-04 00:36:37 +0000absurdvoid(~absurdvoi@user/absurdvoid) absurdvoid
2026-04-04 00:38:27 +0000merijn(~merijn@62.45.136.136) merijn
2026-04-04 00:43:39 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 255 seconds)
2026-04-04 01:03:43 +0000td_(~td@i53870907.versanet.de) td_
2026-04-04 01:09:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 01:11:56 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer)
2026-04-04 01:13:08 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) synchromesh
2026-04-04 01:14:00 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer)
2026-04-04 01:14:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-04 01:14:46 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) synchromesh
2026-04-04 01:21:22 +0000humasectwhomasect
2026-04-04 01:25:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 01:30:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-04-04 01:33:58 +0000whomasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-04-04 01:33:59 +0000Vizious(~bes@user/Vizious) (Ping timeout: 252 seconds)
2026-04-04 01:36:06 +0000Vizious(~bes@user/Vizious) Vizious
2026-04-04 01:41:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 01:45:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-04 01:56:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 01:59:14 +0000Nosrep(~jimothy@user/nosrep) (Quit: Konversation terminated!)
2026-04-04 01:59:38 +0000Nosrep(~jimothy@user/nosrep) Nosrep
2026-04-04 02:01:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-04 02:12:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 02:17:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-04 02:19:30 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds)
2026-04-04 02:26:08 +0000vidak(~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Read error: Connection reset by peer)
2026-04-04 02:27:36 +0000vidak(~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) vidak
2026-04-04 02:28:05 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-04-04 02:28:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 02:29:44 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer)
2026-04-04 02:30:18 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) synchromesh
2026-04-04 02:33:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-04 02:33:36 +0000vidak(~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) (Read error: Connection reset by peer)
2026-04-04 02:34:20 +0000vidak(~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) vidak
2026-04-04 02:36:14 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer)
2026-04-04 02:36:59 +0000m(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-04-04 02:37:04 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) synchromesh
2026-04-04 02:37:29 +0000td_(~td@i53870907.versanet.de) (Ping timeout: 248 seconds)
2026-04-04 02:39:15 +0000m(~travltux@user/travltux) travltux
2026-04-04 02:39:26 +0000td_(~td@i5387091C.versanet.de) td_
2026-04-04 02:41:23 +0000qqq(~qqq@185.54.23.237)
2026-04-04 02:44:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 02:49:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-04-04 02:57:54 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds)
2026-04-04 03:00:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 03:03:38 +0000xff0x(~xff0x@2405:6580:b080:900:ec01:f28c:6f01:3489) (Ping timeout: 268 seconds)
2026-04-04 03:04:14 +0000xff0x(~xff0x@2405:6580:b080:900:ee83:75a7:fd77:12be)
2026-04-04 03:05:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-04-04 03:05:15 +0000Googulator(~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu)
2026-04-04 03:15:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 03:20:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-04-04 03:21:39 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer)
2026-04-04 03:22:28 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) synchromesh
2026-04-04 03:26:59 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-04-04 03:31:52 +0000 <gentauro> `{-# OPTIONS_GHC -Wall -Werror #-}` is nice to help you remove "noise" come code files
2026-04-04 03:31:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 03:32:23 +0000 <gentauro> however, once you `derive` Show on a data type, it no longer tells you which properties aren't being used :(
2026-04-04 03:33:18 +0000 <gentauro> btw, what does this do: `data FooBar = FooBar {-# UNPACK #-} !Int`. Like the `unpack` pragma combined with `Int`?
2026-04-04 03:35:44 +0000 <geekosaur> explicitly telling the compiler to unpack the `Int` into `FooBar` rather than making a pointer to it (which requires that it be strict)
2026-04-04 03:36:22 +0000 <geekosaur> these days you don't generally need to do that, `-funbox-small-strict-fields` is on by default if you compile with optimization
2026-04-04 03:36:23 +0000 <gentauro> geekosaur: does this only work for primitive (`struct` types)?
2026-04-04 03:36:44 +0000 <geekosaur> no
2026-04-04 03:37:38 +0000 <geekosaur> there used to be a number of restrictions on it but I think most of them are gone, only strictness remains. (for example, the type had to have a single constructor until unboxed sums were added and it became possible to support multi-constructor unpacking)
2026-04-04 03:37:46 +0000 <gentauro> `data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar` would work as well?
2026-04-04 03:38:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-04 03:40:22 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-04 03:41:51 +0000 <geekosaur> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#unpack-pragma (note that it tells you it won't work in your case, then only afterward mentions that it will in 9.6.1 and later)
2026-04-04 03:45:43 +0000notzmv(~umar@user/notzmv) notzmv
2026-04-04 03:46:11 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 268 seconds)
2026-04-04 03:46:12 +0000 <gentauro> geekosaur: nice -> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/primitives.html#extension-UnboxedSums
2026-04-04 03:47:40 +0000 <gentauro> btw, do we have something similar to this `dotnet-dump` (heap memory): https://gitlab.com/spisemisu/SpiseMisu.Text.Dstring/-/blob/main/dotnet-cli-tools.sh?ref_type=heads…
2026-04-04 03:48:08 +0000 <gentauro> where you can drill down (mem) usage of an app?
2026-04-04 03:49:46 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-04 03:50:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 03:53:16 +0000 <geekosaur> https://discourse.haskell.org/t/ghc-profiling-a-cabal-project-with-an-interactive-application/10465 perhaps?
2026-04-04 03:54:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-04-04 03:55:53 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2026-04-04 03:58:40 +0000 <gentauro> geekosaur: yeah, that's it.
2026-04-04 04:01:22 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds)
2026-04-04 04:03:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 04:06:00 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-04 04:07:40 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-04-04 04:07:45 +0000qqq(~qqq@185.54.23.237) (Remote host closed the connection)
2026-04-04 04:08:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-04 04:18:56 +0000jrm(~jrm@user/jrm) (Quit: ciao)
2026-04-04 04:19:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 04:20:11 +0000jrm(~jrm@user/jrm) jrm
2026-04-04 04:24:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-04 04:32:11 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-04-04 04:35:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 04:40:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-04 04:40:48 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 255 seconds)
2026-04-04 04:46:42 +0000absurdvoid(~absurdvoi@user/absurdvoid) (Ping timeout: 248 seconds)
2026-04-04 04:51:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 04:56:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-04-04 04:57:44 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) (Read error: Connection reset by peer)
2026-04-04 04:58:41 +0000synchromesh(~john@2406:5a00:2412:2c00:343e:4e23:bce:73a3) synchromesh
2026-04-04 05:04:02 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-04 05:07:05 +0000merijn(~merijn@62.45.136.136) merijn
2026-04-04 05:08:55 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-04-04 05:13:39 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 245 seconds)
2026-04-04 05:23:06 +0000Nosrep(~jimothy@user/nosrep) (Ping timeout: 246 seconds)
2026-04-04 05:25:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 05:30:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-04-04 05:41:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 05:41:21 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-04-04 05:45:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-04 05:49:39 +0000j1n37(~j1n37@user/j1n37) (Ping timeout: 255 seconds)
2026-04-04 05:56:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 06:01:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-04-04 06:04:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 06:09:15 +0000notzmv(~umar@user/notzmv) (Ping timeout: 268 seconds)
2026-04-04 06:09:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-04 06:15:36 +0000j1n37(~j1n37@user/j1n37) j1n37
2026-04-04 06:20:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 06:20:42 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 255 seconds)
2026-04-04 06:25:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-04-04 06:26:11 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2026-04-04 06:29:08 +0000j1n37(~j1n37@user/j1n37) j1n37
2026-04-04 06:33:10 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-04-04 06:33:22 +0000Square3(~Square@user/square) (Ping timeout: 248 seconds)
2026-04-04 06:36:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-04 06:36:53 +0000 <gentauro> % data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar
2026-04-04 06:36:53 +0000 <yahb2> <no output>
2026-04-04 06:37:06 +0000 <gentauro> % sizeOf FooBar
2026-04-04 06:37:06 +0000 <yahb2> <interactive>:11:1: error: [GHC-88464] ; Variable not in scope: sizeOf :: t0 -> t1 ; ; <interactive>:11:8: error: [GHC-01928] ; • Illegal term-level use of the type constructor ‘FooBar’ ; ...
2026-04-04 06:37:19 +0000 <gentauro> % data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar; sizeOf FooBar
2026-04-04 06:37:19 +0000 <yahb2> <interactive>:13:71: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-04 06:37:28 +0000 <gentauro> % data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar; sizeOf Foo
2026-04-04 06:37:28 +0000 <yahb2> <interactive>:15:71: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-04 06:37:51 +0000 <gentauro> % sizeOf 42
2026-04-04 06:37:51 +0000 <yahb2> <interactive>:17:1: error: [GHC-88464] ; Variable not in scope: sizeOf :: t0 -> t
2026-04-04 06:38:07 +0000 <gentauro> % import Foreign.Storable
2026-04-04 06:38:07 +0000 <yahb2> <no output>
2026-04-04 06:38:09 +0000 <gentauro> % sizeOf 42
2026-04-04 06:38:09 +0000 <yahb2> 8
2026-04-04 06:38:12 +0000 <gentauro> % data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar; sizeOf Foo
2026-04-04 06:38:12 +0000 <yahb2> <interactive>:23:71: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-04 06:38:18 +0000 <gentauro> % data FooBar = Foo | Bar; data BazQux = BazQux {-# UNPACK #-} !FooBar
2026-04-04 06:38:18 +0000 <yahb2> <no output>
2026-04-04 06:38:23 +0000 <gentauro> % sizeOf Foo
2026-04-04 06:38:23 +0000 <yahb2> <interactive>:27:1: error: [GHC-39999] ; • No instance for ‘Storable FooBar’ arising from a use of ‘sizeOf’ ; • In the expression: sizeOf Foo ; In an equation for ‘it’: it = sizeOf Foo
2026-04-04 06:39:28 +0000 <gentauro> % data FooBar = Foo | Bar deriving Storable; data BazQux = BazQux {-# UNPACK #-} !FooBar deriving Storable
2026-04-04 06:39:28 +0000 <yahb2> <interactive>:29:34: error: [GHC-00158] ; • Can't make a derived instance of ‘Storable FooBar’: ; ‘Storable’ is not a stock derivable class (Eq, Show, etc.) ; • In the data type dec...
2026-04-04 06:41:32 +0000marinelli(~weechat@brrr.fr) (Quit: marinelli)
2026-04-04 06:41:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)