Logs: liberachat/#haskell
| 2025-10-13 23:27:05 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-10-13 23:30:11 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-13 23:31:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-13 23:35:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 23:40:37 | → | Googulator51 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-13 23:40:43 | × | Googulator5 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-13 23:41:14 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-13 23:41:26 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 2025-10-13 23:42:12 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-13 23:46:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-13 23:48:42 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-13 23:49:21 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-13 23:50:01 | <dcpagan> | Codensity is missing a MonadError instance. |
| 2025-10-13 23:50:12 | <dcpagan> | I had to roll one up with this: "catchError m k = lift $ catchError (lowerCodensity m) (lowerCodensity . k)" |
| 2025-10-13 23:51:36 | <dcpagan> | Also, "shift" is defined as "shift f = Codensity (lowerCodensity . f)". I should look more into delimited continuations and their applications in exception-handling. |
| 2025-10-13 23:51:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 23:53:07 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-14 00:02:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 00:07:55 | → | bgg joins (~bgg@2a01:e0a:819:1510:438b:91ce:16bb:429f) |
| 2025-10-14 00:09:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-14 00:17:27 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-14 00:18:13 | → | inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-14 00:20:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 00:25:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 00:26:02 | × | acidjnk quits (~acidjnk@p200300d6e7171943fcd8740620ad93e7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-10-14 00:29:59 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-14 00:31:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 00:32:31 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-14 00:33:05 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-14 00:35:18 | → | califax joins (~califax@user/califx) |
| 2025-10-14 00:35:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 00:36:43 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-14 00:45:40 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-14 00:46:04 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-14 00:47:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 00:48:28 | × | otto_s quits (~user@p4ff2701e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-14 00:50:19 | → | otto_s joins (~user@p4ff27382.dip0.t-ipconnect.de) |
| 2025-10-14 00:50:55 | × | xff0x quits (~xff0x@2405:6580:b080:900:f3f6:c4a2:4d90:7f3d) (Ping timeout: 246 seconds) |
| 2025-10-14 00:51:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-14 00:59:28 | → | Square joins (~Square4@user/square) |
| 2025-10-14 01:00:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-14 01:02:07 | × | Square3 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-10-14 01:02:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 01:05:42 | → | Googulator67 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 01:06:11 | × | Googulator51 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 01:07:01 | × | vetkat quits (~vetkat@user/vetkat) (Ping timeout: 246 seconds) |
| 2025-10-14 01:07:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 01:08:08 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-10-14 01:11:42 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-14 01:18:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 01:23:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 01:28:08 | → | Dhark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-14 01:29:30 | → | finsternis joins (~X@23.226.237.192) |
| 2025-10-14 01:31:06 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 248 seconds) |
| 2025-10-14 01:33:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 01:35:41 | × | Googulator67 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 01:35:42 | → | Googulator39 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 01:38:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 01:39:56 | → | Axman6 joins (~Axman6@user/axman6) |
| 2025-10-14 01:49:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 01:51:17 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-14 01:56:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 01:57:47 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-14 01:57:59 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-14 02:00:56 | trickard_ | is now known as trickard |
| 2025-10-14 02:07:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 02:12:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 02:19:38 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 02:20:51 | × | Googulator39 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 02:20:51 | → | Googulator47 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 02:21:14 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-14 02:21:26 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 2025-10-14 02:23:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 02:24:14 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-14 02:28:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 02:32:07 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-14 02:36:07 | × | td_ quits (~td@i53870910.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-14 02:37:54 | → | td_ joins (~td@i53870911.versanet.de) |
| 2025-10-14 02:39:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 02:44:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 02:47:26 | → | califax_ joins (~califax@user/califx) |
| 2025-10-14 02:48:10 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-14 02:48:39 | califax_ | is now known as califax |
| 2025-10-14 02:51:59 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-14 02:54:28 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-10-14 02:55:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 02:56:31 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-14 02:57:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-14 03:00:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 03:10:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 03:14:12 | × | Square quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-10-14 03:17:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-14 03:18:16 | → | annamalai joins (~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) |
| 2025-10-14 03:19:19 | × | inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2025-10-14 03:28:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 03:30:21 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-14 03:33:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 03:44:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 03:49:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 04:00:12 | → | aforemny joins (~aforemny@2001:9e8:6cd9:6800:96c8:2246:a5e7:93e3) |
All times are in UTC.