2025/05/31

Newest at the top

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)
2025-05-31 16:51:08 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 16:50:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-31 16:49:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-31 16:49:56 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
2025-05-31 16:49:55 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 16:49:19 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
2025-05-31 16:49:18 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 16:48:42 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Max SendQ exceeded)
2025-05-31 16:48:40 +0200jmnyarega(~jmnyarega@user/jmnyarega) jmnyarega
2025-05-31 16:48:38 +0200catties(~catties@user/meow/catties) catties
2025-05-31 16:48:04 +0200jmnyarega(~jmnyarega@user/jmnyarega) (Max SendQ exceeded)