2026/03/16

2026-03-16 00:00:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-16 00:03:17 +0100 <monochrom> Nice, so PN induces a great question for amortized time!
2026-03-16 00:04:35 +0100 <jreicher> Not following, and I want to!
2026-03-16 00:04:52 +0100 <EvanR> PN becomes more efficient if your code uses right to left language
2026-03-16 00:05:38 +0100st_aldini(~Betterbir@136.48.46.187) (Quit: st_aldini)
2026-03-16 00:05:49 +0100 <monochrom> A single input symbol may trigger an unbounded number of stack pops. This is a great recipe for disaster^W intresting amortized time!
2026-03-16 00:06:43 +0100 <jreicher> You mean RPN can be amortized and PN can't?
2026-03-16 00:06:48 +0100 <monochrom> PN.
2026-03-16 00:07:17 +0100 <jreicher> I'm missing something that's probably obvious, sorry. :) I think I need you to spell it out.
2026-03-16 00:08:45 +0100 <jreicher> Do you mean the question induced is what is the amortized time?
2026-03-16 00:09:08 +0100 <monochrom> The basic amortization example is a stack whose API has push, pop, multipop(n). multipop(n) worst case time is Ω(n), but amortized time stays O(1).
2026-03-16 00:09:29 +0100 <jreicher> Yep, I got you. :) Phew. And I agree, that's nice.
2026-03-16 00:09:36 +0100 <monochrom> PN is then just bells and whistles dressing up that stack API.
2026-03-16 00:09:53 +0100 <jreicher> And easily understandable bells and whistles, which is why it might be a good example.
2026-03-16 00:11:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 00:14:02 +0100dolio(~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-16 00:18:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-16 00:20:32 +0100dolio(~dolio@130.44.140.168) dolio
2026-03-16 00:22:16 +0100Guest24(~Guest24@94.42.242.59)
2026-03-16 00:25:15 +0100xff0x_(~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4)
2026-03-16 00:26:37 +0100xff0x(~xff0x@2405:6580:b080:900:e24f:1ef:ed48:3e20) (Ping timeout: 244 seconds)
2026-03-16 00:29:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 00:34:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-16 00:35:22 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2026-03-16 00:35:50 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2026-03-16 00:44:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 00:49:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-16 00:50:47 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2026-03-16 00:56:41 +0100wickedjargon(~user@S0106ac17c8c20e24.vc.shawcable.net) wickedjargon
2026-03-16 01:00:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 01:01:45 +0100st_aldini(~Betterbir@136.48.46.187) st_aldini
2026-03-16 01:04:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-16 01:15:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 01:16:56 +0100pavonia(~user@user/siracusa) siracusa
2026-03-16 01:20:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-16 01:25:22 +0100Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 248 seconds)
2026-03-16 01:25:26 +0100Guest24(~Guest24@94.42.242.59) (Quit: Client closed)
2026-03-16 01:31:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 01:35:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-16 01:40:53 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-03-16 01:45:51 +0100wickedjargon(~user@S0106ac17c8c20e24.vc.shawcable.net) (Remote host closed the connection)
2026-03-16 01:46:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 01:50:57 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-16 01:53:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-16 02:01:23 +0100xff0x_(~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4) (Ping timeout: 272 seconds)
2026-03-16 02:04:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 02:08:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-16 02:19:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 02:24:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-16 02:30:35 +0100acidjnk_new3(~acidjnk@p200300d6e700e515b93fdf75026bf1fc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2026-03-16 02:30:58 +0100malte(~malte@mal.tc) (Ping timeout: 248 seconds)
2026-03-16 02:34:55 +0100wickedjargon(~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) wickedjargon
2026-03-16 02:41:46 +0100craunts795335385(~craunts@61.245.22.252)
2026-03-16 02:43:12 +0100peterbecich(~Thunderbi@71.84.33.135) (Quit: peterbecich)
2026-03-16 02:43:26 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-16 02:46:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 02:47:38 +0100wickedjargon(~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) (Remote host closed the connection)
2026-03-16 02:47:52 +0100wickedjargon(~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) wickedjargon
2026-03-16 02:48:14 +0100Square2(~Square@user/square) (Read error: Connection reset by peer)
2026-03-16 02:48:19 +0100Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 264 seconds)
2026-03-16 02:49:17 +0100Square2(~Square@user/square) Square
2026-03-16 02:49:22 +0100elarks(~elarks@user/yerrii) (Ping timeout: 268 seconds)
2026-03-16 02:49:50 +0100craunts795335385(~craunts@61.245.22.252) (Quit: Ping timeout (120 seconds))
2026-03-16 02:50:29 +0100somemathguy(~somemathg@user/somemathguy) (Remote host closed the connection)
2026-03-16 02:50:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-16 02:50:49 +0100elarks(~elarks@user/yerrii) yerrii
2026-03-16 02:57:16 +0100Natch(~natch@c-92-34-15-120.bbcust.telenor.se)
2026-03-16 02:58:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 02:59:54 +0100czan(~czan@user/mange) (Ping timeout: 245 seconds)
2026-03-16 03:00:10 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-03-16 03:03:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-16 03:03:24 +0100wickedjargon(~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) (Ping timeout: 246 seconds)
2026-03-16 03:05:36 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-03-16 03:13:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 03:18:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-16 03:24:52 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-16 03:29:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 03:35:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-16 03:37:03 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds)
2026-03-16 03:47:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 03:52:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-16 03:55:32 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 03:55:32 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 03:55:32 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 04:00:48 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 246 seconds)
2026-03-16 04:02:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 04:03:24 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-03-16 04:05:30 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-16 04:06:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-16 04:08:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-03-16 04:17:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 04:22:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-03-16 04:31:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 04:34:16 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2026-03-16 04:36:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-16 04:41:30 +0100terrorjack(~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat)
2026-03-16 04:42:05 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-03-16 04:42:05 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-03-16 04:42:05 +0100haritz(~hrtz@user/haritz) haritz
2026-03-16 04:46:15 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 04:46:15 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 04:46:15 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 04:47:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 04:50:07 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-03-16 04:51:40 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-16 04:52:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-16 05:02:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 05:07:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-16 05:17:07 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-16 05:18:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 05:22:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-16 05:24:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-03-16 05:31:22 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection)
2026-03-16 05:32:56 +0100merijn(~merijn@62.45.136.136) merijn
2026-03-16 05:32:56 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-16 05:37:24 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 245 seconds)
2026-03-16 05:39:51 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 05:44:57 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2026-03-16 05:48:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 05:49:32 +0100dutchie(~dutchie@user/dutchie) (Ping timeout: 244 seconds)
2026-03-16 05:52:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-16 05:56:15 +0100dutchie(~dutchie@user/dutchie) dutchie
2026-03-16 05:56:36 +0100poscat(~poscat@user/poscat) poscat
2026-03-16 05:58:19 +0100poscat0x04(~poscat@user/poscat) (Ping timeout: 244 seconds)
2026-03-16 06:03:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 06:08:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-16 06:11:59 +0100Square2(~Square@user/square) (Ping timeout: 245 seconds)
2026-03-16 06:19:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 06:22:17 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 06:23:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-16 06:24:56 +0100wickedjargon(~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon
2026-03-16 06:25:19 +0100wickedjargon(~user@S0106f89e28d5699a.vc.shawcable.net) (Remote host closed the connection)
2026-03-16 06:25:33 +0100wickedjargon(~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon
2026-03-16 06:27:15 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-03-16 06:33:43 +0100michalz(~michalz@185.246.207.200)
2026-03-16 06:33:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 06:36:00 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-03-16 06:38:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-16 06:41:26 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 06:45:45 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2026-03-16 06:49:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 06:53:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-16 06:57:33 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 06:57:46 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-16 07:01:56 +0100mismorgano(~mismorgan@2806:102e:b:1045:ddfc:cd2e:171c:85e5)
2026-03-16 07:02:12 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-16 07:03:15 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-03-16 07:04:02 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-03-16 07:04:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 07:05:17 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-03-16 07:11:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-16 07:12:58 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
2026-03-16 07:13:39 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-03-16 07:14:43 +0100craunts795335385(~craunts@222.127.102.78)
2026-03-16 07:17:32 +0100jreicher(~joelr@user/jreicher) (Quit: In transit)
2026-03-16 07:22:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 07:27:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-16 07:34:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 07:35:22 +0100 <gentauro> 21:53 < newmind> sshine: a lot of windows installation in a corporate settings are also managed, so it's not even that they are not interested in it, it's often simply not permitted
2026-03-16 07:35:40 +0100 <gentauro> newmind: and this is why products like `Admin By Request` are used everywhere
2026-03-16 07:36:36 +0100gentaurofun fact, `Admin By Request` was developed entirely by `Lars Sneftrup` (dane)
2026-03-16 07:39:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-16 07:40:32 +0100 <gentauro> jreicher, what do you mean by RPN? Reverse Polish Notation?
2026-03-16 07:40:49 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 07:40:49 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 07:40:49 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 07:41:25 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-03-16 07:46:09 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-03-16 07:50:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 07:54:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-16 07:54:37 +0100Enrico63(~Enrico63@host-79-27-153-132.retail.telecomitalia.it) Enrico63
2026-03-16 08:01:30 +0100hellwolf(~user@521a-36d5-5381-57e0-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
2026-03-16 08:05:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 08:08:10 +0100wickedjargon(~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 265 seconds)
2026-03-16 08:09:46 +0100 <gentauro> btw, when jumping back and forth between diff prog-langs, with support for FP (ish), this table from Gustavo Guerra (ovatus old blog) is really nice to have -> https://github.com/ovatsus/ovatsus.github.com/blob/master/blog/2013/11/10/higher-order-list-operat…
2026-03-16 08:10:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-16 08:12:19 +0100craunts795335385(~craunts@222.127.102.78) (Ping timeout: 264 seconds)
2026-03-16 08:17:36 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 08:17:36 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 08:17:36 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 08:21:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 08:22:45 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-16 08:23:12 +0100vidak(~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Ping timeout: 264 seconds)
2026-03-16 08:23:31 +0100craunts795335385(~craunts@61.245.22.252)
2026-03-16 08:24:28 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 08:24:28 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 08:24:28 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 08:25:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-16 08:27:21 +0100wickedjargon(~user@2605:8d80:5430:e5d2:e3ca:cdc4:8a8e:ccba) wickedjargon
2026-03-16 08:28:38 +0100Enrico63(~Enrico63@host-79-27-153-132.retail.telecomitalia.it) (Quit: Client closed)
2026-03-16 08:29:32 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-03-16 08:35:52 +0100merijn(~merijn@62.45.136.136) merijn
2026-03-16 08:40:28 +0100kimiamania40(~b4b260c9@user/kimiamania) (Quit: Ping timeout (120 seconds))
2026-03-16 08:41:18 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 08:42:26 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-03-16 08:42:37 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 244 seconds)
2026-03-16 08:51:18 +0100wickedjargon(~user@2605:8d80:5430:e5d2:e3ca:cdc4:8a8e:ccba) (Remote host closed the connection)
2026-03-16 08:51:24 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-16 08:52:24 +0100jreicher(~joelr@user/jreicher) jreicher
2026-03-16 08:53:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 08:55:30 +0100Digit(~user@user/digit) (Ping timeout: 246 seconds)
2026-03-16 08:56:06 +0100Digitteknohippie(~user@user/digit) Digit
2026-03-16 08:58:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-16 08:58:21 +0100Enrico63(~Enrico63@host-79-27-153-132.retail.telecomitalia.it) Enrico63
2026-03-16 09:01:14 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-03-16 09:02:45 +0100 <jreicher> gentauro: yes
2026-03-16 09:03:17 +0100DigitteknohippieDigit
2026-03-16 09:04:10 +0100chele(~chele@user/chele) chele
2026-03-16 09:09:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 09:13:22 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-16 09:14:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-16 09:17:21 +0100Square2(~Square4@user/square) Square
2026-03-16 09:23:31 +0100AlexNoo_(~AlexNoo@5.139.232.240)
2026-03-16 09:23:40 +0100AlexNoo_AlexNoo
2026-03-16 09:24:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-16 09:26:58 +0100Square2(~Square4@user/square) (Ping timeout: 276 seconds)
2026-03-16 09:27:00 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 09:27:00 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 09:27:00 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 09:28:18 +0100Square2(~Square4@user/square) Square
2026-03-16 09:29:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-16 09:30:02 +0100glguy_(glguy@libera/staff/glguy) glguy
2026-03-16 09:30:36 +0100glguy(glguy@libera/staff/glguy) (Read error: Connection reset by peer)
2026-03-16 09:41:34 +0100 <gentauro> jreicher: you really need to use terms they understand. Try to explain `classes` to kidos where in their vocabulay class = (school) class :0
2026-03-16 09:48:17 +0100mismorgano(~mismorgan@2806:102e:b:1045:ddfc:cd2e:171c:85e5) (Quit: Client closed)
2026-03-16 09:48:56 +0100 <jreicher> I know. I tend to use prefix/postfix if I'm not talking to people who enjoy the old names. ;)
2026-03-16 09:54:02 +0100vidak(~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak
2026-03-16 09:59:25 +0100__monty__(~toonn@user/toonn) toonn
2026-03-16 10:05:46 +0100craunts795335385(~craunts@61.245.22.252) (Quit: The Lounge - https://thelounge.chat)
2026-03-16 10:09:19 +0100danza(~danza@user/danza) danza
2026-03-16 10:11:28 +0100merijn(~merijn@77.242.116.146) merijn
2026-03-16 10:15:10 +0100tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 245 seconds)
2026-03-16 10:15:12 +0100tessier_(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2026-03-16 10:21:17 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-03-16 10:21:47 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-16 10:25:43 +0100acidjnk_new3(~acidjnk@p200300d6e700e515475642ad00179aca.dip0.t-ipconnect.de) acidjnk
2026-03-16 10:30:09 +0100Digit(~user@user/digit) (Ping timeout: 255 seconds)
2026-03-16 10:30:21 +0100Digitteknohippie(~user@user/digit) Digit
2026-03-16 10:31:00 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-03-16 10:39:59 +0100DigitteknohippieDigit
2026-03-16 11:02:39 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-03-16 11:14:08 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de) (Quit: leaving)
2026-03-16 11:19:25 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2026-03-16 11:19:38 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-03-16 11:19:56 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-16 11:20:02 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2026-03-16 11:25:58 +0100danza(~danza@user/danza) (Read error: Connection reset by peer)
2026-03-16 11:25:59 +0100danz83428(~danza@user/danza) danza
2026-03-16 11:26:19 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 11:30:41 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-03-16 11:30:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-03-16 11:30:42 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-03-16 11:30:42 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-03-16 11:31:00 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-16 11:31:03 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-16 11:31:05 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-03-16 11:31:22 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-03-16 11:31:26 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-03-16 11:42:20 +0100madresch(~Thunderbi@user/madresch) madresch
2026-03-16 11:43:15 +0100acidjnk_new(~acidjnk@p200300d6e700e5002f63032c884ffe61.dip0.t-ipconnect.de)
2026-03-16 11:44:34 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de)
2026-03-16 11:46:26 +0100acidjnk_new3(~acidjnk@p200300d6e700e515475642ad00179aca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2026-03-16 11:52:06 +0100danz83428(~danza@user/danza) (Remote host closed the connection)
2026-03-16 11:53:14 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-03-16 11:53:25 +0100califax(~califax@user/califx) califx
2026-03-16 11:56:47 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer)
2026-03-16 11:57:00 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-03-16 11:58:00 +0100terrorjack(~terrorjac@2a01:4f8:271:2d98::2) terrorjack
2026-03-16 12:01:22 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 12:01:22 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 12:01:22 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 12:06:11 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-16 12:14:13 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-03-16 12:14:38 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-03-16 12:18:15 +0100xff0x(~xff0x@2405:6580:b080:900:666b:627e:a15c:e58f)
2026-03-16 12:27:16 +0100Enrico63(~Enrico63@host-79-27-153-132.retail.telecomitalia.it) (Quit: Client closed)
2026-03-16 12:27:31 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 12:32:01 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-16 12:34:42 +0100kadobanana(~mud@user/kadoban) kadoban
2026-03-16 12:34:46 +0100tt123160701978(~tt1231@75.185.104.199) tt1231
2026-03-16 12:35:34 +0100tt12316070197(~tt1231@75.185.104.199) (Quit: Ping timeout (120 seconds))
2026-03-16 12:35:34 +0100tt123160701978tt12316070197
2026-03-16 12:36:24 +0100mud(~mud@user/kadoban) (Ping timeout: 264 seconds)
2026-03-16 12:41:09 +0100koz(~koz@121.99.240.58) (Ping timeout: 245 seconds)
2026-03-16 12:42:44 +0100Googulator(~Googulato@2a01-036d-0106-2025-8806-aadb-981f-aee0.pool6.digikabel.hu) (Quit: Client closed)
2026-03-16 12:43:02 +0100Googulator(~Googulato@84-236-126-180.pool.digikabel.hu)
2026-03-16 12:43:40 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 12:43:40 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 12:43:40 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 12:53:52 +0100koz(~koz@121.99.240.58)
2026-03-16 13:35:21 +0100YoungFrog(~youngfrog@2a02:a03f:ca07:f900:1032:66d2:1281:f541) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2026-03-16 13:35:42 +0100YoungFrog(~youngfrog@2a02:a03f:ca07:f900:da2b:d75e:d3df:ac78) youngfrog
2026-03-16 13:41:50 +0100Square2(~Square4@user/square) (Ping timeout: 245 seconds)
2026-03-16 13:47:44 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-16 13:53:17 +0100AlexZenon(~alzenon@5.139.232.240) (Quit: ;-)
2026-03-16 13:53:39 +0100Alex_delenda_est(~al_test@5.139.232.240) (Quit: ;-)
2026-03-16 13:54:13 +0100AlexNoo(~AlexNoo@5.139.232.240) (Quit: Leaving)
2026-03-16 13:58:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2026-03-16 14:04:40 +0100qqq(~qqq@185.54.20.215)
2026-03-16 14:05:35 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-03-16 14:09:55 +0100bggd_(~bgg@2a01:e0a:fd5:f510:b358:492e:e5d6:701d)
2026-03-16 14:15:51 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
2026-03-16 14:15:51 +0100arandombit(~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
2026-03-16 14:15:51 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 14:19:31 +0100koz(~koz@121.99.240.58) (Ping timeout: 264 seconds)
2026-03-16 14:21:02 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-16 14:24:39 +0100AlexNoo(~AlexNoo@5.139.232.240)
2026-03-16 14:25:18 +0100AlexZenon(~alzenon@5.139.232.240)
2026-03-16 14:25:30 +0100koz(~koz@121.99.240.58)
2026-03-16 14:30:14 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-16 14:37:17 +0100bggd_(~bgg@2a01:e0a:fd5:f510:b358:492e:e5d6:701d) (Remote host closed the connection)
2026-03-16 14:37:48 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds)
2026-03-16 14:42:08 +0100Maxdamantus(~Maxdamant@user/maxdamantus) Maxdamantus
2026-03-16 14:49:16 +0100tremon(~tremon@83.80.159.219) tremon
2026-03-16 14:58:34 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-03-16 15:00:11 +0100somemathguy(~somemathg@user/somemathguy) somemathguy
2026-03-16 15:03:55 +0100rainbyte(~rainbyte@181.47.219.106) (Ping timeout: 245 seconds)
2026-03-16 15:06:05 +0100 <lisbeths> uh I think binary lambda calculus 2 + a memory palace is good for Turing complete mnemonics
2026-03-16 15:22:36 +0100madresch1(~Thunderbi@user/madresch) madresch
2026-03-16 15:24:23 +0100madresch1(~Thunderbi@user/madresch) (Read error: Connection reset by peer)
2026-03-16 15:24:50 +0100madresch(~Thunderbi@user/madresch) (Ping timeout: 248 seconds)
2026-03-16 15:25:25 +0100madresch(~Thunderbi@user/madresch) madresch
2026-03-16 15:35:48 +0100somemathguy(~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1)
2026-03-16 15:49:36 +0100accountant(~accountan@2600:1702:5b61:8b40:89ea:ac5:d69b:838c)
2026-03-16 15:49:37 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-03-16 15:49:54 +0100Pixi(~Pixi@user/pixi) (Ping timeout: 248 seconds)
2026-03-16 16:07:03 +0100Pixi(~Pixi@user/pixi) Pixi
2026-03-16 16:09:17 +0100danza(~danza@user/danza) danza
2026-03-16 16:09:40 +0100img_(~img@user/img) img
2026-03-16 16:09:57 +0100glguy_glguy
2026-03-16 16:11:39 +0100img(~img@user/img) (Ping timeout: 268 seconds)
2026-03-16 16:14:14 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-03-16 16:14:51 +0100Digit(~user@user/digit) (Ping timeout: 255 seconds)
2026-03-16 16:15:03 +0100Digitteknohippie(~user@user/digit) Digit
2026-03-16 16:15:30 +0100wickedjargon(~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon
2026-03-16 16:38:37 +0100Enrico63(~Enrico63@79.27.153.132) Enrico63
2026-03-16 16:42:03 +0100wickedja`(~user@2605:8d80:5431:5306:f152:ae23:65ff:8189)
2026-03-16 16:44:07 +0100wickedjargon(~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 264 seconds)
2026-03-16 16:45:26 +0100oats(~oats@user/oats) (Read error: Connection reset by peer)
2026-03-16 16:45:41 +0100oats(~oats@user/oats) oats
2026-03-16 16:45:46 +0100craunts795335385(~craunts@152.32.99.2)
2026-03-16 16:46:06 +0100Enrico63(~Enrico63@79.27.153.132) (Quit: Client closed)
2026-03-16 16:46:57 +0100Alex_delenda_est(~al_test@5.139.232.240)
2026-03-16 16:53:00 +0100wickedja`(~user@2605:8d80:5431:5306:f152:ae23:65ff:8189) (Remote host closed the connection)
2026-03-16 16:55:07 +0100craunts795335385(~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat)
2026-03-16 16:56:14 +0100craunts795335385(~craunts@152.32.99.2)
2026-03-16 17:02:41 +0100weary-traveler(~user@user/user363627) user363627
2026-03-16 17:08:24 +0100st_aldini(~Betterbir@136.48.46.187) (Quit: st_aldini)
2026-03-16 17:11:53 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2026-03-16 17:13:33 +0100natechan(~natechan@c-98-45-159-200.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2026-03-16 17:15:28 +0100accountant(~accountan@2600:1702:5b61:8b40:89ea:ac5:d69b:838c) (Quit: Client closed)
2026-03-16 17:22:50 +0100j1n37(~j1n37@user/j1n37) j1n37
2026-03-16 17:23:11 +0100v0id_7(~v0id_7@user/v0id-7:62772) v0id_7
2026-03-16 17:26:48 +0100Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla
2026-03-16 17:29:32 +0100DigitteknohippieDigit
2026-03-16 17:29:43 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 264 seconds)
2026-03-16 17:31:24 +0100v0id_7(~v0id_7@user/v0id-7:62772) (Ping timeout: 246 seconds)
2026-03-16 17:31:48 +0100v0id_7(~v0id_7@user/v0id-7:62772) v0id_7
2026-03-16 17:36:15 +0100chele(~chele@user/chele) (Remote host closed the connection)
2026-03-16 17:38:50 +0100j1n37(~j1n37@user/j1n37) j1n37
2026-03-16 17:44:05 +0100madresch(~Thunderbi@user/madresch) (Ping timeout: 244 seconds)