Logs: liberachat/#haskell
| 2026-02-10 23:14:43 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-10 23:17:14 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-10 23:17:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-10 23:21:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-10 23:32:41 | → | juri_ joins (~juri@212.86.50.13) |
| 2026-02-10 23:32:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-10 23:33:16 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-10 23:37:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-10 23:37:44 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-02-10 23:45:28 | × | davean quits (~davean@davean.sciesnet.net) (Server closed connection) |
| 2026-02-10 23:45:46 | → | davean joins (~davean@davean.sciesnet.net) |
| 2026-02-10 23:48:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-10 23:53:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-10 23:54:37 | × | housemate quits (~housemate@202.7.248.67) (Ping timeout: 264 seconds) |
| 2026-02-11 00:03:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 00:07:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-11 00:11:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-02-11 00:18:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 00:23:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 00:34:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 00:39:19 | × | attlin quits (~user@user/attlin) (Ping timeout: 264 seconds) |
| 2026-02-11 00:40:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-11 00:41:27 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-11 00:43:34 | → | attlin joins (~user@user/attlin) |
| 2026-02-11 00:48:31 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 255 seconds) |
| 2026-02-11 00:49:50 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-02-11 00:52:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 00:54:18 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 2026-02-11 00:57:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-11 01:07:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 01:12:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-11 01:18:01 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-02-11 01:20:16 | → | Square joins (~Square4@user/square) |
| 2026-02-11 01:21:42 | → | omidmash1 joins (~omidmash@user/omidmash) |
| 2026-02-11 01:23:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 01:23:40 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 245 seconds) |
| 2026-02-11 01:23:40 | omidmash1 | is now known as omidmash |
| 2026-02-11 01:27:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 01:38:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 01:42:00 | → | housemate joins (~housemate@1.147.19.219) |
| 2026-02-11 01:42:02 | × | housemate quits (~housemate@1.147.19.219) (Remote host closed the connection) |
| 2026-02-11 01:42:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-11 01:43:48 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-02-11 01:45:02 | × | socksbuny quits (~socks@oberon.raccoon.fun) (Quit: goodbye :)) |
| 2026-02-11 01:47:15 | → | socksbuny joins (~socks@oberon.raccoon.fun) |
| 2026-02-11 01:50:06 | → | housemate joins (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) |
| 2026-02-11 01:52:52 | × | acidjnk quits (~acidjnk@p200300d6e700e589bc3447690a0a9402.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-02-11 01:53:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 01:58:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 01:59:10 | × | otto_s quits (~user@p5b044bf5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-02-11 01:59:28 | × | mud quits (~mud@user/kadoban) (Server closed connection) |
| 2026-02-11 01:59:54 | → | mud joins (~mud@user/kadoban) |
| 2026-02-11 01:59:58 | <s3np41> | Hello i return another question, what are some good resources to read up on FRP? |
| 2026-02-11 02:00:04 | <s3np41> | with* |
| 2026-02-11 02:00:11 | × | socksbuny quits (~socks@oberon.raccoon.fun) (Quit: goodbye :)) |
| 2026-02-11 02:00:48 | → | otto_s joins (~user@p4ff27fce.dip0.t-ipconnect.de) |
| 2026-02-11 02:01:05 | → | socksbuny joins (~socks@oberon.raccoon.fun) |
| 2026-02-11 02:01:12 | × | housemate quits (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) (Read error: Connection reset by peer) |
| 2026-02-11 02:04:35 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2026-02-11 02:04:50 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-11 02:06:48 | DetourNe- | is now known as DetourNetworkUK |
| 2026-02-11 02:07:22 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-11 02:08:32 | → | wickedjargon joins (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) |
| 2026-02-11 02:09:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 02:09:13 | × | ridcully quits (~ridcully@p508ac969.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-02-11 02:11:23 | → | ridcully joins (~ridcully@p508ac876.dip0.t-ipconnect.de) |
| 2026-02-11 02:16:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 02:24:08 | × | sudden quits (~cat@user/sudden) (Server closed connection) |
| 2026-02-11 02:24:23 | → | sudden joins (~cat@user/sudden) |
| 2026-02-11 02:25:21 | <EvanR> | conal's blog is an oldie but goodie |
| 2026-02-11 02:27:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 02:31:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-11 02:33:09 | → | juri_ joins (~juri@212.86.50.13) |
| 2026-02-11 02:33:09 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 02:33:58 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2026-02-11 02:34:40 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-02-11 02:36:23 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 02:36:36 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2026-02-11 02:38:37 | → | juri_ joins (~juri@212.86.50.13) |
| 2026-02-11 02:39:05 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 02:40:21 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-11 02:42:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 02:43:12 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-11 02:44:14 | → | juri_ joins (~juri@212.86.50.13) |
| 2026-02-11 02:44:43 | × | juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 02:47:20 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-11 02:47:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 02:55:52 | <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 02:56:46 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-11 02:57:26 | → | qqq joins (~qqq@185.54.22.240) |
| 2026-02-11 02:57:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 02:58:40 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-02-11 02:59:25 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-11 02:59:46 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-02-11 03:00:37 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-02-11 03:01:22 | → | omidmash joins (~omidmash@user/omidmash) |
| 2026-02-11 03:02:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-11 03:13:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-11 03:16:14 | × | td_ quits (~td@i5387090D.versanet.de) (Ping timeout: 244 seconds) |
| 2026-02-11 03:17:40 | × | wickedjargon quits (~user@2605:8d80:5431:79f0:cd3e:268a:4cce:8f81) (Read error: Connection reset by peer) |
All times are in UTC.