2025/07/27

Newest at the top

2025-07-27 09:26:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 09:17:30 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-07-27 09:16:54 +0200trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 09:14:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 09:08:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 09:07:25 +0200dhil(~dhil@5.151.29.139) dhil
2025-07-27 09:00:41 +0200caconym74(~caconym@user/caconym) caconym
2025-07-27 09:00:01 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-27 08:57:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 08:55:06 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 08:54:53 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 08:53:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 08:52:46 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-07-27 08:46:14 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f)
2025-07-27 08:42:38 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-07-27 08:41:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 08:37:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 08:27:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 08:22:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 08:18:58 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-27 08:11:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-27 08:06:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 07:53:33 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 07:53:19 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 07:49:58 +0200Square(~Square4@user/square) (Ping timeout: 240 seconds)
2025-07-27 07:49:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 07:49:29 +0200inline(~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2025-07-27 07:48:18 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2025-07-27 07:46:07 +0200Square2(~Square@user/square) Square
2025-07-27 07:45:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 07:43:50 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-07-27 07:38:45 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 07:38:31 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 07:34:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 07:34:42 +0200trickard_trickard
2025-07-27 07:30:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 07:25:07 +0200 <lambdabot> [0.0,-0.0]
2025-07-27 07:25:05 +0200 <probie> > [realToFrac ((-0) :: Double) :: Float, -0]
2025-07-27 07:23:46 +0200 <lambdabot> -Infinity
2025-07-27 07:23:45 +0200 <probie> > realToFrac (sqrt (-1) :: Double) :: Float
2025-07-27 07:23:30 +0200 <lambdabot> NaN
2025-07-27 07:23:29 +0200 <probie> > sqrt (-1) :: Float
2025-07-27 07:20:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 07:19:20 +0200 <monochrom> realToFrac
2025-07-27 07:17:59 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 07:17:37 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-07-27 07:15:05 +0200 <lambdabot> Numeric.Extra doubleToFloat :: Double -> Float
2025-07-27 07:15:05 +0200 <lambdabot> Extra doubleToFloat :: Double -> Float
2025-07-27 07:15:05 +0200 <lambdabot> GHC.Float double2Float :: Double -> Float
2025-07-27 07:15:05 +0200 <Axman6> @hoogle Double -> Float