2025/12/13

2025-12-13 00:00:07 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds)
2025-12-13 00:02:47 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds)
2025-12-13 00:06:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 00:13:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 00:13:50 +0000Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2025-12-13 00:23:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 00:28:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 00:35:43 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2025-12-13 00:39:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 00:40:01 +0000Square2(~Square@user/square) (Ping timeout: 246 seconds)
2025-12-13 00:43:42 +0000Square2(~Square@user/square) Square
2025-12-13 00:44:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 00:44:48 +0000ncf(~n@monade.li) (Quit: Fairfarren.)
2025-12-13 00:44:59 +0000ncf(~n@monade.li) ncf
2025-12-13 00:49:04 +0000 <haskellbridge> <Zemyla> I would honestly say 1.23 is a more correct answer than 1.299999999etc.
2025-12-13 00:52:18 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1)
2025-12-13 00:52:55 +0000Square2(~Square@user/square) (Ping timeout: 240 seconds)
2025-12-13 00:53:20 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-12-13 00:55:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 00:59:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 01:04:31 +0000skum(~skum@user/skum) (Quit: WeeChat 4.8.1)
2025-12-13 01:11:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 01:14:17 +0000yin(~zero@user/zero) (Remote host closed the connection)
2025-12-13 01:14:20 +0000iqubic(~sophia@2601:602:9203:1660:c86e:69df:f359:9bd7) (Remote host closed the connection)
2025-12-13 01:14:32 +0000yin(~zero@user/zero) zero
2025-12-13 01:15:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 01:23:24 +0000tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-12-13 01:23:52 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2025-12-13 01:24:30 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-12-13 01:24:52 +0000divlamir(~divlamir@user/divlamir) divlamir
2025-12-13 01:24:56 +0000tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2025-12-13 01:25:14 +0000tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-12-13 01:26:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 01:27:26 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-12-13 01:27:37 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-12-13 01:32:19 +0000omidmash0(~omidmash@user/omidmash) omidmash
2025-12-13 01:34:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 01:34:38 +0000omidmash(~omidmash@user/omidmash) (Ping timeout: 260 seconds)
2025-12-13 01:34:38 +0000omidmash0omidmash
2025-12-13 01:36:15 +0000tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-12-13 01:42:38 +0000haritz(~hrtz@140.228.70.141)
2025-12-13 01:42:38 +0000haritz(~hrtz@140.228.70.141) (Changing host)
2025-12-13 01:42:38 +0000haritz(~hrtz@user/haritz) haritz
2025-12-13 01:44:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 01:49:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 01:58:25 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds)
2025-12-13 01:58:49 +0000gorignak(~gorignak@user/gorignak) (Ping timeout: 264 seconds)
2025-12-13 02:00:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 02:05:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 02:08:01 +0000acidjnk(~acidjnk@p200300d6e7171903602e983dc1ab5a13.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-12-13 02:12:58 +0000trickard_trickard
2025-12-13 02:16:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 02:21:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 02:27:00 +0000tt1231607(~tt1231@75.185.104.199) tt1231
2025-12-13 02:28:43 +0000tt123160(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 256 seconds)
2025-12-13 02:28:43 +0000tt1231607tt123160
2025-12-13 02:32:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 02:36:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 02:48:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 02:53:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 02:55:43 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2025-12-13 02:57:55 +0000yin(~zero@user/zero) (Remote host closed the connection)
2025-12-13 02:58:11 +0000yin(~zero@user/zero) zero
2025-12-13 03:01:21 +0000Guestroom(~Guestroom@2601:586:d022:4f93:ad3e:4603:6791:84a7)
2025-12-13 03:01:34 +0000Guestroom(~Guestroom@2601:586:d022:4f93:ad3e:4603:6791:84a7) (Client Quit)
2025-12-13 03:03:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 03:08:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 03:10:14 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-13 03:13:39 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-12-13 03:15:37 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-13 03:19:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 03:24:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 03:27:24 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2025-12-13 03:32:07 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-12-13 03:32:47 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-13 03:33:20 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-12-13 03:33:41 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-13 03:35:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 03:40:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 03:50:03 +0000omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2025-12-13 03:51:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 03:54:28 +0000omidmash(~omidmash@user/omidmash) omidmash
2025-12-13 03:55:57 +0000elarks(~yerri@user/yerrii) (Quit: WeeChat 4.7.1)
2025-12-13 03:56:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 04:01:44 +0000elarks(~yerri@user/yerrii) yerrii
2025-12-13 04:03:34 +0000elarks(~yerri@user/yerrii) (Client Quit)
2025-12-13 04:07:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 04:10:58 +0000Guest87(~Guest87@49.43.241.226)
2025-12-13 04:11:16 +0000Guest87(~Guest87@49.43.241.226) (Client Quit)
2025-12-13 04:13:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 04:23:56 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-13 04:24:05 +0000trickard__(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 04:24:37 +0000trickard(~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-12-13 04:25:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 04:30:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 04:39:07 +0000jmcantrell_jmcantrell
2025-12-13 04:39:28 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-12-13 04:40:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 04:43:00 +0000trickard__trickard
2025-12-13 04:45:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 04:56:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 05:01:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 05:06:37 +0000elarks(~yerri@user/yerrii) yerrii
2025-12-13 05:08:10 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-12-13 05:08:37 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-13 05:12:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 05:14:16 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-12-13 05:16:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 05:17:42 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-12-13 05:25:10 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-12-13 05:27:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 05:30:35 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-12-13 05:32:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 05:39:48 +0000DragonMaus(~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-12-13 05:40:36 +0000DragonMaus(~dragonmau@user/dragonmaus) DragonMaus
2025-12-13 05:43:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 05:50:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 05:58:31 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds)
2025-12-13 06:01:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 06:03:05 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-12-13 06:03:30 +0000euphores(~SASL_euph@user/euphores) euphores
2025-12-13 06:06:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 06:10:41 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-12-13 06:14:16 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-12-13 06:17:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 06:18:46 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-12-13 06:22:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 06:25:20 +0000euphores(~SASL_euph@user/euphores) euphores
2025-12-13 06:33:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 06:37:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 06:42:15 +0000pabs3(~pabs3@user/pabs3) (Ping timeout: 240 seconds)
2025-12-13 06:43:10 +0000tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2025-12-13 06:43:15 +0000tcard__(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-12-13 06:49:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 06:53:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 06:54:14 +0000internatetional(~nate@2001:448a:9040:618:262:eeb:a929:fede) internatetional
2025-12-13 06:54:38 +0000pabs3(~pabs3@user/pabs3) pabs3
2025-12-13 06:57:34 +0000internatetional(~nate@2001:448a:9040:618:262:eeb:a929:fede) (Client Quit)
2025-12-13 06:58:00 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-12-13 06:58:17 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-13 07:04:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 07:07:43 +0000pabs3(~pabs3@user/pabs3) (Ping timeout: 240 seconds)
2025-12-13 07:09:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 07:12:56 +0000 <gentauro> > :i Data.Ratio.Rational
2025-12-13 07:12:58 +0000 <lambdabot> <hint>:1:1: error: parse error on input `:'
2025-12-13 07:13:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 07:13:31 +0000 <gentauro> if precision is an issue, why not use `Data.Ratio.Rational` -> https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-Ratio.html
2025-12-13 07:14:28 +0000 <gentauro> > 0.1 + 0.2
2025-12-13 07:14:29 +0000 <lambdabot> 0.30000000000000004
2025-12-13 07:14:32 +0000 <gentauro> xD
2025-12-13 07:15:11 +0000 <gentauro> https://0.30000000000000004.com/#ghc
2025-12-13 07:17:25 +0000 <gentauro> > 0.1 + 0.2 :: Float
2025-12-13 07:17:26 +0000 <lambdabot> 0.3
2025-12-13 07:17:34 +0000 <gentauro> > 0.1 + 0.2 :: Rational
2025-12-13 07:17:35 +0000 <lambdabot> 3 % 10
2025-12-13 07:18:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-13 07:18:50 +0000tromp(~textual@2001:1c00:3487:1b00:c1b5:cf5e:a84:b18f)
2025-12-13 07:20:03 +0000pabs3(~pabs3@user/pabs3) pabs3
2025-12-13 07:22:31 +0000pabs3(~pabs3@user/pabs3) (Remote host closed the connection)
2025-12-13 07:23:08 +0000pabs3(~pabs3@user/pabs3) pabs3
2025-12-13 07:28:13 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-12-13 07:28:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 07:33:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 07:37:41 +0000notzmv(~umar@user/notzmv) (Remote host closed the connection)
2025-12-13 07:42:08 +0000jonrh(sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 260 seconds)
2025-12-13 07:43:24 +0000jonrh(sid5185@id-5185.ilkley.irccloud.com) jonrh
2025-12-13 07:59:55 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-12-13 08:00:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 08:00:35 +0000Enrico63(~Enrico63@host-95-251-99-143.retail.telecomitalia.it) Enrico63
2025-12-13 08:00:37 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-12-13 08:00:55 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds)
2025-12-13 08:01:41 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-13 08:05:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 08:14:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 08:18:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 08:20:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 08:25:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 08:28:35 +0000trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2025-12-13 08:29:03 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 08:29:04 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-12-13 08:36:16 +0000tromp(~textual@2001:1c00:3487:1b00:c1b5:cf5e:a84:b18f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-13 08:36:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 08:39:29 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-13 08:43:22 +0000 <haskellbridge> <lucabtz> Where can I report an issue with this page https://www.haskell.org/community/ ?
2025-12-13 08:43:23 +0000annamalai(~annamalai@2409:4042:d37:b495::9e0a:ba05) (Remote host closed the connection)
2025-12-13 08:43:38 +0000annamalai(~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai
2025-12-13 08:43:46 +0000 <haskellbridge> <lucabtz> The Italy Haskell user group points to a betting site
2025-12-13 08:43:57 +0000annamalai(~annamalai@2409:4042:d37:b495::9e0a:ba05) (Remote host closed the connection)
2025-12-13 08:43:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-13 08:44:17 +0000annamalai(~annamalai@157.33.198.159) annamalai
2025-12-13 08:44:56 +0000 <davean> lucabtz: https://github.com/haskell-infra/www.haskell.org
2025-12-13 08:45:01 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-12-13 08:45:20 +0000acidjnk(~acidjnk@p200300d6e7171903a4f8b518d79cc6fa.dip0.t-ipconnect.de) acidjnk
2025-12-13 08:45:24 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-13 08:45:37 +0000 <haskellbridge> <lucabtz> I will report once I have access to a pc
2025-12-13 08:46:17 +0000 <davean> You can also just submit a fix or removal.
2025-12-13 08:48:37 +0000xnyhps(~xnyhps@s.xnyhps.nl) (Ping timeout: 246 seconds)
2025-12-13 08:48:52 +0000xnyhps(~xnyhps@s.xnyhps.nl)
2025-12-13 08:48:58 +0000lukec(9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 246 seconds)
2025-12-13 08:50:11 +0000lukec(9dfd4d094e@2a03:6000:1812:100::10e)
2025-12-13 08:50:56 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds)
2025-12-13 08:54:01 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-12-13 08:54:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 08:58:46 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-13 08:59:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 09:00:44 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 09:00:57 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 09:09:24 +0000Enrico63(~Enrico63@host-95-251-99-143.retail.telecomitalia.it) (Quit: Client closed)
2025-12-13 09:09:26 +0000 <haskellbridge> <sm> yikes
2025-12-13 09:09:46 +0000tromp(~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75)
2025-12-13 09:10:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 09:13:16 +0000 <tomsmeding> gentauro: that website is great, thank you lol
2025-12-13 09:15:20 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-12-13 09:18:32 +0000trickard_trickard
2025-12-13 09:19:12 +0000o342(~o342@113.199.255.216)
2025-12-13 09:20:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-13 09:23:39 +0000 <gentauro> tomsmeding: tell me about it. Do you know who made it? I guess we all own the person a few beers :P
2025-12-13 09:24:46 +0000 <tomsmeding> gentauro: there's a name in the website footer
2025-12-13 09:25:01 +0000 <gentauro> lucabtz: No Moggi, no Haskell ;)
2025-12-13 09:25:32 +0000 <gentauro> fun fact, I went to study there (Polo Fibonacci / Scuola Superiore Santa Ana) just cos of that xD
2025-12-13 09:25:59 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-12-13 09:28:31 +0000 <gentauro> Moggi89 (On leave from Univ. di Pisa) ;)
2025-12-13 09:29:31 +0000 <gentauro> Fun fact: Acknowledgements: «Thanks also to M. Tofte and … for suggesting
2025-12-13 09:29:35 +0000 <gentauro> improvements to an early draft»
2025-12-13 09:30:33 +0000 <gentauro> M. Tofte (SML) -> Major_projects_using_SML
2025-12-13 09:30:40 +0000 <gentauro> it's a small (FP) world :)
2025-12-13 09:31:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 09:31:26 +0000 <gentauro> I guess they forgot to add SimCorp as well in that section
2025-12-13 09:31:43 +0000o342(~o342@113.199.255.216) (Quit: Leaving)
2025-12-13 09:32:08 +0000 <gentauro> tomsmeding: it's my goto `pastebin` no matter if it's haskell related or anything else. Best `pastebin` out there without any kind of doubt. Kudos to the author, however it is (Y)
2025-12-13 09:33:00 +0000 <tomsmeding> ... pastebin? Are we talking about the same website?
2025-12-13 09:33:20 +0000 <tomsmeding> I was talking about https://0.30000000000000004.com
2025-12-13 09:34:22 +0000 <EvanR> > let (m,e) = decodeFloat 0.3 in m * 5^52
2025-12-13 09:34:23 +0000 <lambdabot> 11999999999999999555910790149937383830547332763671875
2025-12-13 09:34:45 +0000 <tomsmeding> 5?
2025-12-13 09:34:46 +0000 <EvanR> > let (m,e) = decodeFloat 0.3 in m * 5^54
2025-12-13 09:34:47 +0000 <lambdabot> 299999999999999988897769753748434595763683319091796875
2025-12-13 09:35:07 +0000 <gentauro> tomsmeding: this is my goto `pastebin` -> https://paste.tomsmeding.com/ (please bookmark if you don't have it /s)
2025-12-13 09:35:19 +0000 <tomsmeding> oh. haha :p
2025-12-13 09:35:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 09:36:15 +0000itaipu(~itaipu@168.121.97.28) (Read error: Connection reset by peer)
2025-12-13 09:36:54 +0000 <EvanR> > let (m,e) = decodeFloat (0.1 + 0.2) in m * 5^54
2025-12-13 09:36:55 +0000 <lambdabot> 300000000000000044408920985006261616945266723632812500
2025-12-13 09:37:22 +0000 <EvanR> gotta love floating point math
2025-12-13 09:37:51 +0000 <EvanR> neither 0.1+0.2 nor 0.3 equals 0.3 xD
2025-12-13 09:38:04 +0000 <EvanR> false friends
2025-12-13 09:40:37 +0000 <gentauro> tomsmeding: oh, sorry, I'm between a few chat windows. Yeah, https://0.30000000000000004.com should be bookmarked by everybody. It helps you explain why you need to skip some tools to do sensitive (finance) calculations ;)
2025-12-13 09:41:43 +0000 <EvanR> the page is missing GDscript in godot, which has a very "interesting" (bad) algorithm for printing floats
2025-12-13 09:42:10 +0000 <tomsmeding> > fst (decodeFloat 0.1) * 5^56
2025-12-13 09:42:11 +0000 <lambdabot> 10000000000000000555111512312578270211815834045410156250
2025-12-13 09:42:14 +0000 <EvanR> making it hard to demonstrate to kids using it what is going wrong with the calculations
2025-12-13 09:42:20 +0000 <tomsmeding> EvanR: it doesn't help if your summands aren't even exact :p
2025-12-13 09:43:39 +0000 <tomsmeding> > let (m,e) = decodeFloat 0.1 in m * 5^(-e)
2025-12-13 09:43:40 +0000 <lambdabot> 10000000000000000555111512312578270211815834045410156250
2025-12-13 09:44:45 +0000tromp(~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-13 09:45:22 +0000 <EvanR> don't think, dial 555 111 5123 now
2025-12-13 09:45:52 +0000 <tomsmeding> I'm getting "invalid number"
2025-12-13 09:46:03 +0000 <EvanR> lol
2025-12-13 09:46:06 +0000Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla
2025-12-13 09:46:30 +0000 <tomsmeding> (I didn't actually try it)
2025-12-13 09:46:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 09:46:54 +0000 <EvanR> > let (m,e) = decodeFloat 0.2 in m * 5 ^ negate e
2025-12-13 09:46:55 +0000 <lambdabot> 2000000000000000111022302462515654042363166809082031250
2025-12-13 09:47:19 +0000 <EvanR> > 10000000000000000555111512312578270211815834045410156250 + 2000000000000000111022302462515654042363166809082031250
2025-12-13 09:47:20 +0000 <lambdabot> 12000000000000000666133814775093924254179000854492187500
2025-12-13 09:47:40 +0000 <EvanR> oof
2025-12-13 09:47:45 +0000 <tomsmeding> > 10000000000000000555111512312578270211815834045410156250 + 2000000000000000111022302462515654042363166809082031250 * 10
2025-12-13 09:47:46 +0000 <lambdabot> 30000000000000001665334536937734810635447502136230468750
2025-12-13 09:47:58 +0000poscat0x04(~poscat@user/poscat) poscat
2025-12-13 09:48:13 +0000 <tomsmeding> which, interestingly, is not the same number as decodeFloat (0.1 + 0.2) gave
2025-12-13 09:48:17 +0000 <EvanR> 300000000000000044408920985006261616945266723632812500
2025-12-13 09:48:24 +0000 <EvanR> it's a faaaaaake
2025-12-13 09:49:06 +0000 <probie> EvanR: In the Pale Moonlight (DS9) reference?
2025-12-13 09:49:12 +0000 <EvanR> obv
2025-12-13 09:49:35 +0000poscat(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-12-13 09:49:37 +0000 <tomsmeding> oh, EvanR our manual sum here has too much precision
2025-12-13 09:49:49 +0000 <tomsmeding> I think?
2025-12-13 09:50:20 +0000 <EvanR> the result does
2025-12-13 09:50:26 +0000 <tomsmeding> yeah
2025-12-13 09:50:34 +0000 <tomsmeding> > map decodeFloat [0.1, 0.2, 0.3]
2025-12-13 09:50:35 +0000 <lambdabot> [(7205759403792794,-56),(7205759403792794,-55),(5404319552844595,-54)]
2025-12-13 09:50:40 +0000 <tomsmeding> note the 0.3 being -54
2025-12-13 09:51:08 +0000 <tomsmeding> we have a number with -56 but still being close to 0.3
2025-12-13 09:51:28 +0000 <tomsmeding> -56 because the 0.1 had that, and I multiplied up the 0.2 to -56-precision with the *10
2025-12-13 09:51:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 09:51:49 +0000 <tomsmeding> hence our result here is closer to the actual 0.3 than the FPU's result is
2025-12-13 09:52:03 +0000 <EvanR> I just did
2025-12-13 09:52:04 +0000 <tomsmeding> it actually makes sense after all
2025-12-13 09:52:19 +0000 <EvanR> > length "3000000000000000166533453693773481063544750213623046875"
2025-12-13 09:52:20 +0000 <lambdabot> 55
2025-12-13 09:52:33 +0000 <EvanR> > length "3000000000000000444089209850062616169452667236328125"
2025-12-13 09:52:34 +0000 <lambdabot> 52
2025-12-13 09:52:37 +0000 <tomsmeding> that's boring
2025-12-13 09:52:40 +0000 <EvanR> lol
2025-12-13 09:52:54 +0000 <tomsmeding> also no that's the wrong comparison
2025-12-13 09:53:01 +0000 <tomsmeding> you can't cut off zeros at the end, that reduces the precision
2025-12-13 09:53:20 +0000 <tomsmeding> but if you don't cut off the zeros, it's still 2 digits longer: and indeed, -54 and -56 are 2 apart
2025-12-13 09:53:21 +0000 <tomsmeding> it makes sense
2025-12-13 09:53:36 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-13 10:02:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 10:03:28 +0000skum(~skum@user/skum) skum
2025-12-13 10:07:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 10:16:50 +0000 <[exa]> wow finally a good site about ieee floats :D
2025-12-13 10:28:30 +0000trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 10:28:43 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 10:31:29 +0000euphores(~SASL_euph@user/euphores) euphores
2025-12-13 10:32:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 10:32:25 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-12-13 10:34:08 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-12-13 10:34:29 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-12-13 10:36:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 10:40:43 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2025-12-13 10:43:13 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-12-13 10:44:13 +0000__monty__(~toonn@user/toonn) toonn
2025-12-13 10:47:55 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-12-13 10:47:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 10:52:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 10:58:41 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 10:58:55 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 11:03:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 11:08:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 11:17:14 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-12-13 11:17:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 11:19:22 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-12-13 11:19:34 +0000trickard_trickard
2025-12-13 11:20:02 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-12-13 11:22:43 +0000orcus(~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 11:22:43 +0000dispater(~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 11:23:35 +0000trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2025-12-13 11:23:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 11:24:08 +0000dispater(~dispater@user/brprice) brprice
2025-12-13 11:24:38 +0000orcus(~orcus@user/brprice) brprice
2025-12-13 11:26:28 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 11:26:30 +0000dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-12-13 11:27:29 +0000dutchie(~dutchie@user/dutchie) dutchie
2025-12-13 11:30:30 +0000dispater(~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 11:30:30 +0000orcus(~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 11:32:11 +0000dispater(~dispater@user/brprice) brprice
2025-12-13 11:32:42 +0000orcus(~orcus@user/brprice) brprice
2025-12-13 11:35:04 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 11:36:07 +0000 <gentauro> [exa]: ^_^
2025-12-13 11:36:52 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 11:37:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 11:38:31 +0000 <gentauro> lisp "hold my beer" -> `(- 1.2 1.0) = 0.20000005` How is that even …
2025-12-13 11:38:46 +0000 <gentauro> it's a minus, my bad
2025-12-13 11:38:50 +0000 <gentauro> xD
2025-12-13 11:42:19 +0000 <probie> > 1.2-1
2025-12-13 11:42:20 +0000 <lambdabot> 0.19999999999999996
2025-12-13 11:42:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 11:42:56 +0000 <probie> 1.2::Float - 1
2025-12-13 11:43:05 +0000 <probie> > 1.2::Float - 1
2025-12-13 11:43:06 +0000 <lambdabot> Not in scope: type constructor or class ‘-’
2025-12-13 11:43:14 +0000 <probie> > (1.2::Float)-1
2025-12-13 11:43:15 +0000 <lambdabot> 0.20000005
2025-12-13 11:44:25 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-12-13 11:47:42 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 11:53:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 11:55:05 +0000trickard_trickard
2025-12-13 11:58:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-13 12:02:23 +0000Miroboru_(~myrvoll@84.215.250.50) (Quit: Lost terminal)
2025-12-13 12:04:59 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-12-13 12:05:00 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-12-13 12:05:00 +0000haritz(~hrtz@user/haritz) haritz
2025-12-13 12:07:00 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds)
2025-12-13 12:08:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 12:11:09 +0000dispater(~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 12:11:09 +0000orcus(~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 12:12:51 +0000dispater(~dispater@user/brprice) brprice
2025-12-13 12:13:22 +0000orcus(~orcus@user/brprice) brprice
2025-12-13 12:13:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 12:14:04 +0000ft(~ft@p508db844.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-12-13 12:15:51 +0000ft(~ft@p4fc2ab42.dip0.t-ipconnect.de) ft
2025-12-13 12:18:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 12:19:35 +0000dispater(~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 12:19:35 +0000orcus(~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 12:21:14 +0000dispater(~dispater@user/brprice) brprice
2025-12-13 12:21:45 +0000orcus(~orcus@user/brprice) brprice
2025-12-13 12:23:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 12:34:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 12:36:23 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-13 12:38:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 12:38:44 +0000Square2(~Square@user/square) Square
2025-12-13 12:44:56 +0000bggd(~bgg@2a01:e0a:fd5:f510:578f:dbd:16b3:cd19)
2025-12-13 12:49:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 12:54:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 13:05:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 13:12:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-13 13:19:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 13:24:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 13:24:08 +0000ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-12-13 13:31:28 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-12-13 13:35:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 13:35:34 +0000ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.2)
2025-12-13 13:40:12 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-12-13 13:40:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 13:47:35 +0000weary-traveler(~user@user/user363627) user363627
2025-12-13 13:49:59 +0000trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 13:50:11 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 13:50:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 13:51:34 +0000tremon(~tremon@83.80.159.219) tremon
2025-12-13 13:55:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 14:02:08 +0000trickard_trickard
2025-12-13 14:06:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 14:10:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-13 14:18:35 +0000annamalai(~annamalai@157.33.198.159) (Ping timeout: 240 seconds)
2025-12-13 14:19:02 +0000annamalai(~annamalai@117.243.20.111) annamalai
2025-12-13 14:20:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 14:22:39 +0000bliminse(~bliminse@user/bliminse) (Quit: leaving)
2025-12-13 14:24:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 14:35:18 +0000spew(~spew@user/spew) spew
2025-12-13 14:36:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 14:36:40 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-13 14:40:28 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-12-13 14:40:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 14:44:34 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-13 14:44:55 +0000annamalai(~annamalai@117.243.20.111) (Ping timeout: 240 seconds)
2025-12-13 14:48:47 +0000annamalai(~annamalai@117.246.212.155) annamalai
2025-12-13 14:51:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 14:56:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 15:02:15 +0000annamalai(~annamalai@117.246.212.155) (Ping timeout: 240 seconds)
2025-12-13 15:03:04 +0000annamalai(~annamalai@117.246.46.139) annamalai
2025-12-13 15:07:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 15:08:28 +0000Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-12-13 15:08:36 +0000bliminse(~bliminse@user/bliminse) bliminse
2025-12-13 15:09:30 +0000annamalai(~annamalai@117.246.46.139) (Ping timeout: 252 seconds)
2025-12-13 15:10:59 +0000annamalai(~annamalai@117.246.46.139) annamalai
2025-12-13 15:12:01 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-12-13 15:12:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 15:16:20 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-13 15:21:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 15:21:55 +0000spew(~spew@user/spew) (Quit: WeeChat 4.7.2)
2025-12-13 15:24:00 +0000trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 15:24:14 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 15:24:55 +0000spew(~spew@user/spew) spew
2025-12-13 15:26:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-13 15:26:35 +0000trickard_trickard
2025-12-13 15:30:57 +0000annamalai(~annamalai@117.246.46.139) (Ping timeout: 252 seconds)
2025-12-13 15:32:17 +0000annamalai(~annamalai@117.246.78.190) annamalai
2025-12-13 15:32:49 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-13 15:34:19 +0000rekahsoft(~rekahsoft@70.51.99.245) rekahsoft
2025-12-13 15:36:59 +0000annamalai(~annamalai@117.246.78.190) (Ping timeout: 260 seconds)
2025-12-13 15:37:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 15:44:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 15:48:16 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-12-13 15:49:49 +0000trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-12-13 15:50:10 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 15:52:29 +0000annamalai(~annamalai@117.249.133.25) annamalai
2025-12-13 15:55:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 15:59:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-13 16:07:34 +0000xstill_(xstill@fimu/xstill) xstill
2025-12-13 16:09:31 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-12-13 16:10:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 16:14:25 +0000jreicher(~user@user/jreicher) (Ping timeout: 264 seconds)
2025-12-13 16:15:26 +0000jreicher(~user@user/jreicher) jreicher
2025-12-13 16:16:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-13 16:17:29 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 16:18:28 +0000califax(~califax@user/califx) califx
2025-12-13 16:22:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 16:24:34 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-12-13 16:26:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 16:29:26 +0000trickard_trickard
2025-12-13 16:32:55 +0000annamalai(~annamalai@117.249.133.25) (Ping timeout: 240 seconds)
2025-12-13 16:33:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 16:38:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 16:49:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 16:52:52 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 16:54:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-13 16:54:46 +0000califax(~califax@user/califx) califx
2025-12-13 16:58:32 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-13 17:02:53 +0000califax_(~califax@user/califx) califx
2025-12-13 17:03:14 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-13 17:03:20 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 17:04:06 +0000califax_califax
2025-12-13 17:05:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 17:10:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 17:10:15 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 17:10:43 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-13 17:11:12 +0000califax(~califax@user/califx) califx
2025-12-13 17:13:03 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-13 17:14:24 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 17:15:21 +0000califax(~califax@user/califx) califx
2025-12-13 17:20:52 +0000annamalai(~annamalai@117.249.239.92) annamalai
2025-12-13 17:21:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 17:22:32 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 17:23:28 +0000califax(~califax@user/califx) califx
2025-12-13 17:27:15 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 17:27:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 17:28:11 +0000califax(~califax@user/califx) califx
2025-12-13 17:31:35 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-12-13 17:35:24 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 17:36:20 +0000califax(~califax@user/califx) califx
2025-12-13 17:38:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 17:41:19 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-13 17:43:25 +0000arahael(~wetfoot@user/arahael) (Ping timeout: 246 seconds)
2025-12-13 17:44:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 17:45:24 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 17:46:21 +0000califax(~califax@user/califx) califx
2025-12-13 17:54:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 17:58:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 18:03:27 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-12-13 18:10:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 18:15:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-13 18:24:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 18:29:11 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-12-13 18:30:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 18:31:49 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-12-13 18:35:17 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-13 18:42:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 18:47:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 18:50:17 +0000lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-12-13 18:58:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 19:00:34 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-12-13 19:02:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 19:03:58 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-13 19:12:31 +0000 <__monty__> What's the fastest way to skip lines until a parser succeeds with parser combinators? (Specifically Megaparsec if it matters.)
2025-12-13 19:13:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 19:14:04 +0000omidmash(~omidmash@user/omidmash) (Ping timeout: 246 seconds)
2025-12-13 19:18:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 19:21:14 +0000 <monochrom> Would it be simpler to have megaparsec responsible for just one single line? Your own code, outside megaparsec, splits input into lines and feed one line at a time to megaparsec, and you watch for the first success.
2025-12-13 19:25:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 19:25:36 +0000 <__monty__> Maybe but I'm still curious. I'm currently using `skipSomeTill skipParser (try myParser)` and I figure that `try` causes some slowdown.
2025-12-13 19:29:10 +0000lucabtz(~lucabtz@user/lucabtz) (Read error: Connection reset by peer)
2025-12-13 19:30:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 19:31:51 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-13 19:32:07 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-12-13 19:34:39 +0000Lord_of_Life_Lord_of_Life
2025-12-13 19:41:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 19:42:04 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 19:45:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 19:51:08 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-13 19:52:55 +0000califax(~califax@user/califx) califx
2025-12-13 19:53:11 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-12-13 19:55:15 +0000Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-12-13 19:56:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 19:58:09 +0000califax(~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in)
2025-12-13 19:58:24 +0000califax(~califax@user/califx) califx
2025-12-13 20:01:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 20:01:42 +0000trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 20:01:55 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 20:03:34 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 20:04:35 +0000califax(~califax@user/califx) califx
2025-12-13 20:06:46 +0000omidmash(~omidmash@user/omidmash) omidmash
2025-12-13 20:12:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 20:14:58 +0000tromp(~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75)
2025-12-13 20:18:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 20:26:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 20:27:09 +0000spew(~spew@user/spew) (Quit: WeeChat 4.7.2)
2025-12-13 20:28:19 +0000spew(~spew@user/spew) spew
2025-12-13 20:30:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 20:42:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 20:42:44 +0000pebble(~pebble@37.63.32.91) (Read error: Connection reset by peer)
2025-12-13 20:45:35 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 20:46:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 20:47:05 +0000acidjnk(~acidjnk@p200300d6e7171903a4f8b518d79cc6fa.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-12-13 20:47:29 +0000califax(~califax@user/califx) califx
2025-12-13 20:54:18 +0000p3n_(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 260 seconds)
2025-12-13 20:55:53 +0000jmcantrell_jmcantrell
2025-12-13 20:57:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 20:59:38 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 21:02:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 21:09:09 +0000swistak-(~swistak@185.21.216.141) (Quit: bye bye)
2025-12-13 21:09:25 +0000swistak(~swistak@185.21.216.141)
2025-12-13 21:10:36 +0000califax(~califax@user/califx) califx
2025-12-13 21:13:01 +0000skum(~skum@user/skum) (Quit: WeeChat 4.8.1)
2025-12-13 21:13:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 21:15:10 +0000skum(~skum@user/skum) skum
2025-12-13 21:18:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-13 21:27:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 21:31:55 +0000annamalai(~annamalai@117.249.239.92) (Ping timeout: 240 seconds)
2025-12-13 21:32:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 21:39:48 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 21:40:02 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 21:43:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 21:48:11 +0000Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-12-13 21:48:13 +0000dispater(~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 21:48:13 +0000orcus(~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-12-13 21:48:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 21:49:31 +0000Fijxu(~Fijxu@user/fijxu) fijxu
2025-12-13 21:49:54 +0000dispater(~dispater@user/brprice) brprice
2025-12-13 21:50:24 +0000orcus(~orcus@user/brprice) brprice
2025-12-13 21:59:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 22:02:36 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-12-13 22:03:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 22:09:40 +0000codedmart(~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2025-12-13 22:10:15 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2025-12-13 22:10:46 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 22:11:55 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-13 22:14:03 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2025-12-13 22:14:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 22:15:30 +0000acidjnk(~acidjnk@p200300d6e7171903a4f8b518d79cc6fa.dip0.t-ipconnect.de) acidjnk
2025-12-13 22:19:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 22:30:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 22:35:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 22:42:15 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-12-13 22:42:36 +0000trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 22:46:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 22:49:29 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-12-13 22:53:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 22:55:37 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 246 seconds)
2025-12-13 23:04:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 23:08:12 +0000nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-12-13 23:09:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-13 23:19:57 +0000nek0(~nek0@user/nek0) nek0
2025-12-13 23:20:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 23:24:35 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 240 seconds)
2025-12-13 23:25:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 23:32:28 +0000tromp(~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-13 23:36:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 23:41:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 23:51:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 23:55:09 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-12-13 23:57:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)