Newest at the top
| 2025-06-16 22:14:57 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) (Ping timeout: 276 seconds) |
| 2025-06-16 22:14:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-06-16 22:13:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:13:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:13:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-16 22:11:07 +0200 | kuribas | (~user@ptr-17d51elzxtkxd2w86pu.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-06-16 22:09:59 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) |
| 2025-06-16 22:08:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 22:06:38 +0200 | artin | (~artynnn@23.95.246.172) (The Lounge - https://thelounge.chat) |
| 2025-06-16 22:06:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:06:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:05:32 +0200 | artynnn5 | artin |
| 2025-06-16 22:01:39 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-06-16 21:58:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-16 21:58:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 21:57:47 +0200 | <tomsmeding> | oh I guess that would just be foldr |
| 2025-06-16 21:57:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 21:57:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-16 21:57:27 +0200 | <tomsmeding> | isn't there this 'each' thing in lens that'd let you do this or something |
| 2025-06-16 21:57:19 +0200 | tomsmeding | has no clue about lens |
| 2025-06-16 21:56:52 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-06-16 21:56:17 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 265 seconds) |
| 2025-06-16 21:53:46 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-16 21:52:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 21:52:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-06-16 21:50:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 21:49:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 21:47:48 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-06-16 21:47:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-16 21:46:58 +0200 | <EvanR> | er, 2xN |
| 2025-06-16 21:45:58 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-06-16 21:45:55 +0200 | <EvanR> | in which case you have 2x2 matrix |
| 2025-06-16 21:45:33 +0200 | <EvanR> | instead of arbitrary functions of the components |
| 2025-06-16 21:45:24 +0200 | <EvanR> | if V2 is supposed to be a vector then you might argue that the only natural functions are linear functions |
| 2025-06-16 21:45:16 +0200 | emfrom | (~emfrom@2a0d:e487:147f:9794:902a:bb9e:90aa:d2c5) (Remote host closed the connection) |
| 2025-06-16 21:43:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-06-16 21:43:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 21:42:56 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-16 21:42:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 21:42:50 +0200 | <EvanR> | you'd need like 63 until it starts needing you to define the next tuple yourself |
| 2025-06-16 21:42:13 +0200 | [exa] | hoogles uncurry12, successfully |
| 2025-06-16 21:41:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-16 21:41:24 +0200 | <int-e> | [exa]: doesn't that just mean that it works with lens ;-) |
| 2025-06-16 21:41:03 +0200 | <EvanR> | for no real reason |
| 2025-06-16 21:40:56 +0200 | <EvanR> | you also don't have uncurry "for all tuples" |
| 2025-06-16 21:40:54 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-06-16 21:40:25 +0200 | <[exa]> | like, it's a natural deconstructor, like foldr for lists or bool for booleans, and the package is from ekmett, so not having that function there makes me feel uneasy about whether there isn't a better way |
| 2025-06-16 21:40:19 +0200 | ChanServ | +v haskellbridge |
| 2025-06-16 21:40:19 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-16 21:40:11 +0200 | <lambdabot> | 22 |