2025/09/12

2025-09-12 00:00:03 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-12 00:00:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-12 00:02:27 +0200ld86(~ld86@mort-07-b2-v4wan-169474-cust3363.vm24.cable.virginm.net)
2025-09-12 00:02:54 +0200ld86(~ld86@mort-07-b2-v4wan-169474-cust3363.vm24.cable.virginm.net) (Client Quit)
2025-09-12 00:05:08 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-09-12 00:07:31 +0200tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-09-12 00:07:42 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer)
2025-09-12 00:09:18 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-09-12 00:10:53 +0200karenw_(~karenw@user/karenw) karenw
2025-09-12 00:11:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 00:16:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-12 00:19:43 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-09-12 00:19:59 +0200weary-traveler(~user@user/user363627) user363627
2025-09-12 00:25:19 +0200user363627(~user@user/user363627) user363627
2025-09-12 00:27:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 00:29:13 +0200weary-traveler(~user@user/user363627) (Ping timeout: 250 seconds)
2025-09-12 00:30:16 +0200humodz(~humodz@user/humodz) (Quit: The Lounge - https://thelounge.chat)
2025-09-12 00:32:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-12 00:33:39 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-12 00:38:07 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds)
2025-09-12 00:39:33 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-09-12 00:42:16 +0200 <monochrom> Heh I wished section syntax to be more general too, but I can see that it could easily get out of hand.
2025-09-12 00:43:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 00:44:38 +0200karenw_(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2025-09-12 00:45:19 +0200 <monochrom> Tangentially, Python has this if-then-else syntax: "expr1 if cond else expr0", it's like C's "cond ? expr1 : expr0". Python doesn't allow cond itself to be another "e1 if c else e0" for simplicity, but I don't see why not, so in my course I gave a parser assignment that included it.
2025-09-12 00:46:12 +0200sprotte24_(~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-09-12 00:46:20 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net)
2025-09-12 00:47:31 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-12 00:47:33 +0200sprotte24_(~sprotte24@p5dd5d928.dip0.t-ipconnect.de)
2025-09-12 00:48:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-12 00:48:54 +0200 <monochrom> I also allowed expr0 to be its own if-else. (But not expr1, unless parenthesized.) So, overall, there is simple solution: Imagine the "if cond else" chunk as a right-associating infix operator! It's just chainr1 ifelse expr.
2025-09-12 00:48:59 +0200sprotte24___(~sprotte24@p5dd5d928.dip0.t-ipconnect.de)
2025-09-12 00:52:11 +0200sprotte24_(~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-09-12 00:52:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 00:57:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-12 00:58:17 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-12 01:09:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 01:11:55 +0200xff0x(~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b) (Ping timeout: 248 seconds)
2025-09-12 01:14:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-12 01:15:20 +0200acidjnk(~acidjnk@p200300d6e7171926a81168b3bd2506b7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-09-12 01:19:19 +0200xff0x(~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b)
2025-09-12 01:23:14 +0200mange(~mange@user/mange) mange
2025-09-12 01:25:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 01:26:00 +0200sprotte24___(~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-12 01:29:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-12 01:34:20 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-12 01:34:32 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-12 01:40:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 01:43:06 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-12 01:43:44 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-12 01:47:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-12 01:51:07 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds)
2025-09-12 01:58:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 02:02:00 +0200trickard_trickard
2025-09-12 02:02:24 +0200potatoe(~potatoe@157-131-120-242.fiber.dynamic.sonic.net) (Read error: Connection reset by peer)
2025-09-12 02:04:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-12 02:07:48 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-12 02:10:52 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds)
2025-09-12 02:14:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 02:16:17 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 244 seconds)
2025-09-12 02:17:59 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2025-09-12 02:19:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-12 02:19:59 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) segfaultfizzbuzz
2025-09-12 02:20:00 +0200otto_s(~user@p5de2f433.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-09-12 02:20:38 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-09-12 02:21:33 +0200otto_s(~user@p4ff27276.dip0.t-ipconnect.de)
2025-09-12 02:22:30 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-12 02:23:05 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-09-12 02:26:57 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-09-12 02:30:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 02:35:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-12 02:38:14 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-09-12 02:46:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 02:47:30 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-09-12 02:47:53 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-12 02:48:16 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds)
2025-09-12 02:49:11 +0200califax(~califax@user/califx) califx
2025-09-12 02:51:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-12 02:56:47 +0200rvalue-rvalue
2025-09-12 03:00:17 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-09-12 03:00:37 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-09-12 03:00:45 +0200xff0x(~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b) (Ping timeout: 245 seconds)
2025-09-12 03:02:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 03:06:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-12 03:10:33 +0200qqe(~qqq@185.54.23.136)
2025-09-12 03:17:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 03:22:38 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-12 03:24:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-12 03:32:03 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2025-09-12 03:35:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 03:38:34 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed)
2025-09-12 03:38:45 +0200Googulator(~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu)
2025-09-12 03:40:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-12 03:49:52 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) segfaultfizzbuzz
2025-09-12 03:51:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 03:56:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-12 04:02:51 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2025-09-12 04:06:48 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-12 04:07:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 04:08:12 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-09-12 04:08:30 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-09-12 04:12:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-12 04:16:17 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net)
2025-09-12 04:19:32 +0200Square3(~Square4@user/square) Square
2025-09-12 04:23:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 04:26:18 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2025-09-12 04:28:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-12 04:31:14 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net)
2025-09-12 04:35:32 +0200puke(~puke@user/puke) (Quit: puke)
2025-09-12 04:36:18 +0200segfaultfizzbuzz(~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
2025-09-12 04:36:51 +0200puke(~puke@user/puke) puke
2025-09-12 04:39:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-12 04:43:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)