Newest at the top
| 2025-11-09 15:56:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:54:36 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-09 15:52:49 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-09 15:50:31 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-09 15:47:45 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 15:47:16 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-09 15:46:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-09 15:44:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 15:41:59 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-09 15:40:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:36:55 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) synchromesh |
| 2025-11-09 15:35:32 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) (Read error: Connection reset by peer) |
| 2025-11-09 15:34:03 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-09 15:29:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 15:27:43 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 15:25:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-09 15:25:01 +0100 | tt12310978324354 | tt1231 |
| 2025-11-09 15:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:19:26 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-11-09 15:13:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 15:09:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:08:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-09 15:06:01 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 15:04:58 +0100 | <tomsmeding> | interesting |
| 2025-11-09 15:04:28 +0100 | <__monty__> | I saw it applied in the context of Clash's BitVector, so it was absolutely not obvious that negate would be two's complement. |
| 2025-11-09 15:04:08 +0100 | <tomsmeding> | if x is not zero, it ends with some zeros (0 or more), a one, and then some zeros (0 or more); say 01000. ~01000 = 10111; -01000 = 10111 + 1 = 11000 |
| 2025-11-09 15:03:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 15:02:43 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2025-11-09 15:01:46 +0100 | <lambdabot> | [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,1,2,1,4] |
| 2025-11-09 15:01:44 +0100 | <tomsmeding> | > [x .&. negate x | x <- [1..20]] |
| 2025-11-09 15:01:36 +0100 | <fgarcia> | i like math tricks! :) |
| 2025-11-09 15:00:38 +0100 | <lambdabot> | 8 |
| 2025-11-09 15:00:36 +0100 | <fgarcia> | > 24 .&. negate 24 |
| 2025-11-09 15:00:24 +0100 | <tomsmeding> | it's a famous bithack |
| 2025-11-09 15:00:05 +0100 | tomsmeding | . o O ( negate x = complement x + 1 ) |
| 2025-11-09 14:59:37 +0100 | <lambdabot> | 2 |
| 2025-11-09 14:59:35 +0100 | <fgarcia> | > 10 .&. negate 10 |
| 2025-11-09 14:55:14 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Remote host closed the connection) |
| 2025-11-09 14:54:30 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 14:54:29 +0100 | <__monty__> | `lsb x = x .&. negate x` is such a cheat. |
| 2025-11-09 14:53:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Remote host closed the connection) |
| 2025-11-09 14:53:28 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 14:51:18 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 14:48:20 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Quit: Leaving) |
| 2025-11-09 14:46:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 14:43:11 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 14:42:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:38:05 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:37:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-09 14:35:26 +0100 | califax | (~califax@user/califx) califx |