Newest at the top
| 2025-10-15 15:07:16 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-15 15:05:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds) |
| 2025-10-15 15:04:13 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-15 14:59:35 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 14:59:21 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 14:54:03 +0200 | peutri | (~peutri@bobo.desast.re) peutri |
| 2025-10-15 14:53:12 +0200 | chenjf | (~chenjf@68.64.178.54) |
| 2025-10-15 14:48:33 +0200 | fp | (~Thunderbi@130.233.70.16) fp |
| 2025-10-15 14:46:54 +0200 | peutri | (~peutri@bobo.desast.re) (Ping timeout: 252 seconds) |
| 2025-10-15 14:43:20 +0200 | <kuribas`> | do foo <- fooExpr; bar <- barExpr; ... ; pure (MyRecord {..}) |
| 2025-10-15 14:42:45 +0200 | <kuribas`> | Much more readable and robust than positional. |
| 2025-10-15 14:42:24 +0200 | <kuribas`> | I use applicativeDo for records. |
| 2025-10-15 14:25:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-15 14:21:21 +0200 | <dminuoso> | But because it was just idealism there was no inherent need that kept me going. |
| 2025-10-15 14:21:08 +0200 | <dminuoso> | [exa]: Yes, some years ago I started a huge rewrite for no practical reason other than idealism. |
| 2025-10-15 14:19:24 +0200 | fp | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-10-15 14:18:16 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-15 14:15:05 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 14:13:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 14:08:41 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 14:03:10 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-15 13:58:59 +0200 | trickard___ | trickard |
| 2025-10-15 13:58:51 +0200 | <[exa]> | dminuoso: (perhaps related: https://github.com/pcapriotti/optparse-applicative/pull/505 ) |
| 2025-10-15 13:58:37 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-15 13:58:31 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-15 13:58:23 +0200 | <[exa]> | dminuoso: re optparse-selective, that would be a rewrite of optparse? |
| 2025-10-15 13:57:56 +0200 | trickard___ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 13:55:22 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-15 13:51:54 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2025-10-15 13:50:55 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:50:21 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 13:49:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 13:47:50 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-15 13:46:18 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-15 13:45:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 13:45:27 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 13:44:46 +0200 | fp1 | fp |
| 2025-10-15 13:44:45 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-15 13:43:24 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:43:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-15 13:42:53 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) fp |
| 2025-10-15 13:37:12 +0200 | <tomsmeding> | ah right, makes sense |
| 2025-10-15 13:36:58 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-15 13:36:42 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-10-15 13:35:38 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-15 13:34:20 +0200 | <dminuoso> | (And I still have optparse-selective on my todo stack) |
| 2025-10-15 13:32:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:32:17 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 13:31:08 +0200 | <dminuoso> | I usually use it for optparse-applicative. |
| 2025-10-15 13:30:55 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 265 seconds) |