Logs: liberachat/#haskell
| 2025-11-18 13:59:55 | <haskellbridge> | <Morj> That's fine, I already wrote "lb a = flip Data.Function.fix (abs a, 0) $ \go (x, r) -> if x == 0 then r else go (Data.Bits.shiftR x 1, r + 1)" |
| 2025-11-18 14:00:25 | <haskellbridge> | <Morj> It's off by one but that's fine |
| 2025-11-18 14:01:15 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-18 14:01:38 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-18 14:02:25 | × | srazkvt quits (~sarah@user/srazkvt) (Ping timeout: 264 seconds) |
| 2025-11-18 14:07:37 | <lucabtz> | Morj by log2 i didnt mean anything specific about haskell, just the natural logarithm in base 2, but you are right it is for floating |
| 2025-11-18 14:08:28 | <lucabtz> | that's why i said maybe not good for efficiency |
| 2025-11-18 14:08:46 | ← | Lycurgus parts (~juan@user/Lycurgus) (bye room!) |
| 2025-11-18 14:10:09 | trickard_ | is now known as trickard |
| 2025-11-18 14:11:56 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-18 14:12:00 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-11-18 14:13:41 | <haskellbridge> | <Morj> It's not only not good for efficiency, but logBase 2 (2^1024) == NaN |
| 2025-11-18 14:13:52 | → | Zemy joins (~Zemy@2600:100c:b0ae:c0b:84d9:a0ff:fe3d:6f11) |
| 2025-11-18 14:13:55 | <haskellbridge> | <Morj> I don't care about efficiency in ghci, more about usefulness |
| 2025-11-18 14:14:19 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-18 14:16:39 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2025-11-18 14:18:26 | <lucabtz> | sure sure, i just meant its related to log2, didnt know about the specific haskell functions |
| 2025-11-18 14:20:25 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-11-18 14:24:46 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2025-11-18 14:27:17 | <Leary> | Morj: `GHC.Num.integerLog2` |
| 2025-11-18 14:29:05 | <haskellbridge> | <Morj> Thanks, that's exactly what I wanted |
| 2025-11-18 14:30:58 | → | morj joins (~morj@user/morj) |
| 2025-11-18 14:31:24 | <morj> | The tagging of my bridged account still doesn't work, but what if I write out @morj:morj.men ? |
| 2025-11-18 14:31:35 | <haskellbridge> | <Morj> morj: Hm |
| 2025-11-18 14:31:40 | <morj> | Morj hm |
| 2025-11-18 14:31:50 | <haskellbridge> | <Morj> Wait what, this one tagged me |
| 2025-11-18 14:32:07 | <haskellbridge> | <Morj> What are you all doing wrong? |
| 2025-11-18 14:39:55 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 2025-11-18 14:39:58 | <tomsmeding> | Morj test |
| 2025-11-18 14:39:59 | <dutchie> | Morj: there was no colon on the second one |
| 2025-11-18 14:40:30 | → | Zemy_ joins (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-11-18 14:43:04 | × | Zemy quits (~Zemy@2600:100c:b0ae:c0b:84d9:a0ff:fe3d:6f11) (Ping timeout: 256 seconds) |
| 2025-11-18 14:47:37 | <haskellbridge> | <Morj> Um, now I see both (I was just afk) |
| 2025-11-18 14:49:08 | <tomsmeding> | Morj: have you considered correlating matrix notification behaviour with the phase of the moon |
| 2025-11-18 14:49:29 | <haskellbridge> | <Morj> Yes, it's uncorrelated |
| 2025-11-18 14:49:48 | <tomsmeding> | that's a relief |
| 2025-11-18 14:50:10 | <haskellbridge> | <Morj> It's not the matrix itself (which also has a million problems), but the bridge misbehaving. But I believe this problem was reported |
| 2025-11-18 14:50:20 | <tomsmeding> | oh right, I remember |
| 2025-11-18 14:51:31 | <tomsmeding> | https://github.com/hifi/heisenbridge/issues/310 |
| 2025-11-18 14:51:35 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 245 seconds) |
| 2025-11-18 14:52:26 | <tomsmeding> | Morj: so it's possible that it works _because_ you're now also here with your morj irc user |
| 2025-11-18 14:52:37 | <haskellbridge> | <Morj> Huh |
| 2025-11-18 14:52:43 | ← | morj parts (~morj@user/morj) (Konversation terminated!) |
| 2025-11-18 14:52:48 | <haskellbridge> | <Morj> Try now plz |
| 2025-11-18 14:52:54 | <tomsmeding> | Morj test |
| 2025-11-18 14:52:59 | <haskellbridge> | <Morj> Yep, no notif |
| 2025-11-18 14:57:02 | × | fp quits (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 265 seconds) |
| 2025-11-18 14:57:48 | <lucabtz> | how about the colon? |
| 2025-11-18 14:57:53 | <lucabtz> | Morj: test |
| 2025-11-18 14:57:59 | <haskellbridge> | <Morj> Nope |
| 2025-11-18 14:59:04 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2025-11-18 14:59:11 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2025-11-18 15:02:15 | → | Xe_ joins (~Xe@perl/impostor/xe) |
| 2025-11-18 15:02:25 | → | rembo10_ joins (~rembo10@main.remulis.com) |
| 2025-11-18 15:02:55 | → | Inline joins (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) |
| 2025-11-18 15:03:07 | × | jangerma1 quits (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2025-11-18 15:03:45 | → | ystael_ joins (~ystael@user/ystael) |
| 2025-11-18 15:07:13 | × | connrs quits (~connrs@user/connrs) (Ping timeout: 264 seconds) |
| 2025-11-18 15:07:15 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-11-18 15:07:27 | → | fgarcia_ joins (~lei@user/fgarcia) |
| 2025-11-18 15:08:23 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (*.net *.split) |
| 2025-11-18 15:08:23 | × | spew quits (~spew@user/spew) (*.net *.split) |
| 2025-11-18 15:08:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (*.net *.split) |
| 2025-11-18 15:08:23 | × | xff0x quits (~xff0x@2405:6580:b080:900:d0b4:2969:7511:437b) (*.net *.split) |
| 2025-11-18 15:08:23 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) (*.net *.split) |
| 2025-11-18 15:08:23 | × | omidmash quits (~omidmash@user/omidmash) (*.net *.split) |
| 2025-11-18 15:08:24 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (*.net *.split) |
| 2025-11-18 15:08:24 | × | tt12316 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (*.net *.split) |
| 2025-11-18 15:08:24 | × | itaipu quits (~itaipu@168.121.97.28) (*.net *.split) |
| 2025-11-18 15:08:24 | × | xal quits (~xal@mx1.xal.systems) (*.net *.split) |
| 2025-11-18 15:08:24 | × | enikar quits (~enikar@user/enikar) (*.net *.split) |
| 2025-11-18 15:08:24 | × | tremon quits (~tremon@83.80.159.219) (*.net *.split) |
| 2025-11-18 15:08:24 | × | statusbot2 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 2025-11-18 15:08:24 | × | EvanR quits (~EvanR@user/evanr) (*.net *.split) |
| 2025-11-18 15:08:24 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (*.net *.split) |
| 2025-11-18 15:08:24 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (*.net *.split) |
| 2025-11-18 15:08:24 | × | traxex quits (traxex@user/traxex) (*.net *.split) |
| 2025-11-18 15:08:24 | × | ystael quits (~ystael@user/ystael) (*.net *.split) |
| 2025-11-18 15:08:24 | × | fgarcia quits (~lei@user/fgarcia) (*.net *.split) |
| 2025-11-18 15:08:24 | × | rembo10 quits (~rembo10@main.remulis.com) (*.net *.split) |
| 2025-11-18 15:08:24 | × | tcard_ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2025-11-18 15:08:24 | × | Xe quits (~Xe@perl/impostor/xe) (*.net *.split) |
| 2025-11-18 15:08:24 | × | mstksg quits (~jle`@2603:8001:3b00:11:7b1b:9c2a:d864:1c7b) (*.net *.split) |
| 2025-11-18 15:08:24 | × | sp1ff quits (~user@2601:1c2:4c00:6820::8bad) (*.net *.split) |
| 2025-11-18 15:08:24 | × | arahael quits (~wetfoot@user/arahael) (*.net *.split) |
| 2025-11-18 15:08:24 | × | elenril quits (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 2025-11-18 15:08:27 | fgarcia_ | is now known as fgarcia |
| 2025-11-18 15:09:06 | → | connrs joins (~connrs@user/connrs) |
| 2025-11-18 15:11:01 | → | EvanR joins (~EvanR@2600:1700:ba69:10:40ed:456a:b2ec:28ad) |
| 2025-11-18 15:11:01 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-18 15:11:01 | → | Dhark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-11-18 15:11:01 | → | spew joins (~spew@user/spew) |
| 2025-11-18 15:11:01 | → | omidmash joins (~omidmash@user/omidmash) |
| 2025-11-18 15:11:01 | → | xff0x joins (~xff0x@2405:6580:b080:900:d0b4:2969:7511:437b) |
| 2025-11-18 15:11:01 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) |
| 2025-11-18 15:11:01 | → | tt12316 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2025-11-18 15:11:01 | → | xal joins (~xal@mx1.xal.systems) |
| 2025-11-18 15:11:01 | → | enikar joins (~enikar@user/enikar) |
| 2025-11-18 15:11:01 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-11-18 15:11:01 | → | mstksg joins (~jle`@2603:8001:3b00:11:7b1b:9c2a:d864:1c7b) |
All times are in UTC.