Newest at the top
2024-09-27 19:16:19 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
2024-09-27 19:13:13 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
2024-09-27 19:12:14 +0200 | Square | (~Square@user/square) Square |
2024-09-27 19:11:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 19:08:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-27 19:06:13 +0200 | <monochrom> | I have a beautiful proof that just needs to consider [[0..], [0..], ...], then appeal to naturality for arbitrary content. :) |
2024-09-27 19:02:21 +0200 | fgaz_ | fgaz |
2024-09-27 19:02:09 +0200 | <monochrom> | You can also prove that there is no other choice, join and >>= must do that. |
2024-09-27 19:01:15 +0200 | <monochrom> | Yeah it is also the (->) ℕ monad. |
2024-09-27 19:00:26 +0200 | <ski> | join rra r = rra r r |
2024-09-27 19:00:22 +0200 | <ski> | ap rab ra r = rab r (ra r) |
2024-09-27 19:00:15 +0200 | <lambdabot> | f >>= k = \ r -> k (f r) r |
2024-09-27 19:00:14 +0200 | <ski> | @src (->) (>>=) |
2024-09-27 18:59:35 +0200 | <monochrom> | Here it goes: If you accept the syntax "s !! n" to mean the nth item of s, then join s = [ s !! n !! n | n <- [0..] ] |
2024-09-27 18:58:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-27 18:58:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-27 18:57:53 +0200 | <monochrom> | As a plot twist, the "g x x" kind of diagonalization is how to make Stream a monad. When downgrading this monad to applicative, you get the ZipList applicative. |
2024-09-27 18:55:38 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-09-27 18:54:40 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2024-09-27 18:54:18 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2024-09-27 18:52:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-27 18:47:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-27 18:46:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 18:40:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-27 18:36:53 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2024-09-27 18:33:18 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
2024-09-27 18:32:17 +0200 | cpressey | (~weechat@176.254.119.170) (Ping timeout: 248 seconds) |
2024-09-27 18:29:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-27 18:18:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-27 18:16:44 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
2024-09-27 18:16:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-27 18:16:10 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:995f:117d:7c12:db9c) |
2024-09-27 18:12:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 18:06:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-27 18:04:34 +0200 | jkoshy1 | (~jkoshy@20.1.187.81.in-addr.arpa) (Quit: leaving) |
2024-09-27 18:02:30 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-09-27 18:00:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-27 17:58:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-27 17:58:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-27 17:54:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 17:50:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-27 17:49:41 +0200 | jkoshy1 | (~jkoshy@20.1.187.81.in-addr.arpa) |
2024-09-27 17:39:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 17:38:13 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-27 17:32:49 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
2024-09-27 17:32:30 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-09-27 17:20:24 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:fd9b:ad9e:2406:5420) (Ping timeout: 272 seconds) |
2024-09-27 17:14:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) |
2024-09-27 17:12:25 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
2024-09-27 17:11:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |