Newest at the top
| 2024-09-24 17:30:54 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-24 17:30:41 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-24 17:20:40 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-24 17:18:11 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-24 17:16:36 +0200 | Digitteknohippie | Digit |
| 2024-09-24 17:16:29 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2024-09-24 17:12:59 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2024-09-24 17:06:48 +0200 | athan | (~athan@146.newark-18rh15rt.nj.dial-access.att.net) athan |
| 2024-09-24 17:06:18 +0200 | <raehik> | tomsmeding: thx :o :D |
| 2024-09-24 17:05:53 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-09-24 17:03:24 +0200 | <tomsmeding> | and yes, hoogle is very slow recently |
| 2024-09-24 17:03:13 +0200 | <tomsmeding> | probie had some suggestions |
| 2024-09-24 17:02:51 +0200 | <tomsmeding> | ;) |
| 2024-09-24 17:02:49 +0200 | <tomsmeding> | raehik: also see: everything from here to the bottom of the page https://ircbrowse.tomsmeding.com/day/lchaskell/2024/09/23?id=1363304#trid1363304 |
| 2024-09-24 16:57:05 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-09-24 16:50:31 +0200 | <raehik> | also, any others experiencing hoogle.haskell.org issues? |
| 2024-09-24 16:50:20 +0200 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) christiaanb |
| 2024-09-24 16:49:38 +0200 | <raehik> | ahhh that's what I want glguy , c_wraith ! thanks |
| 2024-09-24 16:47:34 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2024-09-24 16:45:55 +0200 | <c_wraith> | Data.Bits has countLeadingZeroes |
| 2024-09-24 16:45:35 +0200 | <glguy> | after you xor you'd want to find the number of leading zeros and then turn that into an index (divide it by 8) |
| 2024-09-24 16:45:05 +0200 | <raehik> | oh I think I see, extract those pairs and do some checks as in your earlier msg |
| 2024-09-24 16:44:19 +0200 | <raehik> | what won't apply? |
| 2024-09-24 16:44:05 +0200 | <Athas> | Well, if you want to avoid single byte operations, then it won't apply anyway. |
| 2024-09-24 16:41:30 +0200 | sdrfan123 | (~sdrfan123@2607:fb90:df8d:eacb:60ed:f19e:406e:c9e9) |
| 2024-09-24 16:39:19 +0200 | <raehik> | what do you mean "extract the eight bytes"? |
| 2024-09-24 16:39:11 +0200 | <raehik> | Athas: I'm trying to avoid single byte operations since they're inefficient (for my Word64) |
| 2024-09-24 16:39:03 +0200 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-24 16:38:29 +0200 | <Athas> | Or do the XOR comparison first, then extract the eight bytes. |
| 2024-09-24 16:37:36 +0200 | <raehik> | I'm a little hesitant because I can't find any examples out there |
| 2024-09-24 16:37:35 +0200 | <Athas> | raehik: for efficiency, it is probably best to have a kind of unrolled loop that compares all the eight byte pairs. |
| 2024-09-24 16:37:19 +0200 | <raehik> | My intuition says to XOR the Words, then find the leftmost (or rightmost depending on endianness) null byte, for which there's an efficient algorithm out there |
| 2024-09-24 16:36:42 +0200 | <raehik> | I have two Words (say Word64). How can I efficiently find the index of the first pair of bytes that don't match? |
| 2024-09-24 16:34:13 +0200 | ubert1 | ubert |
| 2024-09-24 16:31:54 +0200 | ubert1 | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 16:31:48 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2024-09-24 16:30:31 +0200 | <Athas> | Today I taught a lecture on free monads. I wonder if the students got any of it. |
| 2024-09-24 16:24:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 16:24:47 +0200 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-24 16:24:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-24 16:24:14 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2024-09-24 16:22:37 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2024-09-24 16:19:48 +0200 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-09-24 16:19:38 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-09-24 16:15:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-24 16:05:58 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 16:05:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-09-24 15:56:41 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 255 seconds) |
| 2024-09-24 15:49:19 +0200 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
| 2024-09-24 15:43:21 +0200 | adamCS__ | (~adamCS@70.107.91.225) |