Newest at the top
| 2025-02-24 18:38:24 +0100 | comonad | (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.2) |
| 2025-02-24 18:35:32 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-24 18:34:30 +0100 | euleritian | (~euleritia@dynamic-176-006-132-056.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-02-24 18:33:56 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-02-24 18:33:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-24 18:32:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-24 18:28:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 18:25:43 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-24 18:19:13 +0100 | euleritian | (~euleritia@dynamic-176-006-132-056.176.6.pool.telefonica.de) |
| 2025-02-24 18:18:39 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2025-02-24 18:15:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-24 18:08:44 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-02-24 18:03:27 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-a0c2-8daf-d920-c5db-5fe6.rev.sfr.net) (Remote host closed the connection) |
| 2025-02-24 18:02:55 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-24 17:58:53 +0100 | jespada | (~jespada@r167-61-39-77.dialup.adsl.anteldata.net.uy) jespada |
| 2025-02-24 17:58:18 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 268 seconds) |
| 2025-02-24 17:55:13 +0100 | acidjnk | (~acidjnk@p200300d6e7283f506dba6a8fb70c33a2.dip0.t-ipconnect.de) acidjnk |
| 2025-02-24 17:46:50 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-24 17:44:31 +0100 | alp | (~alp@2001:861:8ca0:4940:4960:283e:5e01:3e7b) |
| 2025-02-24 17:44:18 +0100 | tromp | (~textual@2a02:a210:cba:8500:6ddc:c1a9:bc13:1391) |
| 2025-02-24 17:42:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 17:38:04 +0100 | acidjnk | (~acidjnk@p200300d6e7283f506dba6a8fb70c33a2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-24 17:35:48 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-24 17:33:30 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-24 17:28:05 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2025-02-24 17:26:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-24 17:22:36 +0100 | <EvanR> | libraries based on an monadic DSL often have it built in, e.g. Parser monads return early as a matter of course (parse failure) |
| 2025-02-24 17:22:35 +0100 | tromp | (~textual@2a02:a210:cba:8500:e9b1:7587:9c27:25c9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-24 17:21:22 +0100 | <EvanR> | slack1256, Maybe's monad instance cancels the computation early with no result. Such and similar behavior can be built into your Big App monad if you have one. Or you can do it directly by opting to "return" Nothing for whatever branch of the computation |
| 2025-02-24 17:21:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-02-24 17:20:50 +0100 | bitterx | (~bitterx@APN-122-12-44-gprs.simobil.net) (Quit: bitterx) |
| 2025-02-24 17:18:49 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-24 17:18:25 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-02-24 17:15:28 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) kritzefitz |
| 2025-02-24 17:14:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-24 17:09:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-24 17:08:49 +0100 | slack1256 | (~slack1256@2803:c600:5111:952f:8534:d540:7202:b800) slack1256 |
| 2025-02-24 17:08:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-02-24 17:08:09 +0100 | slack1256 | (~slack1256@2803:c600:5111:9473:21fd:1662:e30d:199d) (Ping timeout: 260 seconds) |
| 2025-02-24 17:04:36 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-02-24 17:01:56 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 244 seconds) |
| 2025-02-24 17:00:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-24 16:59:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-24 16:56:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 16:54:40 +0100 | <dolio> | Like, if you want more universes, and to remain consistent, you need predicative sorts. But you can't really encode inductives with predicativity. |
| 2025-02-24 16:54:18 +0100 | nwoob | (~nikhilkau@165.225.120.224) (Read error: Connection reset by peer) |
| 2025-02-24 16:53:36 +0100 | <dolio> | I guess this is a bit ironic, but pure type systems kind of don't work very well for situations beyond the original lambda cube. |
| 2025-02-24 16:51:49 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 260 seconds) |
| 2025-02-24 16:50:39 +0100 | nwoob | (~nikhilkau@165.225.120.224) |
| 2025-02-24 16:48:30 +0100 | jespada | (~jespada@2800:a4:2212:a600:106d:176f:4211:570f) (Quit: My Mac has gone to sleep. ZZZzzz…) |