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