Newest at the top
| 2025-06-16 22:39:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-16 22:36:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:35:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:35:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 22:27:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:27:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:24:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-16 22:24:41 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-06-16 22:21:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-16 22:21:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-16 22:20:08 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-16 22:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-16 22:18:16 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) segfaultfizzbuzz |
| 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) |