2025/03/26

Newest at the top

2025-03-26 02:01:38 +0100xff0x(~xff0x@2405:6580:b080:900:f588:30f2:ad44:5069) (Ping timeout: 245 seconds)
2025-03-26 01:58:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-26 01:55:50 +0100acidjnk(~acidjnk@p200300d6e71c4f2435ff52636e0f7274.dip0.t-ipconnect.de) acidjnk
2025-03-26 01:55:24 +0100acidjnk(~acidjnk@p200300d6e71c4f2435ff52636e0f7274.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-03-26 01:47:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-26 01:47:01 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
2025-03-26 01:46:18 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds)
2025-03-26 01:42:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-26 01:38:16 +0100sarna(~sarna@d192-22.icpnet.pl) sarna
2025-03-26 01:31:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-26 01:30:13 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-26 01:29:06 +0100ljdarj1ljdarj
2025-03-26 01:29:06 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-03-26 01:26:09 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-26 01:26:00 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-26 01:24:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-26 01:21:39 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-26 01:20:50 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-03-26 01:18:25 +0100 <EvanR> indeed it's only 54 dotbeats
2025-03-26 01:17:45 +0100 <geekosaur> utc-2 iirc so it's like 2am
2025-03-26 01:17:28 +0100 <geekosaur> think he's in bed by now, sadly
2025-03-26 01:17:02 +0100 <Leary> tomsmeding: ^ halp
2025-03-26 01:16:57 +0100 <yahb2> <no location info>: error: [GHC-88719] ; Could not load module ‘Data.Complex’. ; Perhaps you haven't installed the "dyn" libraries for package ‘base-4.21.0.0’? ; Use :set -v to see a li...
2025-03-26 01:16:57 +0100 <Leary> % import Data.Complex
2025-03-26 01:16:50 +0100 <Leary> I would like to demonstrate with yahb2, but it's being weird:
2025-03-26 01:16:29 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 244 seconds)
2025-03-26 01:16:00 +0100 <Leary> otto_s: May I introduce you to your lord and saviour `LexicalNegation`? It will ensure that `-1` means `fromInteger -1`, not `negate (fromInteger 1)`, hence `-1 = -1 :+ 0`.
2025-03-26 01:14:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-26 01:13:21 +0100 <EvanR> also the way I do decode float in another universe is return (sign, mantissa, exponent)
2025-03-26 01:12:14 +0100 <lambdabot> -1.5707963267948966
2025-03-26 01:12:12 +0100 <EvanR> > atan (recip (-0))
2025-03-26 01:12:07 +0100 <lambdabot> 1.5707963267948966
2025-03-26 01:12:06 +0100 <EvanR> > atan (recip 0)
2025-03-26 01:11:27 +0100weary-traveler(~user@user/user363627) user363627
2025-03-26 01:09:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-26 01:07:01 +0100sarna(~sarna@d192-22.icpnet.pl) (Ping timeout: 265 seconds)
2025-03-26 01:04:38 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-03-26 00:57:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-26 00:53:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-26 00:51:04 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-26 00:45:46 +0100sprotte24(~sprotte24@p5dd5d056.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-26 00:45:45 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-03-26 00:45:17 +0100sarna(~sarna@d192-22.icpnet.pl) sarna
2025-03-26 00:42:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-26 00:40:56 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-26 00:37:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-26 00:35:45 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-03-26 00:35:20 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
2025-03-26 00:33:37 +0100byte(~mu@user/byte) byte
2025-03-26 00:30:26 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)