Newest at the top
2025-10-16 17:41:24 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-10-16 17:34:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
2025-10-16 17:33:51 +0200 | kuribas | (~user@2a02-1810-2825-6000-5d7f-1d97-1f8d-30e0.ip6.access.telenet.be) kuribas |
2025-10-16 17:33:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
2025-10-16 17:27:21 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-16 17:27:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
2025-10-16 17:22:29 +0200 | Square | (~Square4@user/square) Square |
2025-10-16 17:17:57 +0200 | fp | (~Thunderbi@130.233.70.16) (Quit: fp) |
2025-10-16 17:13:57 +0200 | tv | (~tv@user/tv) tv |
2025-10-16 17:13:10 +0200 | trickard___ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-16 17:13:06 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-10-16 17:12:46 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
2025-10-16 17:12:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-16 17:12:16 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-10-16 17:11:54 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-16 17:11:34 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-10-16 17:08:34 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-16 17:08:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-10-16 17:07:52 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
2025-10-16 17:05:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-10-16 16:58:15 +0200 | Zemy | (~Zemy@2600:100c:b0a2:b883:b072:d6ff:fe1b:4897) (Client Quit) |
2025-10-16 16:58:08 +0200 | Zemy | (~Zemy@2600:100c:b0a2:b883:b072:d6ff:fe1b:4897) |
2025-10-16 16:58:01 +0200 | Zemy_ | (~Zemy@76.184.41.21) (Read error: Connection reset by peer) |
2025-10-16 16:57:38 +0200 | Zemy | (~Zemy@2600:100c:b0a2:b883:889e:92ff:fe0d:1fda) (Read error: Connection reset by peer) |
2025-10-16 16:57:30 +0200 | trickard_ | trickard |
2025-10-16 16:56:38 +0200 | Zemy_ | (~Zemy@76.184.41.21) |
2025-10-16 16:56:10 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-10-16 16:56:10 +0200 | Zemy_ | Zemy |
2025-10-16 16:56:03 +0200 | Zemy | (~Zemy@76.184.41.21) (Read error: Connection reset by peer) |
2025-10-16 16:56:03 +0200 | Zemy_ | (~Zemy@2600:100c:b0a2:b883:889e:92ff:fe0d:1fda) |
2025-10-16 16:41:06 +0200 | <Zemy> | A way to return additional information, or potentially not return an array. I was thinking runSTArrayOn :: Traversable t => (forall s. ST s (t (MArray s i e))) -> t (Array i e). |
2025-10-16 16:39:18 +0200 | <Zemy> | Oh, there is one thing I wish the Data.Array.ST.Safe module had. |
2025-10-16 16:33:47 +0200 | <Zemy> | I guess that means it's Affine? |
2025-10-16 16:33:29 +0200 | <Zemy> | If a type *t* has an associated function traverseP :: Pointed f => (a -> f b) -> t a -> f (t b), then exists b c. t ~ Compose (Either b) ((,) c). It means that t a holds 0 or 1 values of a along with some other stuff. |
2025-10-16 16:31:12 +0200 | <Zemy> | People say it doesn't have much use, but there is an interesting use case. |
2025-10-16 16:30:42 +0200 | <Zemy> | I'm thinking about Pointed. |
2025-10-16 16:30:29 +0200 | Zemy | (~Zemy@76.184.41.21) |
2025-10-16 16:25:52 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
2025-10-16 16:22:57 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-10-16 16:22:46 +0200 | cipherrot | (~jez@user/petrichor) (Read error: Connection reset by peer) |
2025-10-16 16:12:26 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-10-16 16:05:49 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-10-16 16:04:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
2025-10-16 16:04:17 +0200 | tomku | (~tomku@user/tomku) tomku |
2025-10-16 16:03:07 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
2025-10-16 15:58:43 +0200 | <int-e> | the file contains generated symbol names that depend on how the code was compiled, so having just a single .hi file would be awkward |
2025-10-16 15:58:22 +0200 | <tomsmeding> | not to be confused with .hie files, which are IDE info files encoding stuff like types of subexpressions at particular source locations |
2025-10-16 15:58:10 +0200 | <int-e> | p = profiling, dyn = dynamic |
2025-10-16 15:57:36 +0200 | <tomsmeding> | generated alongside a .o, containing data about exactly which functions are exported, including inlineable Core, computed demand annotations, etc. |
2025-10-16 15:57:10 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |