| 2025-06-28 00:02:41 +0200 | poliquin_ | (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2025-06-28 00:05:18 +0200 | poliquin | (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) |
| 2025-06-28 00:06:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 00:08:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 00:08:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-06-28 00:09:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-28 00:10:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 00:11:52 +0200 | poliquin | (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2025-06-28 00:13:42 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 00:14:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-06-28 00:15:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 00:15:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-06-28 00:16:33 +0200 | wbooze | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-28 00:19:33 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-06-28 00:21:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 00:21:19 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-06-28 00:23:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) |
| 2025-06-28 00:24:28 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-06-28 00:24:28 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-06-28 00:34:48 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-06-28 00:43:29 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2025-06-28 00:43:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 00:45:10 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Ping timeout: 252 seconds) |
| 2025-06-28 00:45:40 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-06-28 00:49:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 00:50:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 00:52:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 00:54:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 00:55:42 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-06-28 00:57:11 +0200 | trickard_ | trickard |
| 2025-06-28 00:57:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-28 01:00:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-28 01:04:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 01:05:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 01:08:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 01:10:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 01:17:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-06-28 01:18:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 01:19:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 01:24:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 01:30:08 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 01:30:59 +0200 | sprotte24 | (~sprotte24@p200300d16f178100893b4182da6d537c.dip0.t-ipconnect.de) |
| 2025-06-28 01:31:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-28 01:31:36 +0200 | sprotte24 | (~sprotte24@p200300d16f178100893b4182da6d537c.dip0.t-ipconnect.de) (Client Quit) |
| 2025-06-28 01:35:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 01:35:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 01:36:09 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 01:36:22 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 01:37:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 01:40:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 01:40:47 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 01:40:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 01:41:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 01:46:42 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 01:49:57 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2025-06-28 01:51:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 01:53:15 +0200 | r-sta | (~r-sta@host-92-29-17-18.as13285.net) |
| 2025-06-28 01:53:15 +0200 | <r-sta> | am here |
| 2025-06-28 01:54:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-06-28 01:54:20 +0200 | <r-sta> | anyone up? |
| 2025-06-28 01:55:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 01:56:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 01:56:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 268 seconds) |
| 2025-06-28 02:01:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 02:03:59 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-06-28 02:05:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 02:05:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-28 02:06:29 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-06-28 02:06:35 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-28 02:07:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 02:09:05 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 02:09:38 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 02:09:42 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 02:10:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 02:12:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 02:12:54 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 02:13:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-28 02:14:06 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 02:15:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 02:17:17 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 02:17:24 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-06-28 02:23:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-06-28 02:25:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 02:27:02 +0200 | <r-sta> | i think i managed to get agi down to 2 principles |
| 2025-06-28 02:27:29 +0200 | <r-sta> | 1, an arbitrary L2 problem is used in place of the recursive "improving at self improving at self improving..." |
| 2025-06-28 02:28:20 +0200 | <r-sta> | 2, the random submasking of an extensible random support (which approximates optimal ML acceleration via extension - like transfer learning from a lower rank system to initialise a higher rank system) |
| 2025-06-28 02:28:27 +0200 | <r-sta> | ... |
| 2025-06-28 02:29:56 +0200 | <r-sta> | 1 allows the expensive recursive self improvement objective to be "approximated" by an "arbitrary" L2 problem, while the random submasking makes this "arbitrary" cost function "general" (as its many different random support adjustments in a batch. all of which it is then having to be good at) |
| 2025-06-28 02:30:02 +0200 | <r-sta> | ... |
| 2025-06-28 02:30:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-28 02:30:09 +0200 | <r-sta> | then there is a bit where gradient descent is added |
| 2025-06-28 02:30:36 +0200 | <r-sta> | this is required since otherwise it just explodes exponentially, and cannot decelarate to hone in on the optima in a fine way |
| 2025-06-28 02:31:32 +0200 | <r-sta> | raising the open question "does a mixture of automorphisms including (parameterless) gradient descent converge" |
| 2025-06-28 02:32:02 +0200 | <r-sta> | and the stronger problem of if it would still be a converging automorphic mixture, if gradient descent was subsequently removed after convergence |
| 2025-06-28 02:32:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-28 02:32:18 +0200 | <r-sta> | over. |
| 2025-06-28 02:32:50 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-06-28 02:35:31 +0200 | <r-sta> | https://vocaroo.com/16T63ZiFpXw4 |
| 2025-06-28 02:37:02 +0200 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-06-28 02:37:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 02:37:49 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 2025-06-28 02:40:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 02:41:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 02:41:28 +0200 | r-sta | (~r-sta@host-92-29-17-18.as13285.net) (Quit: Client closed) |
| 2025-06-28 02:41:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 02:42:17 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 268 seconds) |
| 2025-06-28 02:43:57 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-06-28 02:45:21 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 02:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 02:47:09 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-06-28 02:56:10 +0200 | a_fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-06-28 02:56:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 02:58:17 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-06-28 02:58:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 02:59:08 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-06-28 03:00:07 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-28 03:01:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-28 03:01:42 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-06-28 03:02:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 03:02:45 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-06-28 03:06:14 +0200 | trickard_ | trickard |
| 2025-06-28 03:06:24 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 2025-06-28 03:07:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 03:10:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 03:11:53 +0200 | Digitteknohippie | Digit |
| 2025-06-28 03:12:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 03:12:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 03:12:27 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-06-28 03:14:47 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 03:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 03:18:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 03:18:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-28 03:22:14 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 03:22:28 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 03:27:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 03:29:25 +0200 | <ncf> | can we ban this nonsense? |
| 2025-06-28 03:32:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 03:33:02 +0200 | ChanServ | +o geekosaur |
| 2025-06-28 03:33:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 03:34:31 +0200 | geekosaur | +b r-sta!r-sta@host-*.as13285.net |
| 2025-06-28 03:34:36 +0200 | geekosaur | -o geekosaur |
| 2025-06-28 03:37:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: Leaving) |
| 2025-06-28 03:37:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 03:39:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 03:41:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-28 03:43:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-28 03:43:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 03:43:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 03:44:16 +0200 | <ncf> | thanks |
| 2025-06-28 03:47:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 03:47:41 +0200 | trickard_ | trickard |
| 2025-06-28 03:50:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-28 03:50:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 03:55:18 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-06-28 03:58:45 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-28 04:00:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 04:01:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 04:01:57 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 04:02:16 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-28 04:03:04 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2025-06-28 04:03:10 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 04:03:23 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 04:03:38 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-28 04:03:50 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 04:05:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-28 04:07:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 04:07:10 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 04:08:02 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-06-28 04:09:52 +0200 | zzz | (~z@user/zero) zero |
| 2025-06-28 04:09:59 +0200 | yin | (~z@user/zero) (Ping timeout: 260 seconds) |
| 2025-06-28 04:09:59 +0200 | zzz | yin |
| 2025-06-28 04:10:22 +0200 | <probie> | Does anyone have strong opinions about FRP libraries (or even just the paradigm itself)? |
| 2025-06-28 04:13:15 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-28 04:15:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 04:16:59 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-06-28 04:17:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 04:23:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-28 04:23:02 +0200 | <geekosaur> | "the" paradigm? aren't there like 4? |
| 2025-06-28 04:23:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-28 04:27:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 04:30:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 04:31:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-28 04:31:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-28 04:33:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 04:34:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 04:36:05 +0200 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 248 seconds) |
| 2025-06-28 04:37:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 2025-06-28 04:37:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 04:37:55 +0200 | td_ | (~td@i5387093C.versanet.de) td_ |
| 2025-06-28 04:38:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 04:39:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-28 04:46:06 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 04:47:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-28 04:48:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 04:49:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 04:53:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 04:54:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 05:00:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 05:03:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 05:04:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 05:04:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 05:08:39 +0200 | <monochrom> | Using a sum type, 4 paradigms can be considered 1 paradigm >:) |
| 2025-06-28 05:08:41 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 2025-06-28 05:09:08 +0200 | <monochrom> | (Dually, using conjunction, 10 axioms can be considered 1 axiom. >:) ) |
| 2025-06-28 05:09:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 05:09:44 +0200 | monochrom | has strong opinions about how to count axioms. |
| 2025-06-28 05:10:03 +0200 | <c_wraith> | there's only one axiom with enough conjunction |
| 2025-06-28 05:10:45 +0200 | monochrom | has stronger opinions about how English treats hair uncountable but axioms countable. |
| 2025-06-28 05:11:32 +0200 | <c_wraith> | hair is both. I can pull three hairs. |
| 2025-06-28 05:12:53 +0200 | aforemny_ | (~aforemny@2001:9e8:6cde:3700:303:3b4a:b809:c5f6) (Ping timeout: 248 seconds) |
| 2025-06-28 05:13:15 +0200 | aforemny | (~aforemny@2001:9e8:6cfd:2700:3ca0:a243:ab5b:2b11) aforemny |
| 2025-06-28 05:14:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 05:20:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 05:25:33 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-06-28 05:26:46 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-06-28 05:27:26 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-28 05:27:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-28 05:31:44 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-06-28 05:32:50 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) (Remote host closed the connection) |
| 2025-06-28 05:33:05 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner |
| 2025-06-28 05:38:26 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) (Remote host closed the connection) |
| 2025-06-28 05:38:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 05:38:45 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner |
| 2025-06-28 05:39:47 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 05:39:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-06-28 05:43:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-28 05:45:10 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-06-28 05:47:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 05:49:03 +0200 | wbooze | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
| 2025-06-28 05:53:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 05:54:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 05:54:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-06-28 05:55:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-28 05:59:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 06:05:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 06:10:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 06:10:10 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 06:10:11 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 06:10:23 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 06:11:48 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 06:15:04 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-06-28 06:16:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-28 06:17:04 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-06-28 06:17:26 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-06-28 06:17:32 +0200 | Adran | (~adran@botters/adran) (Quit: Este é o fim.) |
| 2025-06-28 06:17:36 +0200 | <probie> | to clarify, in this context I mean FRP in the spirit of reactive-banana or reflex |
| 2025-06-28 06:18:28 +0200 | <probie> | so possibly 2 paradigms :p |
| 2025-06-28 06:19:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 06:20:43 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 06:20:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 06:23:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7de9:4e6b:e42a:b067) (Ping timeout: 244 seconds) |
| 2025-06-28 06:25:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-28 06:27:37 +0200 | Adran | (~adran@botters/adran) Adran |
| 2025-06-28 06:28:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-28 06:30:37 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 06:31:52 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-28 06:33:38 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 06:36:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 06:41:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 06:41:53 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-28 06:43:57 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 06:44:44 +0200 | trickard_ | trickard |
| 2025-06-28 06:45:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 06:45:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 06:45:58 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-06-28 06:46:05 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-06-28 06:46:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 06:46:48 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-06-28 06:47:14 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-06-28 06:49:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-28 06:50:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-28 06:51:01 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-06-28 06:52:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 06:55:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 06:56:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7de9:4e6b:e42a:b067) |
| 2025-06-28 06:57:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 06:57:58 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-28 07:00:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 07:02:47 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-06-28 07:08:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 07:11:59 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds) |
| 2025-06-28 07:12:31 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 07:14:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 07:14:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 07:17:14 +0200 | kadobanana | (~mud@user/kadoban) (Remote host closed the connection) |
| 2025-06-28 07:17:41 +0200 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-06-28 07:19:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 07:22:15 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 268 seconds) |
| 2025-06-28 07:26:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 07:31:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 07:32:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 07:32:54 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 245 seconds) |
| 2025-06-28 07:33:07 +0200 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-06-28 07:35:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 07:37:55 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-28 07:38:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 07:39:13 +0200 | img | (~img@user/img) img |
| 2025-06-28 07:40:03 +0200 | poscat0x04 | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-06-28 07:40:09 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 07:40:33 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 07:41:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 07:42:40 +0200 | qqe | (~qqq@185.54.20.5) |
| 2025-06-28 07:43:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 07:43:46 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 07:45:34 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-06-28 07:45:39 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-28 07:45:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 07:47:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-28 07:51:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 07:55:09 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds) |
| 2025-06-28 07:57:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 08:02:09 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-06-28 08:02:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 08:06:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 08:11:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 08:21:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 08:23:20 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-06-28 08:25:49 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-28 08:27:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 08:28:06 +0200 | ljdarj1 | ljdarj |
| 2025-06-28 08:30:54 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 08:37:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 08:42:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 08:43:00 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-06-28 08:43:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 08:47:08 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 08:48:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 08:50:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-28 08:53:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 08:59:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 09:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-28 09:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-28 09:06:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 09:07:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 09:09:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 09:11:00 +0200 | banner | (~banner@n1-41-220-108.bla22.nsw.optusnet.com.au) |
| 2025-06-28 09:12:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-28 09:17:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 09:18:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 09:21:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 09:22:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) |
| 2025-06-28 09:22:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-28 09:24:51 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-28 09:26:39 +0200 | califax | (~califax@user/califx) califx |
| 2025-06-28 09:29:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 09:32:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 09:32:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 09:33:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 09:33:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 09:35:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 09:37:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-28 09:38:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 09:48:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 09:51:45 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-06-28 09:51:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-28 09:53:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 09:55:55 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 09:56:09 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 10:04:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 10:06:21 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
| 2025-06-28 10:07:07 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-06-28 10:07:07 +0200 | benkard | mulk |
| 2025-06-28 10:11:01 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-06-28 10:11:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-28 10:15:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 10:18:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 10:22:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 10:26:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-28 10:27:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 10:27:37 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-06-28 10:28:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 10:31:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 10:37:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 10:40:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 10:42:48 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 10:43:15 +0200 | divya | (~divya@140.238.251.170) (Ping timeout: 252 seconds) |
| 2025-06-28 10:43:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-28 10:44:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 10:47:26 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-06-28 10:47:29 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) |
| 2025-06-28 10:49:51 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 10:53:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 10:54:08 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-28 10:54:08 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-28 10:54:08 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-28 10:57:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 10:59:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-28 11:00:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 11:01:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-28 11:02:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-28 11:02:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-28 11:03:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 11:03:27 +0200 | banner | (~banner@n1-41-220-108.bla22.nsw.optusnet.com.au) (Remote host closed the connection) |
| 2025-06-28 11:04:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 11:05:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 11:06:25 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
| 2025-06-28 11:07:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 11:08:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 11:08:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 11:08:59 +0200 | divya | (divya@140.238.251.170) divya |
| 2025-06-28 11:11:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 11:12:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-06-28 11:13:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-28 11:13:50 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2025-06-28 11:14:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-28 11:23:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 11:26:07 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 11:26:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) |
| 2025-06-28 11:27:12 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-06-28 11:27:43 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 244 seconds) |
| 2025-06-28 11:28:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 11:30:49 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 11:35:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-28 11:35:09 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2025-06-28 11:36:06 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2025-06-28 11:36:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2025-06-28 11:36:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 11:36:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-28 11:39:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 11:41:32 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-28 11:46:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-28 11:49:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 11:51:20 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-28 11:51:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 11:53:34 +0200 | hellwolf | (~user@0529-d443-e06c-d4e4-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds) |
| 2025-06-28 11:54:34 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-28 11:55:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 11:55:56 +0200 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-06-28 11:56:33 +0200 | hellwolf | (~user@96bd-41df-1fe7-31a7-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-06-28 11:57:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 11:58:56 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-06-28 12:02:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 12:03:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 12:06:08 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 12:06:21 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 12:09:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 12:09:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 12:09:40 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 12:10:40 +0200 | ft | (~ft@p3e9bc0bf.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-06-28 12:12:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 12:13:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 12:14:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-06-28 12:20:17 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 2025-06-28 12:24:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 12:30:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 12:30:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 12:30:41 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 12:30:54 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 12:33:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-06-28 12:35:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-28 12:38:18 +0200 | trickard_ | trickard |
| 2025-06-28 12:40:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 12:42:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 12:45:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 12:45:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-28 12:53:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-06-28 12:55:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 12:56:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 12:58:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-28 13:01:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-28 13:01:20 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-28 13:02:07 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-28 13:03:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 13:03:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-06-28 13:05:16 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 13:05:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-06-28 13:08:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-28 13:08:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-28 13:09:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 13:10:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 13:14:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 13:17:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-28 13:27:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-28 13:28:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 13:28:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-28 13:29:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-06-28 13:32:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 13:32:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-28 13:33:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 13:35:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-28 13:35:48 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 13:36:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 13:39:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 13:41:50 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-06-28 13:43:24 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-06-28 13:43:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 13:44:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-06-28 13:45:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 13:48:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 13:53:38 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 13:56:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-28 13:58:18 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-28 13:59:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 13:59:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2025-06-28 13:59:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 14:01:14 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-06-28 14:02:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 14:04:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 14:06:24 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2025-06-28 14:11:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 14:13:54 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 14:14:31 +0200 | ft | (~ft@p3e9bc0bf.dip0.t-ipconnect.de) ft |
| 2025-06-28 14:14:50 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 14:15:02 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 14:16:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-28 14:16:53 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-06-28 14:18:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 14:20:43 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 14:21:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 14:26:03 +0200 | Square | (~Square@user/square) Square |
| 2025-06-28 14:27:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 14:27:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 14:32:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-28 14:32:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-06-28 14:34:09 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2025-06-28 14:38:50 +0200 | Everything | (~Everythin@5.248.96.118) Everything |
| 2025-06-28 14:40:34 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-06-28 14:41:15 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-06-28 14:41:59 +0200 | AlexNoo_ | (~AlexNoo@5.139.232.110) |
| 2025-06-28 14:42:32 +0200 | jespada | (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-28 14:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 14:44:08 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 14:45:37 +0200 | AlexZenon | (~alzenon@178.34.162.68) (Ping timeout: 252 seconds) |
| 2025-06-28 14:45:37 +0200 | AlexNoo | (~AlexNoo@178.34.162.68) (Ping timeout: 248 seconds) |
| 2025-06-28 14:45:50 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-28 14:47:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 14:49:13 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-06-28 14:50:00 +0200 | AlexZenon | (~alzenon@5.139.232.110) |
| 2025-06-28 14:53:49 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-06-28 14:54:20 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 2025-06-28 14:58:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 15:01:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 15:01:49 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-28 15:01:49 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-28 15:01:49 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-28 15:01:58 +0200 | AlexNoo_ | AlexNoo |
| 2025-06-28 15:02:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) |
| 2025-06-28 15:06:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-28 15:07:00 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2025-06-28 15:10:21 +0200 | vn36 | (~vn36@223.239.3.207) vn36 |
| 2025-06-28 15:12:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 15:13:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-28 15:15:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-28 15:15:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-28 15:17:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 15:17:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 15:19:20 +0200 | trickard_ | trickard |
| 2025-06-28 15:21:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 15:23:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-06-28 15:26:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 15:27:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 15:32:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 15:33:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-28 15:34:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-06-28 15:34:34 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 15:36:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-28 15:37:50 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-28 15:39:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-06-28 15:43:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 15:47:15 +0200 | sprotte24 | (~sprotte24@p200300d16f2298006c5355f8e26cb713.dip0.t-ipconnect.de) |
| 2025-06-28 15:48:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) |
| 2025-06-28 15:48:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-28 15:52:23 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 15:55:30 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-28 15:58:09 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2025-06-28 15:59:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 16:01:02 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 244 seconds) |
| 2025-06-28 16:01:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-28 16:01:59 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-06-28 16:02:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2025-06-28 16:04:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-28 16:06:00 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-06-28 16:06:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-28 16:09:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 16:09:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Client Quit) |
| 2025-06-28 16:09:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 16:10:24 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-28 16:12:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-28 16:15:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 16:16:41 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 16:16:54 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 16:16:58 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-06-28 16:17:34 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 2025-06-28 16:19:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 16:19:39 +0200 | vn36 | (~vn36@223.239.3.207) (Ping timeout: 276 seconds) |
| 2025-06-28 16:20:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-28 16:25:52 +0200 | haritz | (~hrtz@152.37.64.162) |
| 2025-06-28 16:25:52 +0200 | haritz | (~hrtz@152.37.64.162) (Changing host) |
| 2025-06-28 16:25:52 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-06-28 16:31:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 16:33:04 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2025-06-28 16:34:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 16:36:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 16:38:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 16:39:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-06-28 16:41:50 +0200 | vetkat9 | (~vetkat@77.247.178.163) |
| 2025-06-28 16:43:42 +0200 | vetkat | (~vetkat@190-2-132-128.hosted-by-worldstream.net) (Ping timeout: 252 seconds) |
| 2025-06-28 16:43:42 +0200 | vetkat9 | vetkat |
| 2025-06-28 16:44:24 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-28 16:44:24 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-28 16:44:24 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-28 16:46:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 16:48:54 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2025-06-28 16:49:40 +0200 | vetkat | (~vetkat@77.247.178.163) (Ping timeout: 260 seconds) |
| 2025-06-28 16:50:27 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-06-28 16:50:38 +0200 | vetkat | (~vetkat@77.247.178.147) |
| 2025-06-28 16:50:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 16:52:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-28 16:52:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 16:54:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 16:55:49 +0200 | ft | (~ft@p3e9bc0bf.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-06-28 16:59:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 16:59:50 +0200 | Everything | (~Everythin@5.248.96.118) (Quit: leaving) |
| 2025-06-28 17:00:34 +0200 | vetkat | (~vetkat@77.247.178.147) (Ping timeout: 252 seconds) |
| 2025-06-28 17:01:17 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 252 seconds) |
| 2025-06-28 17:01:31 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-28 17:03:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 17:04:55 +0200 | vetkat | (~vetkat@77.247.178.109) |
| 2025-06-28 17:06:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 17:08:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-28 17:09:04 +0200 | vetkat | (~vetkat@77.247.178.109) (Client Quit) |
| 2025-06-28 17:10:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 17:13:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 17:14:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7de9:4e6b:e42a:b067) (Ping timeout: 252 seconds) |
| 2025-06-28 17:16:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-28 17:27:36 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 17:28:16 +0200 | _________ | (~nobody@user/noodly) _________ |
| 2025-06-28 17:28:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 17:29:37 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-28 17:29:37 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-28 17:29:37 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-28 17:32:00 +0200 | ft | (~ft@p3e9bc0bf.dip0.t-ipconnect.de) ft |
| 2025-06-28 17:32:01 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-06-28 17:34:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-28 17:37:44 +0200 | divya | (divya@140.238.251.170) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2025-06-28 17:40:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 17:42:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 17:43:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-28 17:45:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 17:46:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 17:50:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 17:55:58 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 17:56:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 17:56:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-06-28 17:58:23 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-28 17:58:37 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 18:00:52 +0200 | Jacoby6000 | (~jbarber@108.234.212.24) |
| 2025-06-28 18:01:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 18:04:50 +0200 | <Jacoby6000> | o/ hello haskell people. I'm working on implementing a simple scripting language using recursion-schemes. I'm struggling with the implementation of a loop. |
| 2025-06-28 18:05:02 +0200 | <humasect> | recursion ? |
| 2025-06-28 18:05:34 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 18:05:42 +0200 | <Jacoby6000> | Cata doesn't really work because leafs get evaluated immediately and I can't tell it to re-evaluate the loop body. para might work, since it gives you the previous result's sub-tree, but I'm not sure its the best choice |
| 2025-06-28 18:06:05 +0200 | <Jacoby6000> | Is there a paper somewhere that covers this, or any general advice anyone can offer? |
| 2025-06-28 18:06:49 +0200 | <Jacoby6000> | I have some Expr a data type, with Loop a a being the loop structure, where the first a is the predicate and the second a is the loop body' |
| 2025-06-28 18:06:58 +0200 | <humasect> | '!' tags ? |
| 2025-06-28 18:07:08 +0200 | <humasect> | err strict/controlled expression eval |
| 2025-06-28 18:09:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-28 18:11:54 +0200 | <c_wraith> | what kind of loop? |
| 2025-06-28 18:12:11 +0200 | <c_wraith> | the thing about cata/para is that they always terminate, structurally |
| 2025-06-28 18:12:52 +0200 | <Jacoby6000> | Should I use some kind of hylo where the ana portion of the hylo performing loop iteration? |
| 2025-06-28 18:12:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-28 18:12:56 +0200 | <Jacoby6000> | A while loop in this case |
| 2025-06-28 18:13:39 +0200 | <c_wraith> | You could model it as a cata over the sequence of conditionals before each iteration, I guess |
| 2025-06-28 18:16:07 +0200 | <humasect> | eh sounds like a prolog thing |
| 2025-06-28 18:16:27 +0200 | <Jacoby6000> | I'm getting the sense that a regular old interpreter with manually handled recursion may be the approach here, rather than using recursion schemes |
| 2025-06-28 18:17:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 18:19:10 +0200 | <monochrom> | IIUC all combinators in recursion-schemes terminate. An arbitrary loop in your language probably can non-terminate. Therefore recursion-schemes cannot do it. |
| 2025-06-28 18:19:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 18:20:52 +0200 | <Jacoby6000> | ahh that is pretty conclusive! thank you for the insight |
| 2025-06-28 18:22:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 18:22:36 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 18:25:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-28 18:32:31 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 2025-06-28 18:34:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 18:35:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 18:37:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 18:40:29 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-06-28 18:40:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-28 18:43:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-28 18:47:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) |
| 2025-06-28 18:49:00 +0200 | nacation | (~m-3l4s76@user/nacation) (Remote host closed the connection) |
| 2025-06-28 18:49:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 18:51:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 18:52:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 18:55:44 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2025-06-28 18:56:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-28 19:00:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6c6f:d601:8f7b:365d) |
| 2025-06-28 19:03:39 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-28 19:04:01 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-28 19:05:32 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) |
| 2025-06-28 19:07:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 19:08:40 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) Natch |
| 2025-06-28 19:09:16 +0200 | <Jacoby6000> | Oooh I could write the loop as an embedded expr, then on loop nodes I can just run cata again, use the resulting state to evaluate the predicate, and then potentially call cata yet again |
| 2025-06-28 19:09:30 +0200 | <Jacoby6000> | Loop (Expr a) (Expr a) |
| 2025-06-28 19:09:57 +0200 | <Jacoby6000> | I have a feeling this will backfire, but I've gotta try :D |
| 2025-06-28 19:11:09 +0200 | tv | (~tv@user/tv) tv |
| 2025-06-28 19:11:25 +0200 | jle` | (~jle`@2603:8001:3b00:11:1de2:1305:6da9:34e3) (Ping timeout: 260 seconds) |
| 2025-06-28 19:12:01 +0200 | jle` | (~jle`@2603:8001:3b00:11:9730:873e:6e43:125f) jle` |
| 2025-06-28 19:12:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-28 19:12:33 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 19:15:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 19:16:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 19:18:24 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-06-28 19:18:59 +0200 | Everything | (~Everythin@5.248.87.13) Everything |
| 2025-06-28 19:23:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 19:23:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 19:26:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 19:26:04 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-06-28 19:28:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 19:28:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-28 19:31:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-28 19:36:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-28 19:38:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-28 19:39:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-28 19:40:08 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-28 19:41:34 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-06-28 19:41:58 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-28 19:43:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-28 19:45:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…) |