Newest at the top
| 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 |
| 2025-11-09 14:30:55 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:30:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 14:30:15 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-09 14:24:31 +0100 | annamalai | (~annamalai@157.33.211.168) annamalai |
| 2025-11-09 14:24:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:21:50 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 14:20:22 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:17:38 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-09 14:16:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 14:14:55 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-09 14:13:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 14:08:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 14:08:01 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 14:07:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 14:07:48 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 14:05:49 +0100 | califax_ | califax |
| 2025-11-09 14:05:48 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-09 14:03:37 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-11-09 14:03:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:50:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 13:45:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 13:39:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-09 13:39:21 +0100 | califax | (~califax@user/califx) califx |