Newest at the top
2025-09-11 22:32:13 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
2025-09-11 22:31:28 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-09-11 22:27:54 +0200 | myme | (~myme@2a01:799:d5e:5f00:e0b2:6c10:9733:ecc) myme |
2025-09-11 22:27:12 +0200 | myme | (~myme@2a01:799:d5e:5f00:a615:4b08:208e:f085) (Ping timeout: 265 seconds) |
2025-09-11 22:23:53 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-11 22:23:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 22:20:35 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-11 22:20:22 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-11 22:18:04 +0200 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
2025-09-11 22:16:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 22:14:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-09-11 22:13:07 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-11 22:12:59 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
2025-09-11 22:12:55 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
2025-09-11 22:12:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-11 22:07:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-11 22:06:01 +0200 | Vq | (~vq@90-224-37-169-no600.tbcn.telia.com) (Ping timeout: 258 seconds) |
2025-09-11 22:05:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-11 22:01:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 21:50:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-11 21:46:57 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
2025-09-11 21:46:23 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2025-09-11 21:45:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 21:36:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-11 21:33:14 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-09-11 21:31:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 21:25:16 +0200 | emperori | (~emperori@2401:4900:6299:772f:dc20:49b3:341f:d3e3) (Ping timeout: 256 seconds) |
2025-09-11 21:22:36 +0200 | Alleria | (~Alleria@user/alleria) Alleria |
2025-09-11 21:20:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 21:19:42 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-11 21:19:39 +0200 | Beowulf | (florian@gabilgathol.bandrate.org) |
2025-09-11 21:16:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-09-11 21:16:38 +0200 | gehmehgeh | gmg |
2025-09-11 21:16:32 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
2025-09-11 21:16:24 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
2025-09-11 21:15:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 21:14:52 +0200 | sprotte24 | (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-09-11 21:13:53 +0200 | Beowulf | (florian@gabilgathol.bandrate.org) (Quit: = "") |
2025-09-11 21:12:51 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 21:12:38 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-11 21:12:36 +0200 | Alleria | (~Alleria@user/alleria) (Read error: Connection reset by peer) |
2025-09-11 21:11:29 +0200 | sprotte24_ | (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) |
2025-09-11 21:09:20 +0200 | byorgey | (~byorgey@user/byorgey) byorgey |
2025-09-11 21:09:02 +0200 | byorgey | (~byorgey@user/byorgey) (Ping timeout: 260 seconds) |
2025-09-11 21:08:24 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-11 21:06:06 +0200 | <dminuoso> | The type system will cover practically all uses, and for non-trivial ideas of a section expression you can always just degrade to an explicit lambda - just like with current operator sections. |
2025-09-11 21:05:11 +0200 | <dminuoso> | ski: Regarding the question of how far that hypothetical section syntax would extend, the answer is simple: not at all, just like current sections dont extend at all. |
2025-09-11 21:04:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-11 21:03:03 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-11 21:02:51 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |