| 2025-04-24 00:04:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-24 00:04:49 +0000 | comonad | (~comonad@p54a035f0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-24 00:08:50 +0000 | <mauke> | you gotta distinguish between exposing structure and mere text compression |
| 2025-04-24 00:09:04 +0000 | comonad | (~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de) |
| 2025-04-24 00:14:17 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-24 00:14:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 00:15:21 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-04-24 00:15:42 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 2025-04-24 00:15:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-24 00:17:53 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-24 00:17:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 00:19:43 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-24 00:19:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 00:26:24 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-24 00:28:20 +0000 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-24 00:30:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 00:31:11 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2025-04-24 00:31:35 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-24 00:37:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 00:45:13 +0000 | otto_s | (~user@p4ff2790f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-24 00:46:51 +0000 | otto_s | (~user@p4ff274cd.dip0.t-ipconnect.de) |
| 2025-04-24 00:48:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 00:52:07 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-24 00:52:28 +0000 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-24 00:53:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 00:56:55 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-24 01:00:39 +0000 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
| 2025-04-24 01:00:54 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-24 01:01:05 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-04-24 01:03:30 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 272 seconds) |
| 2025-04-24 01:04:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 01:08:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-24 01:10:08 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-24 01:10:49 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-04-24 01:15:23 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-04-24 01:16:58 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-04-24 01:20:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 01:21:11 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-24 01:25:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-24 01:25:22 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-24 01:34:05 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-04-24 01:35:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 01:40:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-24 01:51:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 01:56:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-24 01:57:43 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-24 02:07:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 02:10:26 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-24 02:10:27 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-24 02:14:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-24 02:23:04 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-04-24 02:25:18 +0000 | td_ | (~td@i5387092F.versanet.de) (Ping timeout: 276 seconds) |
| 2025-04-24 02:25:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 02:26:20 +0000 | td_ | (~td@83.135.9.7) |
| 2025-04-24 02:29:18 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-24 02:30:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 02:31:38 +0000 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-04-24 02:33:34 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2025-04-24 02:33:34 +0000 | Katarushisu6 | Katarushisu |
| 2025-04-24 02:35:02 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-24 02:41:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 02:46:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 02:52:27 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 02:53:49 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-24 02:56:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 03:01:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 03:07:07 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-24 03:09:05 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-24 03:12:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 03:17:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-24 03:17:56 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-24 03:28:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 03:29:41 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) aforemny |
| 2025-04-24 03:29:53 +0000 | aforemny | (~aforemny@2001:9e8:6ce5:1f00:ffd3:1d85:d158:aa27) (Ping timeout: 268 seconds) |
| 2025-04-24 03:32:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 03:40:35 +0000 | michalz | (~michalz@185.246.207.205) |
| 2025-04-24 03:42:14 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-04-24 03:43:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 03:45:27 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-04-24 03:50:11 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-04-24 03:51:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-24 04:01:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 04:06:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-24 04:14:58 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-24 04:15:26 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-24 04:17:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 04:18:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-24 04:22:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 04:32:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 04:38:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-24 04:45:15 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 244 seconds) |
| 2025-04-24 04:48:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 04:48:51 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2025-04-24 04:49:09 +0000 | puke | (~puke@user/puke) puke |
| 2025-04-24 04:53:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-24 05:04:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 05:05:30 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-24 05:09:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 05:18:28 +0000 | <haskellbridge> | <Liamzee> welp, sponsors page has been updated, and some errors exist |
| 2025-04-24 05:18:49 +0000 | <haskellbridge> | <Liamzee> i guess this is the inevitable result of using accursedUnutterablePerformIO unsafely |
| 2025-04-24 05:19:26 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-24 05:19:58 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-24 05:20:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 05:22:36 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-04-24 05:23:10 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-04-24 05:27:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-24 05:31:07 +0000 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 276 seconds) |
| 2025-04-24 05:32:02 +0000 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-04-24 05:34:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-24 05:38:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 05:42:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-24 05:45:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 05:46:26 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-24 05:49:35 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 05:50:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-24 05:56:14 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-24 05:56:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-24 06:00:33 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 06:01:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 06:02:59 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-04-24 06:03:01 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-04-24 06:06:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 06:08:29 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-24 06:09:45 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2025-04-24 06:10:41 +0000 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2025-04-24 06:17:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 06:17:00 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-24 06:20:25 +0000 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
| 2025-04-24 06:21:45 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 06:22:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 06:23:07 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-24 06:26:51 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 06:27:00 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-24 06:27:23 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 06:29:20 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-24 06:32:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 06:33:15 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-24 06:33:32 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-04-24 06:33:47 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) acidjnk |
| 2025-04-24 06:34:52 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-04-24 06:35:18 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) acidjnk |
| 2025-04-24 06:36:08 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 06:38:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-24 06:42:08 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) |
| 2025-04-24 06:45:52 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-24 07:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-24 07:01:01 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-24 07:02:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 07:07:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-24 07:13:17 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-24 07:14:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-24 07:18:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 07:20:37 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-24 07:20:39 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-04-24 07:21:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-04-24 07:22:01 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-24 07:22:22 +0000 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-04-24 07:23:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-24 07:23:28 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-24 07:24:47 +0000 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 272 seconds) |
| 2025-04-24 07:25:31 +0000 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
| 2025-04-24 07:26:14 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-24 07:27:08 +0000 | haritzondo | (~hrtz@152.37.68.178) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-24 07:33:39 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-04-24 07:35:17 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-04-24 07:39:37 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-24 07:40:57 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2025-04-24 07:41:09 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-04-24 07:54:57 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 248 seconds) |
| 2025-04-24 07:58:56 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-24 08:01:15 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-24 08:03:45 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:c9c8:e2be:ff6d:9e09) (Quit: Leaving) |
| 2025-04-24 08:17:04 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-04-24 08:18:10 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-04-24 08:21:09 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.5.2) |
| 2025-04-24 08:32:10 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-04-24 08:34:39 +0000 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2025-04-24 08:37:21 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-04-24 08:40:06 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-24 08:42:15 +0000 | swamp_ | (~zmt00@user/zmt00) zmt00 |
| 2025-04-24 08:45:24 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2025-04-24 08:48:01 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-04-24 08:55:10 +0000 | <haskellbridge> | <Liamzee> what are the pros and cons of having a PGRef type? Wherein PG refers to Postgres? |
| 2025-04-24 08:55:53 +0000 | <haskellbridge> | <Liamzee> that's to say, a Postgres table is described as an immutable reference to a mutable Postgres table in some database |
| 2025-04-24 08:56:29 +0000 | <haskellbridge> | <Liamzee> I mean, afaik, the ecosystem around postgres is relatively mature, but is there a benefit to having a PGRef type? |
| 2025-04-24 08:57:49 +0000 | <mari-estel> | are you not using a library Liamzee? |
| 2025-04-24 08:59:11 +0000 | <haskellbridge> | <Liamzee> i am |
| 2025-04-24 08:59:28 +0000 | <haskellbridge> | <Liamzee> i'm just wondering if PGRef would be a better way to do it than existing systems |
| 2025-04-24 09:00:39 +0000 | <mari-estel> | main drawback i can think of, you lose abstraction over the database engine |
| 2025-04-24 09:02:54 +0000 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 240 seconds) |
| 2025-04-24 09:03:06 +0000 | <tomsmeding> | Liamzee: core to the API of databases is queries spanning multiple tables and transactions spanning multiple queries |
| 2025-04-24 09:03:20 +0000 | <tomsmeding> | I'm not sure how that would be more natural using something like a PGRef |
| 2025-04-24 09:03:59 +0000 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-04-24 09:04:18 +0000 | chele | (~chele@user/chele) chele |
| 2025-04-24 09:08:44 +0000 | <haskellbridge> | <Liamzee> i'm actually wondering if PGRef would offer any advantages over existing systems |
| 2025-04-24 09:09:18 +0000 | <haskellbridge> | <Liamzee> like, fooRef implies an immutable pointer to a mutable object |
| 2025-04-24 09:09:49 +0000 | <haskellbridge> | <Liamzee> beyond, say, the base case of shared memory, does representing network, database, or even file resources as a reference have any advantages at all? |
| 2025-04-24 09:10:25 +0000 | <tomsmeding> | it depends on whether the operations you want to perform on that resource are anything like those that are natural on a mutable reference |
| 2025-04-24 09:11:03 +0000 | <haskellbridge> | <Liamzee> and that idea essentially points to ResourceT |
| 2025-04-24 09:11:05 +0000 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/package/resourcet |
| 2025-04-24 09:27:10 +0000 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 260 seconds) |
| 2025-04-24 09:27:34 +0000 | end | (~end@user/end/x-0094621) (Ping timeout: 260 seconds) |
| 2025-04-24 09:28:01 +0000 | sus0 | (zero@user/zeromomentum) (Ping timeout: 252 seconds) |
| 2025-04-24 09:33:33 +0000 | jcarpenter2 | (~lol@96.78.87.197) (Ping timeout: 244 seconds) |
| 2025-04-24 09:35:06 +0000 | jcarpenter2 | (~lol@96.78.87.197) |
| 2025-04-24 09:37:44 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-24 09:41:24 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 09:42:45 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-24 09:54:40 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-04-24 09:58:27 +0000 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-04-24 10:08:32 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-24 10:09:45 +0000 | end | (~end@user/end/x-0094621) end^ |
| 2025-04-24 10:11:10 +0000 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-04-24 10:15:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-04-24 10:20:41 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2025-04-24 10:21:30 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2025-04-24 10:30:20 +0000 | mari82815 | (~mari-este@user/mari-estel) mari-estel |
| 2025-04-24 10:32:29 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 245 seconds) |
| 2025-04-24 10:53:34 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-24 10:59:01 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) |
| 2025-04-24 11:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-24 11:01:06 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) acidjnk |
| 2025-04-24 11:02:01 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-24 11:02:11 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-24 11:03:41 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-04-24 11:05:46 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2025-04-24 11:15:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-24 11:30:59 +0000 | shaeto | (~Shaeto@94.25.234.42) |
| 2025-04-24 11:33:10 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-04-24 11:36:02 +0000 | paotsaq | (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) |
| 2025-04-24 11:36:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-24 11:37:40 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-24 11:38:35 +0000 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
| 2025-04-24 11:38:47 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2025-04-24 11:45:08 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-24 11:46:14 +0000 | mari82815 | (~mari-este@user/mari-estel) (Ping timeout: 245 seconds) |
| 2025-04-24 11:56:04 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-04-24 11:56:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 11:57:08 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-24 11:58:22 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-04-24 12:18:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-24 12:19:38 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 12:21:21 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-04-24 12:21:46 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-04-24 12:26:27 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2025-04-24 12:28:14 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 2025-04-24 12:29:13 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 2025-04-24 12:29:39 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-04-24 12:30:06 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-24 12:30:14 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-04-24 12:36:18 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-24 12:37:22 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-24 12:47:25 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-24 12:49:54 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-04-24 12:49:54 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-04-24 12:49:54 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-24 13:00:44 +0000 | qaotsap | (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) |
| 2025-04-24 13:03:24 +0000 | paotsaq | (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) (Ping timeout: 260 seconds) |
| 2025-04-24 13:05:25 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-24 13:06:27 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-24 13:11:27 +0000 | AlexNoo_ | (~AlexNoo@178.34.151.238) |
| 2025-04-24 13:13:57 +0000 | AlexZenon | (~alzenon@94.233.240.73) (Ping timeout: 248 seconds) |
| 2025-04-24 13:15:20 +0000 | AlexNoo | (~AlexNoo@94.233.240.73) (Ping timeout: 265 seconds) |
| 2025-04-24 13:18:02 +0000 | AlexZenon | (~alzenon@178.34.151.238) |
| 2025-04-24 13:24:53 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-24 13:25:22 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-24 13:31:19 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-24 14:13:53 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-04-24 14:17:44 +0000 | BolzmannPain | (~BolzmannP@user/BolzmannPain) BolzmannPain |
| 2025-04-24 14:17:53 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-04-24 14:19:11 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-04-24 14:24:36 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-24 14:25:53 +0000 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-24 14:30:22 +0000 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 272 seconds) |
| 2025-04-24 14:30:29 +0000 | AlexNoo_ | AlexNoo |
| 2025-04-24 14:31:02 +0000 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |
| 2025-04-24 14:35:53 +0000 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-24 14:36:11 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-24 14:41:53 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-24 14:42:36 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-24 14:47:50 +0000 | BolzmannPain | (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 2025-04-24 14:48:08 +0000 | BolzmannPain | (~BolzmannP@user/BolzmannPain) BolzmannPain |
| 2025-04-24 14:50:11 +0000 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-04-24 14:55:19 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-04-24 14:56:22 +0000 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |
| 2025-04-24 14:56:53 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-24 14:57:44 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-24 14:59:04 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-24 14:59:39 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-24 15:01:24 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-24 15:06:32 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-24 15:06:54 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2025-04-24 15:09:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) acidjnk |
| 2025-04-24 15:14:31 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-24 15:18:41 +0000 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-04-24 15:22:01 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-24 15:26:52 +0000 | shaeto | (~Shaeto@94.25.234.42) (Ping timeout: 252 seconds) |
| 2025-04-24 15:28:47 +0000 | shaeto | (~Shaeto@94.25.234.131) |
| 2025-04-24 15:32:45 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-24 15:33:01 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-24 15:33:06 +0000 | shaeto | (~Shaeto@94.25.234.131) (Ping timeout: 252 seconds) |
| 2025-04-24 15:34:50 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-24 15:35:04 +0000 | shaeto | (~Shaeto@94.25.234.185) |
| 2025-04-24 15:38:52 +0000 | dhil | (~dhil@5.151.29.137) (Ping timeout: 276 seconds) |
| 2025-04-24 15:39:10 +0000 | fp1 | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-24 15:41:15 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 2025-04-24 15:41:15 +0000 | fp1 | fp |
| 2025-04-24 15:46:21 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-04-24 15:48:00 +0000 | BolzmannPain | (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 2025-04-24 15:50:01 +0000 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2025-04-24 15:51:35 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-24 15:53:55 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-24 15:59:49 +0000 | alecs | (~alecs@nat16.software.imdea.org) (Quit: Client closed) |
| 2025-04-24 16:00:52 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-04-24 16:09:11 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-24 16:13:45 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-04-24 16:17:51 +0000 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |
| 2025-04-24 16:19:46 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-24 16:24:48 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-04-24 16:39:06 +0000 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-24 16:39:23 +0000 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-24 16:47:49 +0000 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 248 seconds) |
| 2025-04-24 16:48:45 +0000 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |
| 2025-04-24 16:55:10 +0000 | euleritian | (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-24 16:55:30 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-24 17:01:59 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-04-24 17:03:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-24 17:03:36 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-24 17:03:38 +0000 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.4.3) |
| 2025-04-24 17:04:21 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-04-24 17:06:35 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-04-24 17:11:43 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-24 17:13:46 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 276 seconds) |
| 2025-04-24 17:15:57 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-24 17:36:24 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-24 17:36:34 +0000 | haritzondo | (~hrtz@152.37.68.178) |
| 2025-04-24 17:36:35 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 260 seconds) |
| 2025-04-24 17:36:46 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-04-24 17:46:07 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-24 17:48:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 17:53:10 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) |
| 2025-04-24 17:53:23 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-04-24 17:53:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-24 18:04:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 18:09:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-24 18:16:52 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 2025-04-24 18:17:24 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-24 18:18:13 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-24 18:20:53 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-04-24 18:20:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 18:24:20 +0000 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 2025-04-24 18:25:03 +0000 | irssi | (~Rembane@user/Rembane) Rembane |
| 2025-04-24 18:25:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 18:29:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-24 18:35:33 +0000 | sprotte24 | (~sprotte24@p200300d16f39dc0021da69fc15788ac5.dip0.t-ipconnect.de) |
| 2025-04-24 18:36:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 18:37:56 +0000 | dhil | (~dhil@5.151.29.139) dhil |
| 2025-04-24 18:40:16 +0000 | shaeto | (~Shaeto@94.25.234.185) (Quit: WeeChat 4.1.1) |
| 2025-04-24 18:42:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-24 18:42:53 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) acidjnk |
| 2025-04-24 18:46:05 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-24 18:52:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 18:53:26 +0000 | haritzondo | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-24 18:53:26 +0000 | haritzondo | (~hrtz@user/haritz) haritz |
| 2025-04-24 18:53:50 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-04-24 18:54:34 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2025-04-24 18:57:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-24 19:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-24 19:00:03 +0000 | irssi | Rembane |
| 2025-04-24 19:00:31 +0000 | rvalue- | rvalue |
| 2025-04-24 19:00:44 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-24 19:08:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 19:12:45 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-24 19:16:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-24 19:19:52 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-24 19:21:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 19:27:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-24 19:37:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 19:42:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-24 19:43:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-04-24 19:47:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-24 19:47:34 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 19:47:50 +0000 | myme | (~myme@2a01:799:d5e:5f00:7e8f:5ef0:4e85:b364) (Ping timeout: 260 seconds) |
| 2025-04-24 19:48:27 +0000 | myme | (~myme@2a01:799:d5e:5f00:de67:3465:9a6a:d0b8) myme |
| 2025-04-24 19:48:37 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-04-24 19:52:01 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-24 19:53:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 19:58:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-24 19:59:35 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Quit: Leaving) |
| 2025-04-24 20:00:53 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-04-24 20:06:59 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-24 20:08:10 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-04-24 20:09:07 +0000 | Digit | (~user@user/digit) Digit |
| 2025-04-24 20:09:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 20:11:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-24 20:13:53 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-04-24 20:14:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 20:19:10 +0000 | Digit | (~user@user/digit) Digit |
| 2025-04-24 20:22:49 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 2025-04-24 20:22:55 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-24 20:22:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 20:23:10 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-24 20:24:24 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-04-24 20:25:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-24 20:26:57 +0000 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-04-24 20:27:46 +0000 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 2025-04-24 20:28:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-24 20:31:10 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-24 20:31:24 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-24 20:36:34 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-04-24 20:37:30 +0000 | Digit | (~user@user/digit) Digit |
| 2025-04-24 20:37:41 +0000 | <EvanR> | in an installment on how APL does something better than haskell, apparently they side step the whole LexicalNegation or NegativeLiterals or this one special unary operator thing by having - means subtraction and ¯ denotes a negative value like ¯5 |
| 2025-04-24 20:38:05 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-24 20:38:39 +0000 | <EvanR> | - is also the unary negate function |
| 2025-04-24 20:38:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 20:39:22 +0000 | <L29Ah> | not being restricted by ASCII helps |
| 2025-04-24 20:39:49 +0000 | <L29Ah> | (with much of APL in fact) |
| 2025-04-24 20:43:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-24 20:47:06 +0000 | Digitteknohippie | (~user@user/digit) (Quit: woops double connection) |
| 2025-04-24 20:47:27 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) |
| 2025-04-24 20:48:17 +0000 | Digit | Digitteknohippie |
| 2025-04-24 20:48:31 +0000 | Digitteknohippie | Digit |
| 2025-04-24 20:53:23 +0000 | <EvanR> | they should have invented more programming languages before ASCII! |
| 2025-04-24 20:53:43 +0000 | <EvanR> | the original "worse is better" character set |
| 2025-04-24 20:54:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 20:54:50 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-04-24 20:54:57 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-24 20:58:03 +0000 | <monochrom> | SML also uses ~3 for negative 3. |
| 2025-04-24 20:58:29 +0000 | <monochrom> | But I forgot whether ~x is acccepted. |
| 2025-04-24 20:59:26 +0000 | <monochrom> | EBCDIC was before ASCII and didn't really help. They should have invented more programming languages before even EBCDIC! |
| 2025-04-24 21:00:40 +0000 | <monochrom> | Slippery slope taken to the limit: They should have invented more programming languages before any hardware! So that more languages were liberated from the von Neumann model on day 1. |
| 2025-04-24 21:01:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-24 21:05:51 +0000 | <L29Ah> | http://boundvariable.org/task.shtml |
| 2025-04-24 21:06:29 +0000 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 248 seconds) |
| 2025-04-24 21:08:02 +0000 | <monochrom> | heh |
| 2025-04-24 21:10:55 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 2025-04-24 21:10:57 +0000 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-04-24 21:12:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 21:16:59 +0000 | <EvanR> | I mean that slippery slope makes sense |
| 2025-04-24 21:17:01 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-24 21:17:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-24 21:22:04 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 276 seconds) |
| 2025-04-24 21:28:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 21:29:38 +0000 | <EvanR> | cult of the bound variable, now I will be distracted for the rest of the week |
| 2025-04-24 21:30:07 +0000 | <L29Ah> | EvanR: i think i can send you my UM implementation if you need it |
| 2025-04-24 21:31:44 +0000 | <EvanR> | haha |
| 2025-04-24 21:31:49 +0000 | <L29Ah> | hmm or not, it is gone |
| 2025-04-24 21:31:54 +0000 | <EvanR> | oh no! |
| 2025-04-24 21:33:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-24 21:37:16 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-24 21:42:08 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-24 21:42:41 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-04-24 21:44:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 21:49:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-24 21:51:02 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-24 21:59:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 22:00:14 +0000 | dhil | (~dhil@5.151.29.139) (Ping timeout: 265 seconds) |
| 2025-04-24 22:02:39 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-04-24 22:04:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 22:06:34 +0000 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-24 22:10:28 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-04-24 22:12:12 +0000 | <ski> | `~x' is allowed |
| 2025-04-24 22:16:15 +0000 | sprotte24 | (~sprotte24@p200300d16f39dc0021da69fc15788ac5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-24 22:24:37 +0000 | <EvanR> | negative 3 is really spelled ~3 in ML? |
| 2025-04-24 22:26:01 +0000 | <mauke> | Plankalkül, anyone? |
| 2025-04-24 22:31:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 22:31:39 +0000 | haritzondo | (~hrtz@user/haritz) (Ping timeout: 245 seconds) |
| 2025-04-24 22:34:15 +0000 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-24 22:36:00 +0000 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-24 22:36:00 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-24 22:38:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 22:43:08 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-24 22:46:52 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-24 22:47:08 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-24 22:48:32 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-24 22:48:52 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-24 22:49:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 22:52:44 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-24 22:52:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-24 22:54:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-24 22:55:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-24 22:56:00 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Quit: Leaving) |
| 2025-04-24 22:56:10 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-24 22:56:53 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 248 seconds) |
| 2025-04-24 22:58:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) |
| 2025-04-24 23:03:04 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-24 23:04:40 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-24 23:05:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-24 23:05:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 23:07:59 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-04-24 23:08:00 +0000 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-04-24 23:08:26 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-24 23:09:14 +0000 | califax_ | califax |
| 2025-04-24 23:10:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-24 23:21:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 23:26:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-24 23:35:37 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 2025-04-24 23:36:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 23:40:22 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-24 23:42:02 +0000 | jespada_ | (~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-24 23:42:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-24 23:44:24 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-24 23:44:40 +0000 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-24 23:45:09 +0000 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-04-24 23:45:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-24 23:49:30 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-24 23:49:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-24 23:50:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-24 23:58:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-24 23:58:52 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |