2025/05/31

Newest at the top

2025-05-31 17:52:53 +0200 <EvanR> 47 is completely inappropriate there
2025-05-31 17:52:19 +0200 <EvanR> and python breaks my brain, the blue prince has a grid of 45 rooms labeled 1 through 45, but wait there's room 46. But in python this is range(1,47)
2025-05-31 17:51:07 +0200tromp(~textual@2001:1c00:3487:1b00:6d02:5019:61fb:28ff)
2025-05-31 17:50:47 +0200 <EvanR> while it's all semantically the same empty
2025-05-31 17:50:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 17:50:21 +0200 <EvanR> it's carrying a lot of information to nowhere
2025-05-31 17:50:05 +0200 <EvanR> like (9,5) (2,-100) (100,50) etc
2025-05-31 17:50:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 17:49:27 +0200 <EvanR> an empty range of indexes
2025-05-31 17:47:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-31 17:45:50 +0200 <monochrom> (The same reason as there are legitimate uses of empty substrings of a string.)
2025-05-31 17:45:05 +0200 <monochrom> Even for arrays the case for non-emptiness is weak. There are legitimate uses of, at least, empty slices of an array.
2025-05-31 17:43:17 +0200 <monochrom> Maybe one may make a case that empty arrays should be banned, but there are all kinds of contexts in which empty ranges are legitimate.
2025-05-31 17:42:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-31 17:42:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 17:42:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 17:40:36 +0200 <EvanR> let you have empties
2025-05-31 17:40:24 +0200 <EvanR> if instead we're talking about cells on a euclidean plane, then x coordinate of boundaries would
2025-05-31 17:39:54 +0200 <EvanR> if what goes in the range is really indexes, and a <= b, then it just means it can't be empty which makes more sense
2025-05-31 17:39:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-05-31 17:35:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 17:34:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 17:32:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-31 17:31:35 +0200 <monochrom> That is either why (first, length) or (first, last + 1) is better than (first, last), or why indexes are Int not Word.
2025-05-31 17:27:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 17:27:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-31 17:27:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 17:21:10 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Ping timeout: 260 seconds)
2025-05-31 17:20:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 17:19:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 17:19:51 +0200gAy_DragonGAy_Dragon
2025-05-31 17:16:37 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-05-31 17:16:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-31 17:12:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 17:12:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 17:11:47 +0200jespada(~jespada@r167-61-121-163.dialup.adsl.anteldata.net.uy) jespada
2025-05-31 17:11:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-31 17:11:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-31 17:07:10 +0200jespada(~jespada@r190-133-40-75.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-05-31 17:06:03 +0200ChanServ+v haskellbridge
2025-05-31 17:06:03 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) hackager
2025-05-31 17:04:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 17:03:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 17:02:23 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection)
2025-05-31 17:01:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-31 16:57:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 16:57:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 16:52:04 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 16:51:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-31 16:51:11 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Max SendQ exceeded)