Newest at the top
| 2026-04-23 14:10:10 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-04-23 13:58:43 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2026-04-23 13:58:22 +0000 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-04-23 13:58:22 +0000 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-04-23 13:58:22 +0000 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-04-23 13:57:37 +0000 | shr\ke | (~shrike@user/shrke:31298) (Remote host closed the connection) |
| 2026-04-23 13:54:10 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-04-23 13:51:29 +0000 | ski | . o O ( "A Poor Man's Concurrency Monad" by Koen Claessen in 1999-05 at <https://web.archive.org/web/20080222023959/http://www.cs.chalmers.se/~koen/pubs/entry-jfp99-monad.…> ) |
| 2026-04-23 13:50:38 +0000 | beagles_ | (~beagles@142.163.133.95) (Remote host closed the connection) |
| 2026-04-23 13:39:55 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ef2d:650d:209c:a61) |
| 2026-04-23 13:39:44 +0000 | <kuribas> | Maybe each thread is a Free monad, which you can interleave? |
| 2026-04-23 13:39:31 +0000 | <kuribas> | How would you model concurrent threads in a pure way, to proof properties? |
| 2026-04-23 13:36:07 +0000 | szkl | (uid110435@2a03:5180:f:5::1:af63) (Quit: Connection closed for inactivity) |
| 2026-04-23 13:35:10 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ef2d:650d:209c:a61) (Ping timeout: 245 seconds) |
| 2026-04-23 13:34:22 +0000 | kuribas | (~user@2a02:1808:51:6776:c5ce:b7ef:828f:40c5) kuribas |
| 2026-04-23 13:24:18 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-23 13:21:16 +0000 | AlexNoo | (~AlexNoo@85.174.181.200) |
| 2026-04-23 13:02:42 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-23 13:02:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-23 12:55:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-04-23 12:54:22 +0000 | Googulator72 | (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-23 12:54:09 +0000 | Googulator72 | (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 12:52:18 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-04-23 12:50:29 +0000 | layline-away | (~layline@149.154.26.56) (Quit: ZZZzzz…) |
| 2026-04-23 12:48:37 +0000 | layline_ | layline-away |
| 2026-04-23 12:45:10 +0000 | polykernel_ | polykernel |
| 2026-04-23 12:45:10 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-04-23 12:44:53 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-23 12:44:52 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 12:44:36 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 12:44:36 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-04-23 12:42:31 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-23 12:36:08 +0000 | califax_ | califax |
| 2026-04-23 12:36:08 +0000 | califax | (~califax@user/califx) (Ping timeout: 265 seconds) |
| 2026-04-23 12:33:28 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-23 12:33:24 +0000 | califax_ | (~califax@user/califx) califx |
| 2026-04-23 12:32:45 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-23 12:30:09 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-23 12:27:37 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-23 12:26:07 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-04-23 12:21:07 +0000 | Googulator72 | (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-23 12:20:51 +0000 | Googulator72 | (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 12:08:52 +0000 | <humasect> | maybe the french language? TIL haskell is american |
| 2026-04-23 12:07:09 +0000 | <haskellbridge> | <slack1256> I do not see anything related to lambdas on there (apart from nix?) |
| 2026-04-23 11:49:36 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-23 11:48:07 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-23 11:46:57 +0000 | misterfish | (~misterfis@89.205.247.219) (Ping timeout: 255 seconds) |
| 2026-04-23 11:42:57 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-04-23 11:36:19 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-23 11:35:52 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |