| 2025-11-18 00:08:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-11-18 00:08:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 00:14:24 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-18 00:14:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-18 00:23:35 +0100 | auri_ | (~auri@fsf/member/auri) () |
| 2025-11-18 00:24:47 +0100 | auri | (~auri@fsf/member/auri) auri |
| 2025-11-18 00:26:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 00:30:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-18 00:31:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 00:34:31 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-11-18 00:34:52 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-18 00:42:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 00:42:00 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-18 00:42:09 +0100 | Zemy | (~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) |
| 2025-11-18 00:42:29 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-18 00:43:06 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-18 00:44:56 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-18 00:46:36 +0100 | Zemy | (~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) (Ping timeout: 256 seconds) |
| 2025-11-18 00:47:08 +0100 | Zemy | (~Zemy@2600:100c:b049:cf82:70a5:c4ff:fea8:36a5) |
| 2025-11-18 00:47:08 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-18 00:47:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-18 00:47:20 +0100 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-18 00:47:33 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-18 00:47:43 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-18 00:48:30 +0100 | Zemy | (~Zemy@2600:100c:b049:cf82:70a5:c4ff:fea8:36a5) (Read error: Connection reset by peer) |
| 2025-11-18 00:49:39 +0100 | Zemy | (~Zemy@2600:100c:b049:cf82:9086:16ff:febf:b418) |
| 2025-11-18 00:49:39 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-18 00:50:13 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-18 00:50:14 +0100 | Zemy | (~Zemy@2600:100c:b049:cf82:9086:16ff:febf:b418) (Read error: Connection reset by peer) |
| 2025-11-18 00:50:51 +0100 | Zemy | (~Zemy@2600:100c:b049:cf82:fcfb:56ff:fea6:3ac1) |
| 2025-11-18 00:50:51 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-18 00:51:26 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-18 00:53:47 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-18 00:55:06 +0100 | Zemy | (~Zemy@2600:100c:b049:cf82:fcfb:56ff:fea6:3ac1) (Ping timeout: 256 seconds) |
| 2025-11-18 00:56:43 +0100 | bggd | (~bgg@2a01:e0a:819:1510:2461:8c52:600a:b549) |
| 2025-11-18 00:58:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 01:02:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-18 01:07:46 +0100 | turlando_ | (~turlando@user/turlando) (Ping timeout: 244 seconds) |
| 2025-11-18 01:08:08 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-18 01:08:22 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-18 01:12:53 +0100 | mange | (~mange@user/mange) mange |
| 2025-11-18 01:13:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 01:15:04 +0100 | trickard_ | trickard |
| 2025-11-18 01:17:05 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-18 01:18:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-18 01:23:03 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-11-18 01:23:41 +0100 | <yin> | I'm trying to understant FRP in haskell and the hypothetical Monad instance for Signals. My mind immediately went to call/cc from Scheme. Am I way off base? |
| 2025-11-18 01:25:35 +0100 | <EvanR> | Signal doesn't sound like the original formulation of FRP. Which library is this from |
| 2025-11-18 01:27:20 +0100 | <EvanR> | in conal's old blog, he mentioned maybe something about a monad instance for Events then later abandoned it |
| 2025-11-18 01:28:44 +0100 | <yin> | EvanR: Signal would be Behaviour from Conal's. (>>=) :: Signal a -> (a -> Signal b) -> Signal b |
| 2025-11-18 01:28:58 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-18 01:29:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 01:30:25 +0100 | <EvanR> | oh |
| 2025-11-18 01:30:44 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-18 01:30:47 +0100 | <EvanR> | then monad can make sense in the same sense as the monad instance for Stream of Stream of a |
| 2025-11-18 01:30:55 +0100 | <EvanR> | er, stream |
| 2025-11-18 01:30:58 +0100 | bggd | (~bgg@2a01:e0a:819:1510:2461:8c52:600a:b549) (Remote host closed the connection) |
| 2025-11-18 01:31:02 +0100 | <EvanR> | join :: Stream (Stream a) -> Stream a |
| 2025-11-18 01:31:21 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-18 01:32:42 +0100 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-18 01:32:55 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-18 01:33:44 +0100 | <EvanR> | join :: Signal (Signal a) -> Signal a, assuming Signal = Behavior |
| 2025-11-18 01:34:02 +0100 | <EvanR> | how useful that is I don't know |
| 2025-11-18 01:34:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-18 01:35:36 +0100 | petrichor | (~jez@user/petrichor) (Ping timeout: 256 seconds) |
| 2025-11-18 01:37:49 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-11-18 01:42:30 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 2025-11-18 01:43:44 +0100 | <yin> | my intuition is that bind would offer a way to dynamically change the control flow or dependency graph |
| 2025-11-18 01:43:46 +0100 | <yin> | https://paste.jrvieira.com/1763426541194 |
| 2025-11-18 01:44:00 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-11-18 01:44:40 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 2025-11-18 01:45:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 01:45:09 +0100 | <EvanR> | Signal f <*> Signal x |
| 2025-11-18 01:45:15 +0100 | <EvanR> | to make it more clear what's going on |
| 2025-11-18 01:45:15 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) (Read error: Connection reset by peer) |
| 2025-11-18 01:45:37 +0100 | <EvanR> | would give you, basically (not actual syntax), Signal (f x) |
| 2025-11-18 01:45:41 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) synchromesh |
| 2025-11-18 01:45:45 +0100 | <yin> | right. i had that but (x t) looked weird to me :) |
| 2025-11-18 01:46:36 +0100 | <EvanR> | the usual way to introduce a way to "dynamically" replace a behavior is to use an event |
| 2025-11-18 01:46:55 +0100 | <EvanR> | something like Signal a -> Event (Signal a) -> Signal a |
| 2025-11-18 01:47:16 +0100 | <EvanR> | the signal is replaced with the event payload when/if it happens. Before before any events, the first argument applies |
| 2025-11-18 01:49:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fb28:6c11:a653:72c4) (Ping timeout: 260 seconds) |
| 2025-11-18 01:49:59 +0100 | <monochrom> | If you think call/cc, you're a low-level person. It's not wrong, it just may be very helpful or very distracting depending on your purpose. |
| 2025-11-18 01:51:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-18 01:52:33 +0100 | <jackdk> | I got a lot out of (in order): this old "FRP - Events and Behaviours" talk: https://www.youtube.com/watch?v=GXW1jBijhlk, the diagrams in the reactive-banana package, and https://github.com/qfpl/reflex-workshop/ (for hands-on experience). They might help you get your head around the mental models |
| 2025-11-18 01:52:35 +0100 | <yin> | monochrom: it just had the same smell in my purposeless mind, that's all |
| 2025-11-18 01:53:01 +0100 | <monochrom> | It's OK. Lately I smelled Yoneda lemma everywhere anyway. :) |
| 2025-11-18 01:54:10 +0100 | <yin> | jackdk: tyvm |
| 2025-11-18 01:54:35 +0100 | <monochrom> | (The smell was correct. It really was Yoneda lemma. Know every angle, all of them are helpful.) |
| 2025-11-18 01:57:05 +0100 | <EvanR> | was this a programming situation or category theory |
| 2025-11-18 01:58:50 +0100 | <yin> | yes |
| 2025-11-18 01:59:03 +0100 | <yin> | :) |
| 2025-11-18 01:59:58 +0100 | acidjnk | (~acidjnk@p200300d6e717199494cb24f290a326c5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-18 02:00:43 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 246 seconds) |
| 2025-11-18 02:02:54 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-11-18 02:03:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 02:04:34 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-18 02:07:46 +0100 | <monochrom> | Suppose σ permutes arrays of length n. I can apply it to the "identity array" [0 .. n-1], i.e., define e := σ [0 .. n-1]. Then I can use e instead of σ to permute other arrays: To permute v, (σ v)[i] = v[e[i]] for each i. In the vector library, you can just write `V.backpermute e v`. |
| 2025-11-18 02:08:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-18 02:08:13 +0100 | <monochrom> | Turns out this was foretold by the Yoneda lemma too! |
| 2025-11-18 02:08:50 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-18 02:10:41 +0100 | <monochrom> | Model "array of length n with elements of type a" as N->a, N = {0 .. n-1}. Then permutations are a special cases of (N->a) -> (N->a). Then Yoneda embedding says that it's isomorphic to N->N, the forward mapping maps σ to σ id, id = [0 .. n-1]. |
| 2025-11-18 02:11:51 +0100 | <haskellbridge> | <Zemyla> So is there a type that represents a combination? |
| 2025-11-18 02:12:01 +0100 | <monochrom> | And the backward mapping maps e to \v -> v ∘ e |
| 2025-11-18 02:12:14 +0100 | <monochrom> | I don't know! Not interested for now. |
| 2025-11-18 02:12:55 +0100 | <EvanR> | sounds like the theory of group action |
| 2025-11-18 02:13:27 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-18 02:14:38 +0100 | trickard_ | trickard |
| 2025-11-18 02:15:25 +0100 | <monochrom> | Moreover, it also hints that σ id is "backwards": It maps new indexes to old indexes. How to see it: Use N for old indexes, N' for new indexes. Then (N->a) -> (N'->a) is isomorphic to N' -> N. |
| 2025-11-18 02:15:27 +0100 | AlexNoo_ | (~AlexNoo@178.34.162.20) |
| 2025-11-18 02:16:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-18 02:16:58 +0100 | AlexZenon | (~alzenon@178.34.151.158) (Ping timeout: 256 seconds) |
| 2025-11-18 02:17:08 +0100 | <monochrom> | So yeah it's both programming and category theory. I was coding up LU factorization with pivoting, and I recorded the permutation of rows by performing the same permutation on [0 .. n-1] and returning it. |
| 2025-11-18 02:18:46 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-18 02:18:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 02:18:55 +0100 | AlexNoo | (~AlexNoo@178.34.151.158) (Ping timeout: 246 seconds) |
| 2025-11-18 02:21:50 +0100 | <monochrom> | Combination may be N->2. Each of n elements may be chosen or not-chosen. |
| 2025-11-18 02:23:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-18 02:24:07 +0100 | <haskellbridge> | <Zemyla> True. |
| 2025-11-18 02:24:50 +0100 | AlexZenon | (~alzenon@178.34.162.20) |
| 2025-11-18 02:27:27 +0100 | Dhark8 | Shark8 |
| 2025-11-18 02:28:20 +0100 | Catty | (~catties@user/meow/catties) (Remote host closed the connection) |
| 2025-11-18 02:31:18 +0100 | sindu | (~sindu@77.19.134.151.tmi.telenormobil.no) (Ping timeout: 260 seconds) |
| 2025-11-18 02:33:33 +0100 | catties | (~catties@user/meow/catties) catties |
| 2025-11-18 02:34:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 02:39:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 02:44:42 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-18 02:50:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 02:52:58 +0100 | otto_s | (~user@p5de2f6bf.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-18 02:54:27 +0100 | jangerma1 | (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) |
| 2025-11-18 02:54:38 +0100 | otto_s | (~user@p4ff27097.dip0.t-ipconnect.de) |
| 2025-11-18 02:55:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-18 02:57:17 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-11-18 02:59:53 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-18 03:03:05 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-11-18 03:04:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-11-18 03:05:26 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-18 03:05:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 03:06:42 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-18 03:06:55 +0100 | myxos | (~myxos@2001:579:8380:f20:5f4f:3365:91ae:208d) myxokephale |
| 2025-11-18 03:07:48 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-18 03:09:17 +0100 | myxokephale | (~myxos@2001:579:8380:f20:6b9e:1a89:7816:af78) (Ping timeout: 244 seconds) |
| 2025-11-18 03:11:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-18 03:13:43 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-18 03:13:46 +0100 | catties | Catty |
| 2025-11-18 03:14:06 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-18 03:16:04 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-18 03:21:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 03:25:16 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-18 03:28:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-18 03:29:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-18 03:34:17 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-18 03:37:36 +0100 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-18 03:37:50 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-18 03:39:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 03:45:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 03:49:45 +0100 | vardhan | (~vardhan@122.172.80.248) |
| 2025-11-18 03:50:55 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-18 03:53:12 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-11-18 03:55:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 03:55:54 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-18 03:58:23 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-18 04:00:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-18 04:05:39 +0100 | Zemy | (~Zemy@2600:100c:b03d:4841:7c2c:68ff:fe38:b3c8) |
| 2025-11-18 04:05:39 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-18 04:06:15 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-18 04:08:36 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-18 04:08:49 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-18 04:10:02 +0100 | Zemy | (~Zemy@2600:100c:b03d:4841:7c2c:68ff:fe38:b3c8) (Ping timeout: 256 seconds) |
| 2025-11-18 04:11:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 04:16:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-18 04:23:31 +0100 | td__ | (~td@i53870917.versanet.de) (Ping timeout: 246 seconds) |
| 2025-11-18 04:25:22 +0100 | td_ | (~td@i53870912.versanet.de) td_ |
| 2025-11-18 04:27:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 04:28:05 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-18 04:29:54 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-18 04:31:11 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-18 04:32:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 04:38:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-18 04:42:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 04:44:39 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-18 04:46:28 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-11-18 04:48:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 04:54:21 +0100 | annamalai | (~annamalai@157.33.255.31) annamalai |
| 2025-11-18 04:58:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 05:05:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-18 05:10:40 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-11-18 05:11:36 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-18 05:13:42 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-18 05:13:59 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-18 05:16:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 05:18:08 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-18 05:20:09 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-18 05:20:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-18 05:22:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-18 05:23:29 +0100 | Googulator | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 05:23:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 05:32:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 05:37:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-18 05:48:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 05:52:39 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) (Read error: Connection reset by peer) |
| 2025-11-18 05:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-18 05:53:44 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-18 05:54:22 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) synchromesh |
| 2025-11-18 06:00:08 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-11-18 06:04:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 06:07:53 +0100 | gustrb | (~gustrb@user/gustrb) (Read error: Connection reset by peer) |
| 2025-11-18 06:09:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 06:09:06 +0100 | gustrb | (~gustrb@191.243.134.87) |
| 2025-11-18 06:10:41 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 06:10:41 +0100 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 06:17:42 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-18 06:19:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 06:24:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-18 06:35:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 06:42:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-18 06:42:44 +0100 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-18 06:49:27 +0100 | oppili | (~oppili@user/nerdypepper) nerdy |
| 2025-11-18 06:53:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 06:54:11 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-11-18 06:54:22 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-18 06:54:56 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-11-18 06:58:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-18 07:03:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 07:09:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 07:10:34 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-18 07:20:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 07:21:34 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-11-18 07:22:50 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-18 07:25:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-18 07:27:38 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-18 07:30:34 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 07:30:39 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 07:33:19 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-18 07:35:35 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 07:35:40 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 07:36:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 07:41:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-18 07:45:37 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 07:45:43 +0100 | Googulator2 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 07:51:55 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-18 07:52:19 +0100 | trickard_ | trickard |
| 2025-11-18 07:53:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 07:53:42 +0100 | otto_s | (~user@p4ff27097.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-11-18 07:57:27 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 2025-11-18 07:57:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-18 08:03:16 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-18 08:03:29 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-18 08:08:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-18 08:08:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 08:10:42 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-18 08:13:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-18 08:15:47 +0100 | Googulator2 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 08:15:53 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 08:20:41 +0100 | elbartol` | (~user@user/elbartol) (Remote host closed the connection) |
| 2025-11-18 08:21:15 +0100 | elbartol | (~user@user/elbartol) elbartol |
| 2025-11-18 08:23:20 +0100 | annamalai | (~annamalai@157.33.255.31) (Ping timeout: 256 seconds) |
| 2025-11-18 08:24:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 08:30:42 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-18 08:31:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 08:34:22 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-18 08:39:55 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-11-18 08:42:26 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 244 seconds) |
| 2025-11-18 08:42:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 08:44:37 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-18 08:45:49 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-18 08:47:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-18 08:47:16 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-18 08:51:59 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-18 08:52:13 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-18 08:54:26 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-11-18 08:54:46 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-18 08:56:21 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-18 08:57:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 09:00:07 +0100 | acidjnk | (~acidjnk@p200300d6e717199494cb24f290a326c5.dip0.t-ipconnect.de) acidjnk |
| 2025-11-18 09:01:22 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2025-11-18 09:02:09 +0100 | kadobanana | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 2025-11-18 09:03:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-18 09:05:26 +0100 | trickard_ | trickard |
| 2025-11-18 09:06:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 09:10:35 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 09:10:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-18 09:13:47 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-18 09:15:36 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 09:15:39 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 09:18:50 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-11-18 09:20:40 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 09:20:41 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 09:21:35 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 245 seconds) |
| 2025-11-18 09:21:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-18 09:22:16 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 256 seconds) |
| 2025-11-18 09:22:29 +0100 | nek0 | (~nek0@user/nek0) (Read error: Connection reset by peer) |
| 2025-11-18 09:22:33 +0100 | nek02 | (~nek0@user/nek0) nek0 |
| 2025-11-18 09:25:41 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 09:26:14 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 09:27:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-18 09:30:42 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 09:30:44 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 09:36:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-18 09:44:33 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-18 09:45:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-18 09:55:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-18 09:59:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-18 10:06:19 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-18 10:13:33 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-18 10:13:47 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-18 10:15:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-18 10:15:28 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 10:15:35 +0100 | Googulator25 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 10:15:57 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-18 10:20:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-18 10:20:37 +0100 | Googulator74 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-18 10:20:44 +0100 | Googulator25 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-18 10:23:22 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |