| 2025-10-30 00:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 00:01:28 +0100 | Zemy_ | (~Zemy@2600:100c:b0ad:1c64:9808:dbff:fe81:e9ff) (Ping timeout: 256 seconds) |
| 2025-10-30 00:02:14 +0100 | Zemy_ | (~Zemy@2600:100c:b0ad:1c64:88d4:f6ff:fee9:8fef) |
| 2025-10-30 00:04:31 +0100 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 264 seconds) |
| 2025-10-30 00:05:37 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5978:a504:f2fd:26f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-30 00:08:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-30 00:19:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 00:22:38 +0100 | trickard_ | trickard |
| 2025-10-30 00:24:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-30 00:35:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 00:39:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 00:42:34 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-30 00:43:43 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-30 00:45:40 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-30 00:49:38 +0100 | Zemy_ | (~Zemy@2600:100c:b0ad:1c64:88d4:f6ff:fee9:8fef) (Ping timeout: 256 seconds) |
| 2025-10-30 00:52:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 00:53:35 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-30 00:56:25 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-30 00:56:54 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: "¯_(ツ)_/¯") |
| 2025-10-30 00:57:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 01:02:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 01:07:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 01:10:47 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-30 01:12:15 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Remote host closed the connection) |
| 2025-10-30 01:13:03 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-30 01:13:31 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 264 seconds) |
| 2025-10-30 01:14:45 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Remote host closed the connection) |
| 2025-10-30 01:15:33 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-30 01:17:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 01:19:25 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-30 01:22:45 +0100 | OWS | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-30 01:23:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 01:24:11 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-10-30 01:25:19 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-30 01:28:46 +0100 | pavonia_ | (~user@user/siracusa) siracusa |
| 2025-10-30 01:30:28 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2025-10-30 01:30:39 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 01:30:40 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 01:30:57 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-10-30 01:31:35 +0100 | ft_ | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-10-30 01:31:46 +0100 | raym_ | (~ray@user/raym) raym |
| 2025-10-30 01:32:06 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-30 01:32:29 +0100 | connrs_ | (~connrs@conners.plus.com) |
| 2025-10-30 01:33:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 01:36:37 +0100 | pavonia | (~user@user/siracusa) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | bggd | (~bgg@2a01:e0a:819:1510:f314:af0a:6c28:12ae) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:188e:cf5c:af12:b243) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | raym | (~ray@user/raym) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1168:9cdd:93d7:e6c6) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | craunts795335385 | (~craunts@136.158.7.194) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | connrs | (~connrs@user/connrs) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | elenril | (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::8bad) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | phma | (~phma@2605:59c8:6211:ff08:7181:51cb:35db:c6be) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | arahael | (~wetfoot@user/arahael) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | ycp | (~znc@user/dragestil) (*.net *.split) |
| 2025-10-30 01:36:37 +0100 | xal_ | (~xal@mx1.xal.systems) (*.net *.split) |
| 2025-10-30 01:36:38 +0100 | ft_ | ft |
| 2025-10-30 01:36:38 +0100 | connrs_ | connrs |
| 2025-10-30 01:37:09 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-30 01:37:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-30 01:37:44 +0100 | a_fantom | (~fantom@212.228.181.156) |
| 2025-10-30 01:37:45 +0100 | OWS | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Remote host closed the connection) |
| 2025-10-30 01:38:38 +0100 | OWS | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-30 01:38:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 01:38:55 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 256 seconds) |
| 2025-10-30 01:40:09 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-30 01:41:10 +0100 | qqe | (~qqq@185.54.23.200) |
| 2025-10-30 01:42:14 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-30 01:42:14 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-30 01:42:14 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-10-30 01:42:14 +0100 | bggd | (~bgg@2a01:e0a:819:1510:f314:af0a:6c28:12ae) |
| 2025-10-30 01:42:14 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-10-30 01:42:14 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1168:9cdd:93d7:e6c6) synchromesh |
| 2025-10-30 01:42:14 +0100 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2025-10-30 01:42:14 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::8bad) sp1ff |
| 2025-10-30 01:42:14 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-30 01:42:14 +0100 | phma | (~phma@2605:59c8:6211:ff08:7181:51cb:35db:c6be) |
| 2025-10-30 01:42:14 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) firesquidwao |
| 2025-10-30 01:42:14 +0100 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-10-30 01:42:14 +0100 | ycp | (~znc@user/dragestil) dragestil |
| 2025-10-30 01:42:14 +0100 | xal_ | (~xal@mx1.xal.systems) xal |
| 2025-10-30 01:42:18 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Max SendQ exceeded) |
| 2025-10-30 01:42:18 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Max SendQ exceeded) |
| 2025-10-30 01:42:26 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-10-30 01:42:41 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-10-30 01:43:25 +0100 | OWS | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 265 seconds) |
| 2025-10-30 01:43:27 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-30 01:44:35 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-30 01:44:41 +0100 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:3827:9244:6b75:269a) Inline |
| 2025-10-30 01:46:18 +0100 | Guest34 | (~Guest34@2601:14d:4d7e:8f0:f916:ca93:9bc9:f49f) |
| 2025-10-30 01:49:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 01:49:40 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-30 01:49:49 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-30 01:53:07 +0100 | aku | (aku@65.108.245.241) (Quit: Lost terminal) |
| 2025-10-30 01:53:28 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
| 2025-10-30 01:55:40 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 01:55:48 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 01:55:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-30 02:00:50 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-30 02:03:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e827:de8b:d736:8bef) (Ping timeout: 265 seconds) |
| 2025-10-30 02:03:52 +0100 | aku | (aku@65.108.245.241) eagleflo |
| 2025-10-30 02:05:00 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-30 02:06:15 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-30 02:07:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 02:11:29 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-30 02:12:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-30 02:15:38 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 02:15:49 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 02:17:01 +0100 | acidjnk | (~acidjnk@p200300d6e7171950c80ae7d706fe6efe.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-10-30 02:20:31 +0100 | otto_s | (~user@p5b044037.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-10-30 02:20:47 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 02:20:47 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 02:22:18 +0100 | otto_s | (~user@p4ff27477.dip0.t-ipconnect.de) |
| 2025-10-30 02:23:17 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-10-30 02:27:04 +0100 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-30 02:30:48 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 02:31:03 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 02:32:19 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-30 02:35:33 +0100 | pavonia_ | pavonia |
| 2025-10-30 02:35:39 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit) |
| 2025-10-30 02:35:43 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 02:37:11 +0100 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 02:39:43 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-30 03:02:11 +0100 | meinside- | meinside |
| 2025-10-30 03:07:41 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-30 03:08:51 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-30 03:10:44 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 03:11:18 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 03:11:36 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Write error: Broken pipe) |
| 2025-10-30 03:30:43 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 03:30:45 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 03:36:35 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-30 03:36:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 03:41:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 03:42:37 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-30 03:45:40 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 03:45:43 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 03:52:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 03:57:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-30 04:00:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-30 04:08:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 04:08:16 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 04:08:29 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-30 04:13:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-30 04:16:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-30 04:18:53 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2025-10-30 04:20:38 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 04:20:40 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 04:24:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 04:25:38 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 04:25:45 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 04:28:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 04:34:28 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 04:34:45 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 04:39:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 04:41:57 +0100 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-30 04:43:27 +0100 | td_ | (~td@i53870927.versanet.de) |
| 2025-10-30 04:45:37 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 04:45:38 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 04:46:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 04:54:01 +0100 | annamalai | (~annamalai@157.32.128.210) annamalai |
| 2025-10-30 04:57:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 05:00:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-10-30 05:01:11 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-30 05:02:30 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-30 05:02:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 05:13:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 05:13:53 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 05:17:03 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-30 05:17:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-10-30 05:17:45 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 05:17:49 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-10-30 05:17:58 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-30 05:18:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 05:19:21 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-30 05:19:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-30 05:20:29 +0100 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2025-10-30 05:29:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 05:34:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 05:35:08 +0100 | bgt32 | (~keutoi@106.222.232.60) |
| 2025-10-30 05:36:15 +0100 | aforemny_ | (~aforemny@i577B137A.versanet.de) aforemny |
| 2025-10-30 05:37:31 +0100 | aforemny | (~aforemny@2001:9e8:6cf0:1a00:b20d:95e8:54ba:6338) (Ping timeout: 264 seconds) |
| 2025-10-30 05:37:31 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1168:9cdd:93d7:e6c6) (Read error: Connection reset by peer) |
| 2025-10-30 05:38:45 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:a151:32b5:2959:c671) synchromesh |
| 2025-10-30 05:45:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 05:49:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 05:50:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-10-30 05:51:59 +0100 | Guest34 | (~Guest34@2601:14d:4d7e:8f0:f916:ca93:9bc9:f49f) (Quit: Client closed) |
| 2025-10-30 06:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 06:05:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 06:07:58 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-30 06:11:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-30 06:15:45 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 06:15:45 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 06:16:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 06:22:23 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 06:22:39 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 06:22:49 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Ping timeout: 256 seconds) |
| 2025-10-30 06:22:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 06:25:34 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit) |
| 2025-10-30 06:25:45 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 06:31:55 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-30 06:34:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 06:39:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-30 06:50:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 06:54:15 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 06:54:29 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-30 06:55:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-30 06:55:43 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 06:55:44 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 07:03:29 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 07:05:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 07:09:17 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-30 07:11:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-30 07:14:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 07:18:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 07:21:00 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 07:21:05 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 07:21:06 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-30 07:22:23 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-30 07:23:42 +0100 | img | (~img@user/img) img |
| 2025-10-30 07:25:42 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 07:25:42 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit) |
| 2025-10-30 07:29:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 07:36:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-30 07:37:38 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-30 07:39:24 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-30 07:43:00 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-30 07:47:25 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-30 07:47:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 07:48:20 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-30 07:49:15 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-30 07:50:29 +0100 | trickard_ | trickard |
| 2025-10-30 07:50:45 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 07:50:52 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 07:52:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-30 07:56:50 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-10-30 08:01:20 +0100 | jreicher | (~user@user/jreicher) (Quit: Beer) |
| 2025-10-30 08:02:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 08:02:51 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-30 08:07:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 08:07:49 +0100 | annamalai | (~annamalai@157.32.128.210) (Ping timeout: 264 seconds) |
| 2025-10-30 08:11:04 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-30 08:16:20 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-30 08:17:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 08:18:30 +0100 | annamalai | (~annamalai@2409:4042:2595:bd4d::195e:70b1) annamalai |
| 2025-10-30 08:22:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 08:27:42 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-30 08:33:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 08:38:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-30 08:41:05 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-30 08:45:25 +0100 | monty | (~user@2601:646:300:83b0:b942:d9b0:5ff4:a7eb) |
| 2025-10-30 08:45:58 +0100 | monty | (~user@2601:646:300:83b0:b942:d9b0:5ff4:a7eb) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-10-30 08:45:59 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-30 08:49:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 08:52:24 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 08:54:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 08:57:01 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 264 seconds) |
| 2025-10-30 08:57:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-30 08:57:57 +0100 | Frostillicus | (~Frostilli@71.174.119.69) |
| 2025-10-30 08:57:59 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-10-30 09:03:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 09:04:25 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-30 09:04:53 +0100 | bgt32 | (~keutoi@106.222.232.60) (Ping timeout: 256 seconds) |
| 2025-10-30 09:05:40 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 09:05:40 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 09:06:53 +0100 | bgt32 | (~keutoi@106.222.233.20) |
| 2025-10-30 09:09:37 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 246 seconds) |
| 2025-10-30 09:09:39 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-30 09:10:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 09:13:56 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5978:a504:f2fd:26f) |
| 2025-10-30 09:16:01 +0100 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 09:16:16 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-30 09:19:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-30 09:20:03 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-10-30 09:20:41 +0100 | qqe | (~qqq@185.54.23.200) |
| 2025-10-30 09:22:05 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-30 09:25:41 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 09:25:42 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 09:28:59 +0100 | trickard__ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-10-30 09:29:22 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-30 09:42:19 +0100 | trickard__ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 09:42:32 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-10-30 09:45:41 +0100 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 09:45:46 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 09:47:53 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-30 09:53:58 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 09:54:11 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-10-30 09:56:02 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-30 09:56:02 +0100 | connrs | (~connrs@conners.plus.com) (Read error: Connection reset by peer) |
| 2025-10-30 09:56:04 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 09:56:16 +0100 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 09:58:34 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-10-30 09:59:21 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-30 10:00:30 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-10-30 10:00:30 +0100 | <kuribas> | Let's say I have a TimeSeries as a functor and applicative, so fmap :: (a -> b) -> TimeSeries a -> TimeSeries b, and <*> :: TimeSeries (a -> b) -> TimeSeries a -> TimeSeries b. Can I lift this into an expression AST, where Fmap :: Formula (a -> b) -> Expr a -> Expr b, App :: Expr (a -> b) -> Expr (b)? |
| 2025-10-30 10:00:40 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit) |
| 2025-10-30 10:00:43 +0100 | <kuribas> | Is there an abstraction for this? |
| 2025-10-30 10:00:46 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 10:00:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-10-30 10:01:17 +0100 | <kuribas> | Basically I want to describe the timeseries as an abstract expression. |
| 2025-10-30 10:01:48 +0100 | <kuribas> | For example, to compile this from a set of expressions to a set database queries. |
| 2025-10-30 10:03:10 +0100 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-30 10:04:14 +0100 | <tomsmeding> | kuribas: sounds like what you're looking for is a free applicative, analogous to a "free monad" for Monad |
| 2025-10-30 10:04:27 +0100 | <tomsmeding> | this claims to be one encoding of that https://hackage.haskell.org/package/free-5.2/docs/Control-Applicative-Free.html |
| 2025-10-30 10:05:01 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-30 10:05:20 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-30 10:05:34 +0100 | <tomsmeding> | but what you wrote would work fine too, I think, as long as 1. you add an `Expr a` field to App, and you add some additional constructor for actual operations to be done |
| 2025-10-30 10:05:56 +0100 | <tomsmeding> | (plus some Pure :: a -> Expr a) |
| 2025-10-30 10:08:06 +0100 | <kuribas> | tomsmeding: then "f" is the Formula language? |
| 2025-10-30 10:08:21 +0100 | <tomsmeding> | with that Control.Applicative.Free? |
| 2025-10-30 10:08:35 +0100 | <tomsmeding> | f is your underlying Applicative of operations that you want the expression to be able to perform |
| 2025-10-30 10:08:40 +0100 | <tomsmeding> | Ap is the expression language |
| 2025-10-30 10:09:03 +0100 | <tomsmeding> | f itself can be an expression language too if you wish to make the whole thing symbolic |
| 2025-10-30 10:10:38 +0100 | <tomsmeding> | kuribas: have you seen free monads before? |
| 2025-10-30 10:11:28 +0100 | Frostillicus | (~Frostilli@71.174.119.69) (Remote host closed the connection) |
| 2025-10-30 10:11:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 10:12:54 +0100 | annamalai | (~annamalai@2409:4042:2595:bd4d::195e:70b1) (Ping timeout: 256 seconds) |
| 2025-10-30 10:18:01 +0100 | <kuribas> | a bit. |
| 2025-10-30 10:18:57 +0100 | <kuribas> | So it becomes (data Expr f a)? |
| 2025-10-30 10:19:24 +0100 | <kuribas> | Then the abstract version is "Expr Formula a" over some formula language. |
| 2025-10-30 10:19:27 +0100 | <tomsmeding> | kuribas: if you want to roll your own, then yes |
| 2025-10-30 10:19:39 +0100 | <kuribas> | If I don't? |
| 2025-10-30 10:19:47 +0100 | <tomsmeding> | you would use Ap f a :p |
| 2025-10-30 10:20:01 +0100 | <tomsmeding> | but if you want to understand what's going on, I do kind of recommend rolling your own |
| 2025-10-30 10:20:10 +0100 | <tomsmeding> | it's not hard and makes it more transparent what you're doing precisely |
| 2025-10-30 10:20:28 +0100 | <kuribas> | How does my expression language fit in Ap? |
| 2025-10-30 10:20:32 +0100 | <tomsmeding> | and then, if you will only ever instantiate f to Formula anyway, you don't even need to parametrise the thing on f |
| 2025-10-30 10:20:40 +0100 | <kuribas> | True |
| 2025-10-30 10:20:43 +0100 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 10:20:45 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 10:20:55 +0100 | <tomsmeding> | kuribas: that Ap is a little expression language that expresses fmap, pure and <*> |
| 2025-10-30 10:20:57 +0100 | <kuribas> | Though I can have a cheap evaluator to test the language. |
| 2025-10-30 10:21:08 +0100 | <tomsmeding> | it doesn't express anything else |
| 2025-10-30 10:21:25 +0100 | <tomsmeding> | if you want the language to express anything else than those things, that's what f is for |
| 2025-10-30 10:22:04 +0100 | <tomsmeding> | if you want to see _how_ it expresses fmap, pure and <*> (though pure is rather obvious), you can look at the Functor and Applicative instance definitions |
| 2025-10-30 10:22:57 +0100 | <tomsmeding> | kuribas: what makes me a little unsure about this is that you use "Formula" for the underlying effect. f is supposed to be some kind of effect; "formula" sounds pure |
| 2025-10-30 10:23:29 +0100 | <tomsmeding> | from what you initially said, the standard approach would be to have f describe a database query in some sense |
| 2025-10-30 10:23:57 +0100 | <tomsmeding> | then Ap grants you the ability to perform multiple database queries and post-process their results with pure functions |
| 2025-10-30 10:24:16 +0100 | <tomsmeding> | all while keeping the individual queries performed available in the Ap data structure as f values |
| 2025-10-30 10:24:20 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-10-30 10:24:45 +0100 | <tomsmeding> | now f doesn't need to be an actual "do the query" effect, it could (e.g.) also just be f ~ Const String, where the String is some SQL |
| 2025-10-30 10:25:07 +0100 | <tomsmeding> | (I expect you to want more typing than that, but just as an example) |
| 2025-10-30 10:25:51 +0100 | <kuribas> | tomsmeding: well, this language is supposed to be pure. |
| 2025-10-30 10:26:02 +0100 | <tomsmeding> | then why are you using applicative functors? |
| 2025-10-30 10:26:05 +0100 | <kuribas> | Translation to effects and database queries is done as a later step. |
| 2025-10-30 10:26:11 +0100 | <tomsmeding> | oh right |
| 2025-10-30 10:26:18 +0100 | <kuribas> | because you suggested it? |
| 2025-10-30 10:26:19 +0100 | <tomsmeding> | it's a pure language _modelling_ a semantics which has effects |
| 2025-10-30 10:26:31 +0100 | <tomsmeding> | kuribas: well you started with Fmap and App :) |
| 2025-10-30 10:26:33 +0100 | <kuribas> | well, computation always has effects. |
| 2025-10-30 10:26:43 +0100 | <tomsmeding> | 1 + 1 does not, in the sense in which we usually mean it in haskell |
| 2025-10-30 10:26:46 +0100 | <kuribas> | But a SQL query is also pure in semantics. |
| 2025-10-30 10:26:50 +0100 | <kuribas> | (excluding insert) |
| 2025-10-30 10:27:02 +0100 | <tomsmeding> | no, because it depends on the current state of the database, which is external to the program |
| 2025-10-30 10:27:06 +0100 | <kuribas> | tomsmeding: indeed |
| 2025-10-30 10:27:31 +0100 | <tomsmeding> | okay, I guess it is pure if you consider the DB's state to be internal to the program state, but since we're doing Haskell and it isn't, it makes sense to consider it external here too |
| 2025-10-30 10:27:48 +0100 | <tomsmeding> | okay good I now understand what you mean with Formula then |
| 2025-10-30 10:28:07 +0100 | <tomsmeding> | a pure, syntactic representation of an effectful query |
| 2025-10-30 10:28:10 +0100 | <tomsmeding> | that works |
| 2025-10-30 10:28:39 +0100 | <kuribas> | like data Formula a where AddSeries :: Formula (TimeSeries Double -> TimeSeries Double -> TimeSeries Double) |
| 2025-10-30 10:29:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5978:a504:f2fd:26f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-30 10:29:06 +0100 | <tomsmeding> | and FromTable :: String -> Formula (TimeSeries Double) ? |
| 2025-10-30 10:29:12 +0100 | <tomsmeding> | or something like it |
| 2025-10-30 10:30:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-30 10:30:56 +0100 | <kuribas> | ToQuery :: Ap (TimeSeries Formula a) -> SqlQuery |
| 2025-10-30 10:31:33 +0100 | <kuribas> | More likely ToQueries :: [HashMap Text (Ap (TimSeries Formula a))] -> [SqlQuery] |
| 2025-10-30 10:32:42 +0100 | <tomsmeding> | okay so here's my confusion, and I think the resolution to it: especially now that you present AddSeries -- a function-typed primitive in your little language -- having a functor-style interface to it feels weird to me, because 1. AddSeries by itself doesn't encode any kind of effect, and 2. being able to inspect that the query does AddSeries by itself is not particularly helpful. Instead, here I |
| 2025-10-30 10:32:44 +0100 | <tomsmeding> | would expect you to just have a custom AST that models your query language, with no mention of fmap or such. However, if you want to subsequently embed that little language in Haskell, you'll have to introduce an operator for embedded function application, and lo, perhaps <*> typechecks nicely |
| 2025-10-30 10:33:03 +0100 | <tomsmeding> | it would be Ap (TimeSeries Formula) a, but yeah |
| 2025-10-30 10:33:21 +0100 | <tomsmeding> | I think I would recommend you roll your own expression data type here instead of reusing Ap |
| 2025-10-30 10:33:36 +0100 | <kuribas> | Ah I see. No, I don't want fmap or <*>, but something similar on AST level. |
| 2025-10-30 10:33:40 +0100 | <tomsmeding> | right |
| 2025-10-30 10:34:13 +0100 | <tomsmeding> | perhaps your custom expression data type ends up having a little substructure that looks a lot like Ap, and if you really want, you can later extract that |
| 2025-10-30 10:34:47 +0100 | <tomsmeding> | but the convenience offered by the functions on Ap are probably not worth the semantical overhead of bringing in a free applicative when it "doesn't make any sense" because it's not the standard usage of a free applicative |
| 2025-10-30 10:35:19 +0100 | finsternis | (~X@23.226.237.192) (Ping timeout: 240 seconds) |
| 2025-10-30 10:35:21 +0100 | <tomsmeding> | now you can still offer fmap and <*> as user API to your library if you want, that's independent from all this |
| 2025-10-30 10:35:42 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 10:35:45 +0100 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 10:36:32 +0100 | <tomsmeding> | data Expr a where { Constant :: a -> Expr a ; App :: Expr (a -> b) -> Expr a -> Expr b ; AddSeries :: Expr (TS D -> TS D -> TS D) ; ... } |
| 2025-10-30 10:37:12 +0100 | <tomsmeding> | instance Functor Expr where fmap f e = App (Constant f) e |
| 2025-10-30 10:37:16 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-30 10:37:28 +0100 | <tomsmeding> | instance Applicative Expr where { pure = Constant ; (<*>) = App } |
| 2025-10-30 10:38:01 +0100 | <tomsmeding> | from my best understanding of what you want to do, I think this is the most understandable |
| 2025-10-30 10:38:14 +0100 | <kuribas> | tomsmeding: the problem with fmap is that it introduces lambdas in my AST, which I cannot transform or inspect. |
| 2025-10-30 10:38:21 +0100 | <tomsmeding> | well, yeah |
| 2025-10-30 10:38:21 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-10-30 10:38:38 +0100 | <kuribas> | I want some "lifted fmap", which works over (Formula (a -> b)), not (a -> b) |
| 2025-10-30 10:38:44 +0100 | <tomsmeding> | kuribas: but you know that those introduced functions do not perform any query operations |
| 2025-10-30 10:39:15 +0100 | <tomsmeding> | kuribas: then presumably you also don't want a general `pure` |
| 2025-10-30 10:39:19 +0100 | <kuribas> | Which introduced functions? |
| 2025-10-30 10:39:25 +0100 | <tomsmeding> | because `fmap f x = pure f <*> x` |
| 2025-10-30 10:39:36 +0100 | <kuribas> | yeah, pure would introduce lambdas. |
| 2025-10-30 10:39:38 +0100 | bgt32 | (~keutoi@106.222.233.20) (Ping timeout: 244 seconds) |
| 2025-10-30 10:39:46 +0100 | <tomsmeding> | kuribas: you say "lambdas", I say "functions" because not every function is a literal lambda expression :) |
| 2025-10-30 10:39:50 +0100 | <tomsmeding> | "closures" is also correct |
| 2025-10-30 10:39:55 +0100 | <kuribas> | sure |
| 2025-10-30 10:40:03 +0100 | <kuribas> | I did too much Python :) |
| 2025-10-30 10:40:20 +0100 | <kuribas> | Though lambdas in python are thorougly broken... |
| 2025-10-30 10:40:23 +0100 | <tomsmeding> | right, so if you want <*> but no general pure and no fmap at all, then define your own <*>-like operator |
| 2025-10-30 10:40:28 +0100 | <tomsmeding> | $* or something |
| 2025-10-30 10:40:32 +0100 | <tomsmeding> | kuribas: they are |
| 2025-10-30 10:40:47 +0100 | <tomsmeding> | and forget about Functor and Applicative at all |
| 2025-10-30 10:41:26 +0100 | <tomsmeding> | and if you have some `Constant :: ... => a -> Expr a` operation, don't forget to constrain it sufficiently that only constants you actually know how to deal with fit in there :) |
| 2025-10-30 10:41:38 +0100 | <kuribas> | I am currently using python for this project, but the language is not very expressive for this timeseries language. I wanted to model it in haskell first. |
| 2025-10-30 10:42:00 +0100 | <kuribas> | tomsmeding: indeed, Constant should be limited to some types. |
| 2025-10-30 10:42:08 +0100 | <tomsmeding> | doesn't python allow you to override function application on class instances? |
| 2025-10-30 10:42:22 +0100 | <kuribas> | yes it does. |
| 2025-10-30 10:42:36 +0100 | <kuribas> | I can build a formula language. But I cannot statically type id. |
| 2025-10-30 10:42:39 +0100 | <kuribas> | it |
| 2025-10-30 10:42:44 +0100 | <tomsmeding> | so that removes the need for a special-purpose application operator (my $*, modelled after <*>) |
| 2025-10-30 10:42:49 +0100 | <tomsmeding> | right |
| 2025-10-30 10:43:16 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-30 10:43:20 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-30 10:43:26 +0100 | <tomsmeding> | kuribas: ok so the answer to your initial question is just "yes" |
| 2025-10-30 10:43:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 10:43:48 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 10:43:55 +0100 | <tomsmeding> | except that the fact that TimeSeries has fmap and <*> is irrelevant here |
| 2025-10-30 10:44:01 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-10-30 10:44:07 +0100 | <tomsmeding> | Expr will _not_ have fmap and <*> |
| 2025-10-30 10:44:16 +0100 | <kuribas> | Maybe I just to Expr f a where PureDouble :: Double -> Expr Double; FMap :: f (a -> b) -> Expr a -> Expr b; FApp :: Expr (a -> b) -> Expr a -> Expr b; ... |
| 2025-10-30 10:44:29 +0100 | <tomsmeding> | remove the f argument to Expr |
| 2025-10-30 10:44:32 +0100 | <tomsmeding> | but yes, that |
| 2025-10-30 10:44:49 +0100 | <tomsmeding> | oh you're using f; why have FMap too? |
| 2025-10-30 10:44:53 +0100 | <kuribas> | ah, but I liked the idea that I can use this to reduce to value... |
| 2025-10-30 10:44:54 +0100 | <tomsmeding> | isn't FApp enough? |
| 2025-10-30 10:45:10 +0100 | <tomsmeding> | what will you instantiate f to? |
| 2025-10-30 10:45:47 +0100 | <kuribas> | "Formula" for the AST, "Identity" for the result. |
| 2025-10-30 10:46:01 +0100 | <tomsmeding> | how is Formula different from Expr? |
| 2025-10-30 10:46:10 +0100 | <kuribas> | maybe not :) |
| 2025-10-30 10:46:23 +0100 | <tomsmeding> | I feel like you want your evaluator to be Expr a -> IO a |
| 2025-10-30 10:46:48 +0100 | <kuribas> | so FormulaExpr :: Formula a -> Expr a ? |
| 2025-10-30 10:46:54 +0100 | <tomsmeding> | what even is Formula lol |
| 2025-10-30 10:47:09 +0100 | <kuribas> | tomsmeding: just a finite set of functions. |
| 2025-10-30 10:47:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-30 10:47:24 +0100 | <kuribas> | For example operations supported by a database. |
| 2025-10-30 10:47:34 +0100 | <kuribas> | as a GADT |
| 2025-10-30 10:47:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 10:47:39 +0100 | <tomsmeding> | I would call that Operation, or Function, perhaps |
| 2025-10-30 10:47:44 +0100 | <tomsmeding> | PrimOp, maybe |
| 2025-10-30 10:47:45 +0100 | <kuribas> | right |
| 2025-10-30 10:47:58 +0100 | <kuribas> | It's called formula in our current lisp system :) |
| 2025-10-30 10:48:03 +0100 | <tomsmeding> | but in that case: yes |
| 2025-10-30 10:48:08 +0100 | <tomsmeding> | ah |
| 2025-10-30 10:48:28 +0100 | <tomsmeding> | a "formula", to me, is an expression involving functions and arguments and stuff |
| 2025-10-30 10:48:52 +0100 | <tomsmeding> | x^2 + sqrt(y) is a formula; sqrt is a function |
| 2025-10-30 10:49:10 +0100 | <kuribas> | Formula a where SumSeries :: Formula ([Series Double] -> Series Double); ... |
| 2025-10-30 10:50:13 +0100 | <tomsmeding> | right, so I'll just read DbOperation where you write Formula |
| 2025-10-30 10:50:34 +0100 | <kuribas> | No, because it should be abstracted from DB. |
| 2025-10-30 10:50:39 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 10:50:43 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 10:50:46 +0100 | <merijn> | kuribas: So you're just trying to defunctionalize your timeseries operations? |
| 2025-10-30 10:50:48 +0100 | <tomsmeding> | okay but it's still an operation, not a combination of operations |
| 2025-10-30 10:50:49 +0100 | <kuribas> | And it's pure, not an operation. |
| 2025-10-30 10:50:57 +0100 | <tomsmeding> | sqrt is an operation, not a formula |
| 2025-10-30 10:51:05 +0100 | <tomsmeding> | sqrt(x) is a formula |
| 2025-10-30 10:51:20 +0100 | <tomsmeding> | your Formula has sqrt, not sqrt(x), hence I call it Operation, not Formula :p |
| 2025-10-30 10:51:35 +0100 | <kuribas> | But then this is more like a formula, since it doesn't have actual operations? |
| 2025-10-30 10:51:55 +0100 | <kuribas> | Anyway, let's call it Function then :) |
| 2025-10-30 10:52:06 +0100 | <tomsmeding> | https://github.com/AccelerateHS/accelerate/blob/master/src/Data/Array/Accelerate/AST.hs#L661-L753 |
| 2025-10-30 10:52:56 +0100 | <kuribas> | What the difference between operation and function? |
| 2025-10-30 10:53:04 +0100 | <tomsmeding> | opinion |
| 2025-10-30 10:53:14 +0100 | <tomsmeding> | i.e. I don't care |
| 2025-10-30 10:53:54 +0100 | <tomsmeding> | I personally like "operation" a little bit more for this because "function" kind of implies to my brain that it's any general function, which it isn't, it's one from a specified set of functions |
| 2025-10-30 10:54:08 +0100 | <kuribas> | "From Wikipedia, the free encyclopedia: In mathematics, an operation is a function from a set to itself. For example, an operation on real numbers will take in real numbers and return a real number. An operation can take zero or more input values (also called "operands" or "arguments") to a well-defined output value. The number of operands is the arity of the operation. " |
| 2025-10-30 10:54:09 +0100 | <tomsmeding> | but that's details and subjective |
| 2025-10-30 10:54:14 +0100 | <kuribas> | Guess they are operations then :) |
| 2025-10-30 10:54:48 +0100 | <kuribas> | Because I have a fixed set of supported types. |
| 2025-10-30 10:54:51 +0100 | <tomsmeding> | I expect you to also have things like ConvertSeries :: TimeSeries Double -> TimeSeries Float though; is that "from a set to itself"? :p |
| 2025-10-30 10:55:04 +0100 | <kuribas> | The set of all supported types. |
| 2025-10-30 10:55:13 +0100 | <kuribas> | (timeseries, scalars, ...) |
| 2025-10-30 10:55:16 +0100 | <tomsmeding> | that's not what "from a set to itself" means, but I'm okay with it :p |
| 2025-10-30 10:55:28 +0100 | <tomsmeding> | (mathematics' "set" is essentially haskell's "type") |
| 2025-10-30 10:55:39 +0100 | <tomsmeding> | (insert hand-wave here) |
| 2025-10-30 10:56:06 +0100 | <tomsmeding> | but this is all messing around about terminology, are we clear that your original question has been answered? |
| 2025-10-30 10:56:28 +0100 | <kuribas> | Sort of :) |
| 2025-10-30 10:56:34 +0100 | <kuribas> | I got some good ideas, thanks. |
| 2025-10-30 10:57:02 +0100 | chele | (~chele@user/chele) chele |
| 2025-10-30 10:59:07 +0100 | bgt32 | (~keutoi@106.222.233.20) |
| 2025-10-30 11:01:38 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 256 seconds) |
| 2025-10-30 11:02:33 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-10-30 11:02:52 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 11:03:09 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 11:03:20 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-30 11:03:54 +0100 | trickard_ | trickard |
| 2025-10-30 11:05:28 +0100 | ru0mad | (~ru0mad@titan.ruomad.net) ru0mad |
| 2025-10-30 11:05:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 11:05:38 +0100 | <kuribas> | I can do all this in python, using dataclasses like "class Apply()", but it kind of makes my head hurt ... |
| 2025-10-30 11:05:41 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit) |
| 2025-10-30 11:05:48 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 11:06:01 +0100 | <kuribas> | Maybe it's a bit better now that python has pattern matching. |
| 2025-10-30 11:08:25 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-30 11:08:27 +0100 | ru0mad | (~ru0mad@titan.ruomad.net) (Client Quit) |
| 2025-10-30 11:10:01 +0100 | <kuribas> | Also, with the lack of GADTs and higher kinded types, I cannot statically type this in python. |
| 2025-10-30 11:10:56 +0100 | acidjnk | (~acidjnk@p200300d6e717193069949166e2561304.dip0.t-ipconnect.de) acidjnk |
| 2025-10-30 11:17:05 +0100 | <kuribas> | tomsmeding: we have a lot of weirder terminology that "formula". Our "raw timeseries information struct" is called DPar, and our "non-compounded indicators" are called "IMPoint". |
| 2025-10-30 11:18:39 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-10-30 11:18:43 +0100 | annamalai | (~annamalai@157.32.135.74) annamalai |
| 2025-10-30 11:20:40 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-10-30 11:23:44 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-10-30 11:23:44 +0100 | ChanServ | +v haskellbridge |
| 2025-10-30 11:24:52 +0100 | <kuribas> | tomsmeding: and "a collection of indicators related to some device" is called DPoint |
| 2025-10-30 11:25:15 +0100 | <kuribas> | I used to be very confused by all those terms. |
| 2025-10-30 11:25:23 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 11:25:41 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 11:27:45 +0100 | <tomsmeding> | kuribas: likely impossible to change now that everyone has been Stockholmed into them :) |
| 2025-10-30 11:28:04 +0100 | <kuribas> | very true :) |
| 2025-10-30 11:35:17 +0100 | annamalai | (~annamalai@157.32.135.74) (Remote host closed the connection) |
| 2025-10-30 11:35:31 +0100 | annamalai | (~annamalai@2409:4042:2595:bd4d::195e:70b1) annamalai |
| 2025-10-30 11:40:18 +0100 | <kuribas> | I feel we are stockholm syndromed in all the complexity of the system. |
| 2025-10-30 11:40:49 +0100 | <kuribas> | But then that's probably the same for any legacy production system, where the focus is on delivering new features, rather than keeping the code clean. |
| 2025-10-30 11:42:55 +0100 | <kuribas> | I still think we can improve efficiency of development by 10X, by refactoring and cleaning stuff up. |
| 2025-10-30 11:45:46 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 11:45:48 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 11:48:07 +0100 | <kuribas> | It's so monolythic, you cannot understand a small part, without getting the whole system. |
| 2025-10-30 11:48:28 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-30 11:48:39 +0100 | <kuribas> | Which is also not documented anywhere, since it is proprietary, and created by mostly a single person. |
| 2025-10-30 11:49:13 +0100 | qqe | (~qqq@185.54.23.200) |
| 2025-10-30 11:51:32 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-10-30 11:52:06 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-30 11:54:29 +0100 | <haskellbridge> | <Morj> Over the last 6 months I, in a big hurry, solo wrote a monolithic, badly documented system. And now a second guy is working on this, and they are copy-pasting my design mistakes as patterns >_< |
| 2025-10-30 11:56:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-30 11:56:56 +0100 | <kuribas> | lol |
| 2025-10-30 11:57:06 +0100 | <kuribas> | At least you are honest about those design mistakes :) |
| 2025-10-30 12:07:46 +0100 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:3827:9244:6b75:269a) (Quit: Leaving) |
| 2025-10-30 12:12:22 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Remote host closed the connection) |
| 2025-10-30 12:13:47 +0100 | <dutchie> | do i need a newtype to get a Monoid instance for Map a [k] that appends the lists at matching keys? |
| 2025-10-30 12:16:26 +0100 | <jackdk> | Yes, or be sure to write `unionWith (<>)` unless you're specifically interfacing with code that uses the `Monoid` interface. There's one in package monoidal-containers. |
| 2025-10-30 12:16:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:85d0:1426:7d14:fc4d) |
| 2025-10-30 12:20:06 +0100 | <dutchie> | yeah I'm using foldMap so unionWith isn't helpful |
| 2025-10-30 12:23:11 +0100 | <jackdk> | You could also try https://hackage.haskell.org/package/reflection-2.1.9/docs/Data-Reflection.html#v:foldMapBy which uses Dark Magic™ |
| 2025-10-30 12:26:53 +0100 | <[exa]> | Morj: "welcome to production quality" <3 |
| 2025-10-30 12:30:36 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-30 12:31:46 +0100 | nerdychip | (~nerdychip@212.129.72.100) |
| 2025-10-30 12:31:46 +0100 | nerdychip | (~nerdychip@212.129.72.100) (Changing host) |
| 2025-10-30 12:31:46 +0100 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |
| 2025-10-30 12:36:24 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 12:38:55 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-10-30 12:40:49 +0100 | bgt32 | (~keutoi@106.222.233.20) (Ping timeout: 264 seconds) |
| 2025-10-30 12:42:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-30 12:48:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-30 12:48:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-30 12:51:21 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-30 12:54:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-10-30 12:57:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-30 13:04:11 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-30 13:05:43 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 13:05:46 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 13:10:16 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 13:14:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-30 13:15:19 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-30 13:22:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-30 13:24:33 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2025-10-30 13:27:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-30 13:34:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-30 13:34:15 +0100 | bggd | (~bgg@2a01:e0a:819:1510:f314:af0a:6c28:12ae) (Remote host closed the connection) |
| 2025-10-30 13:35:41 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 13:35:47 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 13:37:01 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-30 13:37:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 13:39:31 +0100 | trickard_ | trickard |
| 2025-10-30 13:44:32 +0100 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
| 2025-10-30 13:44:51 +0100 | bgt32 | (~keutoi@106.222.233.20) |
| 2025-10-30 13:45:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-30 13:47:56 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 13:48:09 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-10-30 13:49:12 +0100 | AlexZenon | (~alzenon@85.174.182.61) (Quit: ;-) |
| 2025-10-30 13:49:59 +0100 | AlexNoo | (~AlexNoo@85.174.182.61) (Quit: Leaving) |
| 2025-10-30 13:51:19 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-30 13:54:49 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-10-30 13:55:18 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-10-30 13:58:11 +0100 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-10-30 14:00:45 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 14:00:45 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 14:07:26 +0100 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-30 14:10:15 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 14:10:48 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 14:13:33 +0100 | nerdychip | (~nerdychip@user/nerdychip) (Ping timeout: 265 seconds) |
| 2025-10-30 14:14:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-30 14:16:01 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 14:16:23 +0100 | AlexNoo | (~AlexNoo@85.174.182.61) |
| 2025-10-30 14:16:31 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 14:19:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-10-30 14:20:37 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit) |
| 2025-10-30 14:20:43 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 14:35:29 +0100 | AlexZenon | (~alzenon@85.174.182.61) |
| 2025-10-30 14:35:40 +0100 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Quit: Client closed) |
| 2025-10-30 14:45:37 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 14:45:40 +0100 | Houlton | (~Houlton@user/Houlton) Houlton |
| 2025-10-30 14:45:44 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 14:45:56 +0100 | <kuribas> | I did open-source first for a long time, and was shocked about industry. |
| 2025-10-30 14:46:14 +0100 | <kuribas> | It's more about kissing peoples asses and churning out features quick, don't mind quality. |
| 2025-10-30 14:47:12 +0100 | <kuribas> | If you create code that has little bugs, people don't see it, when it has lots of bugs, people go "look how fast this guy solves bugs"!. |
| 2025-10-30 14:48:13 +0100 | Houlton | (~Houlton@user/Houlton) (Client Quit) |
| 2025-10-30 14:48:32 +0100 | <kuribas> | Sorry, feeling sarcastic today. |
| 2025-10-30 14:53:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 14:54:17 +0100 | inline | (~inline@2a02:8071:57a1:dc0:680d:95f1:5489:2954) Inline |
| 2025-10-30 14:59:23 +0100 | <TMA> | kuribas: it is the same with plumbers... bad plumbers display more effort and are tipped more than competent ones. custom software is a service, performative aspects are therefore much more important there |
| 2025-10-30 15:05:51 +0100 | inline | (~inline@2a02:8071:57a1:dc0:680d:95f1:5489:2954) (Quit: Leaving) |
| 2025-10-30 15:08:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-10-30 15:09:14 +0100 | trickard__ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-30 15:09:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 15:10:33 +0100 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-10-30 15:12:52 +0100 | inline | (~inline@2a02:8071:57a1:dc0:680d:95f1:5489:2954) Inline |
| 2025-10-30 15:13:18 +0100 | <kuribas> | TMA: they do? |
| 2025-10-30 15:13:28 +0100 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 244 seconds) |
| 2025-10-30 15:15:28 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-30 15:15:43 +0100 | Googulator70 | (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 2025-10-30 15:15:44 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 15:16:38 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-30 15:17:31 +0100 | <kuribas> | I suppose I don't know if a plumber did a good job in my home, unless the pipes break some time later. |
| 2025-10-30 15:17:40 +0100 | <TMA> | kuribas: it is the theatrical performance that makes the difference. the client needs to see the worker expending the effort |
| 2025-10-30 15:18:48 +0100 | <kuribas> | right |
| 2025-10-30 15:19:56 +0100 | <TMA> | kuribas: if you don't see the performance, the effect vanishes. I have much lower opinion of the plumber that did some fixing in my mother's flat because I did not see him doing it. my mother has seen him doing it and considered the fix be of higher quality than I would assess |
| 2025-10-30 15:21:08 +0100 | <TMA> | software development service is the same: no bugs == no opportunity to show effort fixing them fast == lower perceived value of the service |
| 2025-10-30 15:21:33 +0100 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2025-10-30 15:22:17 +0100 | <tomsmeding> | TMA: well spoken |
| 2025-10-30 15:22:34 +0100 | <lortabac> | kuribas: it depends on the company and also which industry you are in |
| 2025-10-30 15:22:37 +0100 | <TMA> | it is like the LLMs spitting out nonsense and then going "good catch, I goofed" |
| 2025-10-30 15:23:23 +0100 | <tomsmeding> | (not sure about that one; that's just annoying) |
| 2025-10-30 15:23:41 +0100 | <lortabac> | I can tell you from experience that there are companies where quality is recognized and valued |
| 2025-10-30 15:23:58 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2025-10-30 15:24:34 +0100 | <tomsmeding> | what TMA describes fundamentally comes from a non-knowledgeable person being tasked with assessing value |
| 2025-10-30 15:26:45 +0100 | <kuribas> | sadly management are often non-knowledgeable. |
| 2025-10-30 15:27:00 +0100 | <kuribas> | It least on technical details of the product. |
| 2025-10-30 15:28:25 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-30 15:28:43 +0100 | <tomsmeding> | and perhaps it is that part that most depends on the company, resulting also in lortabac's experience |
| 2025-10-30 15:30:28 +0100 | <lortabac> | yes, in my experience a manager with technical competency helps a lot |
| 2025-10-30 15:30:43 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 15:30:55 +0100 | <lortabac> | *competence |
| 2025-10-30 15:31:22 +0100 | Googulator70 | (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 15:35:19 +0100 | <TMA> | I have experienced managers that were proud of their domain incompetence. Not being "tainted" by understanding the domain was a virtue to them. |
| 2025-10-30 15:36:00 +0100 | <TMA> | Business/economic school graduates, all of them |
| 2025-10-30 15:43:08 +0100 | foo3 | (~Square@user/square) Square |
| 2025-10-30 15:43:25 +0100 | <kuribas> | Or the domain is not software development. The managers understand their domain, but not how to manage a software team. |
| 2025-10-30 15:48:01 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-10-30 15:57:32 +0100 | catties | (~catties@user/meow/catties) (Quit: n_n) |
| 2025-10-30 15:57:52 +0100 | catties | (~catties@user/meow/catties) catties |
| 2025-10-30 16:00:44 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 16:00:45 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 16:08:16 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-30 16:08:43 +0100 | <haskellbridge> | <Morj> Who is administering the bridge? Since some time ago I don't get @-ed when someone mentions my name on irc, it stays as regular text. I remember it used to work, did something change? |
| 2025-10-30 16:15:00 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-30 16:16:39 +0100 | <tomsmeding> | geekosaur: ^ |
| 2025-10-30 16:17:39 +0100 | <geekosaur> | it's possible, I update the docker container weekly and heisenbridge has introduced bugs before |
| 2025-10-30 16:17:45 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-10-30 16:20:36 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-30 16:20:50 +0100 | <geekosaur> | although I note that I got pinged Matrix-side by Tom's ping; that may mean it only pings if it's the first thing on the line (which mismatches most but not all IRC clients) |
| 2025-10-30 16:21:47 +0100 | <geekosaur> | Morj: testing |
| 2025-10-30 16:21:54 +0100 | <tomsmeding> | testing for geekosaur |
| 2025-10-30 16:22:23 +0100 | <geekosaur> | that one pinged me too |
| 2025-10-30 16:22:24 +0100 | <tomsmeding> | I think, by default (not sure to what extent that depends on the client being Element), one's nick is recognised on matrix anywhere in a message |
| 2025-10-30 16:22:45 +0100 | <tomsmeding> | to the point that it's even recognised when it occurs in the header of the quote in the plain-text version of a standard reply! |
| 2025-10-30 16:22:53 +0100 | <geekosaur> | yes, but the client has to send mentions as part of the message |
| 2025-10-30 16:22:55 +0100 | <tomsmeding> | which is why replies ping you |
| 2025-10-30 16:23:13 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-30 16:23:14 +0100 | <tomsmeding> | oh really? |
| 2025-10-30 16:23:17 +0100 | <tomsmeding> | oh _mentions_, yes |
| 2025-10-30 16:23:35 +0100 | <geekosaur> | you can see this if you look at the original message (don't recall how you do this in Element, it's in the right-click menu in Nheko) |
| 2025-10-30 16:23:40 +0100 | <geekosaur> | "view raw message" |
| 2025-10-30 16:24:36 +0100 | <tomsmeding> | TIL |
| 2025-10-30 16:25:19 +0100 | <tomsmeding> | (it's three-dots menu on a message -> view source) |
| 2025-10-30 16:30:34 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-30 16:30:37 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2025-10-30 16:35:56 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-10-30 16:36:23 +0100 | <geekosaur> | hm, silence suggests Morj didn't get pinged. but they seem to be working in general |
| 2025-10-30 16:36:48 +0100 | <geekosaur> | unless it's somehow related to my being on both sides of the bridge (maybe using the wrong side's member list?) |
| 2025-10-30 16:36:55 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds) |
| 2025-10-30 16:37:54 +0100 | <geekosaur> | 21it: around? |
| 2025-10-30 16:41:27 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-30 16:42:44 +0100 | <haskellbridge> | <geekosaur> mmm, raw message shows nothing ☹️ |
| 2025-10-30 16:42:46 +0100 | img | (~img@user/img) img |
| 2025-10-30 16:45:43 +0100 | <haskellbridge> | <geekosaur> right, but it does for your pings of me. I'll ask upstream |
| 2025-10-30 16:46:20 +0100 | Zemy_ | (~Zemy@2600:100c:b05a:6015:cc82:41ff:feec:ee96) |
| 2025-10-30 16:46:43 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-10-30 16:47:28 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-30 16:47:55 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-30 16:50:42 +0100 | Zemy_ | (~Zemy@2600:100c:b05a:6015:cc82:41ff:feec:ee96) (Ping timeout: 256 seconds) |
| 2025-10-30 16:51:19 +0100 | inline | (~inline@2a02:8071:57a1:dc0:680d:95f1:5489:2954) (Quit: Leaving) |
| 2025-10-30 16:53:32 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-30 16:55:04 +0100 | <geekosaur> | there wasn't a bug filed for it, so I filed one (https://github.com/hifi/heisenbridge/issues/310) |
| 2025-10-30 16:55:08 +0100 | inline | (~inline@2a02:8071:57a1:dc0:5389:5413:4fcb:de9f) Inline |
| 2025-10-30 16:56:28 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 16:56:50 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 16:59:12 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 256 seconds) |
| 2025-10-30 17:05:27 +0100 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
| 2025-10-30 17:05:42 +0100 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Client Quit) |
| 2025-10-30 17:09:50 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-10-30 17:14:30 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 256 seconds) |
| 2025-10-30 17:15:37 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 17:15:40 +0100 | Googulator76 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 17:15:55 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2025-10-30 17:17:21 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-10-30 17:20:42 +0100 | Googulator76 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 17:20:49 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 17:21:39 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-10-30 17:27:19 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-10-30 17:27:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 17:29:07 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-10-30 17:29:18 +0100 | turlando_ | (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 2025-10-30 17:30:19 +0100 | foo3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-30 17:37:59 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 17:40:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-30 17:40:58 +0100 | ljdarj1 | ljdarj |
| 2025-10-30 17:42:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-10-30 17:43:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 17:45:41 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 17:45:45 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 17:45:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-10-30 17:46:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 17:46:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-10-30 17:46:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 17:52:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-30 17:53:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-30 17:54:02 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 17:55:21 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:3c4e:fa7a:e07a:5a51) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-10-30 17:55:41 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-10-30 17:55:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 17:57:50 +0100 | ljdarj2 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 17:58:49 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-10-30 17:59:44 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 18:00:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-30 18:01:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 18:02:06 +0100 | ljdarj2 | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-30 18:04:04 +0100 | ljdarj2 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-30 18:04:22 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-30 18:05:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-30 18:05:30 +0100 | ljdarj2 | ljdarj |
| 2025-10-30 18:05:42 +0100 | Googulator14 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 18:05:46 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 18:08:29 +0100 | RehAal | (~RehAal@2a02:3035:669:8f77:85c3:537a:8f03:5d54) |
| 2025-10-30 18:09:55 +0100 | jcarpenter2 | (~lol@96.78.87.197) (Ping timeout: 264 seconds) |
| 2025-10-30 18:14:19 +0100 | RehAal | (~RehAal@2a02:3035:669:8f77:85c3:537a:8f03:5d54) (Quit: Client closed) |
| 2025-10-30 18:15:10 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-10-30 18:17:02 +0100 | bgt32 | (~keutoi@106.222.233.20) (Ping timeout: 260 seconds) |
| 2025-10-30 18:23:09 +0100 | <haskellbridge> | <Morj> geekosaur: I didn't get pinged when you were testing. But geekosаur's ping I see was transformed. So it might just be my nick that's misbehaving, huh |
| 2025-10-30 18:24:16 +0100 | <haskellbridge> | <Morj> I have an irc identity with a similar nick, but it's mostly offline. Though I don't remeber getting pinged for it when it was online |
| 2025-10-30 18:24:39 +0100 | <haskellbridge> | <Morj> Thanks for testing |
| 2025-10-30 18:25:37 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 18:25:44 +0100 | Googulator14 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 18:26:14 +0100 | <geekosaur> | "similar" wouldn't do it; the only way it has to relate them is exact matches between IRC nick and Matrix display name |
| 2025-10-30 18:26:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-30 18:26:47 +0100 | trickard__ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 18:27:01 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-30 18:27:27 +0100 | <geekosaur> | (although in fact it doesn't relate them at all; when that's a problem it's possible to turn on including the Matrix ID for IRC (Matrix already provides ways to get that) |
| 2025-10-30 18:28:04 +0100 | <geekosaur> | anyway I reported it, including my suspicion it's passing the wrong side's member list |
| 2025-10-30 18:30:39 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 18:30:44 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 18:31:58 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-10-30 18:45:31 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 18:45:43 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 18:49:33 +0100 | inline | (~inline@2a02:8071:57a1:dc0:5389:5413:4fcb:de9f) (Quit: Leaving) |
| 2025-10-30 18:55:13 +0100 | nerdychip | (~nerdychip@212.129.72.100) |
| 2025-10-30 18:55:13 +0100 | nerdychip | (~nerdychip@212.129.72.100) (Changing host) |
| 2025-10-30 18:55:13 +0100 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |
| 2025-10-30 19:10:42 +0100 | foo3 | (~Square@user/square) Square |
| 2025-10-30 19:10:44 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 19:10:49 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 19:11:19 +0100 | inline | (~inline@2a02:8071:57a1:dc0:c33:90af:2d70:1d1d) Inline |
| 2025-10-30 19:11:48 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-10-30 19:13:19 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-10-30 19:18:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-30 19:18:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-30 19:20:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-30 19:25:40 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 19:25:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-30 19:25:46 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 19:31:47 +0100 | poscat | (~poscat@user/poscat) poscat |