2025/06/07

Newest at the top

2025-06-07 10:01:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 10:01:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 10:01:22 +0200acidjnk(~acidjnk@p200300d6e71c4f51a12bf82c566ecdd4.dip0.t-ipconnect.de) acidjnk
2025-06-07 09:56:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 09:55:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:54:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:53:15 +0200 <tomsmeding> and these two are approximately the simplest cases of sparsePlusS ;p
2025-06-07 09:52:36 +0200 <tomsmeding> with the constraint-based design, that use of Noinj would be one of those inaccessible 'undefined' values
2025-06-07 09:51:52 +0200 <tomsmeding> part of the design is that I want to be able to return stuff in these positions even if I'm not supposed to, to make handling the cases more uniform; for example, in the posted cases, I return the first injection regardless of what boolean that is, because I can't improve the code with knowledge that I don't need to provide the first injection
2025-06-07 09:50:49 +0200Everything(~Everythin@77.120.244.38) Everything
2025-06-07 09:50:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:49:59 +0200 <tomsmeding> the optional "return values" are the injections
2025-06-07 09:49:42 +0200 <tomsmeding> Leary: here is a fragment of the solution I ended up with: https://paste.tomsmeding.com/q3llQ1ol
2025-06-07 09:49:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:48:20 +0200 <tomsmeding> Leary: clever, but unfortunately no; the whole right-hand side of foo depends on the boolean in some cases, not only the parts being optionally returned
2025-06-07 09:46:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-07 09:44:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:44:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:41:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 09:40:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-06-07 09:39:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:38:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:32:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:31:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:30:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-07 09:28:34 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-07 09:25:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:25:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:23:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 09:22:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:22:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:16:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:16:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-06-07 09:16:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:12:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-07 09:10:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:10:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 09:04:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 09:04:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-07 09:04:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-07 09:00:45 +0200caconym7(~caconym@user/caconym) caconym
2025-06-07 09:00:05 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-07 08:57:56 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-06-07 08:57:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:57:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-07 08:54:38 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-07 08:54:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-07 08:50:50 +0200Clint(~Clint@user/clint) Clint
2025-06-07 08:50:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-07 08:50:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)