2025/09/17

2025-09-17 00:01:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 00:09:53 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-17 00:12:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 00:13:17 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-09-17 00:16:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 00:18:05 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-17 00:21:47 +0200pavonia(~user@user/siracusa) siracusa
2025-09-17 00:24:15 +0200karenw_(~karenw@user/karenw) karenw
2025-09-17 00:27:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 00:29:10 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-17 00:32:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 00:36:03 +0200wz1000_(~wz1000@2a01:4f9:c012:de50::1)
2025-09-17 00:42:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 00:44:17 +0200wz1000_(~wz1000@2a01:4f9:c012:de50::1) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-17 00:45:09 +0200wz1000_(~wz1000@static.194.167.62.46.clients.your-server.de)
2025-09-17 00:47:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-17 00:47:40 +0200wz1000_(~wz1000@static.194.167.62.46.clients.your-server.de) (Client Quit)
2025-09-17 00:48:28 +0200wz1000_(~wz1000@static.194.167.62.46.clients.your-server.de)
2025-09-17 00:52:32 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-17 00:58:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 00:58:33 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-09-17 00:59:16 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-17 01:03:20 +0200sprotte24(~sprotte24@p200300d16f231d00e5b1a054e6dbcfed.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-17 01:04:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 01:08:01 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-17 01:16:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 01:21:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-17 01:21:45 +0200acidjnk(~acidjnk@p200300d6e717193311482dfc0bb512ca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-09-17 01:25:06 +0200mange(~mange@user/mange) mange
2025-09-17 01:31:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 01:36:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 01:42:39 +0200lol_(~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) (Quit: Leaving)
2025-09-17 01:47:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 01:48:04 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-09-17 01:51:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-17 01:53:48 +0200ystael(~ystael@user/ystael) (Ping timeout: 265 seconds)
2025-09-17 01:57:32 +0200glguy_(glguy@libera/staff/glguy) (Quit: Quit)
2025-09-17 01:58:10 +0200glguy(glguy@libera/staff/glguy) glguy
2025-09-17 02:02:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 02:06:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-17 02:07:29 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-17 02:13:27 +0200Fijxu_(~Fijxu@user/fijxu) (Quit: XD!!)
2025-09-17 02:16:36 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-17 02:17:04 +0200trickard(~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-17 02:17:18 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-17 02:17:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 02:22:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-17 02:25:10 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-09-17 02:28:42 +0200xff0x(~xff0x@2405:6580:b080:900:332e:d29a:2193:9d6b) (Ping timeout: 248 seconds)
2025-09-17 02:29:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 02:34:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-17 02:34:09 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-17 02:35:14 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-17 02:35:31 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-17 02:37:04 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-09-17 02:38:31 +0200Fijxu_(~Fijxu@user/fijxu) fijxu
2025-09-17 02:41:04 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-09-17 02:44:28 +0200caconym7478(~caconym@user/caconym) (Quit: Ping timeout (120 seconds))
2025-09-17 02:44:39 +0200caconym7478(~caconym@user/caconym) caconym
2025-09-17 02:44:42 +0200ubert(~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Remote host closed the connection)
2025-09-17 02:44:45 +0200weary-traveler(~user@user/user363627) (Read error: Connection reset by peer)
2025-09-17 02:45:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 02:45:13 +0200weary-traveler(~user@user/user363627) user363627
2025-09-17 02:46:01 +0200ubert(~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert
2025-09-17 02:47:27 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-17 02:48:08 +0200wz1000-(~wz1000@static.194.167.62.46.clients.your-server.de)
2025-09-17 02:49:21 +0200divlamir_(~divlamir@user/divlamir) divlamir
2025-09-17 02:49:26 +0200peterbecich1(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-17 02:49:41 +0200vgtw_(~vgtw@user/vgtw) vgtw
2025-09-17 02:50:02 +0200vanishing(~vanishing@user/vanishingideal) vanishingideal
2025-09-17 02:50:47 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-09-17 02:51:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 02:51:42 +0200j0lol_(~j0lol@132.145.17.236) j0lol
2025-09-17 02:53:50 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Remote host closed the connection)
2025-09-17 02:53:50 +0200wz1000_(~wz1000@static.194.167.62.46.clients.your-server.de) (Ping timeout: 260 seconds)
2025-09-17 02:53:50 +0200divlamir(~divlamir@user/divlamir) (Ping timeout: 260 seconds)
2025-09-17 02:53:50 +0200peterbecich1peterbecich
2025-09-17 02:53:50 +0200divlamir_divlamir
2025-09-17 02:53:50 +0200vgtw(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2025-09-17 02:53:50 +0200j0lol(~j0lol@132.145.17.236) (Ping timeout: 260 seconds)
2025-09-17 02:53:50 +0200Fijxu_(~Fijxu@user/fijxu) (Quit: XD!!)
2025-09-17 02:53:50 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-09-17 02:53:51 +0200j0lol_j0lol
2025-09-17 02:53:51 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 260 seconds)
2025-09-17 02:53:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
2025-09-17 02:56:33 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) PotatoGim
2025-09-17 02:57:15 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-09-17 03:03:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 03:07:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 03:10:48 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds)
2025-09-17 03:15:29 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-17 03:16:00 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 272 seconds)
2025-09-17 03:18:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 03:21:30 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds)
2025-09-17 03:22:41 +0200vanishing(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-09-17 03:23:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 03:24:39 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-17 03:30:30 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-17 03:33:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 03:38:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 03:46:05 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-09-17 03:49:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 03:50:48 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-09-17 03:53:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 03:55:12 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-17 04:02:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-09-17 04:04:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 04:08:51 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-17 04:09:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 04:14:45 +0200karenw_(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2025-09-17 04:15:11 +0200arandombit(~arandombi@user/arandombit) (Read error: Connection reset by peer)
2025-09-17 04:15:22 +0200arandombit(~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368)
2025-09-17 04:15:23 +0200arandombit(~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) (Changing host)
2025-09-17 04:15:23 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-17 04:20:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 04:24:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 04:35:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 04:42:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-17 04:52:52 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-17 04:59:14 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-09-17 05:01:13 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-17 05:03:07 +0200Pozyomka_(~pyon@user/pyon) pyon
2025-09-17 05:03:15 +0200dfordivam1(~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Ping timeout: 260 seconds)
2025-09-17 05:03:53 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-17 05:04:07 +0200dfordivam1(~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam
2025-09-17 05:04:08 +0200Pozyomka(~pyon@user/pyon) (Ping timeout: 260 seconds)
2025-09-17 05:04:09 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-17 05:04:29 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-17 05:09:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 05:09:48 +0200aforemny_(~aforemny@i577B1203.versanet.de) aforemny
2025-09-17 05:09:51 +0200aforemny(~aforemny@2001:9e8:6cce:4800:55ab:c43e:17dc:ff6c) (Ping timeout: 250 seconds)
2025-09-17 05:13:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 05:18:12 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-17 05:20:01 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-17 05:20:42 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-17 05:24:10 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-09-17 05:24:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 05:29:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 05:33:20 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-17 05:33:36 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-17 05:39:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 05:44:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-17 05:55:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 05:58:47 +0200mmaruseacph2(~mihai@mihai.page) (Ping timeout: 260 seconds)
2025-09-17 05:59:37 +0200mmaruseacph2(~mihai@mihai.page) mmaruseacph2
2025-09-17 05:59:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 06:00:25 +0200lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-09-17 06:10:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 06:17:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 06:19:38 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-17 06:24:35 +0200troydm(~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2025-09-17 06:26:35 +0200troydm(~troydm@user/troydm) troydm
2025-09-17 06:28:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 06:29:09 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-17 06:29:31 +0200califax(~califax@user/califx) califx
2025-09-17 06:33:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 06:38:54 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-17 06:40:31 +0200 <feetwind> > toRational 1.2
2025-09-17 06:40:32 +0200 <lambdabot> 5404319552844595 % 4503599627370496
2025-09-17 06:40:35 +0200 <feetwind> :(
2025-09-17 06:41:43 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Ping timeout: 250 seconds)
2025-09-17 06:44:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 06:44:44 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-17 06:45:46 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Remote host closed the connection)
2025-09-17 06:48:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-17 06:48:37 +0200michalz(~michalz@185.246.207.201)
2025-09-17 06:50:50 +0200 <feetwind> > 27 / 1.8
2025-09-17 06:50:52 +0200 <lambdabot> 15.0
2025-09-17 06:50:59 +0200 <feetwind> > toRational 27 / toRational 1.8
2025-09-17 06:51:00 +0200 <lambdabot> 121597189939003392 % 8106479329266893
2025-09-17 06:51:26 +0200 <feetwind> > (floor (27 / 1.8), floor (toRational 27 / toRational 1.8))
2025-09-17 06:51:27 +0200 <lambdabot> (15,14)
2025-09-17 06:51:41 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-17 06:52:28 +0200troydm(~troydm@user/troydm) (Ping timeout: 260 seconds)
2025-09-17 06:56:50 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) dcpagan
2025-09-17 07:03:18 +0200mange(~mange@user/mange) (*.net *.split)
2025-09-17 07:03:18 +0200haveo(~weechat@pacamara.iuwt.fr) (*.net *.split)
2025-09-17 07:03:18 +0200drlkf(~drlkf@chat-1.drlkf.net) (*.net *.split)
2025-09-17 07:03:19 +0200tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds)
2025-09-17 07:04:30 +0200Vajb(~Vajb@n4c77qqwuy0305es5ac-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds)
2025-09-17 07:06:26 +0200troydm(~troydm@user/troydm) troydm
2025-09-17 07:08:50 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-17 07:09:44 +0200trickard___(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-17 07:11:03 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-09-17 07:13:54 +0200 <fgarcia> > putStrLn "hi lambdabot"
2025-09-17 07:13:55 +0200 <lambdabot> <IO ()>
2025-09-17 07:14:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 07:14:44 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-17 07:18:08 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Remote host closed the connection)
2025-09-17 07:18:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-17 07:22:42 +0200dequbed(~dequbed@banana-new.kilobyte22.de) dequbed
2025-09-17 07:26:03 +0200haveo(~weechat@pacamara.iuwt.fr) haveo
2025-09-17 07:26:03 +0200drlkf(~drlkf@chat-1.drlkf.net) drlkf
2025-09-17 07:27:59 +0200 <monochrom> > putStrLn "<IO ()>"
2025-09-17 07:28:00 +0200 <lambdabot> <IO ()>
2025-09-17 07:28:05 +0200 <monochrom> works :)
2025-09-17 07:28:26 +0200trickard___trickard
2025-09-17 07:28:58 +0200 <monochrom> > 27/1.8 - 15
2025-09-17 07:28:59 +0200 <lambdabot> 0.0
2025-09-17 07:29:15 +0200 <monochrom> > toRational (27/1.8)
2025-09-17 07:29:16 +0200 <lambdabot> 15 % 1
2025-09-17 07:31:43 +0200nadja(~dequbed@banana-new.kilobyte22.de) (*.net *.split)
2025-09-17 07:31:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 07:36:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-17 07:40:55 +0200xax__(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-09-17 07:41:34 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-09-17 07:43:09 +0200pavonia_(~user@user/siracusa) siracusa
2025-09-17 07:43:39 +0200user363627(~user@user/user363627) user363627
2025-09-17 07:44:38 +0200glguy_(glguy@libera/staff/glguy) glguy
2025-09-17 07:44:47 +0200glguy(glguy@libera/staff/glguy) (Killed (molybdenum.libera.chat (Nickname regained by services)))
2025-09-17 07:44:47 +0200glguy_glguy
2025-09-17 07:46:24 +0200jmcantre1(~weechat@user/jmcantrell) jmcantrell
2025-09-17 07:47:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 07:49:17 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (*.net *.split)
2025-09-17 07:49:17 +0200arandombit(~arandombi@user/arandombit) (*.net *.split)
2025-09-17 07:49:17 +0200dfordivam1(~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split)
2025-09-17 07:49:17 +0200Pozyomka_(~pyon@user/pyon) (*.net *.split)
2025-09-17 07:49:17 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2025-09-17 07:49:17 +0200Fijxu(~Fijxu@user/fijxu) (*.net *.split)
2025-09-17 07:49:17 +0200ubert(~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (*.net *.split)
2025-09-17 07:49:17 +0200weary-traveler(~user@user/user363627) (*.net *.split)
2025-09-17 07:49:17 +0200Sgeo(~Sgeo@user/sgeo) (*.net *.split)
2025-09-17 07:49:17 +0200pavonia(~user@user/siracusa) (*.net *.split)
2025-09-17 07:49:17 +0200jmcantrell_(~weechat@user/jmcantrell) (*.net *.split)
2025-09-17 07:49:17 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (*.net *.split)
2025-09-17 07:49:18 +0200Jackneill_(~Jackneill@94-21-227-192.pool.digikabel.hu) (*.net *.split)
2025-09-17 07:49:18 +0200swistak-(~swistak@185.21.216.141) (*.net *.split)
2025-09-17 07:49:18 +0200tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split)
2025-09-17 07:49:18 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2025-09-17 07:49:18 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2025-09-17 07:49:18 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split)
2025-09-17 07:49:18 +0200degraafk(sid71464@id-71464.lymington.irccloud.com) (*.net *.split)
2025-09-17 07:49:18 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
2025-09-17 07:49:18 +0200rselim(ce261f06ff@user/milesrout) (*.net *.split)
2025-09-17 07:49:18 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split)
2025-09-17 07:49:18 +0200laman(laman@rego.ai) (*.net *.split)
2025-09-17 07:49:18 +0200Beowulf(florian@gabilgathol.bandrate.org) (*.net *.split)
2025-09-17 07:49:18 +0200coldmountain(sid484352@id-484352.helmsley.irccloud.com) (*.net *.split)
2025-09-17 07:49:18 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
2025-09-17 07:49:18 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (*.net *.split)
2025-09-17 07:49:18 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split)
2025-09-17 07:49:21 +0200ubert1(~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert
2025-09-17 07:49:25 +0200pavonia_pavonia
2025-09-17 07:50:48 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-17 07:50:48 +0200swistak(~swistak@185.21.216.141)
2025-09-17 07:50:48 +0200jackneill__(~Jackneill@94-21-227-192.pool.digikabel.hu)
2025-09-17 07:50:48 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-17 07:50:48 +0200dfordivam1(~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam
2025-09-17 07:50:48 +0200Pozyomka_(~pyon@user/pyon) pyon
2025-09-17 07:50:48 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-09-17 07:50:48 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-09-17 07:50:48 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-09-17 07:50:48 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2025-09-17 07:50:48 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) yahb2
2025-09-17 07:50:48 +0200degraafk(sid71464@id-71464.lymington.irccloud.com) degraafk
2025-09-17 07:50:48 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) aspen
2025-09-17 07:50:48 +0200rselim(ce261f06ff@user/milesrout) milesrout
2025-09-17 07:50:48 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2025-09-17 07:50:48 +0200laman(laman@rego.ai) laman
2025-09-17 07:50:48 +0200Beowulf(florian@gabilgathol.bandrate.org)
2025-09-17 07:50:48 +0200coldmountain(sid484352@id-484352.helmsley.irccloud.com) coldmountain
2025-09-17 07:50:48 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com) jonrh
2025-09-17 07:50:48 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-09-17 07:50:48 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur
2025-09-17 07:50:48 +0200tungsten.libera.chat+v yahb2
2025-09-17 07:50:50 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Max SendQ exceeded)
2025-09-17 07:51:13 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2025-09-17 07:51:39 +0200ubert1ubert
2025-09-17 07:51:50 +0200Square2(~Square@user/square) Square
2025-09-17 07:53:29 +0200FANTOM(~fantom@90.244.165.186) (Ping timeout: 260 seconds)
2025-09-17 07:54:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-17 07:54:46 +0200FANTOM(~fantom@90.244.165.186)
2025-09-17 07:59:09 +0200qqe(~qqq@185.54.23.100)
2025-09-17 08:07:25 +0200trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-17 08:09:27 +0200Square(~Square4@user/square) Square
2025-09-17 08:10:04 +0200trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-09-17 08:12:04 +0200trickard_trickard
2025-09-17 08:13:54 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-09-17 08:20:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 08:23:19 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2025-09-17 08:23:32 +0200pavonia(~user@user/siracusa) siracusa
2025-09-17 08:25:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-17 08:29:22 +0200Jackneill(~Jackneill@94-21-227-192.pool.digikabel.hu) Jackneill
2025-09-17 08:29:37 +0200jackneill__(~Jackneill@94-21-227-192.pool.digikabel.hu) (Quit: Leaving)
2025-09-17 08:36:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-17 08:40:00 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-17 08:40:09 +0200jmcantre1(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-09-17 08:40:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-17 08:45:06 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-09-17 08:48:01 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-09-17 08:51:24 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-17 08:55:47 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-09-17 08:57:07 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-17 08:57:34 +0200califax(~califax@user/califx) califx
2025-09-17 09:00:00 +0200caconym7478(~caconym@user/caconym) (Quit: bye)
2025-09-17 09:00:23 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-17 09:00:40 +0200caconym7478(~caconym@user/caconym) caconym
2025-09-17 09:10:52 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-17 09:20:21 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-17 09:22:48 +0200apacheapache2
2025-09-17 09:27:13 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-09-17 09:28:11 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-17 09:34:00 +0200ubert(~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Quit: ubert)
2025-09-17 09:34:13 +0200ubert(~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert
2025-09-17 09:36:45 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 244 seconds)
2025-09-17 09:41:12 +0200chele(~chele@user/chele) chele
2025-09-17 09:50:40 +0200ubert(~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Quit: ubert)
2025-09-17 09:54:25 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-09-17 10:01:57 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-17 10:08:52 +0200 <yin> > 15 * 1.2 :: Float
2025-09-17 10:08:53 +0200 <lambdabot> 18.0
2025-09-17 10:09:15 +0200 <yin> > 15 * 1.2 :: Double
2025-09-17 10:09:16 +0200 <lambdabot> 18.0
2025-09-17 10:09:52 +0200 <tomsmeding> % putStrLn "hi yahb"
2025-09-17 10:09:52 +0200 <yahb2> hi yahb
2025-09-17 10:10:59 +0200 <tomsmeding> > 15 * realToFrac (1.2 :: Float) :: Double
2025-09-17 10:11:00 +0200 <lambdabot> 18.000000715255737