Newest at the top
2024-10-08 18:37:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-08 18:37:00 +0200 | euleritian | (~euleritia@dynamic-176-006-129-122.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-08 18:35:30 +0200 | Pixi` | Pixi |
2024-10-08 18:35:29 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
2024-10-08 18:35:11 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-10-08 18:34:28 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
2024-10-08 18:34:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2024-10-08 18:31:44 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
2024-10-08 18:30:18 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-10-08 18:25:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-08 18:19:03 +0200 | Digitteknohippie | Digit |
2024-10-08 18:18:41 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-10-08 18:18:33 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-08 18:17:22 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 244 seconds) |
2024-10-08 18:13:26 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-08 18:13:23 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
2024-10-08 18:13:09 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-08 18:13:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-08 18:12:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
2024-10-08 18:10:11 +0200 | berberman | (~berberman@user/berberman) berberman |
2024-10-08 18:09:09 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-08 18:08:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-08 18:04:56 +0200 | euleritian | (~euleritia@dynamic-176-006-129-122.176.6.pool.telefonica.de) |
2024-10-08 18:04:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-10-08 18:00:57 +0200 | berberman | (~berberman@user/berberman) berberman |
2024-10-08 18:00:30 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-08 17:58:11 +0200 | califax | (~califax@user/califx) califx |
2024-10-08 17:57:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-10-08 17:57:44 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-08 17:57:01 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm i see |
2024-10-08 17:55:32 +0200 | <monochrom> | I think it is the other way round. People already have a mental picture of effects and handlers. (They already understand exception handlers and Python's yield. If you can unify the two, you pretty much have it.) Then algebraic effects is designed to formalize that. |
2024-10-08 17:53:41 +0200 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
2024-10-08 17:53:12 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-08 17:52:29 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-08 17:51:36 +0200 | califax | (~califax@user/califx) califx |
2024-10-08 17:50:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-08 17:50:26 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
2024-10-08 17:50:16 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-10-08 17:48:05 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:1e84:aaa4:b350:85e4) (Ping timeout: 248 seconds) |
2024-10-08 17:45:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-08 17:44:17 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-08 17:38:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-08 17:35:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
2024-10-08 17:32:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-08 17:32:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-10-08 17:31:51 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-08 17:31:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-08 17:25:26 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3202-2f93-5c9a-6ec5-11de-f4fb.rev.sfr.net) (Remote host closed the connection) |
2024-10-08 17:21:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-08 17:20:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |