Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,804,083 events total
2025-09-06 10:55:48 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-06 10:59:17 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2025-09-06 10:59:52 tomboy64 joins (~tomboy64@user/tomboy64)
2025-09-06 11:00:04 × caconym747 quits (~caconym@user/caconym) (Quit: bye)
2025-09-06 11:02:09 caconym747 joins (~caconym@user/caconym)
2025-09-06 11:05:08 MelodyOwO joins (~MelodyOwO@user/MelodyOwO)
2025-09-06 11:07:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 11:07:04 × vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer)
2025-09-06 11:07:23 vetkat joins (~vetkat@user/vetkat)
2025-09-06 11:08:21 inline_ is now known as inline
2025-09-06 11:11:35 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-06 11:14:34 Lycurgus joins (~juan@user/Lycurgus)
2025-09-06 11:15:14 × Rembane quits (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1)
2025-09-06 11:15:18 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-06 11:16:16 Rembane joins (~Rembane@user/Rembane)
2025-09-06 11:19:54 arandombit joins (~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf)
2025-09-06 11:19:54 × arandombit quits (~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host)
2025-09-06 11:19:54 arandombit joins (~arandombi@user/arandombit)
2025-09-06 11:20:55 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 11:21:40 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
2025-09-06 11:24:08 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-06 11:26:48 weary-traveler joins (~user@user/user363627)
2025-09-06 11:27:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-06 11:27:56 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
2025-09-06 11:28:22 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2025-09-06 11:29:49 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
2025-09-06 11:30:45 Lord_of_Life_ is now known as Lord_of_Life
2025-09-06 11:35:14 hakutaku joins (~textual@chen.yukari.eu.org)
2025-09-06 11:38:58 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 11:43:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-06 11:50:43 fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi)
2025-09-06 11:54:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 11:59:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-06 12:04:38 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-06 12:09:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 12:12:37 <bwe> map (f1 . f2 . f3 . author) book -- how do I write this in point-free style with OverloadedRecordDot enabled? `map (f1 . f2 . f3 . .author) book` doesn't work. Say if I don't want to introduce \x notation here.
2025-09-06 12:14:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-06 12:16:13 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-09-06 12:16:23 michalz joins (~michalz@185.246.207.203)
2025-09-06 12:16:54 chromoblob joins (~chromoblo@user/chromob1ot1c)
2025-09-06 12:19:08 <ncf> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_record_dot.html
2025-09-06 12:20:44 × michalz quits (~michalz@185.246.207.203) (Remote host closed the connection)
2025-09-06 12:21:27 × rembo10_ quits (~rembo10@65.108.56.133) (Read error: Connection reset by peer)
2025-09-06 12:21:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 12:23:53 rembo10 joins (~rembo10@main.remulis.com)
2025-09-06 12:25:46 AlexZenon_2 is now known as AlexZenon
2025-09-06 12:26:26 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-06 12:27:39 <Rembane> You can also use (<<<) from Control.Arrow.
2025-09-06 12:27:50 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-06 12:29:31 Lears joins (~Leary@user/Leary/x-0910699)
2025-09-06 12:30:09 × Leary quits (~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer)
2025-09-06 12:31:21 × igemnace quits (~igemnace@user/igemnace) (Remote host closed the connection)
2025-09-06 12:33:05 Lears is now known as Leary
2025-09-06 12:33:13 igemnace joins (~igemnace@user/igemnace)
2025-09-06 12:36:25 <ski> "You may also write (.b) to mean a function that “projects the b field from its argument”. For example, (.b) a means the same thing as a.b)."
2025-09-06 12:37:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 12:38:00 <bwe> ncf+ski: Thanks, I should put more faith in the docs.
2025-09-06 12:38:19 × tv quits (~tv@user/tv) (Ping timeout: 248 seconds)
2025-09-06 12:38:28 × jespada quits (~jespada@2800:a4:2364:3d00:c4da:7f90:d848:62b4) (Ping timeout: 260 seconds)
2025-09-06 12:39:44 × puke quits (~puke@user/puke) (Remote host closed the connection)
2025-09-06 12:40:04 puke joins (~puke@user/puke)
2025-09-06 12:40:41 chromoblob joins (~chromoblo@user/chromob1ot1c)
2025-09-06 12:41:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-06 12:41:35 jespada joins (~jespada@2800:a4:2309:e000:7cc9:782d:9408:1f91)
2025-09-06 12:42:34 pyooque joins (~puke@user/puke)
2025-09-06 12:42:34 puke is now known as Guest8769
2025-09-06 12:42:34 × Guest8769 quits (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services)))
2025-09-06 12:42:34 pyooque is now known as puke
2025-09-06 12:44:30 × MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Ping timeout: 245 seconds)
2025-09-06 12:52:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 12:55:20 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-06 12:55:54 chromoblob joins (~chromoblo@user/chromob1ot1c)
2025-09-06 12:56:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-06 13:02:27 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
2025-09-06 13:05:09 vanishingideal joins (~vanishing@user/vanishingideal)
2025-09-06 13:07:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 13:11:51 ljdarj joins (~Thunderbi@user/ljdarj)
2025-09-06 13:12:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-06 13:14:24 tv joins (~tv@user/tv)
2025-09-06 13:22:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 13:23:44 cipherrot joins (~jez@user/petrichor)
2025-09-06 13:26:13 × petrichor quits (~jez@user/petrichor) (Ping timeout: 256 seconds)
2025-09-06 13:27:38 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-06 13:28:12 × cipherrot quits (~jez@user/petrichor) (Ping timeout: 256 seconds)
2025-09-06 13:29:09 Lycurgus joins (~juan@user/Lycurgus)
2025-09-06 13:34:31 petrichor joins (~jez@user/petrichor)
2025-09-06 13:38:11 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 13:42:04 × petrichor quits (~jez@user/petrichor) (Ping timeout: 244 seconds)
2025-09-06 13:42:56 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-06 13:46:01 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-09-06 13:46:13 chexum joins (~quassel@gateway/tor-sasl/chexum)
2025-09-06 13:53:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 13:57:51 pavonia_ is now known as pavonia
2025-09-06 13:58:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-06 13:59:25 Athas_ is now known as Athas
2025-09-06 14:00:33 MelodyOwO joins (~MelodyOwO@user/MelodyOwO)
2025-09-06 14:01:26 segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-06 14:03:08 petrichor joins (~jez@user/petrichor)
2025-09-06 14:09:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-09-06 14:13:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)

All times are in UTC.