| 2026-03-16 00:00:47 +0100 | merijn | (~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 +0100 | st_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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 00:14:02 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-16 00:18:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 00:20:32 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-03-16 00:22:16 +0100 | Guest24 | (~Guest24@94.42.242.59) |
| 2026-03-16 00:25:15 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4) |
| 2026-03-16 00:26:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e24f:1ef:ed48:3e20) (Ping timeout: 244 seconds) |
| 2026-03-16 00:29:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 00:34:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 00:35:22 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-16 00:35:50 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-16 00:44:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 00:49:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-16 00:50:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2026-03-16 00:56:41 +0100 | wickedjargon | (~user@S0106ac17c8c20e24.vc.shawcable.net) wickedjargon |
| 2026-03-16 01:00:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 01:01:45 +0100 | st_aldini | (~Betterbir@136.48.46.187) st_aldini |
| 2026-03-16 01:04:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-16 01:15:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 01:16:56 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-16 01:20:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-16 01:25:22 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 248 seconds) |
| 2026-03-16 01:25:26 +0100 | Guest24 | (~Guest24@94.42.242.59) (Quit: Client closed) |
| 2026-03-16 01:31:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 01:35:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 01:40:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-03-16 01:45:51 +0100 | wickedjargon | (~user@S0106ac17c8c20e24.vc.shawcable.net) (Remote host closed the connection) |
| 2026-03-16 01:46:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 01:50:57 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 01:53:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 02:01:23 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4) (Ping timeout: 272 seconds) |
| 2026-03-16 02:04:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 02:08:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-16 02:19:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 02:24:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-16 02:30:35 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e515b93fdf75026bf1fc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-16 02:30:58 +0100 | malte | (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2026-03-16 02:34:55 +0100 | wickedjargon | (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) wickedjargon |
| 2026-03-16 02:41:46 +0100 | craunts795335385 | (~craunts@61.245.22.252) |
| 2026-03-16 02:43:12 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-03-16 02:43:26 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 02:46:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 02:47:38 +0100 | wickedjargon | (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) (Remote host closed the connection) |
| 2026-03-16 02:47:52 +0100 | wickedjargon | (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) wickedjargon |
| 2026-03-16 02:48:14 +0100 | Square2 | (~Square@user/square) (Read error: Connection reset by peer) |
| 2026-03-16 02:48:19 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 264 seconds) |
| 2026-03-16 02:49:17 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-16 02:49:22 +0100 | elarks | (~elarks@user/yerrii) (Ping timeout: 268 seconds) |
| 2026-03-16 02:49:50 +0100 | craunts795335385 | (~craunts@61.245.22.252) (Quit: Ping timeout (120 seconds)) |
| 2026-03-16 02:50:29 +0100 | somemathguy | (~somemathg@user/somemathguy) (Remote host closed the connection) |
| 2026-03-16 02:50:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 02:50:49 +0100 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-03-16 02:57:16 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2026-03-16 02:58:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 02:59:54 +0100 | czan | (~czan@user/mange) (Ping timeout: 245 seconds) |
| 2026-03-16 03:00:10 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-03-16 03:03:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-16 03:03:24 +0100 | wickedjargon | (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) (Ping timeout: 246 seconds) |
| 2026-03-16 03:05:36 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-16 03:13:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 03:18:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 03:24:52 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 03:29:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 03:35:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-16 03:37:03 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-03-16 03:47:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 03:52:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-16 03:55:32 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 03:55:32 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 03:55:32 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 04:00:48 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-03-16 04:02:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 04:03:24 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-03-16 04:05:30 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 04:06:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-16 04:08:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-16 04:17:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 04:22:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-16 04:31:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 04:34:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2026-03-16 04:36:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 04:41:30 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-16 04:42:05 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-16 04:42:05 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-16 04:42:05 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-03-16 04:46:15 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 04:46:15 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 04:46:15 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 04:47:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 04:50:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-16 04:51:40 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 04:52:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-16 05:02:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 05:07:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-16 05:17:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-16 05:18:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 05:22:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-16 05:24:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-03-16 05:31:22 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 2026-03-16 05:32:56 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-16 05:32:56 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 05:37:24 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-03-16 05:39:51 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 05:44:57 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-16 05:48:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 05:49:32 +0100 | dutchie | (~dutchie@user/dutchie) (Ping timeout: 244 seconds) |
| 2026-03-16 05:52:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-16 05:56:15 +0100 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2026-03-16 05:56:36 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-16 05:58:19 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2026-03-16 06:03:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 06:08:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-16 06:11:59 +0100 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-03-16 06:19:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 06:22:17 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 06:23:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 06:24:56 +0100 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon |
| 2026-03-16 06:25:19 +0100 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) (Remote host closed the connection) |
| 2026-03-16 06:25:33 +0100 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon |
| 2026-03-16 06:27:15 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-16 06:33:43 +0100 | michalz | (~michalz@185.246.207.200) |
| 2026-03-16 06:33:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 06:36:00 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-03-16 06:38:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-16 06:41:26 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 06:45:45 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-16 06:49:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 06:53:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 06:57:33 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 06:57:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 07:01:56 +0100 | mismorgano | (~mismorgan@2806:102e:b:1045:ddfc:cd2e:171c:85e5) |
| 2026-03-16 07:02:12 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-16 07:03:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-16 07:04:02 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-16 07:04:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 07:05:17 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-16 07:11:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 07:12:58 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-03-16 07:13:39 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-16 07:14:43 +0100 | craunts795335385 | (~craunts@222.127.102.78) |
| 2026-03-16 07:17:32 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-16 07:22:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 07:27:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 07:34:52 +0100 | merijn | (~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 +0100 | gentauro | fun fact, `Admin By Request` was developed entirely by `Lars Sneftrup` (dane) |
| 2026-03-16 07:39:46 +0100 | merijn | (~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 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 07:40:49 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 07:40:49 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 07:41:25 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-03-16 07:46:09 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-16 07:50:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 07:54:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 07:54:37 +0100 | Enrico63 | (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) Enrico63 |
| 2026-03-16 08:01:30 +0100 | hellwolf | (~user@521a-36d5-5381-57e0-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2026-03-16 08:05:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 08:08:10 +0100 | wickedjargon | (~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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 08:12:19 +0100 | craunts795335385 | (~craunts@222.127.102.78) (Ping timeout: 264 seconds) |
| 2026-03-16 08:17:36 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 08:17:36 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 08:17:36 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 08:21:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 08:22:45 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-16 08:23:12 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Ping timeout: 264 seconds) |
| 2026-03-16 08:23:31 +0100 | craunts795335385 | (~craunts@61.245.22.252) |
| 2026-03-16 08:24:28 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 08:24:28 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 08:24:28 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 08:25:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-16 08:27:21 +0100 | wickedjargon | (~user@2605:8d80:5430:e5d2:e3ca:cdc4:8a8e:ccba) wickedjargon |
| 2026-03-16 08:28:38 +0100 | Enrico63 | (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-16 08:29:32 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-03-16 08:35:52 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-16 08:40:28 +0100 | kimiamania40 | (~b4b260c9@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2026-03-16 08:41:18 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 08:42:26 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-03-16 08:42:37 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-16 08:51:18 +0100 | wickedjargon | (~user@2605:8d80:5430:e5d2:e3ca:cdc4:8a8e:ccba) (Remote host closed the connection) |
| 2026-03-16 08:51:24 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 08:52:24 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-16 08:53:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 08:55:30 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-03-16 08:56:06 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-16 08:58:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 08:58:21 +0100 | Enrico63 | (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) Enrico63 |
| 2026-03-16 09:01:14 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-03-16 09:02:45 +0100 | <jreicher> | gentauro: yes |
| 2026-03-16 09:03:17 +0100 | Digitteknohippie | Digit |
| 2026-03-16 09:04:10 +0100 | chele | (~chele@user/chele) chele |
| 2026-03-16 09:09:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 09:13:22 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-16 09:14:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 09:17:21 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-03-16 09:23:31 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.240) |
| 2026-03-16 09:23:40 +0100 | AlexNoo_ | AlexNoo |
| 2026-03-16 09:24:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 09:26:58 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2026-03-16 09:27:00 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 09:27:00 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 09:27:00 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 09:28:18 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-03-16 09:29:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-16 09:30:02 +0100 | glguy_ | (glguy@libera/staff/glguy) glguy |
| 2026-03-16 09:30:36 +0100 | glguy | (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 +0100 | mismorgano | (~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 +0100 | vidak | (~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 +0100 | craunts795335385 | (~craunts@61.245.22.252) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-16 10:09:19 +0100 | danza | (~danza@user/danza) danza |
| 2026-03-16 10:11:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-16 10:15:10 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 245 seconds) |
| 2026-03-16 10:15:12 +0100 | tessier_ | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2026-03-16 10:21:17 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-16 10:21:47 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-16 10:25:43 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e515475642ad00179aca.dip0.t-ipconnect.de) acidjnk |
| 2026-03-16 10:30:09 +0100 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2026-03-16 10:30:21 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-16 10:31:00 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-16 10:39:59 +0100 | Digitteknohippie | Digit |
| 2026-03-16 11:02:39 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-16 11:14:08 +0100 | sixfourtwelve | (~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 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-16 11:19:56 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-16 11:20:02 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-03-16 11:25:58 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-03-16 11:25:59 +0100 | danz83428 | (~danza@user/danza) danza |
| 2026-03-16 11:26:19 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 11:30:41 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-03-16 11:30:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-03-16 11:30:42 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-16 11:30:42 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-16 11:31:00 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-16 11:31:03 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 11:31:05 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-03-16 11:31:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-03-16 11:31:26 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-16 11:42:20 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-16 11:43:15 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e5002f63032c884ffe61.dip0.t-ipconnect.de) |
| 2026-03-16 11:44:34 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) |
| 2026-03-16 11:46:26 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e515475642ad00179aca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-03-16 11:52:06 +0100 | danz83428 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-16 11:53:14 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-16 11:53:25 +0100 | califax | (~califax@user/califx) califx |
| 2026-03-16 11:56:47 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer) |
| 2026-03-16 11:57:00 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-16 11:58:00 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-03-16 12:01:22 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 12:01:22 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 12:01:22 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 12:06:11 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 12:14:13 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-16 12:14:38 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-16 12:18:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:666b:627e:a15c:e58f) |
| 2026-03-16 12:27:16 +0100 | Enrico63 | (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-16 12:27:31 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 12:32:01 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 12:34:42 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-16 12:34:46 +0100 | tt123160701978 | (~tt1231@75.185.104.199) tt1231 |
| 2026-03-16 12:35:34 +0100 | tt12316070197 | (~tt1231@75.185.104.199) (Quit: Ping timeout (120 seconds)) |
| 2026-03-16 12:35:34 +0100 | tt123160701978 | tt12316070197 |
| 2026-03-16 12:36:24 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 264 seconds) |
| 2026-03-16 12:41:09 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 245 seconds) |
| 2026-03-16 12:42:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-2025-8806-aadb-981f-aee0.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-16 12:43:02 +0100 | Googulator | (~Googulato@84-236-126-180.pool.digikabel.hu) |
| 2026-03-16 12:43:40 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 12:43:40 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 12:43:40 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 12:53:52 +0100 | koz | (~koz@121.99.240.58) |
| 2026-03-16 13:35:21 +0100 | YoungFrog | (~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 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:da2b:d75e:d3df:ac78) youngfrog |
| 2026-03-16 13:41:50 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2026-03-16 13:47:44 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-16 13:53:17 +0100 | AlexZenon | (~alzenon@5.139.232.240) (Quit: ;-) |
| 2026-03-16 13:53:39 +0100 | Alex_delenda_est | (~al_test@5.139.232.240) (Quit: ;-) |
| 2026-03-16 13:54:13 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) (Quit: Leaving) |
| 2026-03-16 13:58:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2026-03-16 14:04:40 +0100 | qqq | (~qqq@185.54.20.215) |
| 2026-03-16 14:05:35 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-16 14:09:55 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:b358:492e:e5d6:701d) |
| 2026-03-16 14:15:51 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 14:15:51 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 14:15:51 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 14:19:31 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
| 2026-03-16 14:21:02 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 14:24:39 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) |
| 2026-03-16 14:25:18 +0100 | AlexZenon | (~alzenon@5.139.232.240) |
| 2026-03-16 14:25:30 +0100 | koz | (~koz@121.99.240.58) |
| 2026-03-16 14:30:14 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 14:37:17 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:b358:492e:e5d6:701d) (Remote host closed the connection) |
| 2026-03-16 14:37:48 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 2026-03-16 14:42:08 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2026-03-16 14:49:16 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-16 14:58:34 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-03-16 15:00:11 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-16 15:03:55 +0100 | rainbyte | (~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 +0100 | madresch1 | (~Thunderbi@user/madresch) madresch |
| 2026-03-16 15:24:23 +0100 | madresch1 | (~Thunderbi@user/madresch) (Read error: Connection reset by peer) |
| 2026-03-16 15:24:50 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 2026-03-16 15:25:25 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-16 15:35:48 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-03-16 15:49:36 +0100 | accountant | (~accountan@2600:1702:5b61:8b40:89ea:ac5:d69b:838c) |
| 2026-03-16 15:49:37 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-16 15:49:54 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 248 seconds) |
| 2026-03-16 16:07:03 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-03-16 16:09:17 +0100 | danza | (~danza@user/danza) danza |
| 2026-03-16 16:09:40 +0100 | img_ | (~img@user/img) img |
| 2026-03-16 16:09:57 +0100 | glguy_ | glguy |
| 2026-03-16 16:11:39 +0100 | img | (~img@user/img) (Ping timeout: 268 seconds) |
| 2026-03-16 16:14:14 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-16 16:14:51 +0100 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2026-03-16 16:15:03 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-16 16:15:30 +0100 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon |
| 2026-03-16 16:38:37 +0100 | Enrico63 | (~Enrico63@79.27.153.132) Enrico63 |
| 2026-03-16 16:42:03 +0100 | wickedja` | (~user@2605:8d80:5431:5306:f152:ae23:65ff:8189) |
| 2026-03-16 16:44:07 +0100 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 264 seconds) |
| 2026-03-16 16:45:26 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-03-16 16:45:41 +0100 | oats | (~oats@user/oats) oats |
| 2026-03-16 16:45:46 +0100 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-03-16 16:46:06 +0100 | Enrico63 | (~Enrico63@79.27.153.132) (Quit: Client closed) |
| 2026-03-16 16:46:57 +0100 | Alex_delenda_est | (~al_test@5.139.232.240) |
| 2026-03-16 16:53:00 +0100 | wickedja` | (~user@2605:8d80:5431:5306:f152:ae23:65ff:8189) (Remote host closed the connection) |
| 2026-03-16 16:55:07 +0100 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-16 16:56:14 +0100 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-03-16 17:02:41 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-16 17:08:24 +0100 | st_aldini | (~Betterbir@136.48.46.187) (Quit: st_aldini) |
| 2026-03-16 17:11:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2026-03-16 17:13:33 +0100 | natechan | (~natechan@c-98-45-159-200.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2026-03-16 17:15:28 +0100 | accountant | (~accountan@2600:1702:5b61:8b40:89ea:ac5:d69b:838c) (Quit: Client closed) |
| 2026-03-16 17:22:50 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-03-16 17:23:11 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) v0id_7 |
| 2026-03-16 17:26:48 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-03-16 17:29:32 +0100 | Digitteknohippie | Digit |
| 2026-03-16 17:29:43 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 264 seconds) |
| 2026-03-16 17:31:24 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Ping timeout: 246 seconds) |
| 2026-03-16 17:31:48 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) v0id_7 |
| 2026-03-16 17:36:15 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-16 17:38:50 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-03-16 17:44:05 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 244 seconds) |
| 2026-03-16 17:50:05 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-16 17:50:13 +0100 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-16 17:54:59 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-16 17:55:22 +0100 | <dminuoso> | Python strikes again. |
| 2026-03-16 17:55:39 +0100 | <dminuoso> | django.conf.settings is an attempt at lazyness, but done in a grotesque and buggy way |
| 2026-03-16 17:56:33 +0100 | Guest62t | (~Guest62t@p200300ca8f03bb00982801fe38106b84.dip0.t-ipconnect.de) |
| 2026-03-16 17:56:49 +0100 | <dminuoso> | While we protect recursion in our thunks with blackhole, django.conf.settings not only allows it, but of course you end up with at scenario where not only can a recursive evaluation end up with a different value, but because they mutate state you end up with scenarios where depending on the order of evaluation you have three possible states that range from "bugged, bugged and buggy, and slightly |
| 2026-03-16 17:56:51 +0100 | <dminuoso> | less bugged" |
| 2026-03-16 17:57:47 +0100 | <dminuoso> | Or maybe "recursion" is the wrong term here, reentrance seems more fitting. |
| 2026-03-16 17:57:52 +0100 | <haskellbridge> | <magic_rb> Sounds like great software ngl |
| 2026-03-16 17:59:50 +0100 | <[exa]> | it's tested by time |
| 2026-03-16 18:03:25 +0100 | st_aldini | (~Betterbir@136.48.46.187) st_aldini |
| 2026-03-16 18:11:50 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-03-16 18:12:54 +0100 | dyniec | (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2026-03-16 18:13:31 +0100 | dyniec | (~dyniec@dybiec.info) dyniec |
| 2026-03-16 18:17:46 +0100 | <mesaoptimizer> | well, by a lot of people you mean |
| 2026-03-16 18:38:25 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-16 18:53:21 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 19:05:44 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 19:18:35 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 19:18:35 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 19:18:35 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 19:21:42 +0100 | <EvanR> | that is what happens when people think what's the big deal it's all 1s and 0s |
| 2026-03-16 19:22:24 +0100 | <EvanR> | no semantic balls |
| 2026-03-16 19:25:40 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-16 19:26:09 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-16 19:28:14 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-16 19:32:44 +0100 | <L29Ah> | only type holes? |
| 2026-03-16 19:33:32 +0100 | <monochrom> | Just fill your type holes with semantics balls >:) |
| 2026-03-16 19:42:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-16 19:50:48 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-16 19:51:05 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-16 19:52:18 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-16 19:54:23 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 20:01:49 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-16 20:01:54 +0100 | <mesaoptimizer> | what is a semantic ball |
| 2026-03-16 20:07:15 +0100 | <EvanR> | when you assert during the design process that what we're creating is not a random arrangement of machine code instructions to munge the computer words to and fro, but (exact or approximate in some sense) realization of some semantics, this latter objective is much more narrow and focused. And not everyone has the guts (or foolhardiness?) to try! |
| 2026-03-16 20:08:28 +0100 | <EvanR> | e.g. you might sabotage yourself second guessing whether the more narrow and defined objective is appropriate for the problem |
| 2026-03-16 20:13:38 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-16 20:15:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-16 20:19:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-16 20:19:45 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-03-16 20:25:36 +0100 | malte | (~malte@mal.tc) malte |
| 2026-03-16 20:32:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-16 20:34:06 +0100 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 246 seconds) |
| 2026-03-16 20:34:37 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-16 20:39:48 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-16 20:43:30 +0100 | emmanuelux_ | (~em@2a02-8440-260d-61f7-ac71-fff7-5c29-395c.rev.sfr.net) |
| 2026-03-16 20:44:09 +0100 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2026-03-16 20:50:49 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-16 20:51:37 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 20:51:37 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 20:51:37 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 20:51:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2026-03-16 20:53:43 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-16 20:56:26 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-03-16 20:57:27 +0100 | lol__ | jcarpenter22 |
| 2026-03-16 21:00:47 +0100 | st_aldini | (~Betterbir@136.48.46.187) (Quit: st_aldini) |
| 2026-03-16 21:03:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 21:05:57 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 246 seconds) |
| 2026-03-16 21:08:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 21:10:50 +0100 | st_aldini | (~Betterbir@136.48.46.187) st_aldini |
| 2026-03-16 21:11:53 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 21:11:53 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 21:11:53 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 21:16:54 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-16 21:17:31 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2026-03-16 21:19:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 21:23:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 21:28:05 +0100 | <Franciman> | mesaoptimizer: semantic web inventions /jk |
| 2026-03-16 21:30:20 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: Lost terminal) |
| 2026-03-16 21:34:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 21:39:32 +0100 | hellwolf | (~user@d2c7-375c-6044-5280-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-03-16 21:41:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 21:48:47 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 21:48:47 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 21:48:47 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 21:49:44 +0100 | roconnor | (~quassel@rocq/roconnor) () |
| 2026-03-16 21:52:33 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-16 21:55:00 +0100 | st_aldini | (~Betterbir@136.48.46.187) (Quit: st_aldini) |
| 2026-03-16 21:56:59 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-03-16 22:02:58 +0100 | Square2 | (~Square@user/square) (Read error: Connection reset by peer) |
| 2026-03-16 22:04:14 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-16 22:07:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 22:12:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 22:16:55 +0100 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |