Newest at the top
| 2025-10-16 18:22:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-16 18:15:23 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-16 18:11:44 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-16 18:06:40 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-16 18:05:52 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-16 18:05:12 +0200 | Square | (~Square4@user/square) (Remote host closed the connection) |
| 2025-10-16 18:04:59 +0200 | satler | (~satler@user/satler) (Quit: satler) |
| 2025-10-16 18:00:03 +0200 | trickard_ | trickard |
| 2025-10-16 17:53:59 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-16 17:51:42 +0200 | satler | (~satler@user/satler) satler |
| 2025-10-16 17:47:07 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-16 17:46:53 +0200 | trickard___ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 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) |