| 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 |
| 2026-02-11 04:36:59 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-11 04:40:31 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-02-11 04:41:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 04:42:51 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-11 04:45:28 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Server closed connection) |
| 2026-02-11 04:45:36 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2026-02-11 04:45:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-11 04:52:48 +0100 | berberman | (~berberman@user/berberman) (Server closed connection) |
| 2026-02-11 04:52:57 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2026-02-11 04:53:14 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2026-02-11 04:54:21 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 2026-02-11 04:56:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 04:58:36 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-02-11 05:03:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-11 05:06:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2026-02-11 05:08:56 +0100 | trickard_ | trickard |
| 2026-02-11 05:14:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 05:19:13 +0100 | trickard | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 05:19:27 +0100 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2026-02-11 05:19:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 05:28:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-11 05:30:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 05:34:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-11 05:36:34 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Read error: Connection reset by peer) |
| 2026-02-11 05:36:59 +0100 | wickedjargon | (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) wickedjargon |
| 2026-02-11 05:45:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 05:50:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 05:50:08 +0100 | dunj3 | (~dunj3@h1765027.stratoserver.net) (Server closed connection) |
| 2026-02-11 05:50:20 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) |
| 2026-02-11 05:51:14 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 05:54:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7d41:27bc:b6ea:ca52) (Ping timeout: 245 seconds) |
| 2026-02-11 05:56:07 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-11 05:56:40 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-11 05:57:54 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-02-11 06:00:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 06:02:10 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-11 06:02:23 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7d41:27bc:b6ea:ca52) |
| 2026-02-11 06:02:40 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-02-11 06:05:09 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 06:05:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-11 06:05:16 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 06:10:45 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 06:10:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-11 06:10:57 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 06:11:42 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-11 06:12:08 +0100 | emergence | (emergence@vm0.max-p.me) (Server closed connection) |
| 2026-02-11 06:12:22 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2026-02-11 06:13:54 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-02-11 06:16:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 06:16:23 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 06:16:41 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 06:19:27 +0100 | michalz | (~michalz@185.246.207.222) |
| 2026-02-11 06:21:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 06:22:00 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 06:22:13 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 06:23:40 +0100 | michalz | (~michalz@185.246.207.222) (Ping timeout: 245 seconds) |
| 2026-02-11 06:27:10 +0100 | Bunny | (~Bunny@pool-99-254-97-52.cpe.net.cable.rogers.com) |
| 2026-02-11 06:27:13 +0100 | Bunny | (~Bunny@pool-99-254-97-52.cpe.net.cable.rogers.com) () |
| 2026-02-11 06:27:57 +0100 | michalz | (~michalz@185.246.207.203) |
| 2026-02-11 06:31:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 06:36:19 +0100 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-11 06:36:43 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-02-11 06:41:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-11 06:48:45 +0100 | <s3np41> | again thanks for the replies |
| 2026-02-11 06:49:03 +0100 | <s3np41> | sorry for the lack of reply i sent that and went off to do other stuff |
| 2026-02-11 06:49:08 +0100 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2026-02-11 06:57:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 07:02:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 07:08:48 +0100 | dpk | (~dpk@jains.nonceword.org) (Server closed connection) |
| 2026-02-11 07:08:54 +0100 | dpk | (~dpk@jains.nonceword.org) |
| 2026-02-11 07:12:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 07:15:58 +0100 | jle` | (~jle`@2603:8001:3b00:11:aa96:1bfc:d44b:9e) (Ping timeout: 246 seconds) |
| 2026-02-11 07:17:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-11 07:21:55 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-11 07:22:18 +0100 | acidjnk | (~acidjnk@p200300d6e700e552f541e7aa9c024d62.dip0.t-ipconnect.de) acidjnk |
| 2026-02-11 07:28:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 07:29:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-11 07:32:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-11 07:43:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 07:47:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-11 07:58:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 08:00:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-11 08:03:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-11 08:11:21 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 2026-02-11 08:13:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 08:20:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-11 08:32:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 08:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 08:42:55 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 08:43:00 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 08:44:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 08:48:32 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 08:48:38 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 08:48:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-11 08:54:09 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 08:54:16 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 08:59:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-11 08:59:47 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 08:59:59 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 09:02:32 +0100 | trickard___ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 09:03:00 +0100 | trickard___ | trickard |
| 2026-02-11 09:03:55 +0100 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-11 09:04:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 09:05:25 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 09:05:37 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 09:10:43 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-11 09:11:03 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 09:11:39 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 09:14:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-11 09:16:41 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 09:17:23 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 09:21:01 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 09:21:15 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 09:24:04 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2026-02-11 09:25:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-11 09:26:14 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-02-11 09:27:25 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-11 09:27:33 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 09:29:00 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 09:29:19 +0100 | hakutaku | (~textual@user/hakutaku) (Ping timeout: 255 seconds) |
| 2026-02-11 09:30:04 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-02-11 09:30:10 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 09:32:21 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-11 09:34:49 +0100 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-11 09:37:10 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-11 09:37:15 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 09:38:55 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-11 09:40:32 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-11 09:41:57 +0100 | trickard_ | trickard |
| 2026-02-11 09:43:59 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 09:45:10 +0100 | ft | (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-11 09:48:19 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-11 10:04:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-11 10:07:25 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 10:07:38 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 10:09:28 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-11 10:12:08 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-11 10:16:26 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 10:16:27 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-11 10:18:43 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-11 10:20:22 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-11 10:24:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 2026-02-11 10:32:25 +0100 | Moyst | (~moyst@user/moyst) (Ping timeout: 264 seconds) |
| 2026-02-11 10:33:53 +0100 | Moyst | (~moyst@user/moyst) Moyst |
| 2026-02-11 10:35:59 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-11 10:39:37 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-11 10:44:03 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-11 10:51:47 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-11 10:54:46 +0100 | Enrico63 | (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63 |
| 2026-02-11 10:57:15 +0100 | <gentauro> | s3np41: Perhaps Evan Czaplicki MSc thesis from Harvard? https://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf |
| 2026-02-11 10:58:06 +0100 | <gentauro> | However, I don't know how much of the FRP actually survived in later releases |
| 2026-02-11 11:00:07 +0100 | <gentauro> | s3np41: another good source is Ivan Perez (with a PhD from Nottingham Uni and currently at NASA) https://eprints.nottingham.ac.uk/50348/ |
| 2026-02-11 11:00:27 +0100 | <gentauro> | Both Evan and Ivan have transitioned FRP from academia to industry "very" succesfully |
| 2026-02-11 11:00:30 +0100 | <gentauro> | (Y) |
| 2026-02-11 11:03:32 +0100 | <gentauro> | for Ivan lookup "Keera Studios" (gaming in FRP Haskell) and (the GOOD) CoPilot (Haskell FRP for NASA) |
| 2026-02-11 11:05:23 +0100 | <gentauro> | and for Evan, well, just search for Elm ;) (not to be confused with https://gren-lang.org/ xD) |
| 2026-02-11 11:05:59 +0100 | gentauro | https://gren-lang.org/ just copy/pasta ALL of elm-lang and then they did a rename. That's what permissive open source licenses gets you … |
| 2026-02-11 11:09:31 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-02-11 11:09:56 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2026-02-11 11:10:10 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-11 11:21:52 +0100 | <gentauro> | s3np41: my bad, I linked to Evans paper instead of his MSc thesis. Here you go -> https://elm-lang.org/assets/papers/concurrent-frp.pdf |
| 2026-02-11 11:22:24 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-02-11 11:24:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-11 11:26:05 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 11:29:04 +0100 | <ski> | > serExp 0 0 (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d"))) "" |
| 2026-02-11 11:29:06 +0100 | <lambdabot> | "a b (c d)" |
| 2026-02-11 11:29:11 +0100 | <ski> | > serExp 0 0 (App (Abs "a" (App (Var "a") (Var "b"))) (Abs "d" (App (Var "c") (Var "d")))) "" |
| 2026-02-11 11:29:12 +0100 | <lambdabot> | "(\\a. a b) \\d. c d" |
| 2026-02-11 11:29:14 +0100 | <ski> | > serExp 0 0 (App (Abs "a" (App (Var "a") (Abs "b" (Var "b")))) (Abs "c" (App (Var "c") (Abs "d" (Var "d"))))) "" |
| 2026-02-11 11:29:15 +0100 | <lambdabot> | "(\\a. a \\b. b) \\c. c \\d. d" |
| 2026-02-11 11:29:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-02-11 11:32:06 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:32:06 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:37:35 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:38:02 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:41:22 +0100 | trickard__ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 11:42:07 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 244 seconds) |
| 2026-02-11 11:42:37 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-02-11 11:43:13 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:43:13 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-11 11:43:22 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:44:00 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2026-02-11 11:44:17 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-11 11:45:23 +0100 | Googulator33 | Googulator |
| 2026-02-11 11:46:18 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-11 11:46:38 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-11 12:03:40 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-02-11 12:05:42 +0100 | trickard__ | trickard |
| 2026-02-11 12:06:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-02-11 12:15:49 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-02-11 12:15:50 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 12:16:03 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 12:20:48 +0100 | <tomsmeding> | controversional BlockArguments printing :p |
| 2026-02-11 12:28:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-11 12:29:50 +0100 | Enrico63 | (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-11 12:30:09 +0100 | <Leary> | Haskell98 printing in a better timeline. |
| 2026-02-11 12:34:44 +0100 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2026-02-11 12:34:44 +0100 | <ski> | got annoyed at not having `BlockArguments'-style printing of trailing lambda (including inside of an outer bracketting), with a simple standard precedence printer that i used for some examples i was playing around with, so i threw the above together, to see whether my initial hunch for how to do it would work |
| 2026-02-11 12:34:58 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 12:35:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-02-11 12:35:11 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 12:36:32 +0100 | <ski> | (i'd first done it in a kludgey way, with the traditional precedences, but it turned out to not work for more complex examples. oh, and yea, i'm pretty sure this should work for mixfix with individual precedences specified for the ends of the constituent lexemes (cf. Annika Aasa's papers on parsing)) |
| 2026-02-11 12:38:20 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-02-11 12:39:44 +0100 | <bwe> | Why is the second (Megaparsec) parser not being evaluated? `parseMaybe (try (1 <$ "abc") <|> 1 <$ "abcd") "abcd"` -- parseTest is of no help as it moans about ambiguous types. And no, encapsulating each parser with try doesn't help either (assuming the backtracing is the issue). |
| 2026-02-11 12:40:18 +0100 | <bwe> | tomsmeding: Thanks for the recommendation of the fsnotify package (yet to check it out). |
| 2026-02-11 12:40:24 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-02-11 12:42:26 +0100 | <Leary> | bwe: Why would it be? The first succeeds. |
| 2026-02-11 12:46:01 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-02-11 12:46:31 +0100 | <bwe> | I mean `parseMaybe (try (1 <$ "abc") <|> 1 <$ "abcd") "abcd"` of course. There, the second does not succeed, but I want it to succeed. |
| 2026-02-11 12:47:34 +0100 | <__monty__> | bwe: <|> uses its left argument if it succeeds, so if it does the right argument is never tried. |
| 2026-02-11 12:47:53 +0100 | <__monty__> | In this case I assume you want to flip the argument order basically. |
| 2026-02-11 12:53:21 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 12:54:19 +0100 | Enrico63 | (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63 |
| 2026-02-11 12:54:34 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 260 seconds) |
| 2026-02-11 12:55:22 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-11 12:56:33 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-11 12:58:10 +0100 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 2026-02-11 12:58:36 +0100 | <bwe> | __monty__: But why does it return Nothing, then? (Flipping fixes it for me but I still don't understand the concept.) |
| 2026-02-11 13:00:15 +0100 | <Leary> | bwe: "This function also parses eof, so if the parser doesn't consume all of its input, it will fail." |
| 2026-02-11 13:02:36 +0100 | <bwe> | Leary: So this answers why `parseMaybe` behaves differently than when I combine the parser with others. What's then the right function to (unit) test parser combinator segments? |
| 2026-02-11 13:03:15 +0100 | <merijn> | bwe: I mean, you could just add "<* eof" to each parse before feeding to parseMaybe? :) |
| 2026-02-11 13:03:51 +0100 | <merijn> | i.e.: parseMaybe (foo <* eof) "stuff here" |
| 2026-02-11 13:04:51 +0100 | <Leary> | I think they want the opposite; add `<* takeWhileP (const True)`. |
| 2026-02-11 13:05:03 +0100 | <__monty__> | Or use parseTest and just add the type annotation that it complains about. |
| 2026-02-11 13:06:35 +0100 | <Leary> | `parseTest` seems to be for visual inspection, not automated testing. |