Newest at the top
| 2024-10-24 20:30:12 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-24 20:27:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:27:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 20:17:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 20:16:52 +0200 | sinbad | (~sinbad@user/sinbad) Sinbad |
| 2024-10-24 20:13:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-24 20:12:50 +0200 | ljdarj1 | ljdarj |
| 2024-10-24 20:12:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-24 20:11:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:10:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-24 20:10:27 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-24 20:09:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 20:08:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 20:06:41 +0200 | <EvanR> | yeeeeah |
| 2024-10-24 20:05:21 +0200 | Mazin | (~Mazin@197.39.37.178) (Quit: Client closed) |
| 2024-10-24 20:04:48 +0200 | <zzz> | i just hate stuff like length returning Int so that's my problem |
| 2024-10-24 20:02:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-24 20:02:14 +0200 | <EvanR> | which is why it doesn't play nice with Int APIs |
| 2024-10-24 20:01:48 +0200 | <EvanR> | where n is 64 |
| 2024-10-24 20:01:17 +0200 | <EvanR> | usually when I see Word, I expect it's because they want the very large values for some reason, or yeah you want all values 0 to 2^n - 1 |
| 2024-10-24 20:01:13 +0200 | <zzz> | s/thinks/things |
| 2024-10-24 20:01:07 +0200 | <zzz> | thinks like minBound /= 0 trip me up sometimes |
| 2024-10-24 20:01:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 20:00:14 +0200 | <zzz> | s/think/thinking |
| 2024-10-24 20:00:01 +0200 | <zzz> | EvanR: i'm just used to think in binary, maybe "make negative keys unrepresentable" was a bad way to explain myself |
| 2024-10-24 19:56:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:56:06 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 276 seconds) |
| 2024-10-24 19:55:55 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-24 19:54:10 +0200 | alphazone | (~alphazone@2.219.56.221) |
| 2024-10-24 19:49:46 +0200 | briandaed | (~root@185.234.210.211) |
| 2024-10-24 19:45:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 19:43:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 19:42:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-24 19:40:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-24 19:39:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:38:59 +0200 | lb | (~alphazone@2.219.56.221) (Ping timeout: 255 seconds) |
| 2024-10-24 19:38:23 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2024-10-24 19:38:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 19:36:02 +0200 | <EvanR> | but "can't be negative" is a higher level condition which survives changes in representation and precision |
| 2024-10-24 19:35:36 +0200 | Mazin | (~Mazin@197.39.37.178) |
| 2024-10-24 19:35:24 +0200 | <EvanR> | it may be that IntMap internally uses the bits |
| 2024-10-24 19:34:33 +0200 | <EvanR> | (expressed as mod power of 2) |
| 2024-10-24 19:34:18 +0200 | <EvanR> | (though unsigned has additional guarantees about overflow) |
| 2024-10-24 19:34:04 +0200 | <EvanR> | defined by their behavior when asked to do things with representable values, not bits |
| 2024-10-24 19:33:33 +0200 | <EvanR> | are you actually using the binary representation, but Word and Int feel very much like unsigned and "int" in C |
| 2024-10-24 19:33:22 +0200 | noctux | (~noctux@user/noctux) noctux |
| 2024-10-24 19:32:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 19:31:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-10-24 19:27:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:26:59 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |