| 2026-02-11 00:00:40 +0100 | trickard_ | trickard |
| 2026-02-11 00:06:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-11 00:08:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9882:4750:7270:d878) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-11 00:09:48 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 00:14:43 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-11 00:17:14 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-11 00:17:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 00:21:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 00:32:41 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 00:32:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 00:33:16 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 00:37:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-11 00:37:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-11 00:45:28 +0100 | davean | (~davean@davean.sciesnet.net) (Server closed connection) |
| 2026-02-11 00:45:46 +0100 | davean | (~davean@davean.sciesnet.net) davean |
| 2026-02-11 00:48:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 00:53:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 00:54:37 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 264 seconds) |
| 2026-02-11 01:03:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 01:07:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-11 01:11:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-11 01:18:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 01:23:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 01:34:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 01:39:19 +0100 | attlin | (~user@user/attlin) (Ping timeout: 264 seconds) |
| 2026-02-11 01:40:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-11 01:41:27 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-11 01:43:34 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-11 01:48:31 +0100 | jreicher | (~joelr@user/jreicher) (Ping timeout: 255 seconds) |
| 2026-02-11 01:49:50 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-11 01:52:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 01:54:18 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-11 01:57:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-11 02:07:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 02:12:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-11 02:18:01 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-02-11 02:20:16 +0100 | Square | (~Square4@user/square) Square |
| 2026-02-11 02:21:42 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2026-02-11 02:23:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 02:23:40 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 245 seconds) |
| 2026-02-11 02:23:40 +0100 | omidmash1 | omidmash |
| 2026-02-11 02:27:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 02:38:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 02:42:00 +0100 | housemate | (~housemate@1.147.19.219) housemate |
| 2026-02-11 02:42:02 +0100 | housemate | (~housemate@1.147.19.219) (Remote host closed the connection) |
| 2026-02-11 02:42:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-11 02:43:48 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-02-11 02:45:02 +0100 | socksbuny | (~socks@oberon.raccoon.fun) (Quit: goodbye :)) |
| 2026-02-11 02:47:15 +0100 | socksbuny | (~socks@oberon.raccoon.fun) raccoonasdf |
| 2026-02-11 02:50:06 +0100 | housemate | (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) housemate |
| 2026-02-11 02:52:52 +0100 | acidjnk | (~acidjnk@p200300d6e700e589bc3447690a0a9402.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-02-11 02:53:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 02:58:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 02:59:10 +0100 | otto_s | (~user@p5b044bf5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-02-11 02:59:28 +0100 | mud | (~mud@user/kadoban) (Server closed connection) |
| 2026-02-11 02:59:54 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2026-02-11 02:59:58 +0100 | <s3np41> | Hello i return another question, what are some good resources to read up on FRP? |
| 2026-02-11 03:00:04 +0100 | <s3np41> | with* |
| 2026-02-11 03:00:11 +0100 | socksbuny | (~socks@oberon.raccoon.fun) (Quit: goodbye :)) |
| 2026-02-11 03:00:48 +0100 | otto_s | (~user@p4ff27fce.dip0.t-ipconnect.de) |
| 2026-02-11 03:01:05 +0100 | socksbuny | (~socks@oberon.raccoon.fun) raccoonasdf |
| 2026-02-11 03:01:12 +0100 | housemate | (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) (Read error: Connection reset by peer) |
| 2026-02-11 03:04:35 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-11 03:04:50 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-11 03:06:48 +0100 | DetourNe- | DetourNetworkUK |
| 2026-02-11 03:07:22 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-11 03:08:32 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) wickedjargon |
| 2026-02-11 03:09:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 03:09:13 +0100 | ridcully | (~ridcully@p508ac969.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-02-11 03:11:23 +0100 | ridcully | (~ridcully@p508ac876.dip0.t-ipconnect.de) ridcully |
| 2026-02-11 03:16:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 03:24:08 +0100 | sudden | (~cat@user/sudden) (Server closed connection) |
| 2026-02-11 03:24:23 +0100 | sudden | (~cat@user/sudden) sudden |
| 2026-02-11 03:25:21 +0100 | <EvanR> | conal's blog is an oldie but goodie |
| 2026-02-11 03:27:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 03:31:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-11 03:33:09 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 03:33:09 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 03:33:58 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2026-02-11 03:34:40 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-11 03:36:23 +0100 | trickard | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 03:36:36 +0100 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2026-02-11 03:38:37 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 03:39:05 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 03:40:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-11 03:42:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 03:43:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-11 03:44:14 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 03:44:43 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 03:47:20 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-11 03:47:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 03:55:52 +0100 | <jackdk> | s3np41: event-and-behaviour style (e.g., reflex, reactive-banana) or monadic-signal-function style (e.g. rhine)? For the former I found https://github.com/qfpl/reflex-workshop tremendously valuable for getting my hands dirty and getting it into my head (though you might enjoy Conal Elliot's blogs and papers to understand the aspirational denotational model). For the latter, I enjoyed https://github.com/turion/rhine-koans |
| 2026-02-11 03:56:46 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-11 03:57:26 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-11 03:57:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 03:58:40 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-02-11 03:59:25 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-11 03:59:46 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-11 04:00:37 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-02-11 04:01:22 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-11 04:02:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 04:13:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 04:16:14 +0100 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 244 seconds) |
| 2026-02-11 04:17:40 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Read error: Connection reset by peer) |
| 2026-02-11 04:17:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-11 04:18:01 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) wickedjargon |
| 2026-02-11 04:18:23 +0100 | td_ | (~td@i5387093E.versanet.de) |
| 2026-02-11 04:28:34 +0100 | ceridwen15 | (~ceridwen1@n175-32-209-194.mas22.nsw.optusnet.com.au) |
| 2026-02-11 04:28:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 04:29:57 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Ping timeout: 252 seconds) |
| 2026-02-11 04:31:35 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) wickedjargon |
| 2026-02-11 04:32:31 +0100 | ceridwen15 | (~ceridwen1@n175-32-209-194.mas22.nsw.optusnet.com.au) (Client Quit) |
| 2026-02-11 04:32:48 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (Server closed connection) |
| 2026-02-11 04:32:55 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2026-02-11 04:32:56 +0100 | ceridwen | (~ceridwen@n175-32-209-194.mas22.nsw.optusnet.com.au) |
| 2026-02-11 04:33:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-11 04:33:31 +0100 | ceridwen | (~ceridwen@n175-32-209-194.mas22.nsw.optusnet.com.au) (Client Quit) |
| 2026-02-11 04:33:54 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Ping timeout: 265 seconds) |
| 2026-02-11 04:34:52 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Read error: Connection reset by peer) |
| 2026-02-11 04:35:10 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) wickedjargon |